ekms 9.5.0 → 9.5.1-beta.2

package/common/pipboy.js

@@ -134,7 +134,7 @@ const config = {
     // show the outfits
 
     // TODO for future
-    // { pattern: "([testsetup1] ([equipable]))", development: true },
+    // { pattern: "([testsetup1] ([equipable]))", scope: "testing" },
   ],
   hierarchy: [
     ['weapon', 'countable'],
@@ -409,7 +409,7 @@ const config = {
     /*
     { 
        id: "testsetup1", 
-       development: true,
+       scope: "testing",
        level: 0, 
        bridge: "{ ...next(operator), type: after[0] }" ,
        localHierarchy: [ ['weapon', 'equipable'] ],
@@ -504,7 +504,6 @@ knowledgeModule({
     contents: pipboy_tests,
     checks: {
       objects: [
-        'apply', 'change', 'display', 'disarm', 'drink', 'eat', 'equip', 'setName', 'strip', 'take', 'wear',
         'apply', 'change', 'display', 'disarm', 'drink', 'eat', 'equip', 'setName', 'strip', 'take', 'wear', 'showWeapons',
       ],
       context: [defaultContextCheck()],

package/common/properties.js

@@ -345,7 +345,7 @@ const config = {
     },
     {
       where: where(),
-      match: ({context, hierarchy}) => hierarchy.isA(context.marker, 'canBeDoQuestion') && context.paraphrase && !context.query,
+      match: ({context, hierarchy}) => hierarchy.isA(context.marker, 'canBeDoQuestion') && context.paraphrase && !context.query && !context.interpolate,
       apply: async ({context, g}) => {
         return `${await g(context.object)} ${context.word} ${await g(context.property)}`
       }
@@ -686,6 +686,11 @@ knowledgeModule( {
         defaultContextCheck({ marker: 'objectPrefix', exported: true, extra: ['object', 'objects'] }),
         defaultContextCheck()
       ],
+      /*
+      objects: [
+        'relations'
+      ]
+      */
     },
     include: {
       words: true,

package/common/reminders.instance.json

@@ -5,7 +5,7 @@
         "([remindable])",
         {
           "pattern": "([addRemindable] (word)*)",
-          "development": true
+          "scope": "testing"
         },
         "([remind:justWhoBridge] (remindable/*))",
         "([remind] (remindable/*) (!@<= 'dateTimeSelector' && !@<= 'inAddition')*)",
@@ -53,7 +53,7 @@
           "isA": [
             "verb"
           ],
-          "development": true,
+          "scope": "testing",
           "bridge": "{ ...next(operator), complete: true, flatten: true, arg: after[0], operator: operator, interpolate: '${operator} ${arg}' }",
           "semantic": "async ({api, context}) => {\n            const name = context.arg.map( (word) => word.text ).join(' ')\n            await api.addRemindable(name)\n          }"
         },
@@ -140,7 +140,7 @@
         "([remindable])",
         {
           "pattern": "([addRemindable] (word)*)",
-          "development": true
+          "scope": "testing"
         },
         "([remind:justWhoBridge] (remindable/*))",
         "([remind] (remindable/*) (!@<= 'dateTimeSelector' && !@<= 'inAddition')*)",
@@ -186,7 +186,7 @@
           "isA": [
             "verb"
           ],
-          "development": true,
+          "scope": "testing",
           "bridge": "{ ...next(operator), complete: true, flatten: true, arg: after[0], operator: operator, interpolate: '${operator} ${arg}' }"
         },
         {

package/common/reminders.js

@@ -241,7 +241,7 @@ const template = {
     { 
       operators: [
         "([remindable])",
-        { pattern: "([addRemindable] (word)*)", development: true },
+        { pattern: "([addRemindable] (word)*)", scope: "testing" },
         "([remind:justWhoBridge] (remindable/*))",
         "([remind] (remindable/*) (!@<= 'dateTimeSelector' && !@<= 'inAddition')*)",
         "([remind:withDateBridge] (remindable/*) (!@<= 'dateTimeSelector' && !@<= 'inAddition')* (dateTimeSelector))",
@@ -283,7 +283,7 @@ const template = {
         {
           id: 'addRemindable',
           isA: ['verb'],
-          development: true,
+          scope: "testing",
           bridge: "{ ...next(operator), complete: true, flatten: true, arg: after[0], operator: operator, interpolate: '${operator} ${arg}' }",
           semantic: async ({api, context}) => {
             const name = context.arg.map( (word) => word.text ).join(' ')

package/common/reports.instance.json

@@ -1048,7 +1048,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 (dead)                        - \"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\\')))\", \\'Listable(Unify(context.instance, variables.instance))\\'])]<==>[And([\"ListableType(Listable(Type(variable: \\'type\\')))\", \\'Listable(Unify(context.instance, variables.instance))\\'])], 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')))\", 'Listable(Unify(context.instance, variables.instance))'])]\n                                                 Right Selector: [And([\"ListableType(Listable(Type(variable: 'type')))\", 'Listable(Unify(context.instance, variables.instance))'])]\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(None, , []<==>[], bridge(bridge))'], evaluator(None), variables({}) bridge(bridge)) (1, 19) - \"properties\"\n                                   {\n                                     dead: true\n                                     marker: \n                                         Operator(property/0)\n                                           Selectors:\n                                             [\n                                               Selector\n                                                 Left Selector: []\n                                                 Right Selector: []\n                                             ]\n\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 (dead)                        - \"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\\')))\", \\'Listable(Unify(context.instance, variables.instance))\\'])]<==>[And([\"ListableType(Listable(Type(variable: \\'type\\')))\", \\'Listable(Unify(context.instance, variables.instance))\\'])], 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')))\", 'Listable(Unify(context.instance, variables.instance))'])]\n                                                 Right Selector: [And([\"ListableType(Listable(Type(variable: 'type')))\", 'Listable(Unify(context.instance, variables.instance))'])]\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(None, , []<==>[], bridge(bridge))'], evaluator(None), variables({}) bridge(bridge)) (1, 19) - \"properties\"\n                                   {\n                                     dead: true\n                                     marker: \n                                         Operator(property/0)\n                                           Selectors:\n                                             [\n                                               Selector\n                                                 Left Selector: []\n                                                 Right Selector: []\n                                             ]\n\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')))\", 'Listable(Unify(context.instance, variables.instance))'])]\n                        Right Selector: [And([\"ListableType(Listable(Type(variable: 'type')))\", 'Listable(Unify(context.instance, variables.instance))'])]\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 (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\\')))\", \\'Listable(Unify(context.instance, variables.instance))\\'])]<==>[], bridge(bridge), passthrough)'], evaluator(Bridge('{ ...operator, value: append(before, operator.value) }')), variables({'found_types': ['quantity', 'price'], 'type': ['queryable', 'theAble', 'comparable', 'listable', 'number', 'quantity', 'quantifier', 'property']}) 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')))\", 'Listable(Unify(context.instance, variables.instance))'])]\n                                                 Right Selector: []\n                                             ]\n                                           Evaluator:\n                                             Bridge('{ ...operator, value: append(before, operator.value) }')\n                                           Variables:\n                                             found_types: ['quantity', 'price']\n                                             type: ['queryable', 'theAble', 'comparable', 'listable', 'number', 'quantity', 'quantifier', 'property']\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(None, , []<==>[], bridge(bridge))'], evaluator(None), variables({}) bridge(bridge)) (1, 19) - \"properties\"\n                                   {\n                                     dead: true\n                                     marker: \n                                         Operator(property/0)\n                                           Selectors:\n                                             [\n                                               Selector\n                                                 Left Selector: []\n                                                 Right Selector: []\n                                             ]\n\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 4\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({'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                                             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')))\", 'Listable(Unify(context.instance, variables.instance))'])]\n                                                       Right Selector: []\n                                                   ]\n                                                 Evaluator:\n                                                   Bridge('{ ...operator, value: append(before, operator.value) }')\n                                                 Variables:\n                                                   found_types: ['quantity', 'price']\n                                                   type: ['queryable', 'theAble', 'comparable', 'listable', 'number', 'quantity', 'quantifier', 'property']\n\n                                           number: \"many\"\n                                           range: {'start': 0, 'end': 32}\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                                           dead: true\n                                           marker: \n                                               Operator(property/0)\n                                                 Selectors:\n                                                   [\n                                                     Selector\n                                                       Left Selector: []\n                                                       Right Selector: []\n                                                   ]\n\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                    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')))\", 'Listable(Unify(context.instance, variables.instance))'])]\n                              Right Selector: []\n                          ]\n                        Evaluator:\n                          Bridge('{ ...operator, value: append(before, operator.value) }')\n                        Variables:\n                          found_types: ['quantity', 'price']\n                          type: ['queryable', 'theAble', 'comparable', 'listable', 'number', 'quantity', 'quantifier', 'property']\n\n                  number: \"many\"\n                  range: {'start': 0, 'end': 32}\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                  dead: true\n                  marker: \n                      Operator(property/0)\n                        Selectors:\n                          [\n                            Selector\n                              Left Selector: []\n                              Right Selector: []\n                          ]\n\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 5\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')))\", 'Listable(Unify(context.instance, variables.instance))'])]\n                                                       Right Selector: []\n                                                   ]\n                                                 Evaluator:\n                                                   Bridge('{ ...operator, value: append(before, operator.value) }')\n                                                 Variables:\n                                                   found_types: ['quantity', 'price']\n                                                   type: ['queryable', 'theAble', 'comparable', 'listable', 'number', 'quantity', 'quantifier', 'property']\n\n                                           number: \"many\"\n                                           range: {'start': 0, 'end': 32}\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                                           dead: true\n                                           marker: \n                                               Operator(property/0)\n                                                 Selectors:\n                                                   [\n                                                     Selector\n                                                       Left Selector: []\n                                                       Right Selector: []\n                                                   ]\n\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 (dead)                        - \"properties\"\n\n  details\n\n    0. Operator(price/0, [\"Selector(Bridge('{ ...next(operator) }'), , []<==>[], bridge(bridge))\"], evaluator(Bridge('{ ...next(operator) }')), variables({}) bridge(bridge)) (1, 0) - \"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\\')))\", \\'Listable(Unify(context.instance, variables.instance))\\'])]<==>[And([\"ListableType(Listable(Type(variable: \\'type\\')))\", \\'Listable(Unify(context.instance, variables.instance))\\'])], bridge(bridge))'], evaluator(Bridge('{ ...next(operator), listable: true, isList: true, value: append(before, after) }')), variables({}) bridge(bridge)) (1, 5) - \"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')))\", 'Listable(Unify(context.instance, variables.instance))'])]\n                                                 Right Selector: [And([\"ListableType(Listable(Type(variable: 'type')))\", 'Listable(Unify(context.instance, variables.instance))'])]\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, 8) - \"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, 12) - \"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(None, , []<==>[], bridge(bridge))'], evaluator(None), variables({}) bridge(bridge)) (1, 18) - \"properties\"\n                                   {\n                                     dead: true\n                                     marker: \n                                         Operator(property/0)\n                                           Selectors:\n                                             [\n                                               Selector\n                                                 Left Selector: []\n                                                 Right Selector: []\n                                             ]\n\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 (dead)                        - \"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\\')))\", \\'Listable(Unify(context.instance, variables.instance))\\'])]<==>[And([\"ListableType(Listable(Type(variable: \\'type\\')))\", \\'Listable(Unify(context.instance, variables.instance))\\'])], bridge(bridge))'], evaluator(Bridge('{ ...next(operator), listable: true, isList: true, value: append(before, after) }')), variables({}) bridge(bridge)) (1, 5) - \"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')))\", 'Listable(Unify(context.instance, variables.instance))'])]\n                                                 Right Selector: [And([\"ListableType(Listable(Type(variable: 'type')))\", 'Listable(Unify(context.instance, variables.instance))'])]\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, 8) - \"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, 12) - \"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(None, , []<==>[], bridge(bridge))'], evaluator(None), variables({}) bridge(bridge)) (1, 18) - \"properties\"\n                                   {\n                                     dead: true\n                                     marker: \n                                         Operator(property/0)\n                                           Selectors:\n                                             [\n                                               Selector\n                                                 Left Selector: []\n                                                 Right Selector: []\n                                             ]\n\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')))\", 'Listable(Unify(context.instance, variables.instance))'])]\n                        Right Selector: [And([\"ListableType(Listable(Type(variable: 'type')))\", 'Listable(Unify(context.instance, variables.instance))'])]\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 (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\\')))\", \\'Listable(Unify(context.instance, variables.instance))\\'])]<==>[], bridge(bridge), passthrough)'], evaluator(Bridge('{ ...operator, value: append(before, operator.value) }')), variables({'found_types': ['quantity', 'price'], 'type': ['quantifier', 'quantity', 'listable', 'number', 'queryable', 'theAble', 'property', 'comparable']}) 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')))\", 'Listable(Unify(context.instance, variables.instance))'])]\n                                                 Right Selector: []\n                                             ]\n                                           Evaluator:\n                                             Bridge('{ ...operator, value: append(before, operator.value) }')\n                                           Variables:\n                                             found_types: ['quantity', 'price']\n                                             type: ['quantifier', 'quantity', 'listable', 'number', 'queryable', 'theAble', 'property', 'comparable']\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, 12) - \"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(None, , []<==>[], bridge(bridge))'], evaluator(None), variables({}) bridge(bridge)) (1, 18) - \"properties\"\n                                   {\n                                     dead: true\n                                     marker: \n                                         Operator(property/0)\n                                           Selectors:\n                                             [\n                                               Selector\n                                                 Left Selector: []\n                                                 Right Selector: []\n                                             ]\n\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 4\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({'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                                             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')))\", 'Listable(Unify(context.instance, variables.instance))'])]\n                                                       Right Selector: []\n                                                   ]\n                                                 Evaluator:\n                                                   Bridge('{ ...operator, value: append(before, operator.value) }')\n                                                 Variables:\n                                                   found_types: ['quantity', 'price']\n                                                   type: ['quantifier', 'quantity', 'listable', 'number', 'queryable', 'theAble', 'property', 'comparable']\n\n                                           number: \"many\"\n                                           range: {'start': 0, 'end': 32}\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                                           dead: true\n                                           marker: \n                                               Operator(property/0)\n                                                 Selectors:\n                                                   [\n                                                     Selector\n                                                       Left Selector: []\n                                                       Right Selector: []\n                                                   ]\n\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                    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')))\", 'Listable(Unify(context.instance, variables.instance))'])]\n                              Right Selector: []\n                          ]\n                        Evaluator:\n                          Bridge('{ ...operator, value: append(before, operator.value) }')\n                        Variables:\n                          found_types: ['quantity', 'price']\n                          type: ['quantifier', 'quantity', 'listable', 'number', 'queryable', 'theAble', 'property', 'comparable']\n\n                  number: \"many\"\n                  range: {'start': 0, 'end': 32}\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                  dead: true\n                  marker: \n                      Operator(property/0)\n                        Selectors:\n                          [\n                            Selector\n                              Left Selector: []\n                              Right Selector: []\n                          ]\n\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 5\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')))\", 'Listable(Unify(context.instance, variables.instance))'])]\n                                                       Right Selector: []\n                                                   ]\n                                                 Evaluator:\n                                                   Bridge('{ ...operator, value: append(before, operator.value) }')\n                                                 Variables:\n                                                   found_types: ['quantity', 'price']\n                                                   type: ['quantifier', 'quantity', 'listable', 'number', 'queryable', 'theAble', 'property', 'comparable']\n\n                                           number: \"many\"\n                                           range: {'start': 0, 'end': 32}\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                                           dead: true\n                                           marker: \n                                               Operator(property/0)\n                                                 Selectors:\n                                                   [\n                                                     Selector\n                                                       Left Selector: []\n                                                       Right Selector: []\n                                                   ]\n\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",
@@ -2464,7 +2464,7 @@
           }
         ]
       },
-      "trace": "\n\n>>>>>>>>>>>>> Counter 1\n  summary\n\n    0.  unknown/0                                - \"worth\"\n    1.  means/0                                  - \"means\"\n    2.  price/0                                  - \"price\"\n    3.  timesOperator/0                          - \"times\"\n    4.  quantity/0                               - \"quantity\"\n\n  details\n\n    0. Operator(unknown/0, [\"Selector(Bridge('{ ...operator, unknown: true, dead: true }'), , []<==>[], bridge(bridge))\"], evaluator(Bridge('{ ...operator, unknown: true, dead: true }')), variables({}) bridge(bridge)) (1, 0) - \"worth\"\n                                   {\n                                     marker: \n                                         Operator(unknown/0)\n                                           Selectors:\n                                             [\n                                               Selector\n                                                 Bridge('{ ...operator, unknown: true, dead: true }')\n                                                 Left Selector: []\n                                                 Right Selector: []\n                                             ]\n                                           Evaluator:\n                                             Bridge('{ ...operator, unknown: true, dead: true }')\n\n                                     range: {'start': 0, 'end': 4}\n                                     text: \"worth\"\n                                     unknown: true\n                                     value: \"worth\"\n                                     word: \"worth\"\n                                   }\n    1. Operator(means/0, [\"Selector(Bridge('{ ...next(operator), from: before[0], to: after[0] }'), , [Any]<==>[Any], bridge(bridge))\"], evaluator(Bridge('{ ...next(operator), from: before[0], to: after[0] }')), variables({}) bridge(bridge)) (1, 2) - \"means\"\n                                   {\n                                     default: true\n                                     marker: \n                                         Operator(means/0)\n                                           Selectors:\n                                             [\n                                               Selector\n                                                 Bridge('{ ...next(operator), from: before[0], to: after[0] }')\n                                                 Left Selector: [Any]\n                                                 Right Selector: [Any]\n                                             ]\n                                           Evaluator:\n                                             Bridge('{ ...next(operator), from: before[0], to: after[0] }')\n\n                                     range: {'start': 6, 'end': 10}\n                                     text: \"means\"\n                                     value: \"means\"\n                                     word: \"means\"\n                                   }\n    2. Operator(price/0, [\"Selector(Bridge('{ ...next(operator) }'), , []<==>[], bridge(bridge))\"], evaluator(Bridge('{ ...next(operator) }')), variables({}) bridge(bridge)) (1, 6) - \"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': 12, 'end': 16}\n                                     text: \"price\"\n                                     value: \"price\"\n                                     word: \"price\"\n                                   }\n    3. Operator(timesOperator/0, [\"Selector(Bridge('{ ...next(operator), marker: next(operator('timesExpression')), types: lub(append(['mathematicalExpression'], operator.types, before[0].types, after[0].types)), value: null, x: before[0], y: after[0], number: 'one', isResponse: true, evaluate: true }'), , [ListableType(Listable(Type('number')))]<==>[ListableType(Listable(Type('number')))], bridge(bridge))\"], evaluator(Bridge('{ ...next(operator), marker: next(operator('timesExpression')), types: lub(append(['mathematicalExpression'], operator.types, before[0].types, after[0].types)), value: null, x: before[0], y: after[0], number: 'one', isResponse: true, evaluate: true }')), variables({}) bridge(bridge)) (1, 9) - \"times\"\n                                   {\n                                     marker: \n                                         Operator(timesOperator/0)\n                                           Selectors:\n                                             [\n                                               Selector\n                                                 Bridge('{ ...next(operator), marker: next(operator('timesExpression')), types: lub(append(['mathematicalExpression'], operator.types, before[0].types, after[0].types)), value: null, x: before[0], y: after[0], number: 'one', isResponse: true, evaluate: true }')\n                                                 Left Selector: [ListableType(Listable(Type('number')))]\n                                                 Right Selector: [ListableType(Listable(Type('number')))]\n                                             ]\n                                           Evaluator:\n                                             Bridge('{ ...next(operator), marker: next(operator('timesExpression')), types: lub(append(['mathematicalExpression'], operator.types, before[0].types, after[0].types)), value: null, x: before[0], y: after[0], number: 'one', isResponse: true, evaluate: true }')\n\n                                     range: {'start': 18, 'end': 22}\n                                     text: \"times\"\n                                     value: \"timesOperator\"\n                                     word: \"times\"\n                                   }\n    4. Operator(quantity/0, [\"Selector(Bridge('{ ...next(operator) }'), , []<==>[], bridge(bridge))\"], evaluator(Bridge('{ ...next(operator) }')), variables({}) bridge(bridge)) (1, 12) - \"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': 24, 'end': 31}\n                                     text: \"quantity\"\n                                     value: \"quantity\"\n                                     word: \"quantity\"\n                                   }\n<<<<<<<<<<<<<\nNext Op (index=0) is ('unknown', 0)\n    Context:\n          {\n            marker: \n                Operator(unknown/0)\n                  Selectors:\n                    [\n                      Selector\n                        Bridge('{ ...operator, unknown: true, dead: true }')\n                        Left Selector: []\n                        Right Selector: []\n                    ]\n                  Evaluator:\n                    Bridge('{ ...operator, unknown: true, dead: true }')\n\n            range: {'start': 0, 'end': 4}\n            text: \"worth\"\n            unknown: true\n            value: \"worth\"\n            word: \"worth\"\n          }\n\n\n>>>>>>>>>>>>> Counter 2\n  summary\n\n   *0.  unknown/0 (dead)                         - \"worth\"\n    1.  means/0                                  - \"means\"\n    2.  price/0                                  - \"price\"\n    3.  timesOperator/0                          - \"times\"\n    4.  quantity/0                               - \"quantity\"\n\n  details\n\n    0. Operator(unknown/0, [\"Selector(Bridge('{ ...operator, unknown: true, dead: true }'), , []<==>[], bridge(bridge))\"], evaluator(Bridge('{ ...operator, unknown: true, dead: true }')), variables({}) bridge(bridge)) (2, 0) - \"worth\"\n                                   {\n                                     prioritized_by: [('unknown', 0)]\n                                     dead: true\n                                     marker: \n                                         Operator(unknown/0)\n                                           Selectors:\n                                             [\n                                               Selector\n                                                 Bridge('{ ...operator, unknown: true, dead: true }')\n                                                 Left Selector: []\n                                                 Right Selector: []\n                                             ]\n                                           Evaluator:\n                                             Bridge('{ ...operator, unknown: true, dead: true }')\n\n                                     range: {'start': 0, 'end': 4}\n                                     text: \"worth\"\n                                     unknown: true\n                                     value: \"worth\"\n                                     word: \"worth\"\n                                   }\n    1. Operator(means/0, [\"Selector(Bridge('{ ...next(operator), from: before[0], to: after[0] }'), , [Any]<==>[Any], bridge(bridge))\"], evaluator(Bridge('{ ...next(operator), from: before[0], to: after[0] }')), variables({}) bridge(bridge)) (1, 2) - \"means\"\n                                   {\n                                     default: true\n                                     marker: \n                                         Operator(means/0)\n                                           Selectors:\n                                             [\n                                               Selector\n                                                 Bridge('{ ...next(operator), from: before[0], to: after[0] }')\n                                                 Left Selector: [Any]\n                                                 Right Selector: [Any]\n                                             ]\n                                           Evaluator:\n                                             Bridge('{ ...next(operator), from: before[0], to: after[0] }')\n\n                                     range: {'start': 6, 'end': 10}\n                                     text: \"means\"\n                                     value: \"means\"\n                                     word: \"means\"\n                                   }\n    2. Operator(price/0, [\"Selector(Bridge('{ ...next(operator) }'), , []<==>[], bridge(bridge))\"], evaluator(Bridge('{ ...next(operator) }')), variables({}) bridge(bridge)) (1, 6) - \"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': 12, 'end': 16}\n                                     text: \"price\"\n                                     value: \"price\"\n                                     word: \"price\"\n                                   }\n    3. Operator(timesOperator/0, [\"Selector(Bridge('{ ...next(operator), marker: next(operator('timesExpression')), types: lub(append(['mathematicalExpression'], operator.types, before[0].types, after[0].types)), value: null, x: before[0], y: after[0], number: 'one', isResponse: true, evaluate: true }'), , [ListableType(Listable(Type('number')))]<==>[ListableType(Listable(Type('number')))], bridge(bridge))\"], evaluator(Bridge('{ ...next(operator), marker: next(operator('timesExpression')), types: lub(append(['mathematicalExpression'], operator.types, before[0].types, after[0].types)), value: null, x: before[0], y: after[0], number: 'one', isResponse: true, evaluate: true }')), variables({}) bridge(bridge)) (1, 9) - \"times\"\n                                   {\n                                     marker: \n                                         Operator(timesOperator/0)\n                                           Selectors:\n                                             [\n                                               Selector\n                                                 Bridge('{ ...next(operator), marker: next(operator('timesExpression')), types: lub(append(['mathematicalExpression'], operator.types, before[0].types, after[0].types)), value: null, x: before[0], y: after[0], number: 'one', isResponse: true, evaluate: true }')\n                                                 Left Selector: [ListableType(Listable(Type('number')))]\n                                                 Right Selector: [ListableType(Listable(Type('number')))]\n                                             ]\n                                           Evaluator:\n                                             Bridge('{ ...next(operator), marker: next(operator('timesExpression')), types: lub(append(['mathematicalExpression'], operator.types, before[0].types, after[0].types)), value: null, x: before[0], y: after[0], number: 'one', isResponse: true, evaluate: true }')\n\n                                     range: {'start': 18, 'end': 22}\n                                     text: \"times\"\n                                     value: \"timesOperator\"\n                                     word: \"times\"\n                                   }\n    4. Operator(quantity/0, [\"Selector(Bridge('{ ...next(operator) }'), , []<==>[], bridge(bridge))\"], evaluator(Bridge('{ ...next(operator) }')), variables({}) bridge(bridge)) (1, 12) - \"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': 24, 'end': 31}\n                                     text: \"quantity\"\n                                     value: \"quantity\"\n                                     word: \"quantity\"\n                                   }\n<<<<<<<<<<<<<\nNext Op (index=2) 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': 12, 'end': 16}\n            text: \"price\"\n            value: \"price\"\n            word: \"price\"\n          }\n\n\n>>>>>>>>>>>>> Counter 3\n  summary\n\n    0.  unknown/0 (dead)                         - \"worth\"\n    1.  means/0                                  - \"means\"\n   *2.  price/1 (dead)                           - \"price\"\n    3.  timesOperator/0                          - \"times\"\n    4.  quantity/0                               - \"quantity\"\n\n  details\n\n    0. Operator(unknown/0, [\"Selector(Bridge('{ ...operator, unknown: true, dead: true }'), , []<==>[], bridge(bridge))\"], evaluator(Bridge('{ ...operator, unknown: true, dead: true }')), variables({}) bridge(bridge)) (2, 0) - \"worth\"\n                                   {\n                                     prioritized_by: [('unknown', 0)]\n                                     dead: true\n                                     marker: \n                                         Operator(unknown/0)\n                                           Selectors:\n                                             [\n                                               Selector\n                                                 Bridge('{ ...operator, unknown: true, dead: true }')\n                                                 Left Selector: []\n                                                 Right Selector: []\n                                             ]\n                                           Evaluator:\n                                             Bridge('{ ...operator, unknown: true, dead: true }')\n\n                                     range: {'start': 0, 'end': 4}\n                                     text: \"worth\"\n                                     unknown: true\n                                     value: \"worth\"\n                                     word: \"worth\"\n                                   }\n    1. Operator(means/0, [\"Selector(Bridge('{ ...next(operator), from: before[0], to: after[0] }'), , [Any]<==>[Any], bridge(bridge))\"], evaluator(Bridge('{ ...next(operator), from: before[0], to: after[0] }')), variables({}) bridge(bridge)) (1, 2) - \"means\"\n                                   {\n                                     default: true\n                                     marker: \n                                         Operator(means/0)\n                                           Selectors:\n                                             [\n                                               Selector\n                                                 Bridge('{ ...next(operator), from: before[0], to: after[0] }')\n                                                 Left Selector: [Any]\n                                                 Right Selector: [Any]\n                                             ]\n                                           Evaluator:\n                                             Bridge('{ ...next(operator), from: before[0], to: after[0] }')\n\n                                     range: {'start': 6, 'end': 10}\n                                     text: \"means\"\n                                     value: \"means\"\n                                     word: \"means\"\n                                   }\n    2. Operator(price/1, ['Selector(None, , []<==>[], bridge(bridge))'], evaluator(None), variables({}) bridge(bridge)) (2, 1) - \"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': 12, 'end': 16}\n                                     text: \"price\"\n                                     value: \"price\"\n                                     word: \"price\"\n                                   }\n    3. Operator(timesOperator/0, [\"Selector(Bridge('{ ...next(operator), marker: next(operator('timesExpression')), types: lub(append(['mathematicalExpression'], operator.types, before[0].types, after[0].types)), value: null, x: before[0], y: after[0], number: 'one', isResponse: true, evaluate: true }'), , [ListableType(Listable(Type('number')))]<==>[ListableType(Listable(Type('number')))], bridge(bridge))\"], evaluator(Bridge('{ ...next(operator), marker: next(operator('timesExpression')), types: lub(append(['mathematicalExpression'], operator.types, before[0].types, after[0].types)), value: null, x: before[0], y: after[0], number: 'one', isResponse: true, evaluate: true }')), variables({}) bridge(bridge)) (1, 9) - \"times\"\n                                   {\n                                     marker: \n                                         Operator(timesOperator/0)\n                                           Selectors:\n                                             [\n                                               Selector\n                                                 Bridge('{ ...next(operator), marker: next(operator('timesExpression')), types: lub(append(['mathematicalExpression'], operator.types, before[0].types, after[0].types)), value: null, x: before[0], y: after[0], number: 'one', isResponse: true, evaluate: true }')\n                                                 Left Selector: [ListableType(Listable(Type('number')))]\n                                                 Right Selector: [ListableType(Listable(Type('number')))]\n                                             ]\n                                           Evaluator:\n                                             Bridge('{ ...next(operator), marker: next(operator('timesExpression')), types: lub(append(['mathematicalExpression'], operator.types, before[0].types, after[0].types)), value: null, x: before[0], y: after[0], number: 'one', isResponse: true, evaluate: true }')\n\n                                     range: {'start': 18, 'end': 22}\n                                     text: \"times\"\n                                     value: \"timesOperator\"\n                                     word: \"times\"\n                                   }\n    4. Operator(quantity/0, [\"Selector(Bridge('{ ...next(operator) }'), , []<==>[], bridge(bridge))\"], evaluator(Bridge('{ ...next(operator) }')), variables({}) bridge(bridge)) (1, 12) - \"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': 24, 'end': 31}\n                                     text: \"quantity\"\n                                     value: \"quantity\"\n                                     word: \"quantity\"\n                                   }\n<<<<<<<<<<<<<\nNext Op (index=4) is ('quantity', 0)\n    Context:\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': 24, 'end': 31}\n            text: \"quantity\"\n            value: \"quantity\"\n            word: \"quantity\"\n          }\n\n\n>>>>>>>>>>>>> Counter 4\n  summary\n\n    0.  unknown/0 (dead)                         - \"worth\"\n    1.  means/0                                  - \"means\"\n    2.  price/1 (dead)                           - \"price\"\n    3.  timesOperator/0                          - \"times\"\n   *4.  quantity/1 (dead)                        - \"quantity\"\n\n  details\n\n    0. Operator(unknown/0, [\"Selector(Bridge('{ ...operator, unknown: true, dead: true }'), , []<==>[], bridge(bridge))\"], evaluator(Bridge('{ ...operator, unknown: true, dead: true }')), variables({}) bridge(bridge)) (2, 0) - \"worth\"\n                                   {\n                                     prioritized_by: [('unknown', 0)]\n                                     dead: true\n                                     marker: \n                                         Operator(unknown/0)\n                                           Selectors:\n                                             [\n                                               Selector\n                                                 Bridge('{ ...operator, unknown: true, dead: true }')\n                                                 Left Selector: []\n                                                 Right Selector: []\n                                             ]\n                                           Evaluator:\n                                             Bridge('{ ...operator, unknown: true, dead: true }')\n\n                                     range: {'start': 0, 'end': 4}\n                                     text: \"worth\"\n                                     unknown: true\n                                     value: \"worth\"\n                                     word: \"worth\"\n                                   }\n    1. Operator(means/0, [\"Selector(Bridge('{ ...next(operator), from: before[0], to: after[0] }'), , [Any]<==>[Any], bridge(bridge))\"], evaluator(Bridge('{ ...next(operator), from: before[0], to: after[0] }')), variables({}) bridge(bridge)) (1, 2) - \"means\"\n                                   {\n                                     default: true\n                                     marker: \n                                         Operator(means/0)\n                                           Selectors:\n                                             [\n                                               Selector\n                                                 Bridge('{ ...next(operator), from: before[0], to: after[0] }')\n                                                 Left Selector: [Any]\n                                                 Right Selector: [Any]\n                                             ]\n                                           Evaluator:\n                                             Bridge('{ ...next(operator), from: before[0], to: after[0] }')\n\n                                     range: {'start': 6, 'end': 10}\n                                     text: \"means\"\n                                     value: \"means\"\n                                     word: \"means\"\n                                   }\n    2. Operator(price/1, ['Selector(None, , []<==>[], bridge(bridge))'], evaluator(None), variables({}) bridge(bridge)) (2, 1) - \"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': 12, 'end': 16}\n                                     text: \"price\"\n                                     value: \"price\"\n                                     word: \"price\"\n                                   }\n    3. Operator(timesOperator/0, [\"Selector(Bridge('{ ...next(operator), marker: next(operator('timesExpression')), types: lub(append(['mathematicalExpression'], operator.types, before[0].types, after[0].types)), value: null, x: before[0], y: after[0], number: 'one', isResponse: true, evaluate: true }'), , [ListableType(Listable(Type('number')))]<==>[ListableType(Listable(Type('number')))], bridge(bridge))\"], evaluator(Bridge('{ ...next(operator), marker: next(operator('timesExpression')), types: lub(append(['mathematicalExpression'], operator.types, before[0].types, after[0].types)), value: null, x: before[0], y: after[0], number: 'one', isResponse: true, evaluate: true }')), variables({}) bridge(bridge)) (1, 9) - \"times\"\n                                   {\n                                     marker: \n                                         Operator(timesOperator/0)\n                                           Selectors:\n                                             [\n                                               Selector\n                                                 Bridge('{ ...next(operator), marker: next(operator('timesExpression')), types: lub(append(['mathematicalExpression'], operator.types, before[0].types, after[0].types)), value: null, x: before[0], y: after[0], number: 'one', isResponse: true, evaluate: true }')\n                                                 Left Selector: [ListableType(Listable(Type('number')))]\n                                                 Right Selector: [ListableType(Listable(Type('number')))]\n                                             ]\n                                           Evaluator:\n                                             Bridge('{ ...next(operator), marker: next(operator('timesExpression')), types: lub(append(['mathematicalExpression'], operator.types, before[0].types, after[0].types)), value: null, x: before[0], y: after[0], number: 'one', isResponse: true, evaluate: true }')\n\n                                     range: {'start': 18, 'end': 22}\n                                     text: \"times\"\n                                     value: \"timesOperator\"\n                                     word: \"times\"\n                                   }\n    4. Operator(quantity/1, ['Selector(None, , []<==>[], bridge(bridge))'], evaluator(None), variables({}) bridge(bridge)) (2, 2) - \"quantity\"\n                                   {\n                                     prioritized_by: [('quantity', 0)]\n                                     dead: true\n                                     default: true\n                                     marker: \n                                         Operator(quantity/1)\n                                           Selectors:\n                                             [\n                                               Selector\n                                                 Left Selector: []\n                                                 Right Selector: []\n                                             ]\n\n                                     range: {'start': 24, 'end': 31}\n                                     text: \"quantity\"\n                                     value: \"quantity\"\n                                     word: \"quantity\"\n                                   }\n<<<<<<<<<<<<<\nNext Op (index=3) is ('timesOperator', 0)\n    Context:\n          {\n            marker: \n                Operator(timesOperator/0)\n                  Selectors:\n                    [\n                      Selector\n                        Bridge('{ ...next(operator), marker: next(operator('timesExpression')), types: lub(append(['mathematicalExpression'], operator.types, before[0].types, after[0].types)), val\n                          null, x: before[0], y: after[0], number: 'one', isResponse: true, evaluate: true }')\n                        Left Selector: [ListableType(Listable(Type('number')))]\n                        Right Selector: [ListableType(Listable(Type('number')))]\n                    ]\n                  Evaluator:\n                    Bridge('{ ...next(operator), marker: next(operator('timesExpression')), types: lub(append(['mathematicalExpression'], operator.types, before[0].types, after[0].types)), value:\n                                  null, x: before[0], y: after[0], number: 'one', isResponse: true, evaluate: true }')\n\n            range: {'start': 18, 'end': 22}\n            text: \"times\"\n            value: \"timesOperator\"\n            word: \"times\"\n          }\n\n\n>>>>>>>>>>>>> Counter 5\n  summary\n\n    0.  unknown/0 (dead)                         - \"worth\"\n    1.  means/0                                  - \"means\"\n   *2.  timesExpression/1 (dead)                 - \"price times quantity\"\n\n  details\n\n    0. Operator(unknown/0, [\"Selector(Bridge('{ ...operator, unknown: true, dead: true }'), , []<==>[], bridge(bridge))\"], evaluator(Bridge('{ ...operator, unknown: true, dead: true }')), variables({}) bridge(bridge)) (2, 0) - \"worth\"\n                                   {\n                                     prioritized_by: [('unknown', 0)]\n                                     dead: true\n                                     marker: \n                                         Operator(unknown/0)\n                                           Selectors:\n                                             [\n                                               Selector\n                                                 Bridge('{ ...operator, unknown: true, dead: true }')\n                                                 Left Selector: []\n                                                 Right Selector: []\n                                             ]\n                                           Evaluator:\n                                             Bridge('{ ...operator, unknown: true, dead: true }')\n\n                                     range: {'start': 0, 'end': 4}\n                                     text: \"worth\"\n                                     unknown: true\n                                     value: \"worth\"\n                                     word: \"worth\"\n                                   }\n    1. Operator(means/0, [\"Selector(Bridge('{ ...next(operator), from: before[0], to: after[0] }'), , [Any]<==>[Any], bridge(bridge))\"], evaluator(Bridge('{ ...next(operator), from: before[0], to: after[0] }')), variables({}) bridge(bridge)) (1, 2) - \"means\"\n                                   {\n                                     default: true\n                                     marker: \n                                         Operator(means/0)\n                                           Selectors:\n                                             [\n                                               Selector\n                                                 Bridge('{ ...next(operator), from: before[0], to: after[0] }')\n                                                 Left Selector: [Any]\n                                                 Right Selector: [Any]\n                                             ]\n                                           Evaluator:\n                                             Bridge('{ ...next(operator), from: before[0], to: after[0] }')\n\n                                     range: {'start': 6, 'end': 10}\n                                     text: \"means\"\n                                     value: \"means\"\n                                     word: \"means\"\n                                   }\n    2. Operator(timesExpression/1, ['Selector(None, , []<==>[], bridge(bridge))'], evaluator(None), variables({}) bridge(bridge)) (3, 0) - \"price times quantity\"\n                                   {\n                                     prioritized_by: [('timesOperator', 0)]\n                                     dead: true\n                                     evaluate: true\n                                     isResponse: true\n                                     marker: \n                                         Operator(timesExpression/1)\n                                           Selectors:\n                                             [\n                                               Selector\n                                                 Left Selector: []\n                                                 Right Selector: []\n                                             ]\n\n                                     number: \"one\"\n                                     range: {'start': 12, 'end': 31}\n                                     text: \"price times quantity\"\n                                     types: [\n                                     'number'\n,                                      'property'\n                                     ]\n                                     value: None\n                                     word: \"times\"\n                                     x: \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': 12, 'end': 16}\n                                           text: \"price\"\n                                           types: [\n                                           'price'\n                                           ]\n                                           value: \"price\"\n                                           word: \"price\"\n                                         }\n\n                                     y: \n                                         {\n                                           prioritized_by: [('quantity', 0)]\n                                           dead: true\n                                           default: true\n                                           marker: \n                                               Operator(quantity/1)\n                                                 Selectors:\n                                                   [\n                                                     Selector\n                                                       Left Selector: []\n                                                       Right Selector: []\n                                                   ]\n\n                                           range: {'start': 24, 'end': 31}\n                                           text: \"quantity\"\n                                           types: [\n                                           'quantity'\n                                           ]\n                                           value: \"quantity\"\n                                           word: \"quantity\"\n                                         }\n\n                                   }\n<<<<<<<<<<<<<\nNext Op (index=1) is ('means', 0)\n    Context:\n          {\n            default: true\n            marker: \n                Operator(means/0)\n                  Selectors:\n                    [\n                      Selector\n                        Bridge('{ ...next(operator), from: before[0], to: after[0] }')\n                        Left Selector: [Any]\n                        Right Selector: [Any]\n                    ]\n                  Evaluator:\n                    Bridge('{ ...next(operator), from: before[0], to: after[0] }')\n\n            range: {'start': 6, 'end': 10}\n            text: \"means\"\n            value: \"means\"\n            word: \"means\"\n          }\n\n\n>>>>>>>>>>>>> Counter 6\n  summary\n\n   *0.  means/1 (dead)                           - \"worth means price times quantity\"\n\n  details\n\n    0. Operator(means/1, ['Selector(None, , [Any]<==>[Any], bridge(bridge))'], evaluator(None), variables({}) bridge(bridge)) (4, 0) - \"worth means price times quantity\"\n                                   {\n                                     prioritized_by: [('means', 0)]\n                                     dead: true\n                                     default: true\n                                     from: \n                                         {\n                                           prioritized_by: [('unknown', 0)]\n                                           dead: true\n                                           marker: \n                                               Operator(unknown/0)\n                                                 Selectors:\n                                                   [\n                                                     Selector\n                                                       Bridge('{ ...operator, unknown: true, dead: true }')\n                                                       Left Selector: []\n                                                       Right Selector: []\n                                                   ]\n                                                 Evaluator:\n                                                   Bridge('{ ...operator, unknown: true, dead: true }')\n\n                                           range: {'start': 0, 'end': 4}\n                                           text: \"worth\"\n                                           unknown: true\n                                           value: \"worth\"\n                                           word: \"worth\"\n                                         }\n\n                                     marker: \n                                         Operator(means/1)\n                                           Selectors:\n                                             [\n                                               Selector\n                                                 Left Selector: [Any]\n                                                 Right Selector: [Any]\n                                             ]\n\n                                     range: {'start': 0, 'end': 31}\n                                     text: \"worth means price times quantity\"\n                                     to: \n                                         {\n                                           prioritized_by: [('timesOperator', 0)]\n                                           dead: true\n                                           evaluate: true\n                                           isResponse: true\n                                           marker: \n                                               Operator(timesExpression/1)\n                                                 Selectors:\n                                                   [\n                                                     Selector\n                                                       Left Selector: []\n                                                       Right Selector: []\n                                                   ]\n\n                                           number: \"one\"\n                                           range: {'start': 12, 'end': 31}\n                                           text: \"price times quantity\"\n                                           types: [\n                                           'number'\n,                                            'property'\n                                           ]\n                                           value: None\n                                           word: \"times\"\n                                           x: \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': 12, 'end': 16}\n                                                 text: \"price\"\n                                                 types: [\n                                                 'price'\n                                                 ]\n                                                 value: \"price\"\n                                                 word: \"price\"\n                                               }\n\n                                           y: \n                                               {\n                                                 prioritized_by: [('quantity', 0)]\n                                                 dead: true\n                                                 default: true\n                                                 marker: \n                                                     Operator(quantity/1)\n                                                       Selectors:\n                                                         [\n                                                           Selector\n                                                             Left Selector: []\n                                                             Right Selector: []\n                                                         ]\n\n                                                 range: {'start': 24, 'end': 31}\n                                                 text: \"quantity\"\n                                                 types: [\n                                                 'quantity'\n                                                 ]\n                                                 value: \"quantity\"\n                                                 word: \"quantity\"\n                                               }\n\n                                         }\n\n                                     value: \"means\"\n                                     word: \"means\"\n                                   }\n<<<<<<<<<<<<<\n",
+      "trace": "\n\n>>>>>>>>>>>>> Counter 1\n  summary\n\n    0.  unknown/0                                - \"worth\"\n    1.  means/0                                  - \"means\"\n    2.  price/0                                  - \"price\"\n    3.  timesOperator/0                          - \"times\"\n    4.  quantity/0                               - \"quantity\"\n\n  details\n\n    0. Operator(unknown/0, [\"Selector(Bridge('{ ...operator, unknown: true, dead: true }'), , []<==>[], bridge(bridge))\"], evaluator(Bridge('{ ...operator, unknown: true, dead: true }')), variables({}) bridge(bridge)) (1, 0) - \"worth\"\n                                   {\n                                     marker: \n                                         Operator(unknown/0)\n                                           Selectors:\n                                             [\n                                               Selector\n                                                 Bridge('{ ...operator, unknown: true, dead: true }')\n                                                 Left Selector: []\n                                                 Right Selector: []\n                                             ]\n                                           Evaluator:\n                                             Bridge('{ ...operator, unknown: true, dead: true }')\n\n                                     range: {'start': 0, 'end': 4}\n                                     text: \"worth\"\n                                     unknown: true\n                                     value: \"worth\"\n                                     word: \"worth\"\n                                   }\n    1. Operator(means/0, [\"Selector(Bridge('{ ...next(operator), from: before[0], to: after[0] }'), , [Any]<==>[Any], bridge(bridge))\"], evaluator(Bridge('{ ...next(operator), from: before[0], to: after[0] }')), variables({}) bridge(bridge)) (1, 2) - \"means\"\n                                   {\n                                     default: true\n                                     marker: \n                                         Operator(means/0)\n                                           Selectors:\n                                             [\n                                               Selector\n                                                 Bridge('{ ...next(operator), from: before[0], to: after[0] }')\n                                                 Left Selector: [Any]\n                                                 Right Selector: [Any]\n                                             ]\n                                           Evaluator:\n                                             Bridge('{ ...next(operator), from: before[0], to: after[0] }')\n\n                                     range: {'start': 6, 'end': 10}\n                                     text: \"means\"\n                                     value: \"means\"\n                                     word: \"means\"\n                                   }\n    2. Operator(price/0, [\"Selector(Bridge('{ ...next(operator) }'), , []<==>[], bridge(bridge))\"], evaluator(Bridge('{ ...next(operator) }')), variables({}) bridge(bridge)) (1, 5) - \"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': 12, 'end': 16}\n                                     text: \"price\"\n                                     value: \"price\"\n                                     word: \"price\"\n                                   }\n    3. Operator(timesOperator/0, [\"Selector(Bridge('{ ...next(operator), marker: next(operator('timesExpression')), types: lub(append(['mathematicalExpression'], operator.types, before[0].types, after[0].types)), value: null, x: before[0], y: after[0], number: 'one', isResponse: true, evaluate: true }'), , [ListableType(Listable(Type('number')))]<==>[ListableType(Listable(Type('number')))], bridge(bridge))\"], evaluator(Bridge('{ ...next(operator), marker: next(operator('timesExpression')), types: lub(append(['mathematicalExpression'], operator.types, before[0].types, after[0].types)), value: null, x: before[0], y: after[0], number: 'one', isResponse: true, evaluate: true }')), variables({}) bridge(bridge)) (1, 8) - \"times\"\n                                   {\n                                     marker: \n                                         Operator(timesOperator/0)\n                                           Selectors:\n                                             [\n                                               Selector\n                                                 Bridge('{ ...next(operator), marker: next(operator('timesExpression')), types: lub(append(['mathematicalExpression'], operator.types, before[0].types, after[0].types)), value: null, x: before[0], y: after[0], number: 'one', isResponse: true, evaluate: true }')\n                                                 Left Selector: [ListableType(Listable(Type('number')))]\n                                                 Right Selector: [ListableType(Listable(Type('number')))]\n                                             ]\n                                           Evaluator:\n                                             Bridge('{ ...next(operator), marker: next(operator('timesExpression')), types: lub(append(['mathematicalExpression'], operator.types, before[0].types, after[0].types)), value: null, x: before[0], y: after[0], number: 'one', isResponse: true, evaluate: true }')\n\n                                     range: {'start': 18, 'end': 22}\n                                     text: \"times\"\n                                     value: \"timesOperator\"\n                                     word: \"times\"\n                                   }\n    4. Operator(quantity/0, [\"Selector(Bridge('{ ...next(operator) }'), , []<==>[], bridge(bridge))\"], evaluator(Bridge('{ ...next(operator) }')), variables({}) bridge(bridge)) (1, 11) - \"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': 24, 'end': 31}\n                                     text: \"quantity\"\n                                     value: \"quantity\"\n                                     word: \"quantity\"\n                                   }\n<<<<<<<<<<<<<\nNext Op (index=0) is ('unknown', 0)\n    Context:\n          {\n            marker: \n                Operator(unknown/0)\n                  Selectors:\n                    [\n                      Selector\n                        Bridge('{ ...operator, unknown: true, dead: true }')\n                        Left Selector: []\n                        Right Selector: []\n                    ]\n                  Evaluator:\n                    Bridge('{ ...operator, unknown: true, dead: true }')\n\n            range: {'start': 0, 'end': 4}\n            text: \"worth\"\n            unknown: true\n            value: \"worth\"\n            word: \"worth\"\n          }\n\n\n>>>>>>>>>>>>> Counter 2\n  summary\n\n   *0.  unknown/0 (dead)                         - \"worth\"\n    1.  means/0                                  - \"means\"\n    2.  price/0                                  - \"price\"\n    3.  timesOperator/0                          - \"times\"\n    4.  quantity/0                               - \"quantity\"\n\n  details\n\n    0. Operator(unknown/0, [\"Selector(Bridge('{ ...operator, unknown: true, dead: true }'), , []<==>[], bridge(bridge))\"], evaluator(Bridge('{ ...operator, unknown: true, dead: true }')), variables({}) bridge(bridge)) (2, 0) - \"worth\"\n                                   {\n                                     prioritized_by: [('unknown', 0)]\n                                     dead: true\n                                     marker: \n                                         Operator(unknown/0)\n                                           Selectors:\n                                             [\n                                               Selector\n                                                 Bridge('{ ...operator, unknown: true, dead: true }')\n                                                 Left Selector: []\n                                                 Right Selector: []\n                                             ]\n                                           Evaluator:\n                                             Bridge('{ ...operator, unknown: true, dead: true }')\n\n                                     range: {'start': 0, 'end': 4}\n                                     text: \"worth\"\n                                     unknown: true\n                                     value: \"worth\"\n                                     word: \"worth\"\n                                   }\n    1. Operator(means/0, [\"Selector(Bridge('{ ...next(operator), from: before[0], to: after[0] }'), , [Any]<==>[Any], bridge(bridge))\"], evaluator(Bridge('{ ...next(operator), from: before[0], to: after[0] }')), variables({}) bridge(bridge)) (1, 2) - \"means\"\n                                   {\n                                     default: true\n                                     marker: \n                                         Operator(means/0)\n                                           Selectors:\n                                             [\n                                               Selector\n                                                 Bridge('{ ...next(operator), from: before[0], to: after[0] }')\n                                                 Left Selector: [Any]\n                                                 Right Selector: [Any]\n                                             ]\n                                           Evaluator:\n                                             Bridge('{ ...next(operator), from: before[0], to: after[0] }')\n\n                                     range: {'start': 6, 'end': 10}\n                                     text: \"means\"\n                                     value: \"means\"\n                                     word: \"means\"\n                                   }\n    2. Operator(price/0, [\"Selector(Bridge('{ ...next(operator) }'), , []<==>[], bridge(bridge))\"], evaluator(Bridge('{ ...next(operator) }')), variables({}) bridge(bridge)) (1, 5) - \"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': 12, 'end': 16}\n                                     text: \"price\"\n                                     value: \"price\"\n                                     word: \"price\"\n                                   }\n    3. Operator(timesOperator/0, [\"Selector(Bridge('{ ...next(operator), marker: next(operator('timesExpression')), types: lub(append(['mathematicalExpression'], operator.types, before[0].types, after[0].types)), value: null, x: before[0], y: after[0], number: 'one', isResponse: true, evaluate: true }'), , [ListableType(Listable(Type('number')))]<==>[ListableType(Listable(Type('number')))], bridge(bridge))\"], evaluator(Bridge('{ ...next(operator), marker: next(operator('timesExpression')), types: lub(append(['mathematicalExpression'], operator.types, before[0].types, after[0].types)), value: null, x: before[0], y: after[0], number: 'one', isResponse: true, evaluate: true }')), variables({}) bridge(bridge)) (1, 8) - \"times\"\n                                   {\n                                     marker: \n                                         Operator(timesOperator/0)\n                                           Selectors:\n                                             [\n                                               Selector\n                                                 Bridge('{ ...next(operator), marker: next(operator('timesExpression')), types: lub(append(['mathematicalExpression'], operator.types, before[0].types, after[0].types)), value: null, x: before[0], y: after[0], number: 'one', isResponse: true, evaluate: true }')\n                                                 Left Selector: [ListableType(Listable(Type('number')))]\n                                                 Right Selector: [ListableType(Listable(Type('number')))]\n                                             ]\n                                           Evaluator:\n                                             Bridge('{ ...next(operator), marker: next(operator('timesExpression')), types: lub(append(['mathematicalExpression'], operator.types, before[0].types, after[0].types)), value: null, x: before[0], y: after[0], number: 'one', isResponse: true, evaluate: true }')\n\n                                     range: {'start': 18, 'end': 22}\n                                     text: \"times\"\n                                     value: \"timesOperator\"\n                                     word: \"times\"\n                                   }\n    4. Operator(quantity/0, [\"Selector(Bridge('{ ...next(operator) }'), , []<==>[], bridge(bridge))\"], evaluator(Bridge('{ ...next(operator) }')), variables({}) bridge(bridge)) (1, 11) - \"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': 24, 'end': 31}\n                                     text: \"quantity\"\n                                     value: \"quantity\"\n                                     word: \"quantity\"\n                                   }\n<<<<<<<<<<<<<\nNext Op (index=2) 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': 12, 'end': 16}\n            text: \"price\"\n            value: \"price\"\n            word: \"price\"\n          }\n\n\n>>>>>>>>>>>>> Counter 3\n  summary\n\n    0.  unknown/0 (dead)                         - \"worth\"\n    1.  means/0                                  - \"means\"\n   *2.  price/1 (dead)                           - \"price\"\n    3.  timesOperator/0                          - \"times\"\n    4.  quantity/0                               - \"quantity\"\n\n  details\n\n    0. Operator(unknown/0, [\"Selector(Bridge('{ ...operator, unknown: true, dead: true }'), , []<==>[], bridge(bridge))\"], evaluator(Bridge('{ ...operator, unknown: true, dead: true }')), variables({}) bridge(bridge)) (2, 0) - \"worth\"\n                                   {\n                                     prioritized_by: [('unknown', 0)]\n                                     dead: true\n                                     marker: \n                                         Operator(unknown/0)\n                                           Selectors:\n                                             [\n                                               Selector\n                                                 Bridge('{ ...operator, unknown: true, dead: true }')\n                                                 Left Selector: []\n                                                 Right Selector: []\n                                             ]\n                                           Evaluator:\n                                             Bridge('{ ...operator, unknown: true, dead: true }')\n\n                                     range: {'start': 0, 'end': 4}\n                                     text: \"worth\"\n                                     unknown: true\n                                     value: \"worth\"\n                                     word: \"worth\"\n                                   }\n    1. Operator(means/0, [\"Selector(Bridge('{ ...next(operator), from: before[0], to: after[0] }'), , [Any]<==>[Any], bridge(bridge))\"], evaluator(Bridge('{ ...next(operator), from: before[0], to: after[0] }')), variables({}) bridge(bridge)) (1, 2) - \"means\"\n                                   {\n                                     default: true\n                                     marker: \n                                         Operator(means/0)\n                                           Selectors:\n                                             [\n                                               Selector\n                                                 Bridge('{ ...next(operator), from: before[0], to: after[0] }')\n                                                 Left Selector: [Any]\n                                                 Right Selector: [Any]\n                                             ]\n                                           Evaluator:\n                                             Bridge('{ ...next(operator), from: before[0], to: after[0] }')\n\n                                     range: {'start': 6, 'end': 10}\n                                     text: \"means\"\n                                     value: \"means\"\n                                     word: \"means\"\n                                   }\n    2. Operator(price/1, ['Selector(None, , []<==>[], bridge(bridge))'], evaluator(None), variables({}) bridge(bridge)) (2, 1) - \"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': 12, 'end': 16}\n                                     text: \"price\"\n                                     value: \"price\"\n                                     word: \"price\"\n                                   }\n    3. Operator(timesOperator/0, [\"Selector(Bridge('{ ...next(operator), marker: next(operator('timesExpression')), types: lub(append(['mathematicalExpression'], operator.types, before[0].types, after[0].types)), value: null, x: before[0], y: after[0], number: 'one', isResponse: true, evaluate: true }'), , [ListableType(Listable(Type('number')))]<==>[ListableType(Listable(Type('number')))], bridge(bridge))\"], evaluator(Bridge('{ ...next(operator), marker: next(operator('timesExpression')), types: lub(append(['mathematicalExpression'], operator.types, before[0].types, after[0].types)), value: null, x: before[0], y: after[0], number: 'one', isResponse: true, evaluate: true }')), variables({}) bridge(bridge)) (1, 8) - \"times\"\n                                   {\n                                     marker: \n                                         Operator(timesOperator/0)\n                                           Selectors:\n                                             [\n                                               Selector\n                                                 Bridge('{ ...next(operator), marker: next(operator('timesExpression')), types: lub(append(['mathematicalExpression'], operator.types, before[0].types, after[0].types)), value: null, x: before[0], y: after[0], number: 'one', isResponse: true, evaluate: true }')\n                                                 Left Selector: [ListableType(Listable(Type('number')))]\n                                                 Right Selector: [ListableType(Listable(Type('number')))]\n                                             ]\n                                           Evaluator:\n                                             Bridge('{ ...next(operator), marker: next(operator('timesExpression')), types: lub(append(['mathematicalExpression'], operator.types, before[0].types, after[0].types)), value: null, x: before[0], y: after[0], number: 'one', isResponse: true, evaluate: true }')\n\n                                     range: {'start': 18, 'end': 22}\n                                     text: \"times\"\n                                     value: \"timesOperator\"\n                                     word: \"times\"\n                                   }\n    4. Operator(quantity/0, [\"Selector(Bridge('{ ...next(operator) }'), , []<==>[], bridge(bridge))\"], evaluator(Bridge('{ ...next(operator) }')), variables({}) bridge(bridge)) (1, 11) - \"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': 24, 'end': 31}\n                                     text: \"quantity\"\n                                     value: \"quantity\"\n                                     word: \"quantity\"\n                                   }\n<<<<<<<<<<<<<\nNext Op (index=4) is ('quantity', 0)\n    Context:\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': 24, 'end': 31}\n            text: \"quantity\"\n            value: \"quantity\"\n            word: \"quantity\"\n          }\n\n\n>>>>>>>>>>>>> Counter 4\n  summary\n\n    0.  unknown/0 (dead)                         - \"worth\"\n    1.  means/0                                  - \"means\"\n    2.  price/1 (dead)                           - \"price\"\n    3.  timesOperator/0                          - \"times\"\n   *4.  quantity/1 (dead)                        - \"quantity\"\n\n  details\n\n    0. Operator(unknown/0, [\"Selector(Bridge('{ ...operator, unknown: true, dead: true }'), , []<==>[], bridge(bridge))\"], evaluator(Bridge('{ ...operator, unknown: true, dead: true }')), variables({}) bridge(bridge)) (2, 0) - \"worth\"\n                                   {\n                                     prioritized_by: [('unknown', 0)]\n                                     dead: true\n                                     marker: \n                                         Operator(unknown/0)\n                                           Selectors:\n                                             [\n                                               Selector\n                                                 Bridge('{ ...operator, unknown: true, dead: true }')\n                                                 Left Selector: []\n                                                 Right Selector: []\n                                             ]\n                                           Evaluator:\n                                             Bridge('{ ...operator, unknown: true, dead: true }')\n\n                                     range: {'start': 0, 'end': 4}\n                                     text: \"worth\"\n                                     unknown: true\n                                     value: \"worth\"\n                                     word: \"worth\"\n                                   }\n    1. Operator(means/0, [\"Selector(Bridge('{ ...next(operator), from: before[0], to: after[0] }'), , [Any]<==>[Any], bridge(bridge))\"], evaluator(Bridge('{ ...next(operator), from: before[0], to: after[0] }')), variables({}) bridge(bridge)) (1, 2) - \"means\"\n                                   {\n                                     default: true\n                                     marker: \n                                         Operator(means/0)\n                                           Selectors:\n                                             [\n                                               Selector\n                                                 Bridge('{ ...next(operator), from: before[0], to: after[0] }')\n                                                 Left Selector: [Any]\n                                                 Right Selector: [Any]\n                                             ]\n                                           Evaluator:\n                                             Bridge('{ ...next(operator), from: before[0], to: after[0] }')\n\n                                     range: {'start': 6, 'end': 10}\n                                     text: \"means\"\n                                     value: \"means\"\n                                     word: \"means\"\n                                   }\n    2. Operator(price/1, ['Selector(None, , []<==>[], bridge(bridge))'], evaluator(None), variables({}) bridge(bridge)) (2, 1) - \"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': 12, 'end': 16}\n                                     text: \"price\"\n                                     value: \"price\"\n                                     word: \"price\"\n                                   }\n    3. Operator(timesOperator/0, [\"Selector(Bridge('{ ...next(operator), marker: next(operator('timesExpression')), types: lub(append(['mathematicalExpression'], operator.types, before[0].types, after[0].types)), value: null, x: before[0], y: after[0], number: 'one', isResponse: true, evaluate: true }'), , [ListableType(Listable(Type('number')))]<==>[ListableType(Listable(Type('number')))], bridge(bridge))\"], evaluator(Bridge('{ ...next(operator), marker: next(operator('timesExpression')), types: lub(append(['mathematicalExpression'], operator.types, before[0].types, after[0].types)), value: null, x: before[0], y: after[0], number: 'one', isResponse: true, evaluate: true }')), variables({}) bridge(bridge)) (1, 8) - \"times\"\n                                   {\n                                     marker: \n                                         Operator(timesOperator/0)\n                                           Selectors:\n                                             [\n                                               Selector\n                                                 Bridge('{ ...next(operator), marker: next(operator('timesExpression')), types: lub(append(['mathematicalExpression'], operator.types, before[0].types, after[0].types)), value: null, x: before[0], y: after[0], number: 'one', isResponse: true, evaluate: true }')\n                                                 Left Selector: [ListableType(Listable(Type('number')))]\n                                                 Right Selector: [ListableType(Listable(Type('number')))]\n                                             ]\n                                           Evaluator:\n                                             Bridge('{ ...next(operator), marker: next(operator('timesExpression')), types: lub(append(['mathematicalExpression'], operator.types, before[0].types, after[0].types)), value: null, x: before[0], y: after[0], number: 'one', isResponse: true, evaluate: true }')\n\n                                     range: {'start': 18, 'end': 22}\n                                     text: \"times\"\n                                     value: \"timesOperator\"\n                                     word: \"times\"\n                                   }\n    4. Operator(quantity/1, ['Selector(None, , []<==>[], bridge(bridge))'], evaluator(None), variables({}) bridge(bridge)) (2, 2) - \"quantity\"\n                                   {\n                                     prioritized_by: [('quantity', 0)]\n                                     dead: true\n                                     default: true\n                                     marker: \n                                         Operator(quantity/1)\n                                           Selectors:\n                                             [\n                                               Selector\n                                                 Left Selector: []\n                                                 Right Selector: []\n                                             ]\n\n                                     range: {'start': 24, 'end': 31}\n                                     text: \"quantity\"\n                                     value: \"quantity\"\n                                     word: \"quantity\"\n                                   }\n<<<<<<<<<<<<<\nNext Op (index=3) is ('timesOperator', 0)\n    Context:\n          {\n            marker: \n                Operator(timesOperator/0)\n                  Selectors:\n                    [\n                      Selector\n                        Bridge('{ ...next(operator), marker: next(operator('timesExpression')), types: lub(append(['mathematicalExpression'], operator.types, before[0].types, after[0].types)), val\n                          null, x: before[0], y: after[0], number: 'one', isResponse: true, evaluate: true }')\n                        Left Selector: [ListableType(Listable(Type('number')))]\n                        Right Selector: [ListableType(Listable(Type('number')))]\n                    ]\n                  Evaluator:\n                    Bridge('{ ...next(operator), marker: next(operator('timesExpression')), types: lub(append(['mathematicalExpression'], operator.types, before[0].types, after[0].types)), value:\n                                  null, x: before[0], y: after[0], number: 'one', isResponse: true, evaluate: true }')\n\n            range: {'start': 18, 'end': 22}\n            text: \"times\"\n            value: \"timesOperator\"\n            word: \"times\"\n          }\n\n\n>>>>>>>>>>>>> Counter 5\n  summary\n\n    0.  unknown/0 (dead)                         - \"worth\"\n    1.  means/0                                  - \"means\"\n   *2.  timesExpression/1 (dead)                 - \"price times quantity\"\n\n  details\n\n    0. Operator(unknown/0, [\"Selector(Bridge('{ ...operator, unknown: true, dead: true }'), , []<==>[], bridge(bridge))\"], evaluator(Bridge('{ ...operator, unknown: true, dead: true }')), variables({}) bridge(bridge)) (2, 0) - \"worth\"\n                                   {\n                                     prioritized_by: [('unknown', 0)]\n                                     dead: true\n                                     marker: \n                                         Operator(unknown/0)\n                                           Selectors:\n                                             [\n                                               Selector\n                                                 Bridge('{ ...operator, unknown: true, dead: true }')\n                                                 Left Selector: []\n                                                 Right Selector: []\n                                             ]\n                                           Evaluator:\n                                             Bridge('{ ...operator, unknown: true, dead: true }')\n\n                                     range: {'start': 0, 'end': 4}\n                                     text: \"worth\"\n                                     unknown: true\n                                     value: \"worth\"\n                                     word: \"worth\"\n                                   }\n    1. Operator(means/0, [\"Selector(Bridge('{ ...next(operator), from: before[0], to: after[0] }'), , [Any]<==>[Any], bridge(bridge))\"], evaluator(Bridge('{ ...next(operator), from: before[0], to: after[0] }')), variables({}) bridge(bridge)) (1, 2) - \"means\"\n                                   {\n                                     default: true\n                                     marker: \n                                         Operator(means/0)\n                                           Selectors:\n                                             [\n                                               Selector\n                                                 Bridge('{ ...next(operator), from: before[0], to: after[0] }')\n                                                 Left Selector: [Any]\n                                                 Right Selector: [Any]\n                                             ]\n                                           Evaluator:\n                                             Bridge('{ ...next(operator), from: before[0], to: after[0] }')\n\n                                     range: {'start': 6, 'end': 10}\n                                     text: \"means\"\n                                     value: \"means\"\n                                     word: \"means\"\n                                   }\n    2. Operator(timesExpression/1, ['Selector(None, , []<==>[], bridge(bridge))'], evaluator(None), variables({}) bridge(bridge)) (3, 0) - \"price times quantity\"\n                                   {\n                                     prioritized_by: [('timesOperator', 0)]\n                                     dead: true\n                                     evaluate: true\n                                     isResponse: true\n                                     marker: \n                                         Operator(timesExpression/1)\n                                           Selectors:\n                                             [\n                                               Selector\n                                                 Left Selector: []\n                                                 Right Selector: []\n                                             ]\n\n                                     number: \"one\"\n                                     range: {'start': 12, 'end': 31}\n                                     text: \"price times quantity\"\n                                     types: [\n                                     'number'\n,                                      'property'\n                                     ]\n                                     value: None\n                                     word: \"times\"\n                                     x: \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': 12, 'end': 16}\n                                           text: \"price\"\n                                           types: [\n                                           'price'\n                                           ]\n                                           value: \"price\"\n                                           word: \"price\"\n                                         }\n\n                                     y: \n                                         {\n                                           prioritized_by: [('quantity', 0)]\n                                           dead: true\n                                           default: true\n                                           marker: \n                                               Operator(quantity/1)\n                                                 Selectors:\n                                                   [\n                                                     Selector\n                                                       Left Selector: []\n                                                       Right Selector: []\n                                                   ]\n\n                                           range: {'start': 24, 'end': 31}\n                                           text: \"quantity\"\n                                           types: [\n                                           'quantity'\n                                           ]\n                                           value: \"quantity\"\n                                           word: \"quantity\"\n                                         }\n\n                                   }\n<<<<<<<<<<<<<\nNext Op (index=1) is ('means', 0)\n    Context:\n          {\n            default: true\n            marker: \n                Operator(means/0)\n                  Selectors:\n                    [\n                      Selector\n                        Bridge('{ ...next(operator), from: before[0], to: after[0] }')\n                        Left Selector: [Any]\n                        Right Selector: [Any]\n                    ]\n                  Evaluator:\n                    Bridge('{ ...next(operator), from: before[0], to: after[0] }')\n\n            range: {'start': 6, 'end': 10}\n            text: \"means\"\n            value: \"means\"\n            word: \"means\"\n          }\n\n\n>>>>>>>>>>>>> Counter 6\n  summary\n\n   *0.  means/1 (dead)                           - \"worth means price times quantity\"\n\n  details\n\n    0. Operator(means/1, ['Selector(None, , [Any]<==>[Any], bridge(bridge))'], evaluator(None), variables({}) bridge(bridge)) (4, 0) - \"worth means price times quantity\"\n                                   {\n                                     prioritized_by: [('means', 0)]\n                                     dead: true\n                                     default: true\n                                     from: \n                                         {\n                                           prioritized_by: [('unknown', 0)]\n                                           dead: true\n                                           marker: \n                                               Operator(unknown/0)\n                                                 Selectors:\n                                                   [\n                                                     Selector\n                                                       Bridge('{ ...operator, unknown: true, dead: true }')\n                                                       Left Selector: []\n                                                       Right Selector: []\n                                                   ]\n                                                 Evaluator:\n                                                   Bridge('{ ...operator, unknown: true, dead: true }')\n\n                                           range: {'start': 0, 'end': 4}\n                                           text: \"worth\"\n                                           unknown: true\n                                           value: \"worth\"\n                                           word: \"worth\"\n                                         }\n\n                                     marker: \n                                         Operator(means/1)\n                                           Selectors:\n                                             [\n                                               Selector\n                                                 Left Selector: [Any]\n                                                 Right Selector: [Any]\n                                             ]\n\n                                     range: {'start': 0, 'end': 31}\n                                     text: \"worth means price times quantity\"\n                                     to: \n                                         {\n                                           prioritized_by: [('timesOperator', 0)]\n                                           dead: true\n                                           evaluate: true\n                                           isResponse: true\n                                           marker: \n                                               Operator(timesExpression/1)\n                                                 Selectors:\n                                                   [\n                                                     Selector\n                                                       Left Selector: []\n                                                       Right Selector: []\n                                                   ]\n\n                                           number: \"one\"\n                                           range: {'start': 12, 'end': 31}\n                                           text: \"price times quantity\"\n                                           types: [\n                                           'number'\n,                                            'property'\n                                           ]\n                                           value: None\n                                           word: \"times\"\n                                           x: \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': 12, 'end': 16}\n                                                 text: \"price\"\n                                                 types: [\n                                                 'price'\n                                                 ]\n                                                 value: \"price\"\n                                                 word: \"price\"\n                                               }\n\n                                           y: \n                                               {\n                                                 prioritized_by: [('quantity', 0)]\n                                                 dead: true\n                                                 default: true\n                                                 marker: \n                                                     Operator(quantity/1)\n                                                       Selectors:\n                                                         [\n                                                           Selector\n                                                             Left Selector: []\n                                                             Right Selector: []\n                                                         ]\n\n                                                 range: {'start': 24, 'end': 31}\n                                                 text: \"quantity\"\n                                                 types: [\n                                                 'quantity'\n                                                 ]\n                                                 value: \"quantity\"\n                                                 word: \"quantity\"\n                                               }\n\n                                         }\n\n                                     value: \"means\"\n                                     word: \"means\"\n                                   }\n<<<<<<<<<<<<<\n",
       "contexts": [
         {
           "marker": "means",

package/common/scorekeeper.js

@@ -19,8 +19,8 @@ const game = {
 const template = {
   configs: [
     // "start a new game\ngreg and jeff",
-    // { query: "start a new game", development: true },
-    // { query: "the winning score is 20", development: true },
+    // { query: "start a new game", scope: "testing" },
+    // { query: "the winning score is 20", scope: "testing" },
   ],
 }