ekms 7.12.8-beta.0 → 7.12.8-beta.10

package/common/properties.instance.json

@@ -1,5 +1,5 @@
 {
-  "queries": [],
+  "configs": [],
   "resultss": [],
   "fragments": [
     {
@@ -406,15 +406,15 @@
           },
           "one": {
             "number": "one",
+            "value": "property1",
+            "unknown": true,
+            "text": "the property1 of object1",
             "marker": "property",
+            "word": "property1",
             "range": {
               "start": 0,
               "end": 33
             },
-            "word": "property1",
-            "text": "the property1 of object1",
-            "value": "property1",
-            "unknown": true,
             "dead": true,
             "types": [
               "property",
@@ -429,15 +429,15 @@
               "determiner"
             ],
             "object": {
+              "value": "object1",
+              "unknown": true,
+              "text": "object1",
               "marker": "unknown",
+              "word": "object1",
               "range": {
                 "start": 17,
                 "end": 23
               },
-              "word": "object1",
-              "text": "object1",
-              "value": "object1",
-              "unknown": true,
               "dead": true,
               "types": [
                 "unknown"
@@ -446,15 +446,15 @@
             },
             "objects": [
               {
+                "value": "property1",
+                "unknown": true,
+                "text": "the property1",
                 "marker": "property",
+                "word": "property1",
                 "range": {
                   "start": 0,
                   "end": 12
                 },
-                "word": "property1",
-                "text": "the property1",
-                "value": "property1",
-                "unknown": true,
                 "dead": true,
                 "types": [
                   "property",
@@ -471,15 +471,15 @@
                 "level": 1
               },
               {
+                "value": "object1",
+                "unknown": true,
+                "text": "object1",
                 "marker": "unknown",
+                "word": "object1",
                 "range": {
                   "start": 17,
                   "end": 23
                 },
-                "word": "object1",
-                "text": "object1",
-                "value": "object1",
-                "unknown": true,
                 "dead": true,
                 "types": [
                   "unknown"
@@ -490,15 +490,15 @@
             "level": 1
           },
           "two": {
+            "value": "value1",
+            "unknown": true,
+            "text": "value1",
             "marker": "unknown",
+            "word": "value1",
             "range": {
               "start": 28,
               "end": 33
             },
-            "word": "value1",
-            "text": "value1",
-            "value": "value1",
-            "unknown": true,
             "dead": true,
             "types": [
               "unknown"
@@ -611,20 +611,6 @@
             1
           ]
         ],
-        [
-          [
-            "is",
-            0
-          ],
-          [
-            "the",
-            0
-          ],
-          [
-            "unknown",
-            0
-          ]
-        ],
         [
           [
             "is",
@@ -732,20 +718,6 @@
         1
       ]
     ],
-    [
-      [
-        "is",
-        0
-      ],
-      [
-        "the",
-        0
-      ],
-      [
-        "unknown",
-        0
-      ]
-    ],
     [
       [
         "is",

package/common/properties.js

@@ -172,14 +172,19 @@ let configStruct = {
     { id: "objectPrefix", level: 0, bridge: '{ ...after[0], object: operator, objects: [after[0], operator] }' },
   ],
   words: {
-    "<<possession>>": [{ id: 'possession', initial: "{ value: 'possession' }" }],
-    " 's": [{ id: 'possession', initial: "{ value: 'possession' }" }],
-    "have": [{ id: 'have', initial: "{ doesable: true, number: 'many' }" }],
-    "has": [{ id: 'have', initial: "{ doesable: true, number: 'one' }" }],
-    "dont": [{ id: 'doesnt', initial: "{ number: 'many' }" }],
-    "doesnt": [{ id: 'doesnt', initial: "{ number: 'one' }" }],
-    // "my": [{ id: 'objectPrefix', initial: "{ value: 'other' }" }],
-    // "your": [{ id: 'objectPrefix', initial: "{ value: 'self' }" }],
+    literals: {
+      "<<possession>>": [{ id: 'possession', initial: "{ value: 'possession' }" }],
+      " 's": [{ id: 'possession', initial: "{ value: 'possession' }" }],
+      "have": [{ id: 'have', initial: "{ doesable: true, number: 'many' }" }],
+      "has": [{ id: 'have', initial: "{ doesable: true, number: 'one' }" }],
+      "dont": [{ id: 'doesnt', initial: "{ number: 'many' }" }],
+      "doesnt": [{ id: 'doesnt', initial: "{ number: 'one' }" }],
+      // "my": [{ id: 'objectPrefix', initial: "{ value: 'other' }" }],
+      // "your": [{ id: 'objectPrefix', initial: "{ value: 'self' }" }],
+    },
+    patterns: [
+      { "pattern": ["'s"], defs: [{id: "possession", uuid: '1', initial: "{ value: 'possession' }" }]},
+    ],
   },
   priorities: [
     { "context": [['list', 0], ['between', 0], ], "choose": [0] }, 

package/common/reports.instance.json

@@ -1,5 +1,5 @@
 {
-  "queries": [
+  "configs": [
     "price and quantity are properties",
     "worth means price times quantity"
   ],
@@ -800,7 +800,7 @@
           }
         ]
       },
-      "trace": "\n\n>>>>>>>>>>>>> Counter 1\n    0. price/0  (1, 0) - \"price\"\n                                   {\n                                     default: true\n                                     marker: Operator(price/0, [\"Selector(Bridge('{ ...next(operator) }'), , []<==>[], bridge(bridge))\"], evaluator(Bridge('{ ...next(operator) }')), variables({}) bridge(bridge))\n                                     range: {'start': 0, 'end': 4}\n                                     text: \"price\"\n                                     value: \"price\"\n                                     word: \"price\"\n                                   }\n    1. list/0  (1, 1) - \"and\"\n                                   {\n                                     default: true\n                                     marker: Operator(list/0, PASS, [\"Selector(Bridge('{ ...next(operator), listable: true, isList: true, value: append(before, after) }'), , same/(), [Type(variable: 'type')]<==>[Type(variable: 'type')], bridge(bridge))\"], evaluator(Bridge('{ ...next(operator), listable: true, isList: true, value: append(before, after) }')), variables({}) bridge(bridge))\n                                     range: {'start': 6, 'end': 8}\n                                     text: \"and\"\n                                     word: \"and\"\n                                   }\n    2. quantity/0  (1, 2) - \"quantity\"\n                                   {\n                                     default: true\n                                     marker: Operator(quantity/0, [\"Selector(Bridge('{ ...next(operator) }'), , []<==>[], bridge(bridge))\"], evaluator(Bridge('{ ...next(operator) }')), variables({}) bridge(bridge))\n                                     range: {'start': 10, 'end': 17}\n                                     text: \"quantity\"\n                                     value: \"quantity\"\n                                     word: \"quantity\"\n                                   }\n    3. is/0  (1, 3) - \"are\"\n                                   {\n                                     marker: Operator(is/0, [\"Selector(Bridge('{ ...next(operator), one: after[0], two: after[1], query: true }'), , []<==>[Type('queryable'), Type('queryable')], bridge(queryBridge))\", \"Selector(Bridge('{ ...next(operator), one: { number: operator.number, ...before[0] }, two: after[0] }'), , [Type('queryable')]<==>[Type('queryable')], bridge(bridge))\"], evaluator(Bridge('{ ...next(operator), one: { number: operator.number, ...before[0] }, two: after[0] }')), variables({}) bridge(bridge))\n                                     number: \"many\"\n                                     range: {'start': 19, 'end': 21}\n                                     text: \"are\"\n                                     word: \"are\"\n                                   }\n    4. property/0  (1, 5) - \"properties\"\n                                   {\n                                     default: true\n                                     marker: Operator(property/0, [\"Selector(Bridge('{ ...next(operator) }'), , []<==>[], bridge(bridge))\"], evaluator(Bridge('{ ...next(operator) }')), variables({}) bridge(bridge))\n                                     range: {'start': 23, 'end': 32}\n                                     text: \"properties\"\n                                     word: \"properties\"\n                                   }\n<<<<<<<<<<<<<\nNext Op (index=0) is Context({default: True, marker: Operator(price/0, [\"Selector(Bridge('{ ...next(operator) }'), , []<==>[], bridge(bridge))\"], evaluator(Bridge('{ ...next(operator) }')), variables({}) bridge(bridge)), range: {'start': 0, 'end': 4}, text: price, value: price, word: price})\n\n>>>>>>>>>>>>> Counter 2\n   *0. price/1 (dead) (2, 0) - \"price\"\n                                   {\n                                     dead: true\n                                     default: true\n                                     marker: Operator(price/1, ['Selector(None, , []<==>[], bridge(bridge))'], evaluator(None), variables({}) bridge(bridge))\n                                     range: {'start': 0, 'end': 4}\n                                     text: \"price\"\n                                     value: \"price\"\n                                     word: \"price\"\n                                   }\n    1. list/0  (1, 1) - \"and\"\n                                   {\n                                     default: true\n                                     marker: Operator(list/0, PASS, [\"Selector(Bridge('{ ...next(operator), listable: true, isList: true, value: append(before, after) }'), , same/(), [Type(variable: 'type')]<==>[Type(variable: 'type')], bridge(bridge))\"], evaluator(Bridge('{ ...next(operator), listable: true, isList: true, value: append(before, after) }')), variables({'type': ['queryable', 'theAble', 'property', 'quantity', 'quantifier', 'unknown', 'number', 'object', 'hierarchyAble', 'notAble']}) bridge(bridge))\n                                     range: {'start': 6, 'end': 8}\n                                     text: \"and\"\n                                     types: [\n                                     ]\n                                     word: \"and\"\n                                   }\n    2. quantity/0  (1, 2) - \"quantity\"\n                                   {\n                                     default: true\n                                     marker: Operator(quantity/0, [\"Selector(Bridge('{ ...next(operator) }'), , []<==>[], bridge(bridge))\"], evaluator(Bridge('{ ...next(operator) }')), variables({}) bridge(bridge))\n                                     range: {'start': 10, 'end': 17}\n                                     text: \"quantity\"\n                                     value: \"quantity\"\n                                     word: \"quantity\"\n                                   }\n    3. is/0  (1, 3) - \"are\"\n                                   {\n                                     marker: Operator(is/0, [\"Selector(Bridge('{ ...next(operator), one: after[0], two: after[1], query: true }'), , []<==>[Type('queryable'), Type('queryable')], bridge(queryBridge))\", \"Selector(Bridge('{ ...next(operator), one: { number: operator.number, ...before[0] }, two: after[0] }'), , [Type('queryable')]<==>[Type('queryable')], bridge(bridge))\"], evaluator(Bridge('{ ...next(operator), one: { number: operator.number, ...before[0] }, two: after[0] }')), variables({}) bridge(bridge))\n                                     number: \"many\"\n                                     range: {'start': 19, 'end': 21}\n                                     text: \"are\"\n                                     word: \"are\"\n                                   }\n    4. property/0  (1, 5) - \"properties\"\n                                   {\n                                     default: true\n                                     marker: Operator(property/0, [\"Selector(Bridge('{ ...next(operator) }'), , []<==>[], bridge(bridge))\"], evaluator(Bridge('{ ...next(operator) }')), variables({}) bridge(bridge))\n                                     range: {'start': 23, 'end': 32}\n                                     text: \"properties\"\n                                     word: \"properties\"\n                                   }\n<<<<<<<<<<<<<\nNext Op (index=1) is Context({default: True, marker: Operator(list/0, PASS, [\"Selector(Bridge('{ ...next(operator), listable: true, isList: true, value: append(before, after) }'), , same/(), [Type(variable: 'type')]<==>[Type(variable: 'type')], bridge(bridge))\"], evaluator(Bridge('{ ...next(operator), listable: true, isList: true, value: append(before, after) }')), variables({'type': ['queryable', 'theAble', 'property', 'quantity', 'quantifier', 'unknown', 'number', 'object', 'hierarchyAble', 'notAble']}) bridge(bridge)), range: {'start': 6, 'end': 8}, text: and, types: [], word: and})\n\n>>>>>>>>>>>>> Counter 3\n   *0. list/1  (3, 0) - \"price and quantity\"\n                                   {\n                                     default: true\n                                     isList: true\n                                     listable: true\n                                     marker: Operator(list/1, PASS, ['Selector(Bridge(\\'{ ...operator, value: append(before, operator.value) }\\'), , same/(), [And([\"Type(variable: \\'type\\')\", \"Listable(Unify(Property((\\'context\\', \\'instance\\')), Property((\\'variables\\', \\'instance\\'))))\"])]<==>[], bridge(bridge), passthrough)'], evaluator(Bridge('{ ...operator, value: append(before, operator.value) }')), variables({'type': ['queryable', 'theAble', 'property', 'quantity', 'quantifier', 'unknown', 'number', 'object', 'hierarchyAble', 'notAble']}) bridge(bridge))\n                                     range: {'start': 0, 'end': 17}\n                                     text: \"price and quantity\"\n                                     types: [\n                                     ]\n                                     value: [\n                                       {\n                                         dead: true\n                                         default: true\n                                         marker: Operator(price/1, ['Selector(None, , []<==>[], bridge(bridge))'], evaluator(None), variables({}) bridge(bridge))\n                                         range: {'start': 0, 'end': 4}\n                                         text: \"price\"\n                                         value: \"price\"\n                                         word: \"price\"\n                                       }\n\n                                       {\n                                         default: true\n                                         marker: Operator(quantity/0, [\"Selector(Bridge('{ ...next(operator) }'), , []<==>[], bridge(bridge))\"], evaluator(Bridge('{ ...next(operator) }')), variables({}) bridge(bridge))\n                                         range: {'start': 10, 'end': 17}\n                                         text: \"quantity\"\n                                         value: \"quantity\"\n                                         word: \"quantity\"\n                                       }\n                                     ]\n                                     word: \"and\"\n                                   }\n    1. is/0  (1, 3) - \"are\"\n                                   {\n                                     marker: Operator(is/0, [\"Selector(Bridge('{ ...next(operator), one: after[0], two: after[1], query: true }'), , []<==>[Type('queryable'), Type('queryable')], bridge(queryBridge))\", \"Selector(Bridge('{ ...next(operator), one: { number: operator.number, ...before[0] }, two: after[0] }'), , [Type('queryable')]<==>[Type('queryable')], bridge(bridge))\"], evaluator(Bridge('{ ...next(operator), one: { number: operator.number, ...before[0] }, two: after[0] }')), variables({}) bridge(bridge))\n                                     number: \"many\"\n                                     range: {'start': 19, 'end': 21}\n                                     text: \"are\"\n                                     word: \"are\"\n                                   }\n    2. property/0  (1, 5) - \"properties\"\n                                   {\n                                     default: true\n                                     marker: Operator(property/0, [\"Selector(Bridge('{ ...next(operator) }'), , []<==>[], bridge(bridge))\"], evaluator(Bridge('{ ...next(operator) }')), variables({}) bridge(bridge))\n                                     range: {'start': 23, 'end': 32}\n                                     text: \"properties\"\n                                     word: \"properties\"\n                                   }\n<<<<<<<<<<<<<\nNext Op (index=2) is Context({default: True, marker: Operator(property/0, [\"Selector(Bridge('{ ...next(operator) }'), , []<==>[], bridge(bridge))\"], evaluator(Bridge('{ ...next(operator) }')), variables({}) bridge(bridge)), range: {'start': 23, 'end': 32}, text: properties, word: properties})\n\n>>>>>>>>>>>>> Counter 4\n    0. list/1  (3, 0) - \"price and quantity\"\n                                   {\n                                     default: true\n                                     isList: true\n                                     listable: true\n                                     marker: Operator(list/1, PASS, ['Selector(Bridge(\\'{ ...operator, value: append(before, operator.value) }\\'), , same/(), [And([\"Type(variable: \\'type\\')\", \"Listable(Unify(Property((\\'context\\', \\'instance\\')), Property((\\'variables\\', \\'instance\\'))))\"])]<==>[], bridge(bridge), passthrough)'], evaluator(Bridge('{ ...operator, value: append(before, operator.value) }')), variables({'type': ['queryable', 'theAble', 'property', 'quantity', 'quantifier', 'unknown', 'number', 'object', 'hierarchyAble', 'notAble']}) bridge(bridge))\n                                     range: {'start': 0, 'end': 17}\n                                     text: \"price and quantity\"\n                                     types: [\n                                     ]\n                                     value: [\n                                       {\n                                         dead: true\n                                         default: true\n                                         marker: Operator(price/1, ['Selector(None, , []<==>[], bridge(bridge))'], evaluator(None), variables({}) bridge(bridge))\n                                         range: {'start': 0, 'end': 4}\n                                         text: \"price\"\n                                         value: \"price\"\n                                         word: \"price\"\n                                       }\n\n                                       {\n                                         default: true\n                                         marker: Operator(quantity/0, [\"Selector(Bridge('{ ...next(operator) }'), , []<==>[], bridge(bridge))\"], evaluator(Bridge('{ ...next(operator) }')), variables({}) bridge(bridge))\n                                         range: {'start': 10, 'end': 17}\n                                         text: \"quantity\"\n                                         value: \"quantity\"\n                                         word: \"quantity\"\n                                       }\n                                     ]\n                                     word: \"and\"\n                                   }\n    1. is/0  (1, 3) - \"are\"\n                                   {\n                                     marker: Operator(is/0, [\"Selector(Bridge('{ ...next(operator), one: after[0], two: after[1], query: true }'), , []<==>[Type('queryable'), Type('queryable')], bridge(queryBridge))\", \"Selector(Bridge('{ ...next(operator), one: { number: operator.number, ...before[0] }, two: after[0] }'), , [Type('queryable')]<==>[Type('queryable')], bridge(bridge))\"], evaluator(Bridge('{ ...next(operator), one: { number: operator.number, ...before[0] }, two: after[0] }')), variables({}) bridge(bridge))\n                                     number: \"many\"\n                                     range: {'start': 19, 'end': 21}\n                                     text: \"are\"\n                                     word: \"are\"\n                                   }\n   *2. property/1 (dead) (2, 1) - \"properties\"\n                                   {\n                                     dead: true\n                                     default: true\n                                     marker: Operator(property/1, ['Selector(None, , []<==>[], bridge(bridge))'], evaluator(None), variables({}) bridge(bridge))\n                                     range: {'start': 23, 'end': 32}\n                                     text: \"properties\"\n                                     word: \"properties\"\n                                   }\n<<<<<<<<<<<<<\nNext Op (index=1) is Context({marker: Operator(is/0, [\"Selector(Bridge('{ ...next(operator), one: after[0], two: after[1], query: true }'), , []<==>[Type('queryable'), Type('queryable')], bridge(queryBridge))\", \"Selector(Bridge('{ ...next(operator), one: { number: operator.number, ...before[0] }, two: after[0] }'), , [Type('queryable')]<==>[Type('queryable')], bridge(bridge))\"], evaluator(Bridge('{ ...next(operator), one: { number: operator.number, ...before[0] }, two: after[0] }')), variables({}) bridge(bridge)), number: many, range: {'start': 19, 'end': 21}, text: are, word: are})\n\n>>>>>>>>>>>>> Counter 5\n   *0. is/1  (4, 0) - \"price and quantity are properties\"\n                                   {\n                                     marker: Operator(is/1, [\"Selector(Bridge('{ ...next(operator) }'), , []<==>[], bridge(bridge))\"], evaluator(Bridge('{ ...next(operator) }')), variables({}) bridge(bridge))\n                                     number: \"many\"\n                                     one:                                          {\n                                           default: true\n                                           isList: true\n                                           listable: true\n                                           marker: Operator(list/1, PASS, ['Selector(Bridge(\\'{ ...operator, value: append(before, operator.value) }\\'), , same/(), [And([\"Type(variable: \\'type\\')\", \"Listable(Unify(Property((\\'context\\', \\'instance\\')), Property((\\'variables\\', \\'instance\\'))))\"])]<==>[], bridge(bridge), passthrough)'], evaluator(Bridge('{ ...operator, value: append(before, operator.value) }')), variables({'type': ['queryable', 'theAble', 'property', 'quantity', 'quantifier', 'unknown', 'number', 'object', 'hierarchyAble', 'notAble']}) bridge(bridge))\n                                           number: \"many\"\n                                           range: {'start': 0, 'end': 32}\n                                           text: \"price and quantity\"\n                                           types: [\n                                           'price'\n                                           ]\n                                           value: [\n                                             {\n                                               dead: true\n                                               default: true\n                                               marker: Operator(price/1, ['Selector(None, , []<==>[], bridge(bridge))'], evaluator(None), variables({}) bridge(bridge))\n                                               range: {'start': 0, 'end': 4}\n                                               text: \"price\"\n                                               value: \"price\"\n                                               word: \"price\"\n                                             }\n\n                                             {\n                                               default: true\n                                               marker: Operator(quantity/0, [\"Selector(Bridge('{ ...next(operator) }'), , []<==>[], bridge(bridge))\"], evaluator(Bridge('{ ...next(operator) }')), variables({}) bridge(bridge))\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                                           dead: true\n                                           default: true\n                                           marker: Operator(property/1, ['Selector(None, , []<==>[], bridge(bridge))'], evaluator(None), variables({}) bridge(bridge))\n                                           range: {'start': 23, 'end': 32}\n                                           text: \"properties\"\n                                           types: [\n                                           'property'\n                                           ]\n                                           word: \"properties\"\n                                         }\n\n                                     word: \"are\"\n                                   }\n<<<<<<<<<<<<<\nNext Op (index=0) is Context({marker: Operator(is/1, [\"Selector(Bridge('{ ...next(operator) }'), , []<==>[], bridge(bridge))\"], evaluator(Bridge('{ ...next(operator) }')), variables({}) bridge(bridge)), number: many, one: Context({default: True, isList: True, listable: True, marker: Operator(list/1, PASS, ['Selector(Bridge(\\'{ ...operator, value: append(before, operator.value) }\\'), , same/(), [And([\"Type(variable: \\'type\\')\", \"Listable(Unify(Property((\\'context\\', \\'instance\\')), Property((\\'variables\\', \\'instance\\'))))\"])]<==>[], bridge(bridge), passthrough)'], evaluator(Bridge('{ ...operator, value: append(before, operator.value) }')), variables({'type': ['queryable', 'theAble', 'property', 'quantity', 'quantifier', 'unknown', 'number', 'object', 'hierarchyAble', 'notAble']}) bridge(bridge)), number: many, range: {'start': 0, 'end': 32}, text: price and quantity, types: ['price'], value: [Context({dead: True, default: True, marker: Operator(price/1, ['Selector(None, , []<==>[], bridge(bridge))'], evaluator(None), variables({}) bridge(bridge)), range: {'start': 0, 'end': 4}, text: price, value: price, word: price}), Context({default: True, marker: Operator(quantity/0, [\"Selector(Bridge('{ ...next(operator) }'), , []<==>[], bridge(bridge))\"], evaluator(Bridge('{ ...next(operator) }')), variables({}) bridge(bridge)), range: {'start': 10, 'end': 17}, text: quantity, value: quantity, word: quantity})], word: and}), range: {'start': 0, 'end': 32}, text: price and quantity are properties, two: Context({dead: True, default: True, marker: Operator(property/1, ['Selector(None, , []<==>[], bridge(bridge))'], evaluator(None), variables({}) bridge(bridge)), range: {'start': 23, 'end': 32}, text: properties, types: ['property'], word: properties}), word: are})\n\n>>>>>>>>>>>>> Counter 6\n   *0. is/2 (dead) (5, 0) - \"price and quantity are properties\"\n                                   {\n                                     dead: true\n                                     marker: Operator(is/2, ['Selector(None, , []<==>[], bridge(bridge))'], evaluator(None), variables({}) bridge(bridge))\n                                     number: \"many\"\n                                     one:                                          {\n                                           default: true\n                                           isList: true\n                                           listable: true\n                                           marker: Operator(list/1, PASS, ['Selector(Bridge(\\'{ ...operator, value: append(before, operator.value) }\\'), , same/(), [And([\"Type(variable: \\'type\\')\", \"Listable(Unify(Property((\\'context\\', \\'instance\\')), Property((\\'variables\\', \\'instance\\'))))\"])]<==>[], bridge(bridge), passthrough)'], evaluator(Bridge('{ ...operator, value: append(before, operator.value) }')), variables({'type': ['queryable', 'theAble', 'property', 'quantity', 'quantifier', 'unknown', 'number', 'object', 'hierarchyAble', 'notAble']}) bridge(bridge))\n                                           number: \"many\"\n                                           range: {'start': 0, 'end': 32}\n                                           text: \"price and quantity\"\n                                           types: [\n                                           'price'\n                                           ]\n                                           value: [\n                                             {\n                                               dead: true\n                                               default: true\n                                               marker: Operator(price/1, ['Selector(None, , []<==>[], bridge(bridge))'], evaluator(None), variables({}) bridge(bridge))\n                                               range: {'start': 0, 'end': 4}\n                                               text: \"price\"\n                                               value: \"price\"\n                                               word: \"price\"\n                                             }\n\n                                             {\n                                               default: true\n                                               marker: Operator(quantity/0, [\"Selector(Bridge('{ ...next(operator) }'), , []<==>[], bridge(bridge))\"], evaluator(Bridge('{ ...next(operator) }')), variables({}) bridge(bridge))\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                                           dead: true\n                                           default: true\n                                           marker: Operator(property/1, ['Selector(None, , []<==>[], bridge(bridge))'], evaluator(None), variables({}) bridge(bridge))\n                                           range: {'start': 23, 'end': 32}\n                                           text: \"properties\"\n                                           types: [\n                                           'property'\n                                           ]\n                                           word: \"properties\"\n                                         }\n\n                                     word: \"are\"\n                                   }\n<<<<<<<<<<<<<\n",
+      "trace": "\n\n>>>>>>>>>>>>> Counter 1\n    0. price/0  (1, 1) - \"price\"\n                                   {\n                                     default: true\n                                     marker: Operator(price/0, [\"Selector(Bridge('{ ...next(operator) }'), , []<==>[], bridge(bridge))\"], evaluator(Bridge('{ ...next(operator) }')), variables({}) bridge(bridge))\n                                     range: {'start': 0, 'end': 4}\n                                     text: \"price\"\n                                     value: \"price\"\n                                     word: \"price\"\n                                   }\n    1. list/0  (1, 3) - \"and\"\n                                   {\n                                     default: true\n                                     marker: Operator(list/0, PASS, [\"Selector(Bridge('{ ...next(operator), listable: true, isList: true, value: append(before, after) }'), , same/(), [Type(variable: 'type')]<==>[Type(variable: 'type')], bridge(bridge))\"], evaluator(Bridge('{ ...next(operator), listable: true, isList: true, value: append(before, after) }')), variables({}) bridge(bridge))\n                                     range: {'start': 6, 'end': 8}\n                                     text: \"and\"\n                                     word: \"and\"\n                                   }\n    2. quantity/0  (1, 7) - \"quantity\"\n                                   {\n                                     default: true\n                                     marker: Operator(quantity/0, [\"Selector(Bridge('{ ...next(operator) }'), , []<==>[], bridge(bridge))\"], evaluator(Bridge('{ ...next(operator) }')), variables({}) bridge(bridge))\n                                     range: {'start': 10, 'end': 17}\n                                     text: \"quantity\"\n                                     value: \"quantity\"\n                                     word: \"quantity\"\n                                   }\n    3. is/0  (1, 9) - \"are\"\n                                   {\n                                     marker: Operator(is/0, [\"Selector(Bridge('{ ...next(operator), one: after[0], two: after[1], query: true }'), , []<==>[Type('queryable'), Type('queryable')], bridge(queryBridge))\", \"Selector(Bridge('{ ...next(operator), one: { number: operator.number, ...before[0] }, two: after[0] }'), , [Type('queryable')]<==>[Type('queryable')], bridge(bridge))\"], evaluator(Bridge('{ ...next(operator), one: { number: operator.number, ...before[0] }, two: after[0] }')), variables({}) bridge(bridge))\n                                     number: \"many\"\n                                     range: {'start': 19, 'end': 21}\n                                     text: \"are\"\n                                     word: \"are\"\n                                   }\n    4. property/0  (1, 14) - \"properties\"\n                                   {\n                                     default: true\n                                     marker: Operator(property/0, [\"Selector(Bridge('{ ...next(operator) }'), , []<==>[], bridge(bridge))\"], evaluator(Bridge('{ ...next(operator) }')), variables({}) bridge(bridge))\n                                     range: {'start': 23, 'end': 32}\n                                     text: \"properties\"\n                                     word: \"properties\"\n                                   }\n<<<<<<<<<<<<<\nNext Op (index=0) is Context({default: True, marker: Operator(price/0, [\"Selector(Bridge('{ ...next(operator) }'), , []<==>[], bridge(bridge))\"], evaluator(Bridge('{ ...next(operator) }')), variables({}) bridge(bridge)), range: {'start': 0, 'end': 4}, text: price, value: price, word: price})\n\n>>>>>>>>>>>>> Counter 2\n   *0. price/1 (dead) (2, 0) - \"price\"\n                                   {\n                                     dead: true\n                                     default: true\n                                     marker: Operator(price/1, ['Selector(None, , []<==>[], bridge(bridge))'], evaluator(None), variables({}) bridge(bridge))\n                                     range: {'start': 0, 'end': 4}\n                                     text: \"price\"\n                                     value: \"price\"\n                                     word: \"price\"\n                                   }\n    1. list/0  (1, 3) - \"and\"\n                                   {\n                                     default: true\n                                     marker: Operator(list/0, PASS, [\"Selector(Bridge('{ ...next(operator), listable: true, isList: true, value: append(before, after) }'), , same/(), [Type(variable: 'type')]<==>[Type(variable: 'type')], bridge(bridge))\"], evaluator(Bridge('{ ...next(operator), listable: true, isList: true, value: append(before, after) }')), variables({'type': ['notAble', 'quantifier', 'theAble', 'queryable', 'quantity', 'property', 'number', 'object', 'unknown', 'hierarchyAble']}) bridge(bridge))\n                                     range: {'start': 6, 'end': 8}\n                                     text: \"and\"\n                                     types: [\n                                     ]\n                                     word: \"and\"\n                                   }\n    2. quantity/0  (1, 7) - \"quantity\"\n                                   {\n                                     default: true\n                                     marker: Operator(quantity/0, [\"Selector(Bridge('{ ...next(operator) }'), , []<==>[], bridge(bridge))\"], evaluator(Bridge('{ ...next(operator) }')), variables({}) bridge(bridge))\n                                     range: {'start': 10, 'end': 17}\n                                     text: \"quantity\"\n                                     value: \"quantity\"\n                                     word: \"quantity\"\n                                   }\n    3. is/0  (1, 9) - \"are\"\n                                   {\n                                     marker: Operator(is/0, [\"Selector(Bridge('{ ...next(operator), one: after[0], two: after[1], query: true }'), , []<==>[Type('queryable'), Type('queryable')], bridge(queryBridge))\", \"Selector(Bridge('{ ...next(operator), one: { number: operator.number, ...before[0] }, two: after[0] }'), , [Type('queryable')]<==>[Type('queryable')], bridge(bridge))\"], evaluator(Bridge('{ ...next(operator), one: { number: operator.number, ...before[0] }, two: after[0] }')), variables({}) bridge(bridge))\n                                     number: \"many\"\n                                     range: {'start': 19, 'end': 21}\n                                     text: \"are\"\n                                     word: \"are\"\n                                   }\n    4. property/0  (1, 14) - \"properties\"\n                                   {\n                                     default: true\n                                     marker: Operator(property/0, [\"Selector(Bridge('{ ...next(operator) }'), , []<==>[], bridge(bridge))\"], evaluator(Bridge('{ ...next(operator) }')), variables({}) bridge(bridge))\n                                     range: {'start': 23, 'end': 32}\n                                     text: \"properties\"\n                                     word: \"properties\"\n                                   }\n<<<<<<<<<<<<<\nNext Op (index=1) is Context({default: True, marker: Operator(list/0, PASS, [\"Selector(Bridge('{ ...next(operator), listable: true, isList: true, value: append(before, after) }'), , same/(), [Type(variable: 'type')]<==>[Type(variable: 'type')], bridge(bridge))\"], evaluator(Bridge('{ ...next(operator), listable: true, isList: true, value: append(before, after) }')), variables({'type': ['notAble', 'quantifier', 'theAble', 'queryable', 'quantity', 'property', 'number', 'object', 'unknown', 'hierarchyAble']}) bridge(bridge)), range: {'start': 6, 'end': 8}, text: and, types: [], word: and})\n\n>>>>>>>>>>>>> Counter 3\n   *0. list/1  (3, 0) - \"price and quantity\"\n                                   {\n                                     default: true\n                                     isList: true\n                                     listable: true\n                                     marker: Operator(list/1, PASS, ['Selector(Bridge(\\'{ ...operator, value: append(before, operator.value) }\\'), , same/(), [And([\"Type(variable: \\'type\\')\", \"Listable(Unify(Property((\\'context\\', \\'instance\\')), Property((\\'variables\\', \\'instance\\'))))\"])]<==>[], bridge(bridge), passthrough)'], evaluator(Bridge('{ ...operator, value: append(before, operator.value) }')), variables({'type': ['notAble', 'quantifier', 'theAble', 'queryable', 'quantity', 'property', 'number', 'object', 'unknown', 'hierarchyAble']}) bridge(bridge))\n                                     range: {'start': 0, 'end': 17}\n                                     text: \"price and quantity\"\n                                     types: [\n                                     ]\n                                     value: [\n                                       {\n                                         dead: true\n                                         default: true\n                                         marker: Operator(price/1, ['Selector(None, , []<==>[], bridge(bridge))'], evaluator(None), variables({}) bridge(bridge))\n                                         range: {'start': 0, 'end': 4}\n                                         text: \"price\"\n                                         value: \"price\"\n                                         word: \"price\"\n                                       }\n\n                                       {\n                                         default: true\n                                         marker: Operator(quantity/0, [\"Selector(Bridge('{ ...next(operator) }'), , []<==>[], bridge(bridge))\"], evaluator(Bridge('{ ...next(operator) }')), variables({}) bridge(bridge))\n                                         range: {'start': 10, 'end': 17}\n                                         text: \"quantity\"\n                                         value: \"quantity\"\n                                         word: \"quantity\"\n                                       }\n                                     ]\n                                     word: \"and\"\n                                   }\n    1. is/0  (1, 9) - \"are\"\n                                   {\n                                     marker: Operator(is/0, [\"Selector(Bridge('{ ...next(operator), one: after[0], two: after[1], query: true }'), , []<==>[Type('queryable'), Type('queryable')], bridge(queryBridge))\", \"Selector(Bridge('{ ...next(operator), one: { number: operator.number, ...before[0] }, two: after[0] }'), , [Type('queryable')]<==>[Type('queryable')], bridge(bridge))\"], evaluator(Bridge('{ ...next(operator), one: { number: operator.number, ...before[0] }, two: after[0] }')), variables({}) bridge(bridge))\n                                     number: \"many\"\n                                     range: {'start': 19, 'end': 21}\n                                     text: \"are\"\n                                     word: \"are\"\n                                   }\n    2. property/0  (1, 14) - \"properties\"\n                                   {\n                                     default: true\n                                     marker: Operator(property/0, [\"Selector(Bridge('{ ...next(operator) }'), , []<==>[], bridge(bridge))\"], evaluator(Bridge('{ ...next(operator) }')), variables({}) bridge(bridge))\n                                     range: {'start': 23, 'end': 32}\n                                     text: \"properties\"\n                                     word: \"properties\"\n                                   }\n<<<<<<<<<<<<<\nNext Op (index=2) is Context({default: True, marker: Operator(property/0, [\"Selector(Bridge('{ ...next(operator) }'), , []<==>[], bridge(bridge))\"], evaluator(Bridge('{ ...next(operator) }')), variables({}) bridge(bridge)), range: {'start': 23, 'end': 32}, text: properties, word: properties})\n\n>>>>>>>>>>>>> Counter 4\n    0. list/1  (3, 0) - \"price and quantity\"\n                                   {\n                                     default: true\n                                     isList: true\n                                     listable: true\n                                     marker: Operator(list/1, PASS, ['Selector(Bridge(\\'{ ...operator, value: append(before, operator.value) }\\'), , same/(), [And([\"Type(variable: \\'type\\')\", \"Listable(Unify(Property((\\'context\\', \\'instance\\')), Property((\\'variables\\', \\'instance\\'))))\"])]<==>[], bridge(bridge), passthrough)'], evaluator(Bridge('{ ...operator, value: append(before, operator.value) }')), variables({'type': ['notAble', 'quantifier', 'theAble', 'queryable', 'quantity', 'property', 'number', 'object', 'unknown', 'hierarchyAble']}) bridge(bridge))\n                                     range: {'start': 0, 'end': 17}\n                                     text: \"price and quantity\"\n                                     types: [\n                                     ]\n                                     value: [\n                                       {\n                                         dead: true\n                                         default: true\n                                         marker: Operator(price/1, ['Selector(None, , []<==>[], bridge(bridge))'], evaluator(None), variables({}) bridge(bridge))\n                                         range: {'start': 0, 'end': 4}\n                                         text: \"price\"\n                                         value: \"price\"\n                                         word: \"price\"\n                                       }\n\n                                       {\n                                         default: true\n                                         marker: Operator(quantity/0, [\"Selector(Bridge('{ ...next(operator) }'), , []<==>[], bridge(bridge))\"], evaluator(Bridge('{ ...next(operator) }')), variables({}) bridge(bridge))\n                                         range: {'start': 10, 'end': 17}\n                                         text: \"quantity\"\n                                         value: \"quantity\"\n                                         word: \"quantity\"\n                                       }\n                                     ]\n                                     word: \"and\"\n                                   }\n    1. is/0  (1, 9) - \"are\"\n                                   {\n                                     marker: Operator(is/0, [\"Selector(Bridge('{ ...next(operator), one: after[0], two: after[1], query: true }'), , []<==>[Type('queryable'), Type('queryable')], bridge(queryBridge))\", \"Selector(Bridge('{ ...next(operator), one: { number: operator.number, ...before[0] }, two: after[0] }'), , [Type('queryable')]<==>[Type('queryable')], bridge(bridge))\"], evaluator(Bridge('{ ...next(operator), one: { number: operator.number, ...before[0] }, two: after[0] }')), variables({}) bridge(bridge))\n                                     number: \"many\"\n                                     range: {'start': 19, 'end': 21}\n                                     text: \"are\"\n                                     word: \"are\"\n                                   }\n   *2. property/1 (dead) (2, 1) - \"properties\"\n                                   {\n                                     dead: true\n                                     default: true\n                                     marker: Operator(property/1, ['Selector(None, , []<==>[], bridge(bridge))'], evaluator(None), variables({}) bridge(bridge))\n                                     range: {'start': 23, 'end': 32}\n                                     text: \"properties\"\n                                     word: \"properties\"\n                                   }\n<<<<<<<<<<<<<\nNext Op (index=1) is Context({marker: Operator(is/0, [\"Selector(Bridge('{ ...next(operator), one: after[0], two: after[1], query: true }'), , []<==>[Type('queryable'), Type('queryable')], bridge(queryBridge))\", \"Selector(Bridge('{ ...next(operator), one: { number: operator.number, ...before[0] }, two: after[0] }'), , [Type('queryable')]<==>[Type('queryable')], bridge(bridge))\"], evaluator(Bridge('{ ...next(operator), one: { number: operator.number, ...before[0] }, two: after[0] }')), variables({}) bridge(bridge)), number: many, range: {'start': 19, 'end': 21}, text: are, word: are})\n\n>>>>>>>>>>>>> Counter 5\n   *0. is/1  (4, 0) - \"price and quantity are properties\"\n                                   {\n                                     marker: Operator(is/1, [\"Selector(Bridge('{ ...next(operator) }'), , []<==>[], bridge(bridge))\"], evaluator(Bridge('{ ...next(operator) }')), variables({}) bridge(bridge))\n                                     number: \"many\"\n                                     one:                                          {\n                                           default: true\n                                           isList: true\n                                           listable: true\n                                           marker: Operator(list/1, PASS, ['Selector(Bridge(\\'{ ...operator, value: append(before, operator.value) }\\'), , same/(), [And([\"Type(variable: \\'type\\')\", \"Listable(Unify(Property((\\'context\\', \\'instance\\')), Property((\\'variables\\', \\'instance\\'))))\"])]<==>[], bridge(bridge), passthrough)'], evaluator(Bridge('{ ...operator, value: append(before, operator.value) }')), variables({'type': ['notAble', 'quantifier', 'theAble', 'queryable', 'quantity', 'property', 'number', 'object', 'unknown', 'hierarchyAble']}) bridge(bridge))\n                                           number: \"many\"\n                                           range: {'start': 0, 'end': 32}\n                                           text: \"price and quantity\"\n                                           types: [\n                                           'price'\n                                           ]\n                                           value: [\n                                             {\n                                               dead: true\n                                               default: true\n                                               marker: Operator(price/1, ['Selector(None, , []<==>[], bridge(bridge))'], evaluator(None), variables({}) bridge(bridge))\n                                               range: {'start': 0, 'end': 4}\n                                               text: \"price\"\n                                               value: \"price\"\n                                               word: \"price\"\n                                             }\n\n                                             {\n                                               default: true\n                                               marker: Operator(quantity/0, [\"Selector(Bridge('{ ...next(operator) }'), , []<==>[], bridge(bridge))\"], evaluator(Bridge('{ ...next(operator) }')), variables({}) bridge(bridge))\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                                           dead: true\n                                           default: true\n                                           marker: Operator(property/1, ['Selector(None, , []<==>[], bridge(bridge))'], evaluator(None), variables({}) bridge(bridge))\n                                           range: {'start': 23, 'end': 32}\n                                           text: \"properties\"\n                                           types: [\n                                           'property'\n                                           ]\n                                           word: \"properties\"\n                                         }\n\n                                     word: \"are\"\n                                   }\n<<<<<<<<<<<<<\nNext Op (index=0) is Context({marker: Operator(is/1, [\"Selector(Bridge('{ ...next(operator) }'), , []<==>[], bridge(bridge))\"], evaluator(Bridge('{ ...next(operator) }')), variables({}) bridge(bridge)), number: many, one: Context({default: True, isList: True, listable: True, marker: Operator(list/1, PASS, ['Selector(Bridge(\\'{ ...operator, value: append(before, operator.value) }\\'), , same/(), [And([\"Type(variable: \\'type\\')\", \"Listable(Unify(Property((\\'context\\', \\'instance\\')), Property((\\'variables\\', \\'instance\\'))))\"])]<==>[], bridge(bridge), passthrough)'], evaluator(Bridge('{ ...operator, value: append(before, operator.value) }')), variables({'type': ['notAble', 'quantifier', 'theAble', 'queryable', 'quantity', 'property', 'number', 'object', 'unknown', 'hierarchyAble']}) bridge(bridge)), number: many, range: {'start': 0, 'end': 32}, text: price and quantity, types: ['price'], value: [Context({dead: True, default: True, marker: Operator(price/1, ['Selector(None, , []<==>[], bridge(bridge))'], evaluator(None), variables({}) bridge(bridge)), range: {'start': 0, 'end': 4}, text: price, value: price, word: price}), Context({default: True, marker: Operator(quantity/0, [\"Selector(Bridge('{ ...next(operator) }'), , []<==>[], bridge(bridge))\"], evaluator(Bridge('{ ...next(operator) }')), variables({}) bridge(bridge)), range: {'start': 10, 'end': 17}, text: quantity, value: quantity, word: quantity})], word: and}), range: {'start': 0, 'end': 32}, text: price and quantity are properties, two: Context({dead: True, default: True, marker: Operator(property/1, ['Selector(None, , []<==>[], bridge(bridge))'], evaluator(None), variables({}) bridge(bridge)), range: {'start': 23, 'end': 32}, text: properties, types: ['property'], word: properties}), word: are})\n\n>>>>>>>>>>>>> Counter 6\n   *0. is/2 (dead) (5, 0) - \"price and quantity are properties\"\n                                   {\n                                     dead: true\n                                     marker: Operator(is/2, ['Selector(None, , []<==>[], bridge(bridge))'], evaluator(None), variables({}) bridge(bridge))\n                                     number: \"many\"\n                                     one:                                          {\n                                           default: true\n                                           isList: true\n                                           listable: true\n                                           marker: Operator(list/1, PASS, ['Selector(Bridge(\\'{ ...operator, value: append(before, operator.value) }\\'), , same/(), [And([\"Type(variable: \\'type\\')\", \"Listable(Unify(Property((\\'context\\', \\'instance\\')), Property((\\'variables\\', \\'instance\\'))))\"])]<==>[], bridge(bridge), passthrough)'], evaluator(Bridge('{ ...operator, value: append(before, operator.value) }')), variables({'type': ['notAble', 'quantifier', 'theAble', 'queryable', 'quantity', 'property', 'number', 'object', 'unknown', 'hierarchyAble']}) bridge(bridge))\n                                           number: \"many\"\n                                           range: {'start': 0, 'end': 32}\n                                           text: \"price and quantity\"\n                                           types: [\n                                           'price'\n                                           ]\n                                           value: [\n                                             {\n                                               dead: true\n                                               default: true\n                                               marker: Operator(price/1, ['Selector(None, , []<==>[], bridge(bridge))'], evaluator(None), variables({}) bridge(bridge))\n                                               range: {'start': 0, 'end': 4}\n                                               text: \"price\"\n                                               value: \"price\"\n                                               word: \"price\"\n                                             }\n\n                                             {\n                                               default: true\n                                               marker: Operator(quantity/0, [\"Selector(Bridge('{ ...next(operator) }'), , []<==>[], bridge(bridge))\"], evaluator(Bridge('{ ...next(operator) }')), variables({}) bridge(bridge))\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                                           dead: true\n                                           default: true\n                                           marker: Operator(property/1, ['Selector(None, , []<==>[], bridge(bridge))'], evaluator(None), variables({}) bridge(bridge))\n                                           range: {'start': 23, 'end': 32}\n                                           text: \"properties\"\n                                           types: [\n                                           'property'\n                                           ]\n                                           word: \"properties\"\n                                         }\n\n                                     word: \"are\"\n                                   }\n<<<<<<<<<<<<<\n",
       "contexts": [
         {
           "number": "many",
@@ -955,16 +955,6 @@
             "property",
             0
           ]
-        ],
-        [
-          [
-            "price",
-            0
-          ],
-          [
-            "quantity",
-            0
-          ]
         ]
       ],
       "learned_contextual_priorities": [],
@@ -1777,7 +1767,7 @@
           }
         ]
       },
-      "trace": "\n\n>>>>>>>>>>>>> Counter 1\n    0. unknown/0  (0, 0) - \"worth\"\n                                   {\n                                     marker: Operator(unknown/0, [\"Selector(Bridge('{ ...next(operator), unknown: true, dead: true }'), , []<==>[], bridge(bridge))\"], evaluator(Bridge('{ ...next(operator), unknown: true, dead: true }')), variables({}) bridge(bridge))\n                                     range: {'start': 0, 'end': 4}\n                                     text: \"worth\"\n                                     value: \"worth\"\n                                     word: \"worth\"\n                                   }\n    1. means/0  (1, 0) - \"means\"\n                                   {\n                                     default: true\n                                     marker: 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))\n                                     range: {'start': 6, 'end': 10}\n                                     text: \"means\"\n                                     value: \"means\"\n                                     word: \"means\"\n                                   }\n    2. price/0  (1, 1) - \"price\"\n                                   {\n                                     default: true\n                                     marker: Operator(price/0, [\"Selector(Bridge('{ ...next(operator) }'), , []<==>[], bridge(bridge))\"], evaluator(Bridge('{ ...next(operator) }')), variables({}) bridge(bridge))\n                                     range: {'start': 12, 'end': 16}\n                                     text: \"price\"\n                                     value: \"price\"\n                                     word: \"price\"\n                                   }\n    3. timesOperator/0  (1, 2) - \"times\"\n                                   {\n                                     marker: 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 }'), , [Type('number')]<==>[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))\n                                     range: {'start': 18, 'end': 22}\n                                     text: \"times\"\n                                     value: \"times\"\n                                     word: \"times\"\n                                   }\n    4. quantity/0  (1, 3) - \"quantity\"\n                                   {\n                                     default: true\n                                     marker: Operator(quantity/0, [\"Selector(Bridge('{ ...next(operator) }'), , []<==>[], bridge(bridge))\"], evaluator(Bridge('{ ...next(operator) }')), variables({}) bridge(bridge))\n                                     range: {'start': 24, 'end': 31}\n                                     text: \"quantity\"\n                                     value: \"quantity\"\n                                     word: \"quantity\"\n                                   }\n<<<<<<<<<<<<<\nNext Op (index=0) is Context({marker: Operator(unknown/0, [\"Selector(Bridge('{ ...next(operator), unknown: true, dead: true }'), , []<==>[], bridge(bridge))\"], evaluator(Bridge('{ ...next(operator), unknown: true, dead: true }')), variables({}) bridge(bridge)), range: {'start': 0, 'end': 4}, text: worth, value: worth, word: worth})\n\n>>>>>>>>>>>>> Counter 2\n   *0. unknown/1 (dead) (1, 4) - \"worth\"\n                                   {\n                                     dead: true\n                                     marker: Operator(unknown/1, [\"Selector(Bridge('{ ...next(operator) }'), , []<==>[], bridge(bridge))\"], evaluator(Bridge('{ ...next(operator) }')), variables({}) bridge(bridge))\n                                     range: {'start': 0, 'end': 4}\n                                     text: \"worth\"\n                                     unknown: true\n                                     value: \"worth\"\n                                     word: \"worth\"\n                                   }\n    1. means/0  (1, 0) - \"means\"\n                                   {\n                                     default: true\n                                     marker: 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))\n                                     range: {'start': 6, 'end': 10}\n                                     text: \"means\"\n                                     value: \"means\"\n                                     word: \"means\"\n                                   }\n    2. price/0  (1, 1) - \"price\"\n                                   {\n                                     default: true\n                                     marker: Operator(price/0, [\"Selector(Bridge('{ ...next(operator) }'), , []<==>[], bridge(bridge))\"], evaluator(Bridge('{ ...next(operator) }')), variables({}) bridge(bridge))\n                                     range: {'start': 12, 'end': 16}\n                                     text: \"price\"\n                                     value: \"price\"\n                                     word: \"price\"\n                                   }\n    3. timesOperator/0  (1, 2) - \"times\"\n                                   {\n                                     marker: 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 }'), , [Type('number')]<==>[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))\n                                     range: {'start': 18, 'end': 22}\n                                     text: \"times\"\n                                     value: \"times\"\n                                     word: \"times\"\n                                   }\n    4. quantity/0  (1, 3) - \"quantity\"\n                                   {\n                                     default: true\n                                     marker: Operator(quantity/0, [\"Selector(Bridge('{ ...next(operator) }'), , []<==>[], bridge(bridge))\"], evaluator(Bridge('{ ...next(operator) }')), variables({}) bridge(bridge))\n                                     range: {'start': 24, 'end': 31}\n                                     text: \"quantity\"\n                                     value: \"quantity\"\n                                     word: \"quantity\"\n                                   }\n<<<<<<<<<<<<<\nNext Op (index=2) is Context({default: True, marker: Operator(price/0, [\"Selector(Bridge('{ ...next(operator) }'), , []<==>[], bridge(bridge))\"], evaluator(Bridge('{ ...next(operator) }')), variables({}) bridge(bridge)), range: {'start': 12, 'end': 16}, text: price, value: price, word: price})\n\n>>>>>>>>>>>>> Counter 3\n    0. unknown/1 (dead) (1, 4) - \"worth\"\n                                   {\n                                     dead: true\n                                     marker: Operator(unknown/1, [\"Selector(Bridge('{ ...next(operator) }'), , []<==>[], bridge(bridge))\"], evaluator(Bridge('{ ...next(operator) }')), variables({}) bridge(bridge))\n                                     range: {'start': 0, 'end': 4}\n                                     text: \"worth\"\n                                     unknown: true\n                                     value: \"worth\"\n                                     word: \"worth\"\n                                   }\n    1. means/0  (1, 0) - \"means\"\n                                   {\n                                     default: true\n                                     marker: 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))\n                                     range: {'start': 6, 'end': 10}\n                                     text: \"means\"\n                                     value: \"means\"\n                                     word: \"means\"\n                                   }\n   *2. price/1 (dead) (2, 0) - \"price\"\n                                   {\n                                     dead: true\n                                     default: true\n                                     marker: Operator(price/1, ['Selector(None, , []<==>[], bridge(bridge))'], evaluator(None), variables({}) bridge(bridge))\n                                     range: {'start': 12, 'end': 16}\n                                     text: \"price\"\n                                     value: \"price\"\n                                     word: \"price\"\n                                   }\n    3. timesOperator/0  (1, 2) - \"times\"\n                                   {\n                                     marker: 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 }'), , [Type('number')]<==>[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))\n                                     range: {'start': 18, 'end': 22}\n                                     text: \"times\"\n                                     value: \"times\"\n                                     word: \"times\"\n                                   }\n    4. quantity/0  (1, 3) - \"quantity\"\n                                   {\n                                     default: true\n                                     marker: Operator(quantity/0, [\"Selector(Bridge('{ ...next(operator) }'), , []<==>[], bridge(bridge))\"], evaluator(Bridge('{ ...next(operator) }')), variables({}) bridge(bridge))\n                                     range: {'start': 24, 'end': 31}\n                                     text: \"quantity\"\n                                     value: \"quantity\"\n                                     word: \"quantity\"\n                                   }\n<<<<<<<<<<<<<\nNext Op (index=4) is Context({default: True, marker: Operator(quantity/0, [\"Selector(Bridge('{ ...next(operator) }'), , []<==>[], bridge(bridge))\"], evaluator(Bridge('{ ...next(operator) }')), variables({}) bridge(bridge)), range: {'start': 24, 'end': 31}, text: quantity, value: quantity, word: quantity})\n\n>>>>>>>>>>>>> Counter 4\n    0. unknown/1 (dead) (1, 4) - \"worth\"\n                                   {\n                                     dead: true\n                                     marker: Operator(unknown/1, [\"Selector(Bridge('{ ...next(operator) }'), , []<==>[], bridge(bridge))\"], evaluator(Bridge('{ ...next(operator) }')), variables({}) bridge(bridge))\n                                     range: {'start': 0, 'end': 4}\n                                     text: \"worth\"\n                                     unknown: true\n                                     value: \"worth\"\n                                     word: \"worth\"\n                                   }\n    1. means/0  (1, 0) - \"means\"\n                                   {\n                                     default: true\n                                     marker: 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))\n                                     range: {'start': 6, 'end': 10}\n                                     text: \"means\"\n                                     value: \"means\"\n                                     word: \"means\"\n                                   }\n    2. price/1 (dead) (2, 0) - \"price\"\n                                   {\n                                     dead: true\n                                     default: true\n                                     marker: Operator(price/1, ['Selector(None, , []<==>[], bridge(bridge))'], evaluator(None), variables({}) bridge(bridge))\n                                     range: {'start': 12, 'end': 16}\n                                     text: \"price\"\n                                     value: \"price\"\n                                     word: \"price\"\n                                   }\n    3. timesOperator/0  (1, 2) - \"times\"\n                                   {\n                                     marker: 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 }'), , [Type('number')]<==>[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))\n                                     range: {'start': 18, 'end': 22}\n                                     text: \"times\"\n                                     value: \"times\"\n                                     word: \"times\"\n                                   }\n   *4. quantity/1 (dead) (2, 1) - \"quantity\"\n                                   {\n                                     dead: true\n                                     default: true\n                                     marker: Operator(quantity/1, ['Selector(None, , []<==>[], bridge(bridge))'], evaluator(None), variables({}) bridge(bridge))\n                                     range: {'start': 24, 'end': 31}\n                                     text: \"quantity\"\n                                     value: \"quantity\"\n                                     word: \"quantity\"\n                                   }\n<<<<<<<<<<<<<\nNext Op (index=3) is Context({marker: 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 }'), , [Type('number')]<==>[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)), range: {'start': 18, 'end': 22}, text: times, value: times, word: times})\n\n>>>>>>>>>>>>> Counter 5\n    0. unknown/1 (dead) (1, 4) - \"worth\"\n                                   {\n                                     dead: true\n                                     marker: Operator(unknown/1, [\"Selector(Bridge('{ ...next(operator) }'), , []<==>[], bridge(bridge))\"], evaluator(Bridge('{ ...next(operator) }')), variables({}) bridge(bridge))\n                                     range: {'start': 0, 'end': 4}\n                                     text: \"worth\"\n                                     unknown: true\n                                     value: \"worth\"\n                                     word: \"worth\"\n                                   }\n    1. means/0  (1, 0) - \"means\"\n                                   {\n                                     default: true\n                                     marker: 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))\n                                     range: {'start': 6, 'end': 10}\n                                     text: \"means\"\n                                     value: \"means\"\n                                     word: \"means\"\n                                   }\n   *2. timesExpression/1 (dead) (3, 0) - \"price times quantity\"\n                                   {\n                                     dead: true\n                                     evaluate: true\n                                     isResponse: true\n                                     marker: Operator(timesExpression/1, ['Selector(None, , []<==>[], bridge(bridge))'], evaluator(None), variables({}) bridge(bridge))\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                                           dead: true\n                                           default: true\n                                           marker: Operator(price/1, ['Selector(None, , []<==>[], bridge(bridge))'], evaluator(None), variables({}) bridge(bridge))\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                                           dead: true\n                                           default: true\n                                           marker: Operator(quantity/1, ['Selector(None, , []<==>[], bridge(bridge))'], evaluator(None), variables({}) bridge(bridge))\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 Context({default: True, marker: 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)), range: {'start': 6, 'end': 10}, text: means, value: means, word: means})\n\n>>>>>>>>>>>>> Counter 6\n   *0. means/1 (dead) (4, 0) - \"worth means price times quantity\"\n                                   {\n                                     dead: true\n                                     default: true\n                                     from:                                          {\n                                           dead: true\n                                           marker: Operator(unknown/1, [\"Selector(Bridge('{ ...next(operator) }'), , []<==>[], bridge(bridge))\"], evaluator(Bridge('{ ...next(operator) }')), variables({}) bridge(bridge))\n                                           range: {'start': 0, 'end': 4}\n                                           text: \"worth\"\n                                           unknown: true\n                                           value: \"worth\"\n                                           word: \"worth\"\n                                         }\n\n                                     marker: Operator(means/1, ['Selector(None, , [Any]<==>[Any], bridge(bridge))'], evaluator(None), variables({}) bridge(bridge))\n                                     range: {'start': 0, 'end': 31}\n                                     text: \"worth means price times quantity\"\n                                     to:                                          {\n                                           dead: true\n                                           evaluate: true\n                                           isResponse: true\n                                           marker: Operator(timesExpression/1, ['Selector(None, , []<==>[], bridge(bridge))'], evaluator(None), variables({}) bridge(bridge))\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                                                 dead: true\n                                                 default: true\n                                                 marker: Operator(price/1, ['Selector(None, , []<==>[], bridge(bridge))'], evaluator(None), variables({}) bridge(bridge))\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                                                 dead: true\n                                                 default: true\n                                                 marker: Operator(quantity/1, ['Selector(None, , []<==>[], bridge(bridge))'], evaluator(None), variables({}) bridge(bridge))\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    0. unknown/0  (1, 0) - \"worth\"\n                                   {\n                                     marker: Operator(unknown/0, [\"Selector(Bridge('{ ...next(operator), unknown: true, dead: true }'), , []<==>[], bridge(bridge))\"], evaluator(Bridge('{ ...next(operator), unknown: true, dead: true }')), variables({}) bridge(bridge))\n                                     range: {'start': 0, 'end': 4}\n                                     text: \"worth\"\n                                     unknown: true\n                                     value: \"worth\"\n                                     word: \"worth\"\n                                   }\n    1. means/0  (1, 3) - \"means\"\n                                   {\n                                     default: true\n                                     marker: 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))\n                                     range: {'start': 6, 'end': 10}\n                                     text: \"means\"\n                                     value: \"means\"\n                                     word: \"means\"\n                                   }\n    2. price/0  (1, 6) - \"price\"\n                                   {\n                                     default: true\n                                     marker: Operator(price/0, [\"Selector(Bridge('{ ...next(operator) }'), , []<==>[], bridge(bridge))\"], evaluator(Bridge('{ ...next(operator) }')), variables({}) bridge(bridge))\n                                     range: {'start': 12, 'end': 16}\n                                     text: \"price\"\n                                     value: \"price\"\n                                     word: \"price\"\n                                   }\n    3. timesOperator/0  (1, 9) - \"times\"\n                                   {\n                                     marker: 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 }'), , [Type('number')]<==>[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))\n                                     range: {'start': 18, 'end': 22}\n                                     text: \"times\"\n                                     value: \"times\"\n                                     word: \"times\"\n                                   }\n    4. quantity/0  (1, 12) - \"quantity\"\n                                   {\n                                     default: true\n                                     marker: Operator(quantity/0, [\"Selector(Bridge('{ ...next(operator) }'), , []<==>[], bridge(bridge))\"], evaluator(Bridge('{ ...next(operator) }')), variables({}) bridge(bridge))\n                                     range: {'start': 24, 'end': 31}\n                                     text: \"quantity\"\n                                     value: \"quantity\"\n                                     word: \"quantity\"\n                                   }\n<<<<<<<<<<<<<\nNext Op (index=0) is Context({marker: Operator(unknown/0, [\"Selector(Bridge('{ ...next(operator), unknown: true, dead: true }'), , []<==>[], bridge(bridge))\"], evaluator(Bridge('{ ...next(operator), unknown: true, dead: true }')), variables({}) bridge(bridge)), range: {'start': 0, 'end': 4}, text: worth, unknown: True, value: worth, word: worth})\n\n>>>>>>>>>>>>> Counter 2\n   *0. unknown/1 (dead) (2, 0) - \"worth\"\n                                   {\n                                     dead: true\n                                     marker: Operator(unknown/1, [\"Selector(Bridge('{ ...next(operator) }'), , []<==>[], bridge(bridge))\"], evaluator(Bridge('{ ...next(operator) }')), variables({}) bridge(bridge))\n                                     range: {'start': 0, 'end': 4}\n                                     text: \"worth\"\n                                     unknown: true\n                                     value: \"worth\"\n                                     word: \"worth\"\n                                   }\n    1. means/0  (1, 3) - \"means\"\n                                   {\n                                     default: true\n                                     marker: 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))\n                                     range: {'start': 6, 'end': 10}\n                                     text: \"means\"\n                                     value: \"means\"\n                                     word: \"means\"\n                                   }\n    2. price/0  (1, 6) - \"price\"\n                                   {\n                                     default: true\n                                     marker: Operator(price/0, [\"Selector(Bridge('{ ...next(operator) }'), , []<==>[], bridge(bridge))\"], evaluator(Bridge('{ ...next(operator) }')), variables({}) bridge(bridge))\n                                     range: {'start': 12, 'end': 16}\n                                     text: \"price\"\n                                     value: \"price\"\n                                     word: \"price\"\n                                   }\n    3. timesOperator/0  (1, 9) - \"times\"\n                                   {\n                                     marker: 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 }'), , [Type('number')]<==>[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))\n                                     range: {'start': 18, 'end': 22}\n                                     text: \"times\"\n                                     value: \"times\"\n                                     word: \"times\"\n                                   }\n    4. quantity/0  (1, 12) - \"quantity\"\n                                   {\n                                     default: true\n                                     marker: Operator(quantity/0, [\"Selector(Bridge('{ ...next(operator) }'), , []<==>[], bridge(bridge))\"], evaluator(Bridge('{ ...next(operator) }')), variables({}) bridge(bridge))\n                                     range: {'start': 24, 'end': 31}\n                                     text: \"quantity\"\n                                     value: \"quantity\"\n                                     word: \"quantity\"\n                                   }\n<<<<<<<<<<<<<\nNext Op (index=2) is Context({default: True, marker: Operator(price/0, [\"Selector(Bridge('{ ...next(operator) }'), , []<==>[], bridge(bridge))\"], evaluator(Bridge('{ ...next(operator) }')), variables({}) bridge(bridge)), range: {'start': 12, 'end': 16}, text: price, value: price, word: price})\n\n>>>>>>>>>>>>> Counter 3\n    0. unknown/1 (dead) (2, 0) - \"worth\"\n                                   {\n                                     dead: true\n                                     marker: Operator(unknown/1, [\"Selector(Bridge('{ ...next(operator) }'), , []<==>[], bridge(bridge))\"], evaluator(Bridge('{ ...next(operator) }')), variables({}) bridge(bridge))\n                                     range: {'start': 0, 'end': 4}\n                                     text: \"worth\"\n                                     unknown: true\n                                     value: \"worth\"\n                                     word: \"worth\"\n                                   }\n    1. means/0  (1, 3) - \"means\"\n                                   {\n                                     default: true\n                                     marker: 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))\n                                     range: {'start': 6, 'end': 10}\n                                     text: \"means\"\n                                     value: \"means\"\n                                     word: \"means\"\n                                   }\n   *2. price/1 (dead) (2, 1) - \"price\"\n                                   {\n                                     dead: true\n                                     default: true\n                                     marker: Operator(price/1, ['Selector(None, , []<==>[], bridge(bridge))'], evaluator(None), variables({}) bridge(bridge))\n                                     range: {'start': 12, 'end': 16}\n                                     text: \"price\"\n                                     value: \"price\"\n                                     word: \"price\"\n                                   }\n    3. timesOperator/0  (1, 9) - \"times\"\n                                   {\n                                     marker: 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 }'), , [Type('number')]<==>[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))\n                                     range: {'start': 18, 'end': 22}\n                                     text: \"times\"\n                                     value: \"times\"\n                                     word: \"times\"\n                                   }\n    4. quantity/0  (1, 12) - \"quantity\"\n                                   {\n                                     default: true\n                                     marker: Operator(quantity/0, [\"Selector(Bridge('{ ...next(operator) }'), , []<==>[], bridge(bridge))\"], evaluator(Bridge('{ ...next(operator) }')), variables({}) bridge(bridge))\n                                     range: {'start': 24, 'end': 31}\n                                     text: \"quantity\"\n                                     value: \"quantity\"\n                                     word: \"quantity\"\n                                   }\n<<<<<<<<<<<<<\nNext Op (index=4) is Context({default: True, marker: Operator(quantity/0, [\"Selector(Bridge('{ ...next(operator) }'), , []<==>[], bridge(bridge))\"], evaluator(Bridge('{ ...next(operator) }')), variables({}) bridge(bridge)), range: {'start': 24, 'end': 31}, text: quantity, value: quantity, word: quantity})\n\n>>>>>>>>>>>>> Counter 4\n    0. unknown/1 (dead) (2, 0) - \"worth\"\n                                   {\n                                     dead: true\n                                     marker: Operator(unknown/1, [\"Selector(Bridge('{ ...next(operator) }'), , []<==>[], bridge(bridge))\"], evaluator(Bridge('{ ...next(operator) }')), variables({}) bridge(bridge))\n                                     range: {'start': 0, 'end': 4}\n                                     text: \"worth\"\n                                     unknown: true\n                                     value: \"worth\"\n                                     word: \"worth\"\n                                   }\n    1. means/0  (1, 3) - \"means\"\n                                   {\n                                     default: true\n                                     marker: 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))\n                                     range: {'start': 6, 'end': 10}\n                                     text: \"means\"\n                                     value: \"means\"\n                                     word: \"means\"\n                                   }\n    2. price/1 (dead) (2, 1) - \"price\"\n                                   {\n                                     dead: true\n                                     default: true\n                                     marker: Operator(price/1, ['Selector(None, , []<==>[], bridge(bridge))'], evaluator(None), variables({}) bridge(bridge))\n                                     range: {'start': 12, 'end': 16}\n                                     text: \"price\"\n                                     value: \"price\"\n                                     word: \"price\"\n                                   }\n    3. timesOperator/0  (1, 9) - \"times\"\n                                   {\n                                     marker: 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 }'), , [Type('number')]<==>[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))\n                                     range: {'start': 18, 'end': 22}\n                                     text: \"times\"\n                                     value: \"times\"\n                                     word: \"times\"\n                                   }\n   *4. quantity/1 (dead) (2, 2) - \"quantity\"\n                                   {\n                                     dead: true\n                                     default: true\n                                     marker: Operator(quantity/1, ['Selector(None, , []<==>[], bridge(bridge))'], evaluator(None), variables({}) bridge(bridge))\n                                     range: {'start': 24, 'end': 31}\n                                     text: \"quantity\"\n                                     value: \"quantity\"\n                                     word: \"quantity\"\n                                   }\n<<<<<<<<<<<<<\nNext Op (index=3) is Context({marker: 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 }'), , [Type('number')]<==>[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)), range: {'start': 18, 'end': 22}, text: times, value: times, word: times})\n\n>>>>>>>>>>>>> Counter 5\n    0. unknown/1 (dead) (2, 0) - \"worth\"\n                                   {\n                                     dead: true\n                                     marker: Operator(unknown/1, [\"Selector(Bridge('{ ...next(operator) }'), , []<==>[], bridge(bridge))\"], evaluator(Bridge('{ ...next(operator) }')), variables({}) bridge(bridge))\n                                     range: {'start': 0, 'end': 4}\n                                     text: \"worth\"\n                                     unknown: true\n                                     value: \"worth\"\n                                     word: \"worth\"\n                                   }\n    1. means/0  (1, 3) - \"means\"\n                                   {\n                                     default: true\n                                     marker: 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))\n                                     range: {'start': 6, 'end': 10}\n                                     text: \"means\"\n                                     value: \"means\"\n                                     word: \"means\"\n                                   }\n   *2. timesExpression/1 (dead) (3, 0) - \"price times quantity\"\n                                   {\n                                     dead: true\n                                     evaluate: true\n                                     isResponse: true\n                                     marker: Operator(timesExpression/1, ['Selector(None, , []<==>[], bridge(bridge))'], evaluator(None), variables({}) bridge(bridge))\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                                           dead: true\n                                           default: true\n                                           marker: Operator(price/1, ['Selector(None, , []<==>[], bridge(bridge))'], evaluator(None), variables({}) bridge(bridge))\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                                           dead: true\n                                           default: true\n                                           marker: Operator(quantity/1, ['Selector(None, , []<==>[], bridge(bridge))'], evaluator(None), variables({}) bridge(bridge))\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 Context({default: True, marker: 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)), range: {'start': 6, 'end': 10}, text: means, value: means, word: means})\n\n>>>>>>>>>>>>> Counter 6\n   *0. means/1 (dead) (4, 0) - \"worth means price times quantity\"\n                                   {\n                                     dead: true\n                                     default: true\n                                     from:                                          {\n                                           dead: true\n                                           marker: Operator(unknown/1, [\"Selector(Bridge('{ ...next(operator) }'), , []<==>[], bridge(bridge))\"], evaluator(Bridge('{ ...next(operator) }')), variables({}) bridge(bridge))\n                                           range: {'start': 0, 'end': 4}\n                                           text: \"worth\"\n                                           unknown: true\n                                           value: \"worth\"\n                                           word: \"worth\"\n                                         }\n\n                                     marker: Operator(means/1, ['Selector(None, , [Any]<==>[Any], bridge(bridge))'], evaluator(None), variables({}) bridge(bridge))\n                                     range: {'start': 0, 'end': 31}\n                                     text: \"worth means price times quantity\"\n                                     to:                                          {\n                                           dead: true\n                                           evaluate: true\n                                           isResponse: true\n                                           marker: Operator(timesExpression/1, ['Selector(None, , []<==>[], bridge(bridge))'], evaluator(None), variables({}) bridge(bridge))\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                                                 dead: true\n                                                 default: true\n                                                 marker: Operator(price/1, ['Selector(None, , []<==>[], bridge(bridge))'], evaluator(None), variables({}) bridge(bridge))\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                                                 dead: true\n                                                 default: true\n                                                 marker: Operator(quantity/1, ['Selector(None, , []<==>[], bridge(bridge))'], evaluator(None), variables({}) bridge(bridge))\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",
@@ -1791,15 +1781,15 @@
           },
           "dead": true,
           "from": {
+            "value": "worth",
+            "unknown": true,
+            "text": "worth",
             "marker": "unknown",
+            "word": "worth",
             "range": {
               "start": 0,
               "end": 4
             },
-            "word": "worth",
-            "text": "worth",
-            "value": "worth",
-            "unknown": true,
             "dead": true,
             "level": 1
           },
@@ -1918,24 +1908,6 @@
             1
           ]
         ],
-        [
-          [
-            "means",
-            0
-          ],
-          [
-            "price",
-            0
-          ],
-          [
-            "quantity",
-            0
-          ],
-          [
-            "unknown",
-            0
-          ]
-        ],
         [
           [
             "means",
@@ -2097,24 +2069,6 @@
         1
       ]
     ],
-    [
-      [
-        "means",
-        0
-      ],
-      [
-        "price",
-        0
-      ],
-      [
-        "quantity",
-        0
-      ],
-      [
-        "unknown",
-        0
-      ]
-    ],
     [
       [
         "means",
@@ -2156,16 +2110,6 @@
         "unknown",
         1
       ]
-    ],
-    [
-      [
-        "price",
-        0
-      ],
-      [
-        "quantity",
-        0
-      ]
     ]
   ],
   "learned_contextual_priorities": []

package/common/reports.js

@@ -12,7 +12,7 @@ const reports_instance = require('./reports.instance.json')
 const { v4 : uuidv4, validate : validatev4 } = require('uuid');
 
 const template ={
-  "queries": [
+  configs: [
       "price and quantity are properties",
       "worth means price times quantity"
   ],
@@ -334,7 +334,7 @@ let configStruct = {
         const listing = objects.listings[id]
         const name = context.name.text
         objects.listings[name] = {...listing}
-        config.addWord(` ${name}`,  { id: 'report', initial: `{ value: "${name}" }` })
+        config.addWord(`${name}`,  { id: 'report', initial: `{ value: "${name}" }` })
         km('stm').api.mentioned({
                   marker: "report",
                   text: name,
@@ -372,11 +372,13 @@ let configStruct = {
   debug: true,
   "version": '3',
   "words": {
-    "tables": [{"id": "listingType", "initial": "{ value: 'tables' }" }],
-    "sentences": [{"id": "listingType", "initial": "{ value: 'sentences' }" }],
-    //"product1": [{"id": "reportObject", "initial": "{ value: 'api1' }" }],
-    //"api2": [{"id": "reportObject", "initial": "{ value: 'api2' }" }],
-    //" ([0-9]+)": [{"id": "amount", "initial": "{ value: int(group[0]) }" }],
+    "literals": {
+      "tables": [{"id": "listingType", "initial": "{ value: 'tables' }" }],
+      "sentences": [{"id": "listingType", "initial": "{ value: 'sentences' }" }],
+      //"product1": [{"id": "reportObject", "initial": "{ value: 'api1' }" }],
+      //"api2": [{"id": "reportObject", "initial": "{ value: 'api2' }" }],
+      //" ([0-9]+)": [{"id": "amount", "initial": "{ value: int(group[0]) }" }],
+    }
   },
 
   priorities: [

package/common/scorekeeper.instance.json

@@ -1,5 +1,5 @@
 {
-  "queries": [],
+  "configs": [],
   "resultss": [],
   "fragments": [],
   "semantics": [],