ekms 9.7.1-beta.11 → 9.7.1-beta.13

package/common/properties.js

@@ -84,7 +84,7 @@ function addPropertyMarker(args) {
     config.addOperator(`((@<= 'quantity' && context.unit.dimension == ${dimension}) [${propertyMarker}|${markerWord}])`)
     config.addBridge({
       id: propertyMarker,
-      isA: ['adjective'],
+      isA: ['adjective', 'propertyMarker'],
       enhanced_associations: true,
       bridge: `{ ...before[0], checks: append(before.checks, ['repeats']), propertyType: '${property}', : true, isPropertyValue: true, ${property}: operator, interpolate: append(before[0].interpolate, [{ property: '${property}' }]) }`,
     })
@@ -102,6 +102,7 @@ const config = {
   },
 
   operators: [
+    "([propertyMarker|])",
     "([hierarchyAble|])",
     { pattern: "([propertyRelation|])" }, // , scope: 'development' },
     "(([property]) <([propertyOf|of] ([object]))>)",
@@ -155,6 +156,9 @@ const config = {
         context.evalue.paraphrase = false
       }
     },
+    { 
+      id: 'propertyMarker', 
+    },
     { 
       id: 'xfx', 
       isA: ['queryable'],
@@ -229,13 +233,25 @@ const config = {
       level: 0, 
       isA: ['preposition'],
       localHierarchy: [['property', 'queryable'], ['property', 'theAble'], ['property', 'unknown'], ['object', 'unknown']],
-      bridge: "{ ...next(operator), object: after[0], objects: after }" 
+      bridge: `{ 
+        ...next(operator), 
+        ofWord: operator,
+        object: after[0], 
+        objects: after 
+      }` 
     },
     { 
       id: "propertyOf", 
       level: 1, 
       localHierarchy: [['property', 'queryable'], ['property', 'theAble'], ['property', 'unknown']],
-      bridge: "{ ...before[0], propertyOf: true, object: operator.object, objects: append(default(before[0].objects, before), operator.objects) }" 
+      bridge: `{ 
+        ...before[0], 
+        propertyOf: true, 
+        interpolate: [ { property: 'property' }, { word: 'of' }, { property: 'object' } ],
+        property: before[0],
+        object: operator.object, 
+        objects: append(default(before[0].objects, before), operator.objects) 
+      }` 
     },
     { 
       id: "whose", 
@@ -573,7 +589,6 @@ const config = {
       match: ({context, hierarchy, uuid}) => hierarchy.isA(context.marker, 'property') && context.same && context.objects && !context[`disable${uuid}`],
       apply: async (args) => {
         const {context, fragments, objects, km, api, log, s, uuid} = args
-        // greg55
         const objectContext = context.object;
         const propertyContext = context;
         const objectId = context.object.value
@@ -603,7 +618,6 @@ const config = {
         } catch (e) {
           log(`Error processing set property of an object: ${e}`)
           const config = km('properties')
-          const fragment = await fragments("the property1 of object1 is value1")
           const value = await api.getProperty(objectId, propertyId)
           if (value.value == context.same.value) {
             context.evalue = [
@@ -612,30 +626,16 @@ const config = {
             context.isResponse = true
             context.sameWasProcessed = true
           } else {
-            const mappings = [
-              {
-                where: where(),
-                match: ({context}) => context.value == 'property1',
-                apply: ({context}) => Object.assign(context, { word: propertyContext.word, value: propertyContext.value, paraphrase: true }),
-              },
-              {
-                where: where(),
-                match: ({context}) => context.value == 'object1',
-                apply: ({context}) => {
-                  Object.assign(context, { word: objectContext.word, value: objectContext.value, paraphrase: true })
-                },
-              },
-              {
-                where: where(),
-                match: ({context}) => context.value == 'value1',
-                apply: ({context}) => Object.assign(context, value),
-              },
-            ]
+            const mappings = {
+              property1: { word: propertyContext.word, value: propertyContext.value, paraphrase: true },
+              object1: { word: objectContext.word, value: objectContext.value, paraphrase: true },
+              value1: value,
+            }
             // run the query 'the property of object' then copy that here and template it
             context.evalue = [
               { marker: 'yesno', value: false, paraphrase: true },
             ]
-            context.evalue = context.evalue.concat(await fragment.instantiate(mappings))
+            context.evalue = context.evalue.concat(await fragments("the property1 of object1 is value1", mappings))
             context.evalue.forEach( (r) => r.paraphrase = true )
             context.isResponse = true
             context.sameWasProcessed = true
@@ -647,14 +647,13 @@ const config = {
       notes: 'get/evaluate a property',
       where: where(),
       match: ({context, hierarchy}) => 
-                      hierarchy.isA(context.marker, 'property') && 
+                      (hierarchy.isA(context.marker, 'property') || (hierarchy.isA(context.marker, 'list') && context.possession)) && 
                       context.evaluate && 
                       context.objects &&
                       !context.evaluate.toConcept, // && !context.value,
                       // greghere
       // match: ({context, hierarchy}) => hierarchy.isA(context.marker, 'property') && context.evaluate,
-      apply: async ({callId, context, api, kms, objects, g, s, log, recall}) => {
-        const toDo = [ ...context.objects ]
+      apply: async ({callId, flatten, asList, context, api, kms, objects, g, s, log, recall}) => {
         async function toValue(objectContext) {
           if (!objectContext.value) {
             return objectContext;
@@ -711,11 +710,19 @@ const config = {
           return currentContext
         }
 
-        const currentContext = await processOne(toDo)
+        // const toDo = [ ...context.objects ]
+        debug.breakAt('drone#call90')
+        const [toDos, _] = flatten(['list'], context.objects)
+        const results = []
+        for (const toDo of toDos) {
+          const one = await processOne(toDo)
+          results.push(one)
+        }
 
-        if (currentContext) {
+        if (results.length > 0) {
           context.focusable = ['object[0]']
-          context.evalue = currentContext
+          // context.evalue = currentContext
+          context.evalue = asList(results, true)
           context.object = undefined;
         }
       }

package/common/reports.instance.json

@@ -1408,7 +1408,7 @@
           }
         ]
       },
-      "trace": "\n\n>>>>>>>>>>>>> Counter 1\n  summary\n\n    0.  price/0                                  - \"price\"\n    1.  list/0                                   - \"and\"\n    2.  quantity/0                               - \"quantity\"\n    3.  is/0                                     - \"are\"\n    4.  property/0                               - \"properties\"\n\n  details\n\n    0. Operator(price/0, ['Selector(Bridge(\"{ ...next(operator) }\"), , []<==>[], bridge(bridge))'], evaluator(Bridge(\"{ ...next(operator) }\")), variables({}) bridge(bridge)) (1, 1) - \"price\"\n                                   {\n                                     default: true\n                                     marker: \n                                         Operator(price/0)\n                                           Selectors:\n                                             [\n                                               Selector\n                                                 Bridge(\"{ ...next(operator) }\")\n                                                 Left Selector: []\n                                                 Right Selector: []\n                                             ]\n                                           Evaluator:\n                                             Bridge(\"{ ...next(operator) }\")\n\n                                     range: {'start': 0, 'end': 4}\n                                     text: \"price\"\n                                     value: \"price\"\n                                     word: \"price\"\n                                   }\n    1. Operator(list/0, PASS, ['Selector(Bridge(\"{ ...next(operator), listable: true, isList: true, value: append(before, after) }\"), , same/(), [And([\"ListableType(Listable(Type(variable: \\'type\\')))\", \\'And([\\\\\\'Listable(Unify(context.instance, variables.instance))\\\\\\', \\\\\\'And([\\\\\\\\\\\\\\'Listable(Unify(context.dead, variables.dead))\\\\\\\\\\\\\\', \\\\\\\\\\\\\\'Not([\"ListableType(Listable(Type(variable: \\\\\\\\\\\\\\\\\\\\\\\\\\\\\\'(\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\'contexts\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\', 1, \\\\\\\\\\\\\\\\\\\\\\\\\\\\\\'notConjunctableWith\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\')\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\')))\"])\\\\\\\\\\\\\\'])\\\\\\'])\\'])]<==>[And([\"ListableType(Listable(Type(variable: \\'type\\')))\", \\'And([\\\\\\'Listable(Unify(context.instance, variables.instance))\\\\\\', \\\\\\'And([\\\\\\\\\\\\\\'Listable(Unify(context.dead, variables.dead))\\\\\\\\\\\\\\', \\\\\\\\\\\\\\'Not([\"ListableType(Listable(Type(variable: \\\\\\\\\\\\\\\\\\\\\\\\\\\\\\'(\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\'contexts\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\', -1, \\\\\\\\\\\\\\\\\\\\\\\\\\\\\\'notConjunctableWith\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\')\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\')))\"])\\\\\\\\\\\\\\'])\\\\\\'])\\'])], bridge(bridge))'], evaluator(Bridge(\"{ ...next(operator), listable: true, isList: true, value: append(before, after) }\")), variables({}) bridge(bridge)) (1, 6) - \"and\"\n                                   {\n                                     default: true\n                                     marker: \n                                         Operator(list/0), passthrough\n                                           Selectors:\n                                             [\n                                               Selector\n                                                 Bridge(\"{ ...next(operator), listable: true, isList: true, value: append(before, after) }\")\n                                                 , same/()\n                                                 Left Selector: [And([\"ListableType(Listable(Type(variable: 'type')))\", 'And([\\'Listable(Unify(context.instance, variables.instance))\\', \\'And([\\\\\\'Listable(Unify(context.dead, variables.dead))\\\\\\', \\\\\\'Not([\"ListableType(Listable(Type(variable: \\\\\\\\\\\\\\'(\\\\\\\\\\\\\\'contexts\\\\\\\\\\\\\\', 1, \\\\\\\\\\\\\\'notConjunctableWith\\\\\\\\\\\\\\')\\\\\\\\\\\\\\')))\"])\\\\\\'])\\'])'])]\n                                                 Right Selector: [And([\"ListableType(Listable(Type(variable: 'type')))\", 'And([\\'Listable(Unify(context.instance, variables.instance))\\', \\'And([\\\\\\'Listable(Unify(context.dead, variables.dead))\\\\\\', \\\\\\'Not([\"ListableType(Listable(Type(variable: \\\\\\\\\\\\\\'(\\\\\\\\\\\\\\'contexts\\\\\\\\\\\\\\', -1, \\\\\\\\\\\\\\'notConjunctableWith\\\\\\\\\\\\\\')\\\\\\\\\\\\\\')))\"])\\\\\\'])\\'])'])]\n                                             ]\n                                           Evaluator:\n                                             Bridge(\"{ ...next(operator), listable: true, isList: true, value: append(before, after) }\")\n\n                                     range: {'start': 6, 'end': 8}\n                                     text: \"and\"\n                                     word: \"and\"\n                                   }\n    2. Operator(quantity/0, ['Selector(Bridge(\"{ ...next(operator) }\"), , []<==>[], bridge(bridge))'], evaluator(Bridge(\"{ ...next(operator) }\")), variables({}) bridge(bridge)) (1, 9) - \"quantity\"\n                                   {\n                                     default: true\n                                     marker: \n                                         Operator(quantity/0)\n                                           Selectors:\n                                             [\n                                               Selector\n                                                 Bridge(\"{ ...next(operator) }\")\n                                                 Left Selector: []\n                                                 Right Selector: []\n                                             ]\n                                           Evaluator:\n                                             Bridge(\"{ ...next(operator) }\")\n\n                                     range: {'start': 10, 'end': 17}\n                                     text: \"quantity\"\n                                     value: \"quantity\"\n                                     word: \"quantity\"\n                                   }\n    3. Operator(is/0, ['Selector(Bridge(\"{ ...next(operator), one: { number: operator.number, ...before[0] }, two: after[0] }\"), , [ListableType(Listable(Type(\\'queryable\\')))]<==>[ListableType(Listable(Type(\\'queryable\\')))], bridge(bridge))'], evaluator(Bridge(\"{ ...next(operator), one: { number: operator.number, ...before[0] }, two: after[0] }\")), variables({}) bridge(bridge)) (1, 13) - \"are\"\n                                   {\n                                     marker: \n                                         Operator(is/0)\n                                           Selectors:\n                                             [\n                                               Selector\n                                                 Bridge(\"{ ...next(operator), one: { number: operator.number, ...before[0] }, two: after[0] }\")\n                                                 Left Selector: [ListableType(Listable(Type('queryable')))]\n                                                 Right Selector: [ListableType(Listable(Type('queryable')))]\n                                             ]\n                                           Evaluator:\n                                             Bridge(\"{ ...next(operator), one: { number: operator.number, ...before[0] }, two: after[0] }\")\n\n                                     number: \"many\"\n                                     range: {'start': 19, 'end': 21}\n                                     text: \"are\"\n                                     word: \"are\"\n                                   }\n    4. Operator(property/0, ['Selector(Bridge(\"{ ...next(operator) }\"), , []<==>[], bridge(bridge))'], evaluator(Bridge(\"{ ...next(operator) }\")), variables({}) bridge(bridge)) (1, 19) - \"properties\"\n                                   {\n                                     marker: \n                                         Operator(property/0)\n                                           Selectors:\n                                             [\n                                               Selector\n                                                 Bridge(\"{ ...next(operator) }\")\n                                                 Left Selector: []\n                                                 Right Selector: []\n                                             ]\n                                           Evaluator:\n                                             Bridge(\"{ ...next(operator) }\")\n\n                                     number: \"many\"\n                                     range: {'start': 23, 'end': 32}\n                                     text: \"properties\"\n                                     value: \"property\"\n                                     word: \"properties\"\n                                   }\n<<<<<<<<<<<<<\nNext Op (index=0) is ('price', 0)\n    Context:\n          {\n            default: true\n            marker: \n                Operator(price/0)\n                  Selectors:\n                    [\n                      Selector\n                        Bridge(\"{ ...next(operator) }\")\n                        Left Selector: []\n                        Right Selector: []\n                    ]\n                  Evaluator:\n                    Bridge(\"{ ...next(operator) }\")\n\n            range: {'start': 0, 'end': 4}\n            text: \"price\"\n            value: \"price\"\n            word: \"price\"\n          }\n\n\n>>>>>>>>>>>>> Counter 2\n  summary\n\n   *0.  price/1 (dead)                           - \"price\"\n    1.  list/0                                   - \"and\"\n    2.  quantity/0                               - \"quantity\"\n    3.  is/0                                     - \"are\"\n    4.  property/0                               - \"properties\"\n\n  details\n\n    0. Operator(price/1, ['Selector(None, , []<==>[], bridge(bridge))'], evaluator(None), variables({}) bridge(bridge)) (2, 0) - \"price\"\n                                   {\n                                     prioritized_by: [('price', 0)]\n                                     dead: true\n                                     default: true\n                                     marker: \n                                         Operator(price/1)\n                                           Selectors:\n                                             [\n                                               Selector\n                                                 Left Selector: []\n                                                 Right Selector: []\n                                             ]\n\n                                     range: {'start': 0, 'end': 4}\n                                     text: \"price\"\n                                     value: \"price\"\n                                     word: \"price\"\n                                   }\n    1. Operator(list/0, PASS, ['Selector(Bridge(\"{ ...next(operator), listable: true, isList: true, value: append(before, after) }\"), , same/(), [And([\"ListableType(Listable(Type(variable: \\'type\\')))\", \\'And([\\\\\\'Listable(Unify(context.instance, variables.instance))\\\\\\', \\\\\\'And([\\\\\\\\\\\\\\'Listable(Unify(context.dead, variables.dead))\\\\\\\\\\\\\\', \\\\\\\\\\\\\\'Not([\"ListableType(Listable(Type(variable: \\\\\\\\\\\\\\\\\\\\\\\\\\\\\\'(\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\'contexts\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\', 1, \\\\\\\\\\\\\\\\\\\\\\\\\\\\\\'notConjunctableWith\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\')\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\')))\"])\\\\\\\\\\\\\\'])\\\\\\'])\\'])]<==>[And([\"ListableType(Listable(Type(variable: \\'type\\')))\", \\'And([\\\\\\'Listable(Unify(context.instance, variables.instance))\\\\\\', \\\\\\'And([\\\\\\\\\\\\\\'Listable(Unify(context.dead, variables.dead))\\\\\\\\\\\\\\', \\\\\\\\\\\\\\'Not([\"ListableType(Listable(Type(variable: \\\\\\\\\\\\\\\\\\\\\\\\\\\\\\'(\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\'contexts\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\', -1, \\\\\\\\\\\\\\\\\\\\\\\\\\\\\\'notConjunctableWith\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\')\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\')))\"])\\\\\\\\\\\\\\'])\\\\\\'])\\'])], bridge(bridge))'], evaluator(Bridge(\"{ ...next(operator), listable: true, isList: true, value: append(before, after) }\")), variables({}) bridge(bridge)) (1, 6) - \"and\"\n                                   {\n                                     default: true\n                                     marker: \n                                         Operator(list/0), passthrough\n                                           Selectors:\n                                             [\n                                               Selector\n                                                 Bridge(\"{ ...next(operator), listable: true, isList: true, value: append(before, after) }\")\n                                                 , same/()\n                                                 Left Selector: [And([\"ListableType(Listable(Type(variable: 'type')))\", 'And([\\'Listable(Unify(context.instance, variables.instance))\\', \\'And([\\\\\\'Listable(Unify(context.dead, variables.dead))\\\\\\', \\\\\\'Not([\"ListableType(Listable(Type(variable: \\\\\\\\\\\\\\'(\\\\\\\\\\\\\\'contexts\\\\\\\\\\\\\\', 1, \\\\\\\\\\\\\\'notConjunctableWith\\\\\\\\\\\\\\')\\\\\\\\\\\\\\')))\"])\\\\\\'])\\'])'])]\n                                                 Right Selector: [And([\"ListableType(Listable(Type(variable: 'type')))\", 'And([\\'Listable(Unify(context.instance, variables.instance))\\', \\'And([\\\\\\'Listable(Unify(context.dead, variables.dead))\\\\\\', \\\\\\'Not([\"ListableType(Listable(Type(variable: \\\\\\\\\\\\\\'(\\\\\\\\\\\\\\'contexts\\\\\\\\\\\\\\', -1, \\\\\\\\\\\\\\'notConjunctableWith\\\\\\\\\\\\\\')\\\\\\\\\\\\\\')))\"])\\\\\\'])\\'])'])]\n                                             ]\n                                           Evaluator:\n                                             Bridge(\"{ ...next(operator), listable: true, isList: true, value: append(before, after) }\")\n\n                                     range: {'start': 6, 'end': 8}\n                                     text: \"and\"\n                                     word: \"and\"\n                                   }\n    2. Operator(quantity/0, ['Selector(Bridge(\"{ ...next(operator) }\"), , []<==>[], bridge(bridge))'], evaluator(Bridge(\"{ ...next(operator) }\")), variables({}) bridge(bridge)) (1, 9) - \"quantity\"\n                                   {\n                                     default: true\n                                     marker: \n                                         Operator(quantity/0)\n                                           Selectors:\n                                             [\n                                               Selector\n                                                 Bridge(\"{ ...next(operator) }\")\n                                                 Left Selector: []\n                                                 Right Selector: []\n                                             ]\n                                           Evaluator:\n                                             Bridge(\"{ ...next(operator) }\")\n\n                                     range: {'start': 10, 'end': 17}\n                                     text: \"quantity\"\n                                     value: \"quantity\"\n                                     word: \"quantity\"\n                                   }\n    3. Operator(is/0, ['Selector(Bridge(\"{ ...next(operator), one: { number: operator.number, ...before[0] }, two: after[0] }\"), , [ListableType(Listable(Type(\\'queryable\\')))]<==>[ListableType(Listable(Type(\\'queryable\\')))], bridge(bridge))'], evaluator(Bridge(\"{ ...next(operator), one: { number: operator.number, ...before[0] }, two: after[0] }\")), variables({}) bridge(bridge)) (1, 13) - \"are\"\n                                   {\n                                     marker: \n                                         Operator(is/0)\n                                           Selectors:\n                                             [\n                                               Selector\n                                                 Bridge(\"{ ...next(operator), one: { number: operator.number, ...before[0] }, two: after[0] }\")\n                                                 Left Selector: [ListableType(Listable(Type('queryable')))]\n                                                 Right Selector: [ListableType(Listable(Type('queryable')))]\n                                             ]\n                                           Evaluator:\n                                             Bridge(\"{ ...next(operator), one: { number: operator.number, ...before[0] }, two: after[0] }\")\n\n                                     number: \"many\"\n                                     range: {'start': 19, 'end': 21}\n                                     text: \"are\"\n                                     word: \"are\"\n                                   }\n    4. Operator(property/0, ['Selector(Bridge(\"{ ...next(operator) }\"), , []<==>[], bridge(bridge))'], evaluator(Bridge(\"{ ...next(operator) }\")), variables({}) bridge(bridge)) (1, 19) - \"properties\"\n                                   {\n                                     marker: \n                                         Operator(property/0)\n                                           Selectors:\n                                             [\n                                               Selector\n                                                 Bridge(\"{ ...next(operator) }\")\n                                                 Left Selector: []\n                                                 Right Selector: []\n                                             ]\n                                           Evaluator:\n                                             Bridge(\"{ ...next(operator) }\")\n\n                                     number: \"many\"\n                                     range: {'start': 23, 'end': 32}\n                                     text: \"properties\"\n                                     value: \"property\"\n                                     word: \"properties\"\n                                   }\n<<<<<<<<<<<<<\nNext Op (index=1) is ('list', 0)\n    Context:\n          {\n            default: true\n            marker: \n                Operator(list/0), passthrough\n                  Selectors:\n                    [\n                      Selector\n                        Bridge(\"{ ...next(operator), listable: true, isList: true, value: append(before, after) }\")\n                        , same/()\n                        Left Selector: [And([\"ListableType(Listable(Type(variable: 'type')))\", 'And([\\'Listable(Unify(context.instance, variables.instance))\\', \\'And([\\\\\\'Listable(Unify(context.de\n                        variables.dead))\\\\\\', \\\\\\'Not([\"ListableType(Listable(Type(variable: \\\\\\\\\\\\\\'(\\\\\\\\\\\\\\'contexts\\\\\\\\\\\\\\', 1, \\\\\\\\\\\\\\'notConjunctableWith\\\\\\\\\\\\\\')\\\\\\\\\\\\\\')))\"])\\\\\\'])\\'])'])]\n                        Right Selector: [And([\"ListableType(Listable(Type(variable: 'type')))\", 'And([\\'Listable(Unify(context.instance, variables.instance))\\', \\'And([\\\\\\'Listable(Unify(context.d\n                        variables.dead))\\\\\\', \\\\\\'Not([\"ListableType(Listable(Type(variable: \\\\\\\\\\\\\\'(\\\\\\\\\\\\\\'contexts\\\\\\\\\\\\\\', -1, \\\\\\\\\\\\\\'notConjunctableWith\\\\\\\\\\\\\\')\\\\\\\\\\\\\\')))\"])\\\\\\'])\\'])'])]\n                    ]\n                  Evaluator:\n                    Bridge(\"{ ...next(operator), listable: true, isList: true, value: append(before, after) }\")\n\n            range: {'start': 6, 'end': 8}\n            text: \"and\"\n            word: \"and\"\n          }\n\n\n>>>>>>>>>>>>> Counter 3\n  summary\n\n   *0.  list/1                                   - \"price and quantity\"\n    1.  is/0                                     - \"are\"\n    2.  property/0                               - \"properties\"\n\n  details\n\n    0. Operator(list/1, PASS, ['Selector(Bridge(\"{ ...operator, value: append(before, operator.value) }\"), , same/(), [And([\"ListableType(Listable(Type(variable: \\'type\\')))\", \"And([\\'Listable(Unify(context.instance, variables.instance))\\', \\'Listable(Unify(context.dead, variables.dead))\\'])\"])]<==>[], bridge(bridge), passthrough)'], evaluator(Bridge(\"{ ...operator, value: append(before, operator.value) }\")), variables({'contexts': ShiftedArray(zero at 1), 'found_types': ['quantity', 'price'], 'type': ['isEdee', 'quantity', 'quantifier', 'queryable', 'comparable', 'thisAble', 'theAble', 'isEder', 'listable', 'concept', 'property', 'number'], 'dead': True}) bridge(bridge)) (3, 0) - \"price and quantity\"\n                                   {\n                                     prioritized_by: [('list', 0)]\n                                     default: true\n                                     isList: true\n                                     listable: true\n                                     marker: \n                                         Operator(list/1), passthrough\n                                           Selectors:\n                                             [\n                                               Selector, passthrough\n                                                 Bridge(\"{ ...operator, value: append(before, operator.value) }\")\n                                                 , same/()\n                                                 Left Selector: [And([\"ListableType(Listable(Type(variable: 'type')))\", \"And(['Listable(Unify(context.instance, variables.instance))', 'Listable(Unify(context.dead, variables.dead))'])\"])]\n                                                 Right Selector: []\n                                             ]\n                                           Evaluator:\n                                             Bridge(\"{ ...operator, value: append(before, operator.value) }\")\n                                           Variables:\n                                             contexts: ShiftedArray(zero at 1)\n                                             found_types: ['quantity', 'price']\n                                             type: ['isEdee', 'quantity', 'quantifier', 'queryable', 'comparable', 'thisAble', 'theAble', 'isEder', 'listable', 'concept', 'property', 'number']\n                                             dead: True\n\n                                     range: {'start': 0, 'end': 17}\n                                     text: \"price and quantity\"\n                                     types: [\n                                     ]\n                                     value: [\n                                       {\n                                         prioritized_by: [('price', 0)]\n                                         dead: true\n                                         default: true\n                                         marker: \n                                             Operator(price/1)\n                                               Selectors:\n                                                 [\n                                                   Selector\n                                                     Left Selector: []\n                                                     Right Selector: []\n                                                 ]\n\n                                         range: {'start': 0, 'end': 4}\n                                         text: \"price\"\n                                         value: \"price\"\n                                         word: \"price\"\n                                       }\n\n                                       {\n                                         default: true\n                                         marker: \n                                             Operator(quantity/0)\n                                               Selectors:\n                                                 [\n                                                   Selector\n                                                     Bridge(\"{ ...next(operator) }\")\n                                                     Left Selector: []\n                                                     Right Selector: []\n                                                 ]\n                                               Evaluator:\n                                                 Bridge(\"{ ...next(operator) }\")\n\n                                         range: {'start': 10, 'end': 17}\n                                         text: \"quantity\"\n                                         value: \"quantity\"\n                                         word: \"quantity\"\n                                       }\n                                     ]\n                                     word: \"and\"\n                                   }\n    1. Operator(is/0, ['Selector(Bridge(\"{ ...next(operator), one: { number: operator.number, ...before[0] }, two: after[0] }\"), , [ListableType(Listable(Type(\\'queryable\\')))]<==>[ListableType(Listable(Type(\\'queryable\\')))], bridge(bridge))'], evaluator(Bridge(\"{ ...next(operator), one: { number: operator.number, ...before[0] }, two: after[0] }\")), variables({}) bridge(bridge)) (1, 13) - \"are\"\n                                   {\n                                     marker: \n                                         Operator(is/0)\n                                           Selectors:\n                                             [\n                                               Selector\n                                                 Bridge(\"{ ...next(operator), one: { number: operator.number, ...before[0] }, two: after[0] }\")\n                                                 Left Selector: [ListableType(Listable(Type('queryable')))]\n                                                 Right Selector: [ListableType(Listable(Type('queryable')))]\n                                             ]\n                                           Evaluator:\n                                             Bridge(\"{ ...next(operator), one: { number: operator.number, ...before[0] }, two: after[0] }\")\n\n                                     number: \"many\"\n                                     range: {'start': 19, 'end': 21}\n                                     text: \"are\"\n                                     word: \"are\"\n                                   }\n    2. Operator(property/0, ['Selector(Bridge(\"{ ...next(operator) }\"), , []<==>[], bridge(bridge))'], evaluator(Bridge(\"{ ...next(operator) }\")), variables({}) bridge(bridge)) (1, 19) - \"properties\"\n                                   {\n                                     marker: \n                                         Operator(property/0)\n                                           Selectors:\n                                             [\n                                               Selector\n                                                 Bridge(\"{ ...next(operator) }\")\n                                                 Left Selector: []\n                                                 Right Selector: []\n                                             ]\n                                           Evaluator:\n                                             Bridge(\"{ ...next(operator) }\")\n\n                                     number: \"many\"\n                                     range: {'start': 23, 'end': 32}\n                                     text: \"properties\"\n                                     value: \"property\"\n                                     word: \"properties\"\n                                   }\n<<<<<<<<<<<<<\nNext Op (index=2) is ('property', 0)\n    Context:\n          {\n            marker: \n                Operator(property/0)\n                  Selectors:\n                    [\n                      Selector\n                        Bridge(\"{ ...next(operator) }\")\n                        Left Selector: []\n                        Right Selector: []\n                    ]\n                  Evaluator:\n                    Bridge(\"{ ...next(operator) }\")\n\n            number: \"many\"\n            range: {'start': 23, 'end': 32}\n            text: \"properties\"\n            value: \"property\"\n            word: \"properties\"\n          }\n\n\n>>>>>>>>>>>>> Counter 4\n  summary\n\n    0.  list/1                                   - \"price and quantity\"\n    1.  is/0                                     - \"are\"\n   *2.  property/1 (dead)                        - \"properties\"\n\n  details\n\n    0. Operator(list/1, PASS, ['Selector(Bridge(\"{ ...operator, value: append(before, operator.value) }\"), , same/(), [And([\"ListableType(Listable(Type(variable: \\'type\\')))\", \"And([\\'Listable(Unify(context.instance, variables.instance))\\', \\'Listable(Unify(context.dead, variables.dead))\\'])\"])]<==>[], bridge(bridge), passthrough)'], evaluator(Bridge(\"{ ...operator, value: append(before, operator.value) }\")), variables({'contexts': ShiftedArray(zero at 1), 'found_types': ['quantity', 'price'], 'type': ['isEdee', 'quantity', 'quantifier', 'queryable', 'comparable', 'thisAble', 'theAble', 'isEder', 'listable', 'concept', 'property', 'number'], 'dead': True}) bridge(bridge)) (3, 0) - \"price and quantity\"\n                                   {\n                                     prioritized_by: [('list', 0)]\n                                     default: true\n                                     isList: true\n                                     listable: true\n                                     marker: \n                                         Operator(list/1), passthrough\n                                           Selectors:\n                                             [\n                                               Selector, passthrough\n                                                 Bridge(\"{ ...operator, value: append(before, operator.value) }\")\n                                                 , same/()\n                                                 Left Selector: [And([\"ListableType(Listable(Type(variable: 'type')))\", \"And(['Listable(Unify(context.instance, variables.instance))', 'Listable(Unify(context.dead, variables.dead))'])\"])]\n                                                 Right Selector: []\n                                             ]\n                                           Evaluator:\n                                             Bridge(\"{ ...operator, value: append(before, operator.value) }\")\n                                           Variables:\n                                             contexts: ShiftedArray(zero at 1)\n                                             found_types: ['quantity', 'price']\n                                             type: ['isEdee', 'quantity', 'quantifier', 'queryable', 'comparable', 'thisAble', 'theAble', 'isEder', 'listable', 'concept', 'property', 'number']\n                                             dead: True\n\n                                     range: {'start': 0, 'end': 17}\n                                     text: \"price and quantity\"\n                                     types: [\n                                     ]\n                                     value: [\n                                       {\n                                         prioritized_by: [('price', 0)]\n                                         dead: true\n                                         default: true\n                                         marker: \n                                             Operator(price/1)\n                                               Selectors:\n                                                 [\n                                                   Selector\n                                                     Left Selector: []\n                                                     Right Selector: []\n                                                 ]\n\n                                         range: {'start': 0, 'end': 4}\n                                         text: \"price\"\n                                         value: \"price\"\n                                         word: \"price\"\n                                       }\n\n                                       {\n                                         default: true\n                                         marker: \n                                             Operator(quantity/0)\n                                               Selectors:\n                                                 [\n                                                   Selector\n                                                     Bridge(\"{ ...next(operator) }\")\n                                                     Left Selector: []\n                                                     Right Selector: []\n                                                 ]\n                                               Evaluator:\n                                                 Bridge(\"{ ...next(operator) }\")\n\n                                         range: {'start': 10, 'end': 17}\n                                         text: \"quantity\"\n                                         value: \"quantity\"\n                                         word: \"quantity\"\n                                       }\n                                     ]\n                                     word: \"and\"\n                                   }\n    1. Operator(is/0, ['Selector(Bridge(\"{ ...next(operator), one: { number: operator.number, ...before[0] }, two: after[0] }\"), , [ListableType(Listable(Type(\\'queryable\\')))]<==>[ListableType(Listable(Type(\\'queryable\\')))], bridge(bridge))'], evaluator(Bridge(\"{ ...next(operator), one: { number: operator.number, ...before[0] }, two: after[0] }\")), variables({}) bridge(bridge)) (1, 13) - \"are\"\n                                   {\n                                     marker: \n                                         Operator(is/0)\n                                           Selectors:\n                                             [\n                                               Selector\n                                                 Bridge(\"{ ...next(operator), one: { number: operator.number, ...before[0] }, two: after[0] }\")\n                                                 Left Selector: [ListableType(Listable(Type('queryable')))]\n                                                 Right Selector: [ListableType(Listable(Type('queryable')))]\n                                             ]\n                                           Evaluator:\n                                             Bridge(\"{ ...next(operator), one: { number: operator.number, ...before[0] }, two: after[0] }\")\n\n                                     number: \"many\"\n                                     range: {'start': 19, 'end': 21}\n                                     text: \"are\"\n                                     word: \"are\"\n                                   }\n    2. Operator(property/1, ['Selector(None, , []<==>[], bridge(bridge))'], evaluator(None), variables({}) bridge(bridge)) (2, 1) - \"properties\"\n                                   {\n                                     prioritized_by: [('property', 0)]\n                                     dead: true\n                                     marker: \n                                         Operator(property/1)\n                                           Selectors:\n                                             [\n                                               Selector\n                                                 Left Selector: []\n                                                 Right Selector: []\n                                             ]\n\n                                     number: \"many\"\n                                     range: {'start': 23, 'end': 32}\n                                     text: \"properties\"\n                                     value: \"property\"\n                                     word: \"properties\"\n                                   }\n<<<<<<<<<<<<<\nNext Op (index=1) is ('is', 0)\n    Context:\n          {\n            marker: \n                Operator(is/0)\n                  Selectors:\n                    [\n                      Selector\n                        Bridge(\"{ ...next(operator), one: { number: operator.number, ...before[0] }, two: after[0] }\")\n                        Left Selector: [ListableType(Listable(Type('queryable')))]\n                        Right Selector: [ListableType(Listable(Type('queryable')))]\n                    ]\n                  Evaluator:\n                    Bridge(\"{ ...next(operator), one: { number: operator.number, ...before[0] }, two: after[0] }\")\n\n            number: \"many\"\n            range: {'start': 19, 'end': 21}\n            text: \"are\"\n            word: \"are\"\n          }\n\n\n>>>>>>>>>>>>> Counter 5\n  summary\n\n   *0.  is/1                                     - \"price and quantity are properties\"\n\n  details\n\n    0. Operator(is/1, ['Selector(Bridge(\"{ ...next(operator) }\"), , []<==>[], bridge(bridge))'], evaluator(Bridge(\"{ ...next(operator) }\")), variables({'contexts': ShiftedArray(zero at 1), 'found_types': []}) bridge(bridge)) (4, 0) - \"price and quantity are properties\"\n                                   {\n                                     prioritized_by: [('is', 0)]\n                                     marker: \n                                         Operator(is/1)\n                                           Selectors:\n                                             [\n                                               Selector\n                                                 Bridge(\"{ ...next(operator) }\")\n                                                 Left Selector: []\n                                                 Right Selector: []\n                                             ]\n                                           Evaluator:\n                                             Bridge(\"{ ...next(operator) }\")\n                                           Variables:\n                                             contexts: ShiftedArray(zero at 1)\n                                             found_types: []\n\n                                     number: \"many\"\n                                     one: \n                                         {\n                                           default: true\n                                           isList: true\n                                           listable: true\n                                           marker: \n                                               Operator(list/1), passthrough\n                                                 Selectors:\n                                                   [\n                                                     Selector, passthrough\n                                                       Bridge(\"{ ...operator, value: append(before, operator.value) }\")\n                                                       , same/()\n                                                       Left Selector: [And([\"ListableType(Listable(Type(variable: 'type')))\", \"And(['Listable(Unify(context.instance, variables.instance))', 'Listable(Unify(context.dead, variables.dead))'])\"])]\n                                                       Right Selector: []\n                                                   ]\n                                                 Evaluator:\n                                                   Bridge(\"{ ...operator, value: append(before, operator.value) }\")\n                                                 Variables:\n                                                   contexts: ShiftedArray(zero at 1)\n                                                   found_types: ['quantity', 'price']\n                                                   type: ['isEdee', 'quantity', 'quantifier', 'queryable', 'comparable', 'thisAble', 'theAble', 'isEder', 'listable', 'concept', 'property', 'number']\n                                                   dead: True\n\n                                           number: \"many\"\n                                           range: {'start': 0, 'end': 17}\n                                           text: \"price and quantity\"\n                                           types: [\n                                           'price'\n,                                            'quantity'\n                                           ]\n                                           value: [\n                                             {\n                                               prioritized_by: [('price', 0)]\n                                               dead: true\n                                               default: true\n                                               marker: \n                                                   Operator(price/1)\n                                                     Selectors:\n                                                       [\n                                                         Selector\n                                                           Left Selector: []\n                                                           Right Selector: []\n                                                       ]\n\n                                               range: {'start': 0, 'end': 4}\n                                               text: \"price\"\n                                               value: \"price\"\n                                               word: \"price\"\n                                             }\n\n                                             {\n                                               default: true\n                                               marker: \n                                                   Operator(quantity/0)\n                                                     Selectors:\n                                                       [\n                                                         Selector\n                                                           Bridge(\"{ ...next(operator) }\")\n                                                           Left Selector: []\n                                                           Right Selector: []\n                                                       ]\n                                                     Evaluator:\n                                                       Bridge(\"{ ...next(operator) }\")\n\n                                               range: {'start': 10, 'end': 17}\n                                               text: \"quantity\"\n                                               value: \"quantity\"\n                                               word: \"quantity\"\n                                             }\n                                           ]\n                                           word: \"and\"\n                                         }\n\n                                     range: {'start': 0, 'end': 32}\n                                     text: \"price and quantity are properties\"\n                                     two: \n                                         {\n                                           prioritized_by: [('property', 0)]\n                                           dead: true\n                                           marker: \n                                               Operator(property/1)\n                                                 Selectors:\n                                                   [\n                                                     Selector\n                                                       Left Selector: []\n                                                       Right Selector: []\n                                                   ]\n\n                                           number: \"many\"\n                                           range: {'start': 23, 'end': 32}\n                                           text: \"properties\"\n                                           types: [\n                                           'property'\n                                           ]\n                                           value: \"property\"\n                                           word: \"properties\"\n                                         }\n\n                                     word: \"are\"\n                                   }\n<<<<<<<<<<<<<\nNext Op (index=0) is ('is', 1)\n    Context:\n          {\n            prioritized_by: [('is', 0)]\n            marker: \n                Operator(is/1)\n                  Selectors:\n                    [\n                      Selector\n                        Bridge(\"{ ...next(operator) }\")\n                        Left Selector: []\n                        Right Selector: []\n                    ]\n                  Evaluator:\n                    Bridge(\"{ ...next(operator) }\")\n                  Variables:\n                    contexts: ShiftedArray(zero at 1)\n                    found_types: []\n\n            number: \"many\"\n            one: \n                {\n                  default: true\n                  isList: true\n                  listable: true\n                  marker: \n                      Operator(list/1), passthrough\n                        Selectors:\n                          [\n                            Selector, passthrough\n                              Bridge(\"{ ...operator, value: append(before, operator.value) }\")\n                              , same/()\n                              Left Selector: [And([\"ListableType(Listable(Type(variable: 'type')))\", \"And(['Listable(Unify(context.instance, variables.instance))', 'Listable(Unify(context.dead,\n                              variables.dead))'])\"])]\n                              Right Selector: []\n                          ]\n                        Evaluator:\n                          Bridge(\"{ ...operator, value: append(before, operator.value) }\")\n                        Variables:\n                          contexts: ShiftedArray(zero at 1)\n                          found_types: ['quantity', 'price']\n                          type: ['isEdee', 'quantity', 'quantifier', 'queryable', 'comparable', 'thisAble', 'theAble', 'isEder', 'listable', 'concept', 'property', 'number']\n                          dead: True\n\n                  number: \"many\"\n                  range: {'start': 0, 'end': 17}\n                  text: \"price and quantity\"\n                  types: [\n                  'price'\n,                   'quantity'\n                  ]\n                  value: [\n                    {\n                      prioritized_by: [('price', 0)]\n                      dead: true\n                      default: true\n                      marker: \n                          Operator(price/1)\n                            Selectors:\n                              [\n                                Selector\n                                  Left Selector: []\n                                  Right Selector: []\n                              ]\n\n                      range: {'start': 0, 'end': 4}\n                      text: \"price\"\n                      value: \"price\"\n                      word: \"price\"\n                    }\n\n                    {\n                      default: true\n                      marker: \n                          Operator(quantity/0)\n                            Selectors:\n                              [\n                                Selector\n                                  Bridge(\"{ ...next(operator) }\")\n                                  Left Selector: []\n                                  Right Selector: []\n                              ]\n                            Evaluator:\n                              Bridge(\"{ ...next(operator) }\")\n\n                      range: {'start': 10, 'end': 17}\n                      text: \"quantity\"\n                      value: \"quantity\"\n                      word: \"quantity\"\n                    }\n                  ]\n                  word: \"and\"\n                }\n\n            range: {'start': 0, 'end': 32}\n            text: \"price and quantity are properties\"\n            two: \n                {\n                  prioritized_by: [('property', 0)]\n                  dead: true\n                  marker: \n                      Operator(property/1)\n                        Selectors:\n                          [\n                            Selector\n                              Left Selector: []\n                              Right Selector: []\n                          ]\n\n                  number: \"many\"\n                  range: {'start': 23, 'end': 32}\n                  text: \"properties\"\n                  types: [\n                  'property'\n                  ]\n                  value: \"property\"\n                  word: \"properties\"\n                }\n\n            word: \"are\"\n          }\n\n\n>>>>>>>>>>>>> Counter 6\n  summary\n\n   *0.  is/2 (dead)                              - \"price and quantity are properties\"\n\n  details\n\n    0. Operator(is/2, ['Selector(None, , []<==>[], bridge(bridge))'], evaluator(None), variables({}) bridge(bridge)) (5, 0) - \"price and quantity are properties\"\n                                   {\n                                     prioritized_by: [('is', 1)]\n                                     dead: true\n                                     marker: \n                                         Operator(is/2)\n                                           Selectors:\n                                             [\n                                               Selector\n                                                 Left Selector: []\n                                                 Right Selector: []\n                                             ]\n\n                                     number: \"many\"\n                                     one: \n                                         {\n                                           default: true\n                                           isList: true\n                                           listable: true\n                                           marker: \n                                               Operator(list/1), passthrough\n                                                 Selectors:\n                                                   [\n                                                     Selector, passthrough\n                                                       Bridge(\"{ ...operator, value: append(before, operator.value) }\")\n                                                       , same/()\n                                                       Left Selector: [And([\"ListableType(Listable(Type(variable: 'type')))\", \"And(['Listable(Unify(context.instance, variables.instance))', 'Listable(Unify(context.dead, variables.dead))'])\"])]\n                                                       Right Selector: []\n                                                   ]\n                                                 Evaluator:\n                                                   Bridge(\"{ ...operator, value: append(before, operator.value) }\")\n                                                 Variables:\n                                                   contexts: ShiftedArray(zero at 1)\n                                                   found_types: ['quantity', 'price']\n                                                   type: ['isEdee', 'quantity', 'quantifier', 'queryable', 'comparable', 'thisAble', 'theAble', 'isEder', 'listable', 'concept', 'property', 'number']\n                                                   dead: True\n\n                                           number: \"many\"\n                                           range: {'start': 0, 'end': 17}\n                                           text: \"price and quantity\"\n                                           types: [\n                                           'price'\n,                                            'quantity'\n                                           ]\n                                           value: [\n                                             {\n                                               prioritized_by: [('price', 0)]\n                                               dead: true\n                                               default: true\n                                               marker: \n                                                   Operator(price/1)\n                                                     Selectors:\n                                                       [\n                                                         Selector\n                                                           Left Selector: []\n                                                           Right Selector: []\n                                                       ]\n\n                                               range: {'start': 0, 'end': 4}\n                                               text: \"price\"\n                                               value: \"price\"\n                                               word: \"price\"\n                                             }\n\n                                             {\n                                               default: true\n                                               marker: \n                                                   Operator(quantity/0)\n                                                     Selectors:\n                                                       [\n                                                         Selector\n                                                           Bridge(\"{ ...next(operator) }\")\n                                                           Left Selector: []\n                                                           Right Selector: []\n                                                       ]\n                                                     Evaluator:\n                                                       Bridge(\"{ ...next(operator) }\")\n\n                                               range: {'start': 10, 'end': 17}\n                                               text: \"quantity\"\n                                               value: \"quantity\"\n                                               word: \"quantity\"\n                                             }\n                                           ]\n                                           word: \"and\"\n                                         }\n\n                                     range: {'start': 0, 'end': 32}\n                                     text: \"price and quantity are properties\"\n                                     two: \n                                         {\n                                           prioritized_by: [('property', 0)]\n                                           dead: true\n                                           marker: \n                                               Operator(property/1)\n                                                 Selectors:\n                                                   [\n                                                     Selector\n                                                       Left Selector: []\n                                                       Right Selector: []\n                                                   ]\n\n                                           number: \"many\"\n                                           range: {'start': 23, 'end': 32}\n                                           text: \"properties\"\n                                           types: [\n                                           'property'\n                                           ]\n                                           value: \"property\"\n                                           word: \"properties\"\n                                         }\n\n                                     word: \"are\"\n                                   }\n<<<<<<<<<<<<<\n",
+      "trace": "\n\n>>>>>>>>>>>>> Counter 1\n  summary\n\n    0.  price/0                                  - \"price\"\n    1.  list/0                                   - \"and\"\n    2.  quantity/0                               - \"quantity\"\n    3.  is/0                                     - \"are\"\n    4.  property/0                               - \"properties\"\n\n  details\n\n    0. Operator(price/0, ['Selector(Bridge(\"{ ...next(operator) }\"), , []<==>[], bridge(bridge))'], evaluator(Bridge(\"{ ...next(operator) }\")), variables({}) bridge(bridge)) (1, 1) - \"price\"\n                                   {\n                                     default: true\n                                     marker: \n                                         Operator(price/0)\n                                           Selectors:\n                                             [\n                                               Selector\n                                                 Bridge(\"{ ...next(operator) }\")\n                                                 Left Selector: []\n                                                 Right Selector: []\n                                             ]\n                                           Evaluator:\n                                             Bridge(\"{ ...next(operator) }\")\n\n                                     range: {'start': 0, 'end': 4}\n                                     text: \"price\"\n                                     value: \"price\"\n                                     word: \"price\"\n                                   }\n    1. Operator(list/0, PASS, ['Selector(Bridge(\"{ ...next(operator), listable: true, isList: true, value: append(before, after) }\"), , same/(), [And([\"ListableType(Listable(Type(variable: \\'type\\')))\", \\'And([\\\\\\'Listable(Unify(context.instance, variables.instance))\\\\\\', \\\\\\'And([\\\\\\\\\\\\\\'Listable(Unify(context.dead, variables.dead))\\\\\\\\\\\\\\', \\\\\\\\\\\\\\'Not([\"ListableType(Listable(Type(variable: \\\\\\\\\\\\\\\\\\\\\\\\\\\\\\'(\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\'contexts\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\', 1, \\\\\\\\\\\\\\\\\\\\\\\\\\\\\\'notConjunctableWith\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\')\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\')))\"])\\\\\\\\\\\\\\'])\\\\\\'])\\'])]<==>[And([\"ListableType(Listable(Type(variable: \\'type\\')))\", \\'And([\\\\\\'Listable(Unify(context.instance, variables.instance))\\\\\\', \\\\\\'And([\\\\\\\\\\\\\\'Listable(Unify(context.dead, variables.dead))\\\\\\\\\\\\\\', \\\\\\\\\\\\\\'Not([\"ListableType(Listable(Type(variable: \\\\\\\\\\\\\\\\\\\\\\\\\\\\\\'(\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\'contexts\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\', -1, \\\\\\\\\\\\\\\\\\\\\\\\\\\\\\'notConjunctableWith\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\')\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\')))\"])\\\\\\\\\\\\\\'])\\\\\\'])\\'])], bridge(bridge))'], evaluator(Bridge(\"{ ...next(operator), listable: true, isList: true, value: append(before, after) }\")), variables({}) bridge(bridge)) (1, 6) - \"and\"\n                                   {\n                                     default: true\n                                     marker: \n                                         Operator(list/0), passthrough\n                                           Selectors:\n                                             [\n                                               Selector\n                                                 Bridge(\"{ ...next(operator), listable: true, isList: true, value: append(before, after) }\")\n                                                 , same/()\n                                                 Left Selector: [And([\"ListableType(Listable(Type(variable: 'type')))\", 'And([\\'Listable(Unify(context.instance, variables.instance))\\', \\'And([\\\\\\'Listable(Unify(context.dead, variables.dead))\\\\\\', \\\\\\'Not([\"ListableType(Listable(Type(variable: \\\\\\\\\\\\\\'(\\\\\\\\\\\\\\'contexts\\\\\\\\\\\\\\', 1, \\\\\\\\\\\\\\'notConjunctableWith\\\\\\\\\\\\\\')\\\\\\\\\\\\\\')))\"])\\\\\\'])\\'])'])]\n                                                 Right Selector: [And([\"ListableType(Listable(Type(variable: 'type')))\", 'And([\\'Listable(Unify(context.instance, variables.instance))\\', \\'And([\\\\\\'Listable(Unify(context.dead, variables.dead))\\\\\\', \\\\\\'Not([\"ListableType(Listable(Type(variable: \\\\\\\\\\\\\\'(\\\\\\\\\\\\\\'contexts\\\\\\\\\\\\\\', -1, \\\\\\\\\\\\\\'notConjunctableWith\\\\\\\\\\\\\\')\\\\\\\\\\\\\\')))\"])\\\\\\'])\\'])'])]\n                                             ]\n                                           Evaluator:\n                                             Bridge(\"{ ...next(operator), listable: true, isList: true, value: append(before, after) }\")\n\n                                     range: {'start': 6, 'end': 8}\n                                     text: \"and\"\n                                     word: \"and\"\n                                   }\n    2. Operator(quantity/0, ['Selector(Bridge(\"{ ...next(operator) }\"), , []<==>[], bridge(bridge))'], evaluator(Bridge(\"{ ...next(operator) }\")), variables({}) bridge(bridge)) (1, 9) - \"quantity\"\n                                   {\n                                     default: true\n                                     marker: \n                                         Operator(quantity/0)\n                                           Selectors:\n                                             [\n                                               Selector\n                                                 Bridge(\"{ ...next(operator) }\")\n                                                 Left Selector: []\n                                                 Right Selector: []\n                                             ]\n                                           Evaluator:\n                                             Bridge(\"{ ...next(operator) }\")\n\n                                     range: {'start': 10, 'end': 17}\n                                     text: \"quantity\"\n                                     value: \"quantity\"\n                                     word: \"quantity\"\n                                   }\n    3. Operator(is/0, ['Selector(Bridge(\"{ ...next(operator), one: { number: operator.number, ...before[0] }, two: after[0] }\"), , [ListableType(Listable(Type(\\'queryable\\')))]<==>[ListableType(Listable(Type(\\'queryable\\')))], bridge(bridge))'], evaluator(Bridge(\"{ ...next(operator), one: { number: operator.number, ...before[0] }, two: after[0] }\")), variables({}) bridge(bridge)) (1, 13) - \"are\"\n                                   {\n                                     marker: \n                                         Operator(is/0)\n                                           Selectors:\n                                             [\n                                               Selector\n                                                 Bridge(\"{ ...next(operator), one: { number: operator.number, ...before[0] }, two: after[0] }\")\n                                                 Left Selector: [ListableType(Listable(Type('queryable')))]\n                                                 Right Selector: [ListableType(Listable(Type('queryable')))]\n                                             ]\n                                           Evaluator:\n                                             Bridge(\"{ ...next(operator), one: { number: operator.number, ...before[0] }, two: after[0] }\")\n\n                                     number: \"many\"\n                                     range: {'start': 19, 'end': 21}\n                                     text: \"are\"\n                                     word: \"are\"\n                                   }\n    4. Operator(property/0, ['Selector(Bridge(\"{ ...next(operator) }\"), , []<==>[], bridge(bridge))'], evaluator(Bridge(\"{ ...next(operator) }\")), variables({}) bridge(bridge)) (1, 19) - \"properties\"\n                                   {\n                                     marker: \n                                         Operator(property/0)\n                                           Selectors:\n                                             [\n                                               Selector\n                                                 Bridge(\"{ ...next(operator) }\")\n                                                 Left Selector: []\n                                                 Right Selector: []\n                                             ]\n                                           Evaluator:\n                                             Bridge(\"{ ...next(operator) }\")\n\n                                     number: \"many\"\n                                     range: {'start': 23, 'end': 32}\n                                     text: \"properties\"\n                                     value: \"property\"\n                                     word: \"properties\"\n                                   }\n<<<<<<<<<<<<<\nNext Op (index=0) is ('price', 0)\n    Context:\n          {\n            default: true\n            marker: \n                Operator(price/0)\n                  Selectors:\n                    [\n                      Selector\n                        Bridge(\"{ ...next(operator) }\")\n                        Left Selector: []\n                        Right Selector: []\n                    ]\n                  Evaluator:\n                    Bridge(\"{ ...next(operator) }\")\n\n            range: {'start': 0, 'end': 4}\n            text: \"price\"\n            value: \"price\"\n            word: \"price\"\n          }\n\n\n>>>>>>>>>>>>> Counter 2\n  summary\n\n   *0.  price/1 (dead)                           - \"price\"\n    1.  list/0                                   - \"and\"\n    2.  quantity/0                               - \"quantity\"\n    3.  is/0                                     - \"are\"\n    4.  property/0                               - \"properties\"\n\n  details\n\n    0. Operator(price/1, ['Selector(None, , []<==>[], bridge(bridge))'], evaluator(None), variables({}) bridge(bridge)) (2, 0) - \"price\"\n                                   {\n                                     prioritized_by: [('price', 0)]\n                                     dead: true\n                                     default: true\n                                     marker: \n                                         Operator(price/1)\n                                           Selectors:\n                                             [\n                                               Selector\n                                                 Left Selector: []\n                                                 Right Selector: []\n                                             ]\n\n                                     range: {'start': 0, 'end': 4}\n                                     text: \"price\"\n                                     value: \"price\"\n                                     word: \"price\"\n                                   }\n    1. Operator(list/0, PASS, ['Selector(Bridge(\"{ ...next(operator), listable: true, isList: true, value: append(before, after) }\"), , same/(), [And([\"ListableType(Listable(Type(variable: \\'type\\')))\", \\'And([\\\\\\'Listable(Unify(context.instance, variables.instance))\\\\\\', \\\\\\'And([\\\\\\\\\\\\\\'Listable(Unify(context.dead, variables.dead))\\\\\\\\\\\\\\', \\\\\\\\\\\\\\'Not([\"ListableType(Listable(Type(variable: \\\\\\\\\\\\\\\\\\\\\\\\\\\\\\'(\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\'contexts\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\', 1, \\\\\\\\\\\\\\\\\\\\\\\\\\\\\\'notConjunctableWith\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\')\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\')))\"])\\\\\\\\\\\\\\'])\\\\\\'])\\'])]<==>[And([\"ListableType(Listable(Type(variable: \\'type\\')))\", \\'And([\\\\\\'Listable(Unify(context.instance, variables.instance))\\\\\\', \\\\\\'And([\\\\\\\\\\\\\\'Listable(Unify(context.dead, variables.dead))\\\\\\\\\\\\\\', \\\\\\\\\\\\\\'Not([\"ListableType(Listable(Type(variable: \\\\\\\\\\\\\\\\\\\\\\\\\\\\\\'(\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\'contexts\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\', -1, \\\\\\\\\\\\\\\\\\\\\\\\\\\\\\'notConjunctableWith\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\')\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\')))\"])\\\\\\\\\\\\\\'])\\\\\\'])\\'])], bridge(bridge))'], evaluator(Bridge(\"{ ...next(operator), listable: true, isList: true, value: append(before, after) }\")), variables({}) bridge(bridge)) (1, 6) - \"and\"\n                                   {\n                                     default: true\n                                     marker: \n                                         Operator(list/0), passthrough\n                                           Selectors:\n                                             [\n                                               Selector\n                                                 Bridge(\"{ ...next(operator), listable: true, isList: true, value: append(before, after) }\")\n                                                 , same/()\n                                                 Left Selector: [And([\"ListableType(Listable(Type(variable: 'type')))\", 'And([\\'Listable(Unify(context.instance, variables.instance))\\', \\'And([\\\\\\'Listable(Unify(context.dead, variables.dead))\\\\\\', \\\\\\'Not([\"ListableType(Listable(Type(variable: \\\\\\\\\\\\\\'(\\\\\\\\\\\\\\'contexts\\\\\\\\\\\\\\', 1, \\\\\\\\\\\\\\'notConjunctableWith\\\\\\\\\\\\\\')\\\\\\\\\\\\\\')))\"])\\\\\\'])\\'])'])]\n                                                 Right Selector: [And([\"ListableType(Listable(Type(variable: 'type')))\", 'And([\\'Listable(Unify(context.instance, variables.instance))\\', \\'And([\\\\\\'Listable(Unify(context.dead, variables.dead))\\\\\\', \\\\\\'Not([\"ListableType(Listable(Type(variable: \\\\\\\\\\\\\\'(\\\\\\\\\\\\\\'contexts\\\\\\\\\\\\\\', -1, \\\\\\\\\\\\\\'notConjunctableWith\\\\\\\\\\\\\\')\\\\\\\\\\\\\\')))\"])\\\\\\'])\\'])'])]\n                                             ]\n                                           Evaluator:\n                                             Bridge(\"{ ...next(operator), listable: true, isList: true, value: append(before, after) }\")\n\n                                     range: {'start': 6, 'end': 8}\n                                     text: \"and\"\n                                     word: \"and\"\n                                   }\n    2. Operator(quantity/0, ['Selector(Bridge(\"{ ...next(operator) }\"), , []<==>[], bridge(bridge))'], evaluator(Bridge(\"{ ...next(operator) }\")), variables({}) bridge(bridge)) (1, 9) - \"quantity\"\n                                   {\n                                     default: true\n                                     marker: \n                                         Operator(quantity/0)\n                                           Selectors:\n                                             [\n                                               Selector\n                                                 Bridge(\"{ ...next(operator) }\")\n                                                 Left Selector: []\n                                                 Right Selector: []\n                                             ]\n                                           Evaluator:\n                                             Bridge(\"{ ...next(operator) }\")\n\n                                     range: {'start': 10, 'end': 17}\n                                     text: \"quantity\"\n                                     value: \"quantity\"\n                                     word: \"quantity\"\n                                   }\n    3. Operator(is/0, ['Selector(Bridge(\"{ ...next(operator), one: { number: operator.number, ...before[0] }, two: after[0] }\"), , [ListableType(Listable(Type(\\'queryable\\')))]<==>[ListableType(Listable(Type(\\'queryable\\')))], bridge(bridge))'], evaluator(Bridge(\"{ ...next(operator), one: { number: operator.number, ...before[0] }, two: after[0] }\")), variables({}) bridge(bridge)) (1, 13) - \"are\"\n                                   {\n                                     marker: \n                                         Operator(is/0)\n                                           Selectors:\n                                             [\n                                               Selector\n                                                 Bridge(\"{ ...next(operator), one: { number: operator.number, ...before[0] }, two: after[0] }\")\n                                                 Left Selector: [ListableType(Listable(Type('queryable')))]\n                                                 Right Selector: [ListableType(Listable(Type('queryable')))]\n                                             ]\n                                           Evaluator:\n                                             Bridge(\"{ ...next(operator), one: { number: operator.number, ...before[0] }, two: after[0] }\")\n\n                                     number: \"many\"\n                                     range: {'start': 19, 'end': 21}\n                                     text: \"are\"\n                                     word: \"are\"\n                                   }\n    4. Operator(property/0, ['Selector(Bridge(\"{ ...next(operator) }\"), , []<==>[], bridge(bridge))'], evaluator(Bridge(\"{ ...next(operator) }\")), variables({}) bridge(bridge)) (1, 19) - \"properties\"\n                                   {\n                                     marker: \n                                         Operator(property/0)\n                                           Selectors:\n                                             [\n                                               Selector\n                                                 Bridge(\"{ ...next(operator) }\")\n                                                 Left Selector: []\n                                                 Right Selector: []\n                                             ]\n                                           Evaluator:\n                                             Bridge(\"{ ...next(operator) }\")\n\n                                     number: \"many\"\n                                     range: {'start': 23, 'end': 32}\n                                     text: \"properties\"\n                                     value: \"property\"\n                                     word: \"properties\"\n                                   }\n<<<<<<<<<<<<<\nNext Op (index=1) is ('list', 0)\n    Context:\n          {\n            default: true\n            marker: \n                Operator(list/0), passthrough\n                  Selectors:\n                    [\n                      Selector\n                        Bridge(\"{ ...next(operator), listable: true, isList: true, value: append(before, after) }\")\n                        , same/()\n                        Left Selector: [And([\"ListableType(Listable(Type(variable: 'type')))\", 'And([\\'Listable(Unify(context.instance, variables.instance))\\', \\'And([\\\\\\'Listable(Unify(context.de\n                        variables.dead))\\\\\\', \\\\\\'Not([\"ListableType(Listable(Type(variable: \\\\\\\\\\\\\\'(\\\\\\\\\\\\\\'contexts\\\\\\\\\\\\\\', 1, \\\\\\\\\\\\\\'notConjunctableWith\\\\\\\\\\\\\\')\\\\\\\\\\\\\\')))\"])\\\\\\'])\\'])'])]\n                        Right Selector: [And([\"ListableType(Listable(Type(variable: 'type')))\", 'And([\\'Listable(Unify(context.instance, variables.instance))\\', \\'And([\\\\\\'Listable(Unify(context.d\n                        variables.dead))\\\\\\', \\\\\\'Not([\"ListableType(Listable(Type(variable: \\\\\\\\\\\\\\'(\\\\\\\\\\\\\\'contexts\\\\\\\\\\\\\\', -1, \\\\\\\\\\\\\\'notConjunctableWith\\\\\\\\\\\\\\')\\\\\\\\\\\\\\')))\"])\\\\\\'])\\'])'])]\n                    ]\n                  Evaluator:\n                    Bridge(\"{ ...next(operator), listable: true, isList: true, value: append(before, after) }\")\n\n            range: {'start': 6, 'end': 8}\n            text: \"and\"\n            word: \"and\"\n          }\n\n\n>>>>>>>>>>>>> Counter 3\n  summary\n\n   *0.  list/1                                   - \"price and quantity\"\n    1.  is/0                                     - \"are\"\n    2.  property/0                               - \"properties\"\n\n  details\n\n    0. Operator(list/1, PASS, ['Selector(Bridge(\"{ ...operator, value: append(before, operator.value) }\"), , same/(), [And([\"ListableType(Listable(Type(variable: \\'type\\')))\", \"And([\\'Listable(Unify(context.instance, variables.instance))\\', \\'Listable(Unify(context.dead, variables.dead))\\'])\"])]<==>[], bridge(bridge), passthrough)'], evaluator(Bridge(\"{ ...operator, value: append(before, operator.value) }\")), variables({'contexts': ShiftedArray(zero at 1), 'found_types': ['quantity', 'price'], 'type': ['quantifier', 'comparable', 'isEder', 'concept', 'queryable', 'listable', 'number', 'thisAble', 'isEdee', 'property', 'quantity', 'theAble'], 'dead': True}) bridge(bridge)) (3, 0) - \"price and quantity\"\n                                   {\n                                     prioritized_by: [('list', 0)]\n                                     default: true\n                                     isList: true\n                                     listable: true\n                                     marker: \n                                         Operator(list/1), passthrough\n                                           Selectors:\n                                             [\n                                               Selector, passthrough\n                                                 Bridge(\"{ ...operator, value: append(before, operator.value) }\")\n                                                 , same/()\n                                                 Left Selector: [And([\"ListableType(Listable(Type(variable: 'type')))\", \"And(['Listable(Unify(context.instance, variables.instance))', 'Listable(Unify(context.dead, variables.dead))'])\"])]\n                                                 Right Selector: []\n                                             ]\n                                           Evaluator:\n                                             Bridge(\"{ ...operator, value: append(before, operator.value) }\")\n                                           Variables:\n                                             contexts: ShiftedArray(zero at 1)\n                                             found_types: ['quantity', 'price']\n                                             type: ['quantifier', 'comparable', 'isEder', 'concept', 'queryable', 'listable', 'number', 'thisAble', 'isEdee', 'property', 'quantity', 'theAble']\n                                             dead: True\n\n                                     range: {'start': 0, 'end': 17}\n                                     text: \"price and quantity\"\n                                     types: [\n                                     ]\n                                     value: [\n                                       {\n                                         prioritized_by: [('price', 0)]\n                                         dead: true\n                                         default: true\n                                         marker: \n                                             Operator(price/1)\n                                               Selectors:\n                                                 [\n                                                   Selector\n                                                     Left Selector: []\n                                                     Right Selector: []\n                                                 ]\n\n                                         range: {'start': 0, 'end': 4}\n                                         text: \"price\"\n                                         value: \"price\"\n                                         word: \"price\"\n                                       }\n\n                                       {\n                                         default: true\n                                         marker: \n                                             Operator(quantity/0)\n                                               Selectors:\n                                                 [\n                                                   Selector\n                                                     Bridge(\"{ ...next(operator) }\")\n                                                     Left Selector: []\n                                                     Right Selector: []\n                                                 ]\n                                               Evaluator:\n                                                 Bridge(\"{ ...next(operator) }\")\n\n                                         range: {'start': 10, 'end': 17}\n                                         text: \"quantity\"\n                                         value: \"quantity\"\n                                         word: \"quantity\"\n                                       }\n                                     ]\n                                     word: \"and\"\n                                   }\n    1. Operator(is/0, ['Selector(Bridge(\"{ ...next(operator), one: { number: operator.number, ...before[0] }, two: after[0] }\"), , [ListableType(Listable(Type(\\'queryable\\')))]<==>[ListableType(Listable(Type(\\'queryable\\')))], bridge(bridge))'], evaluator(Bridge(\"{ ...next(operator), one: { number: operator.number, ...before[0] }, two: after[0] }\")), variables({}) bridge(bridge)) (1, 13) - \"are\"\n                                   {\n                                     marker: \n                                         Operator(is/0)\n                                           Selectors:\n                                             [\n                                               Selector\n                                                 Bridge(\"{ ...next(operator), one: { number: operator.number, ...before[0] }, two: after[0] }\")\n                                                 Left Selector: [ListableType(Listable(Type('queryable')))]\n                                                 Right Selector: [ListableType(Listable(Type('queryable')))]\n                                             ]\n                                           Evaluator:\n                                             Bridge(\"{ ...next(operator), one: { number: operator.number, ...before[0] }, two: after[0] }\")\n\n                                     number: \"many\"\n                                     range: {'start': 19, 'end': 21}\n                                     text: \"are\"\n                                     word: \"are\"\n                                   }\n    2. Operator(property/0, ['Selector(Bridge(\"{ ...next(operator) }\"), , []<==>[], bridge(bridge))'], evaluator(Bridge(\"{ ...next(operator) }\")), variables({}) bridge(bridge)) (1, 19) - \"properties\"\n                                   {\n                                     marker: \n                                         Operator(property/0)\n                                           Selectors:\n                                             [\n                                               Selector\n                                                 Bridge(\"{ ...next(operator) }\")\n                                                 Left Selector: []\n                                                 Right Selector: []\n                                             ]\n                                           Evaluator:\n                                             Bridge(\"{ ...next(operator) }\")\n\n                                     number: \"many\"\n                                     range: {'start': 23, 'end': 32}\n                                     text: \"properties\"\n                                     value: \"property\"\n                                     word: \"properties\"\n                                   }\n<<<<<<<<<<<<<\nNext Op (index=2) is ('property', 0)\n    Context:\n          {\n            marker: \n                Operator(property/0)\n                  Selectors:\n                    [\n                      Selector\n                        Bridge(\"{ ...next(operator) }\")\n                        Left Selector: []\n                        Right Selector: []\n                    ]\n                  Evaluator:\n                    Bridge(\"{ ...next(operator) }\")\n\n            number: \"many\"\n            range: {'start': 23, 'end': 32}\n            text: \"properties\"\n            value: \"property\"\n            word: \"properties\"\n          }\n\n\n>>>>>>>>>>>>> Counter 4\n  summary\n\n    0.  list/1                                   - \"price and quantity\"\n    1.  is/0                                     - \"are\"\n   *2.  property/1 (dead)                        - \"properties\"\n\n  details\n\n    0. Operator(list/1, PASS, ['Selector(Bridge(\"{ ...operator, value: append(before, operator.value) }\"), , same/(), [And([\"ListableType(Listable(Type(variable: \\'type\\')))\", \"And([\\'Listable(Unify(context.instance, variables.instance))\\', \\'Listable(Unify(context.dead, variables.dead))\\'])\"])]<==>[], bridge(bridge), passthrough)'], evaluator(Bridge(\"{ ...operator, value: append(before, operator.value) }\")), variables({'contexts': ShiftedArray(zero at 1), 'found_types': ['quantity', 'price'], 'type': ['quantifier', 'comparable', 'isEder', 'concept', 'queryable', 'listable', 'number', 'thisAble', 'isEdee', 'property', 'quantity', 'theAble'], 'dead': True}) bridge(bridge)) (3, 0) - \"price and quantity\"\n                                   {\n                                     prioritized_by: [('list', 0)]\n                                     default: true\n                                     isList: true\n                                     listable: true\n                                     marker: \n                                         Operator(list/1), passthrough\n                                           Selectors:\n                                             [\n                                               Selector, passthrough\n                                                 Bridge(\"{ ...operator, value: append(before, operator.value) }\")\n                                                 , same/()\n                                                 Left Selector: [And([\"ListableType(Listable(Type(variable: 'type')))\", \"And(['Listable(Unify(context.instance, variables.instance))', 'Listable(Unify(context.dead, variables.dead))'])\"])]\n                                                 Right Selector: []\n                                             ]\n                                           Evaluator:\n                                             Bridge(\"{ ...operator, value: append(before, operator.value) }\")\n                                           Variables:\n                                             contexts: ShiftedArray(zero at 1)\n                                             found_types: ['quantity', 'price']\n                                             type: ['quantifier', 'comparable', 'isEder', 'concept', 'queryable', 'listable', 'number', 'thisAble', 'isEdee', 'property', 'quantity', 'theAble']\n                                             dead: True\n\n                                     range: {'start': 0, 'end': 17}\n                                     text: \"price and quantity\"\n                                     types: [\n                                     ]\n                                     value: [\n                                       {\n                                         prioritized_by: [('price', 0)]\n                                         dead: true\n                                         default: true\n                                         marker: \n                                             Operator(price/1)\n                                               Selectors:\n                                                 [\n                                                   Selector\n                                                     Left Selector: []\n                                                     Right Selector: []\n                                                 ]\n\n                                         range: {'start': 0, 'end': 4}\n                                         text: \"price\"\n                                         value: \"price\"\n                                         word: \"price\"\n                                       }\n\n                                       {\n                                         default: true\n                                         marker: \n                                             Operator(quantity/0)\n                                               Selectors:\n                                                 [\n                                                   Selector\n                                                     Bridge(\"{ ...next(operator) }\")\n                                                     Left Selector: []\n                                                     Right Selector: []\n                                                 ]\n                                               Evaluator:\n                                                 Bridge(\"{ ...next(operator) }\")\n\n                                         range: {'start': 10, 'end': 17}\n                                         text: \"quantity\"\n                                         value: \"quantity\"\n                                         word: \"quantity\"\n                                       }\n                                     ]\n                                     word: \"and\"\n                                   }\n    1. Operator(is/0, ['Selector(Bridge(\"{ ...next(operator), one: { number: operator.number, ...before[0] }, two: after[0] }\"), , [ListableType(Listable(Type(\\'queryable\\')))]<==>[ListableType(Listable(Type(\\'queryable\\')))], bridge(bridge))'], evaluator(Bridge(\"{ ...next(operator), one: { number: operator.number, ...before[0] }, two: after[0] }\")), variables({}) bridge(bridge)) (1, 13) - \"are\"\n                                   {\n                                     marker: \n                                         Operator(is/0)\n                                           Selectors:\n                                             [\n                                               Selector\n                                                 Bridge(\"{ ...next(operator), one: { number: operator.number, ...before[0] }, two: after[0] }\")\n                                                 Left Selector: [ListableType(Listable(Type('queryable')))]\n                                                 Right Selector: [ListableType(Listable(Type('queryable')))]\n                                             ]\n                                           Evaluator:\n                                             Bridge(\"{ ...next(operator), one: { number: operator.number, ...before[0] }, two: after[0] }\")\n\n                                     number: \"many\"\n                                     range: {'start': 19, 'end': 21}\n                                     text: \"are\"\n                                     word: \"are\"\n                                   }\n    2. Operator(property/1, ['Selector(None, , []<==>[], bridge(bridge))'], evaluator(None), variables({}) bridge(bridge)) (2, 1) - \"properties\"\n                                   {\n                                     prioritized_by: [('property', 0)]\n                                     dead: true\n                                     marker: \n                                         Operator(property/1)\n                                           Selectors:\n                                             [\n                                               Selector\n                                                 Left Selector: []\n                                                 Right Selector: []\n                                             ]\n\n                                     number: \"many\"\n                                     range: {'start': 23, 'end': 32}\n                                     text: \"properties\"\n                                     value: \"property\"\n                                     word: \"properties\"\n                                   }\n<<<<<<<<<<<<<\nNext Op (index=1) is ('is', 0)\n    Context:\n          {\n            marker: \n                Operator(is/0)\n                  Selectors:\n                    [\n                      Selector\n                        Bridge(\"{ ...next(operator), one: { number: operator.number, ...before[0] }, two: after[0] }\")\n                        Left Selector: [ListableType(Listable(Type('queryable')))]\n                        Right Selector: [ListableType(Listable(Type('queryable')))]\n                    ]\n                  Evaluator:\n                    Bridge(\"{ ...next(operator), one: { number: operator.number, ...before[0] }, two: after[0] }\")\n\n            number: \"many\"\n            range: {'start': 19, 'end': 21}\n            text: \"are\"\n            word: \"are\"\n          }\n\n\n>>>>>>>>>>>>> Counter 5\n  summary\n\n   *0.  is/1                                     - \"price and quantity are properties\"\n\n  details\n\n    0. Operator(is/1, ['Selector(Bridge(\"{ ...next(operator) }\"), , []<==>[], bridge(bridge))'], evaluator(Bridge(\"{ ...next(operator) }\")), variables({'contexts': ShiftedArray(zero at 1), 'found_types': []}) bridge(bridge)) (4, 0) - \"price and quantity are properties\"\n                                   {\n                                     prioritized_by: [('is', 0)]\n                                     marker: \n                                         Operator(is/1)\n                                           Selectors:\n                                             [\n                                               Selector\n                                                 Bridge(\"{ ...next(operator) }\")\n                                                 Left Selector: []\n                                                 Right Selector: []\n                                             ]\n                                           Evaluator:\n                                             Bridge(\"{ ...next(operator) }\")\n                                           Variables:\n                                             contexts: ShiftedArray(zero at 1)\n                                             found_types: []\n\n                                     number: \"many\"\n                                     one: \n                                         {\n                                           default: true\n                                           isList: true\n                                           listable: true\n                                           marker: \n                                               Operator(list/1), passthrough\n                                                 Selectors:\n                                                   [\n                                                     Selector, passthrough\n                                                       Bridge(\"{ ...operator, value: append(before, operator.value) }\")\n                                                       , same/()\n                                                       Left Selector: [And([\"ListableType(Listable(Type(variable: 'type')))\", \"And(['Listable(Unify(context.instance, variables.instance))', 'Listable(Unify(context.dead, variables.dead))'])\"])]\n                                                       Right Selector: []\n                                                   ]\n                                                 Evaluator:\n                                                   Bridge(\"{ ...operator, value: append(before, operator.value) }\")\n                                                 Variables:\n                                                   contexts: ShiftedArray(zero at 1)\n                                                   found_types: ['quantity', 'price']\n                                                   type: ['quantifier', 'comparable', 'isEder', 'concept', 'queryable', 'listable', 'number', 'thisAble', 'isEdee', 'property', 'quantity', 'theAble']\n                                                   dead: True\n\n                                           number: \"many\"\n                                           range: {'start': 0, 'end': 17}\n                                           text: \"price and quantity\"\n                                           types: [\n                                           'price'\n,                                            'quantity'\n                                           ]\n                                           value: [\n                                             {\n                                               prioritized_by: [('price', 0)]\n                                               dead: true\n                                               default: true\n                                               marker: \n                                                   Operator(price/1)\n                                                     Selectors:\n                                                       [\n                                                         Selector\n                                                           Left Selector: []\n                                                           Right Selector: []\n                                                       ]\n\n                                               range: {'start': 0, 'end': 4}\n                                               text: \"price\"\n                                               value: \"price\"\n                                               word: \"price\"\n                                             }\n\n                                             {\n                                               default: true\n                                               marker: \n                                                   Operator(quantity/0)\n                                                     Selectors:\n                                                       [\n                                                         Selector\n                                                           Bridge(\"{ ...next(operator) }\")\n                                                           Left Selector: []\n                                                           Right Selector: []\n                                                       ]\n                                                     Evaluator:\n                                                       Bridge(\"{ ...next(operator) }\")\n\n                                               range: {'start': 10, 'end': 17}\n                                               text: \"quantity\"\n                                               value: \"quantity\"\n                                               word: \"quantity\"\n                                             }\n                                           ]\n                                           word: \"and\"\n                                         }\n\n                                     range: {'start': 0, 'end': 32}\n                                     text: \"price and quantity are properties\"\n                                     two: \n                                         {\n                                           prioritized_by: [('property', 0)]\n                                           dead: true\n                                           marker: \n                                               Operator(property/1)\n                                                 Selectors:\n                                                   [\n                                                     Selector\n                                                       Left Selector: []\n                                                       Right Selector: []\n                                                   ]\n\n                                           number: \"many\"\n                                           range: {'start': 23, 'end': 32}\n                                           text: \"properties\"\n                                           types: [\n                                           'property'\n                                           ]\n                                           value: \"property\"\n                                           word: \"properties\"\n                                         }\n\n                                     word: \"are\"\n                                   }\n<<<<<<<<<<<<<\nNext Op (index=0) is ('is', 1)\n    Context:\n          {\n            prioritized_by: [('is', 0)]\n            marker: \n                Operator(is/1)\n                  Selectors:\n                    [\n                      Selector\n                        Bridge(\"{ ...next(operator) }\")\n                        Left Selector: []\n                        Right Selector: []\n                    ]\n                  Evaluator:\n                    Bridge(\"{ ...next(operator) }\")\n                  Variables:\n                    contexts: ShiftedArray(zero at 1)\n                    found_types: []\n\n            number: \"many\"\n            one: \n                {\n                  default: true\n                  isList: true\n                  listable: true\n                  marker: \n                      Operator(list/1), passthrough\n                        Selectors:\n                          [\n                            Selector, passthrough\n                              Bridge(\"{ ...operator, value: append(before, operator.value) }\")\n                              , same/()\n                              Left Selector: [And([\"ListableType(Listable(Type(variable: 'type')))\", \"And(['Listable(Unify(context.instance, variables.instance))', 'Listable(Unify(context.dead,\n                              variables.dead))'])\"])]\n                              Right Selector: []\n                          ]\n                        Evaluator:\n                          Bridge(\"{ ...operator, value: append(before, operator.value) }\")\n                        Variables:\n                          contexts: ShiftedArray(zero at 1)\n                          found_types: ['quantity', 'price']\n                          type: ['quantifier', 'comparable', 'isEder', 'concept', 'queryable', 'listable', 'number', 'thisAble', 'isEdee', 'property', 'quantity', 'theAble']\n                          dead: True\n\n                  number: \"many\"\n                  range: {'start': 0, 'end': 17}\n                  text: \"price and quantity\"\n                  types: [\n                  'price'\n,                   'quantity'\n                  ]\n                  value: [\n                    {\n                      prioritized_by: [('price', 0)]\n                      dead: true\n                      default: true\n                      marker: \n                          Operator(price/1)\n                            Selectors:\n                              [\n                                Selector\n                                  Left Selector: []\n                                  Right Selector: []\n                              ]\n\n                      range: {'start': 0, 'end': 4}\n                      text: \"price\"\n                      value: \"price\"\n                      word: \"price\"\n                    }\n\n                    {\n                      default: true\n                      marker: \n                          Operator(quantity/0)\n                            Selectors:\n                              [\n                                Selector\n                                  Bridge(\"{ ...next(operator) }\")\n                                  Left Selector: []\n                                  Right Selector: []\n                              ]\n                            Evaluator:\n                              Bridge(\"{ ...next(operator) }\")\n\n                      range: {'start': 10, 'end': 17}\n                      text: \"quantity\"\n                      value: \"quantity\"\n                      word: \"quantity\"\n                    }\n                  ]\n                  word: \"and\"\n                }\n\n            range: {'start': 0, 'end': 32}\n            text: \"price and quantity are properties\"\n            two: \n                {\n                  prioritized_by: [('property', 0)]\n                  dead: true\n                  marker: \n                      Operator(property/1)\n                        Selectors:\n                          [\n                            Selector\n                              Left Selector: []\n                              Right Selector: []\n                          ]\n\n                  number: \"many\"\n                  range: {'start': 23, 'end': 32}\n                  text: \"properties\"\n                  types: [\n                  'property'\n                  ]\n                  value: \"property\"\n                  word: \"properties\"\n                }\n\n            word: \"are\"\n          }\n\n\n>>>>>>>>>>>>> Counter 6\n  summary\n\n   *0.  is/2 (dead)                              - \"price and quantity are properties\"\n\n  details\n\n    0. Operator(is/2, ['Selector(None, , []<==>[], bridge(bridge))'], evaluator(None), variables({}) bridge(bridge)) (5, 0) - \"price and quantity are properties\"\n                                   {\n                                     prioritized_by: [('is', 1)]\n                                     dead: true\n                                     marker: \n                                         Operator(is/2)\n                                           Selectors:\n                                             [\n                                               Selector\n                                                 Left Selector: []\n                                                 Right Selector: []\n                                             ]\n\n                                     number: \"many\"\n                                     one: \n                                         {\n                                           default: true\n                                           isList: true\n                                           listable: true\n                                           marker: \n                                               Operator(list/1), passthrough\n                                                 Selectors:\n                                                   [\n                                                     Selector, passthrough\n                                                       Bridge(\"{ ...operator, value: append(before, operator.value) }\")\n                                                       , same/()\n                                                       Left Selector: [And([\"ListableType(Listable(Type(variable: 'type')))\", \"And(['Listable(Unify(context.instance, variables.instance))', 'Listable(Unify(context.dead, variables.dead))'])\"])]\n                                                       Right Selector: []\n                                                   ]\n                                                 Evaluator:\n                                                   Bridge(\"{ ...operator, value: append(before, operator.value) }\")\n                                                 Variables:\n                                                   contexts: ShiftedArray(zero at 1)\n                                                   found_types: ['quantity', 'price']\n                                                   type: ['quantifier', 'comparable', 'isEder', 'concept', 'queryable', 'listable', 'number', 'thisAble', 'isEdee', 'property', 'quantity', 'theAble']\n                                                   dead: True\n\n                                           number: \"many\"\n                                           range: {'start': 0, 'end': 17}\n                                           text: \"price and quantity\"\n                                           types: [\n                                           'price'\n,                                            'quantity'\n                                           ]\n                                           value: [\n                                             {\n                                               prioritized_by: [('price', 0)]\n                                               dead: true\n                                               default: true\n                                               marker: \n                                                   Operator(price/1)\n                                                     Selectors:\n                                                       [\n                                                         Selector\n                                                           Left Selector: []\n                                                           Right Selector: []\n                                                       ]\n\n                                               range: {'start': 0, 'end': 4}\n                                               text: \"price\"\n                                               value: \"price\"\n                                               word: \"price\"\n                                             }\n\n                                             {\n                                               default: true\n                                               marker: \n                                                   Operator(quantity/0)\n                                                     Selectors:\n                                                       [\n                                                         Selector\n                                                           Bridge(\"{ ...next(operator) }\")\n                                                           Left Selector: []\n                                                           Right Selector: []\n                                                       ]\n                                                     Evaluator:\n                                                       Bridge(\"{ ...next(operator) }\")\n\n                                               range: {'start': 10, 'end': 17}\n                                               text: \"quantity\"\n                                               value: \"quantity\"\n                                               word: \"quantity\"\n                                             }\n                                           ]\n                                           word: \"and\"\n                                         }\n\n                                     range: {'start': 0, 'end': 32}\n                                     text: \"price and quantity are properties\"\n                                     two: \n                                         {\n                                           prioritized_by: [('property', 0)]\n                                           dead: true\n                                           marker: \n                                               Operator(property/1)\n                                                 Selectors:\n                                                   [\n                                                     Selector\n                                                       Left Selector: []\n                                                       Right Selector: []\n                                                   ]\n\n                                           number: \"many\"\n                                           range: {'start': 23, 'end': 32}\n                                           text: \"properties\"\n                                           types: [\n                                           'property'\n                                           ]\n                                           value: \"property\"\n                                           word: \"properties\"\n                                         }\n\n                                     word: \"are\"\n                                   }\n<<<<<<<<<<<<<\n",
       "contexts": [
         {
           "number": "many",
@@ -1448,7 +1448,8 @@
                   "end": 4
                 },
                 "dead": true,
-                "level": 1
+                "level": 1,
+                "evaluate": false
               },
               {
                 "marker": "quantity",
@@ -1460,7 +1461,8 @@
                   "start": 10,
                   "end": 17
                 },
-                "level": 0
+                "level": 0,
+                "evaluate": false
               }
             ],
             "level": 1,

package/common/stm.js

@@ -55,6 +55,8 @@ class API {
       return
     }
 
+    concept.evaluate = false
+
     if (!frameOfReference) {
       frameOfReference = this._objects
     }
@@ -345,9 +347,9 @@ const config = {
       notes: 'pull from context',
       // match: ({context}) => context.marker == 'it' && context.pullFromContext, // && context.value,
       match: ({context, callId}) => context.pullFromContext && !context.same, // && context.value,
-      apply: async ({callId, recall, toList, context, kms, e, log, retry}) => {
+      apply: async ({callId, s, debug, recall, toList, context, kms, e, log, retry}) => {
         context.value = (await recall({ context }))
-        if (Array.isArray(context.value)) {
+        if (context.marker == 'list' || Array.isArray(context.value)) {
           context.value = toList(context.value)
         }
 
@@ -355,13 +357,17 @@ const config = {
           context.evalue = { marker: 'answerNotKnown' }
           return
         }
-       
-        const instance = await e(context.value)
-        if (instance.evalue && !instance.edefault) {
-          context.value = instance.evalue
-        }
-        if (context.evaluate) {
-          context.evalue = context.value
+      
+        if (context.evaluate) { 
+          const instance = await e(context.value)
+          if (instance.evalue && !instance.edefault) {
+            context.value = instance.evalue
+          }
+          if (context.evaluate) {
+            context.evalue = context.value
+          }
+        } else {
+          await s(context.value)
         }
       },
     },

package/common/temperature.instance.json

@@ -4498,6 +4498,33 @@
               "unit"
             ],
             "propertyOf": true,
+            "interpolate": [
+              {
+                "property": "property"
+              },
+              {
+                "word": "of"
+              },
+              {
+                "property": "object"
+              }
+            ],
+            "property": {
+              "value": "unit",
+              "number": "many",
+              "text": "units",
+              "marker": "unit",
+              "dead": true,
+              "word": "units",
+              "range": {
+                "start": 34,
+                "end": 38
+              },
+              "types": [
+                "unit"
+              ],
+              "level": 0
+            },
             "object": {
               "value": "temperature",
               "number": "one",