tpmkms_4wp 8.9.1 → 9.0.0-beta.0

package/common/reports.instance.json

@@ -8,7 +8,7 @@
       "hierarchy": [
         [
           "a",
-          "articlePOS",
+          "article",
           false
         ],
         [
@@ -27,8 +27,8 @@
           false
         ],
         [
-          "articlePOS",
-          "articlePOS",
+          "article",
+          "article",
           false
         ],
         [
@@ -123,7 +123,7 @@
         ],
         [
           "comparable",
-          "comparable",
+          "theAble",
           false
         ],
         [
@@ -201,6 +201,11 @@
           "direction",
           false
         ],
+        [
+          "distributable",
+          "queryable",
+          false
+        ],
         [
           "divideByExpression",
           "mathematicalExpression",
@@ -216,6 +221,11 @@
           "queryable",
           false
         ],
+        [
+          "each",
+          "article",
+          false
+        ],
         [
           "evaluate",
           "verb",
@@ -228,7 +238,7 @@
         ],
         [
           "every",
-          "quantifier",
+          "article",
           false
         ],
         [
@@ -286,6 +296,11 @@
           "isEder",
           false
         ],
+        [
+          "isQuery",
+          "verb",
+          false
+        ],
         [
           "it",
           "pronoun",
@@ -311,6 +326,11 @@
           "direction",
           false
         ],
+        [
+          "listable",
+          "theAble",
+          false
+        ],
         [
           "lowest",
           "condition",
@@ -466,6 +486,11 @@
           "queryable",
           false
         ],
+        [
+          "object",
+          "listable",
+          false
+        ],
         [
           "object",
           "queryable",
@@ -518,7 +543,7 @@
         ],
         [
           "operator_modifier",
-          "operator_modifier",
+          "adjective",
           false
         ],
         [
@@ -568,7 +593,7 @@
         ],
         [
           "ordering_modifier",
-          "ordering_modifier",
+          "adjective",
           false
         ],
         [
@@ -653,7 +678,7 @@
         ],
         [
           "queryable",
-          "queryable",
+          "listable",
           false
         ],
         [
@@ -833,7 +858,7 @@
         ],
         [
           "the",
-          "articlePOS",
+          "article",
           false
         ],
         [
@@ -982,10 +1007,6 @@
                 "price",
                 0
               ],
-              [
-                "property",
-                0
-              ],
               [
                 "quantity",
                 0
@@ -1007,10 +1028,6 @@
                 "list",
                 0
               ],
-              [
-                "property",
-                0
-              ],
               [
                 "quantity",
                 0
@@ -1018,23 +1035,6 @@
             ],
             "counter": 2
           },
-          {
-            "op": [
-              "property",
-              0
-            ],
-            "ops": [
-              [
-                "is",
-                0
-              ],
-              [
-                "property",
-                0
-              ]
-            ],
-            "counter": 3
-          },
           {
             "op": [
               "is",
@@ -1046,7 +1046,7 @@
                 0
               ]
             ],
-            "counter": 4
+            "counter": 3
           },
           {
             "op": [
@@ -1059,11 +1059,11 @@
                 1
               ]
             ],
-            "counter": 5
+            "counter": 4
           }
         ]
       },
-      "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, 5) - \"and\"\n                                   {\n                                     default: true\n                                     marker: Operator(list/0, PASS, ['Selector(Bridge(\\'{ ...next(operator), listable: true, isList: true, value: append(before, after) }\\'), , same/(), [And([\"Type(variable: \\'type\\')\", \"Listable(Unify(Property((\\'context\\', \\'instance\\')), Property((\\'variables\\', \\'instance\\'))))\"])]<==>[And([\"Type(variable: \\'type\\')\", \"Listable(Unify(Property((\\'context\\', \\'instance\\')), Property((\\'variables\\', \\'instance\\'))))\"])], 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, 9) - \"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, 12) - \"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, 18) - \"properties\"\n                                   {\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                                     value: \"property\"\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                                     prioritized_by: [('price', 0)]\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, 5) - \"and\"\n                                   {\n                                     default: true\n                                     marker: Operator(list/0, PASS, ['Selector(Bridge(\\'{ ...next(operator), listable: true, isList: true, value: append(before, after) }\\'), , same/(), [And([\"Type(variable: \\'type\\')\", \"Listable(Unify(Property((\\'context\\', \\'instance\\')), Property((\\'variables\\', \\'instance\\'))))\"])]<==>[And([\"Type(variable: \\'type\\')\", \"Listable(Unify(Property((\\'context\\', \\'instance\\')), Property((\\'variables\\', \\'instance\\'))))\"])], bridge(bridge))'], evaluator(Bridge('{ ...next(operator), listable: true, isList: true, value: append(before, after) }')), variables({'type': ['quantifier', 'property', 'number', 'theAble', 'queryable', 'quantity', 'comparable']}) bridge(bridge))\n                                     range: {'start': 6, 'end': 8}\n                                     text: \"and\"\n                                     types: [\n                                     ]\n                                     word: \"and\"\n                                   }\n    2. quantity/0  (1, 9) - \"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, 12) - \"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, 18) - \"properties\"\n                                   {\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                                     value: \"property\"\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/(), [And([\"Type(variable: \\'type\\')\", \"Listable(Unify(Property((\\'context\\', \\'instance\\')), Property((\\'variables\\', \\'instance\\'))))\"])]<==>[And([\"Type(variable: \\'type\\')\", \"Listable(Unify(Property((\\'context\\', \\'instance\\')), Property((\\'variables\\', \\'instance\\'))))\"])], bridge(bridge))'], evaluator(Bridge('{ ...next(operator), listable: true, isList: true, value: append(before, after) }')), variables({'type': ['quantifier', 'property', 'number', 'theAble', 'queryable', 'quantity', 'comparable']}) 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                                     prioritized_by: [('list', 0)]\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': ['quantifier', 'property', 'number', 'theAble', 'queryable', 'quantity', 'comparable']}) bridge(bridge))\n                                     range: {'start': 0, 'end': 17}\n                                     text: \"price and quantity\"\n                                     types: [\n                                     ]\n                                     value: [\n                                       {\n                                         prioritized_by: [('price', 0)]\n                                         dead: true\n                                         default: true\n                                         marker: 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, 12) - \"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, 18) - \"properties\"\n                                   {\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                                     value: \"property\"\n                                     word: \"properties\"\n                                   }\n<<<<<<<<<<<<<\nNext Op (index=2) is Context({marker: Operator(property/0, [\"Selector(Bridge('{ ...next(operator) }'), , []<==>[], bridge(bridge))\"], evaluator(Bridge('{ ...next(operator) }')), variables({}) bridge(bridge)), range: {'start': 23, 'end': 32}, text: properties, value: property, word: properties})\n\n>>>>>>>>>>>>> Counter 4\n    0. list/1  (3, 0) - \"price and quantity\"\n                                   {\n                                     prioritized_by: [('list', 0)]\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': ['quantifier', 'property', 'number', 'theAble', 'queryable', 'quantity', 'comparable']}) bridge(bridge))\n                                     range: {'start': 0, 'end': 17}\n                                     text: \"price and quantity\"\n                                     types: [\n                                     ]\n                                     value: [\n                                       {\n                                         prioritized_by: [('price', 0)]\n                                         dead: true\n                                         default: true\n                                         marker: 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, 12) - \"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                                     prioritized_by: [('property', 0)]\n                                     dead: 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                                     value: \"property\"\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                                     prioritized_by: [('is', 0)]\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': ['quantifier', 'property', 'number', 'theAble', 'queryable', 'quantity', 'comparable']}) 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                                               prioritized_by: [('price', 0)]\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                                           prioritized_by: [('property', 0)]\n                                           dead: 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                                           value: \"property\"\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': ['quantifier', 'property', 'number', 'theAble', 'queryable', 'quantity', 'comparable']}) 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, marker: Operator(property/1, ['Selector(None, , []<==>[], bridge(bridge))'], evaluator(None), variables({}) bridge(bridge)), range: {'start': 23, 'end': 32}, text: properties, types: ['property'], value: property, word: properties}), word: are})\n\n>>>>>>>>>>>>> Counter 6\n   *0. is/2 (dead) (5, 0) - \"price and quantity are properties\"\n                                   {\n                                     prioritized_by: [('is', 1)]\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': ['quantifier', 'property', 'number', 'theAble', 'queryable', 'quantity', 'comparable']}) 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                                               prioritized_by: [('price', 0)]\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                                           prioritized_by: [('property', 0)]\n                                           dead: 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                                           value: \"property\"\n                                           word: \"properties\"\n                                         }\n\n                                     word: \"are\"\n                                   }\n<<<<<<<<<<<<<\n",
+      "trace": "\n\n>>>>>>>>>>>>> Counter 1\n  summary\n\n    0.  price/0                                  - \"price\"\n    1.  list/0                                   - \"and\"\n    2.  quantity/0                               - \"quantity\"\n    3.  is/0                                     - \"are\"\n    4.  property/0 (dead)                        - \"properties\"\n\n  details\n\n    0. Operator(price/0, [\"Selector(Bridge('{ ...next(operator) }'), , []<==>[], bridge(bridge))\"], evaluator(Bridge('{ ...next(operator) }')), variables({}) bridge(bridge)) (1, 0) - \"price\"\n                                   {\n                                     default: true\n                                     marker: 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. Operator(list/0, PASS, ['Selector(Bridge(\\'{ ...next(operator), listable: true, isList: true, value: append(before, after) }\\'), , same/(), [And([\"Type(variable: \\'type\\')\", \"Listable(Unify(Property((\\'context\\', \\'instance\\')), Property((\\'variables\\', \\'instance\\'))))\"])]<==>[And([\"Type(variable: \\'type\\')\", \"Listable(Unify(Property((\\'context\\', \\'instance\\')), Property((\\'variables\\', \\'instance\\'))))\"])], bridge(bridge))'], evaluator(Bridge('{ ...next(operator), listable: true, isList: true, value: append(before, after) }')), variables({}) bridge(bridge)) (1, 6) - \"and\"\n                                   {\n                                     default: true\n                                     marker: Operator(list/0, PASS, ['Selector(Bridge(\\'{ ...next(operator), listable: true, isList: true, value: append(before, after) }\\'), , same/(), [And([\"Type(variable: \\'type\\')\", \"Listable(Unify(Property((\\'context\\', \\'instance\\')), Property((\\'variables\\', \\'instance\\'))))\"])]<==>[And([\"Type(variable: \\'type\\')\", \"Listable(Unify(Property((\\'context\\', \\'instance\\')), Property((\\'variables\\', \\'instance\\'))))\"])], 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. Operator(quantity/0, [\"Selector(Bridge('{ ...next(operator) }'), , []<==>[], bridge(bridge))\"], evaluator(Bridge('{ ...next(operator) }')), variables({}) bridge(bridge)) (1, 10) - \"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. Operator(is/0, [\"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)) (1, 15) - \"are\"\n                                   {\n                                     marker: Operator(is/0, [\"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. Operator(property/0, ['Selector(None, , []<==>[], bridge(bridge))'], evaluator(None), variables({}) bridge(bridge)) (1, 21) - \"properties\"\n                                   {\n                                     dead: true\n                                     marker: Operator(property/0, ['Selector(None, , []<==>[], bridge(bridge))'], evaluator(None), variables({}) bridge(bridge))\n                                     range: {'start': 23, 'end': 32}\n                                     text: \"properties\"\n                                     value: \"property\"\n                                     word: \"properties\"\n                                   }\n<<<<<<<<<<<<<\nNext Op (index=0) is ('price', 0), 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  summary\n\n   *0.  price/1 (dead)                           - \"price\"\n    1.  list/0                                   - \"and\"\n    2.  quantity/0                               - \"quantity\"\n    3.  is/0                                     - \"are\"\n    4.  property/0 (dead)                        - \"properties\"\n\n  details\n\n    0. Operator(price/1, ['Selector(None, , []<==>[], bridge(bridge))'], evaluator(None), variables({}) bridge(bridge)) (2, 0) - \"price\"\n                                   {\n                                     prioritized_by: [('price', 0)]\n                                     dead: true\n                                     default: true\n                                     marker: 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. Operator(list/0, PASS, ['Selector(Bridge(\\'{ ...next(operator), listable: true, isList: true, value: append(before, after) }\\'), , same/(), [And([\"Type(variable: \\'type\\')\", \"Listable(Unify(Property((\\'context\\', \\'instance\\')), Property((\\'variables\\', \\'instance\\'))))\"])]<==>[And([\"Type(variable: \\'type\\')\", \"Listable(Unify(Property((\\'context\\', \\'instance\\')), Property((\\'variables\\', \\'instance\\'))))\"])], bridge(bridge))'], evaluator(Bridge('{ ...next(operator), listable: true, isList: true, value: append(before, after) }')), variables({}) bridge(bridge)) (1, 6) - \"and\"\n                                   {\n                                     default: true\n                                     marker: Operator(list/0, PASS, ['Selector(Bridge(\\'{ ...next(operator), listable: true, isList: true, value: append(before, after) }\\'), , same/(), [And([\"Type(variable: \\'type\\')\", \"Listable(Unify(Property((\\'context\\', \\'instance\\')), Property((\\'variables\\', \\'instance\\'))))\"])]<==>[And([\"Type(variable: \\'type\\')\", \"Listable(Unify(Property((\\'context\\', \\'instance\\')), Property((\\'variables\\', \\'instance\\'))))\"])], 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                                     types: [\n                                     ]\n                                     word: \"and\"\n                                   }\n    2. Operator(quantity/0, [\"Selector(Bridge('{ ...next(operator) }'), , []<==>[], bridge(bridge))\"], evaluator(Bridge('{ ...next(operator) }')), variables({}) bridge(bridge)) (1, 10) - \"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. Operator(is/0, [\"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)) (1, 15) - \"are\"\n                                   {\n                                     marker: Operator(is/0, [\"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. Operator(property/0, ['Selector(None, , []<==>[], bridge(bridge))'], evaluator(None), variables({}) bridge(bridge)) (1, 21) - \"properties\"\n                                   {\n                                     dead: true\n                                     marker: Operator(property/0, ['Selector(None, , []<==>[], bridge(bridge))'], evaluator(None), variables({}) bridge(bridge))\n                                     range: {'start': 23, 'end': 32}\n                                     text: \"properties\"\n                                     value: \"property\"\n                                     word: \"properties\"\n                                   }\n<<<<<<<<<<<<<\nNext Op (index=1) is ('list', 0), Context({default: True, marker: Operator(list/0, PASS, ['Selector(Bridge(\\'{ ...next(operator), listable: true, isList: true, value: append(before, after) }\\'), , same/(), [And([\"Type(variable: \\'type\\')\", \"Listable(Unify(Property((\\'context\\', \\'instance\\')), Property((\\'variables\\', \\'instance\\'))))\"])]<==>[And([\"Type(variable: \\'type\\')\", \"Listable(Unify(Property((\\'context\\', \\'instance\\')), Property((\\'variables\\', \\'instance\\'))))\"])], bridge(bridge))'], evaluator(Bridge('{ ...next(operator), listable: true, isList: true, value: append(before, after) }')), variables({}) bridge(bridge)), range: {'start': 6, 'end': 8}, text: and, types: [], word: and})\n\n>>>>>>>>>>>>> Counter 3\n  summary\n\n   *0.  list/1                                   - \"price and quantity\"\n    1.  is/0                                     - \"are\"\n    2.  property/0 (dead)                        - \"properties\"\n\n  details\n\n    0. Operator(list/1, PASS, ['Selector(Bridge(\\'{ ...operator, value: append(before, operator.value) }\\'), , same/(), [And([\"Type(variable: \\'type\\')\", \"Listable(Unify(Property((\\'context\\', \\'instance\\')), Property((\\'variables\\', \\'instance\\'))))\"])]<==>[], bridge(bridge), passthrough)'], evaluator(Bridge('{ ...operator, value: append(before, operator.value) }')), variables({'found_types': ['quantity', 'price'], 'type': ['listable', 'comparable', 'theAble', 'number', 'quantifier', 'quantity', 'queryable', 'property']}) bridge(bridge)) (3, 0) - \"price and quantity\"\n                                   {\n                                     prioritized_by: [('list', 0)]\n                                     default: true\n                                     isList: true\n                                     listable: true\n                                     marker: 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({'found_types': ['quantity', 'price'], 'type': ['listable', 'comparable', 'theAble', 'number', 'quantifier', 'quantity', 'queryable', 'property']}) bridge(bridge))\n                                     range: {'start': 0, 'end': 17}\n                                     text: \"price and quantity\"\n                                     types: [\n                                     ]\n                                     value: [\n                                       {\n                                         prioritized_by: [('price', 0)]\n                                         dead: true\n                                         default: true\n                                         marker: 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. Operator(is/0, [\"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)) (1, 15) - \"are\"\n                                   {\n                                     marker: Operator(is/0, [\"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. Operator(property/0, ['Selector(None, , []<==>[], bridge(bridge))'], evaluator(None), variables({}) bridge(bridge)) (1, 21) - \"properties\"\n                                   {\n                                     dead: true\n                                     marker: Operator(property/0, ['Selector(None, , []<==>[], bridge(bridge))'], evaluator(None), variables({}) bridge(bridge))\n                                     range: {'start': 23, 'end': 32}\n                                     text: \"properties\"\n                                     value: \"property\"\n                                     word: \"properties\"\n                                   }\n<<<<<<<<<<<<<\nNext Op (index=1) is ('is', 0), Context({marker: Operator(is/0, [\"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 4\n  summary\n\n   *0.  is/1                                     - \"price and quantity are properties\"\n\n  details\n\n    0. Operator(is/1, [\"Selector(Bridge('{ ...next(operator) }'), , []<==>[], bridge(bridge))\"], evaluator(Bridge('{ ...next(operator) }')), variables({'found_types': []}) bridge(bridge)) (4, 0) - \"price and quantity are properties\"\n                                   {\n                                     prioritized_by: [('is', 0)]\n                                     marker: Operator(is/1, [\"Selector(Bridge('{ ...next(operator) }'), , []<==>[], bridge(bridge))\"], evaluator(Bridge('{ ...next(operator) }')), variables({'found_types': []}) 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({'found_types': ['quantity', 'price'], 'type': ['listable', 'comparable', 'theAble', 'number', 'quantifier', 'quantity', 'queryable', 'property']}) 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                                               prioritized_by: [('price', 0)]\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                                           marker: Operator(property/0, ['Selector(None, , []<==>[], bridge(bridge))'], evaluator(None), variables({}) bridge(bridge))\n                                           range: {'start': 23, 'end': 32}\n                                           text: \"properties\"\n                                           types: [\n                                           'property'\n                                           ]\n                                           value: \"property\"\n                                           word: \"properties\"\n                                         }\n\n                                     word: \"are\"\n                                   }\n<<<<<<<<<<<<<\nNext Op (index=0) is ('is', 1), Context({marker: Operator(is/1, [\"Selector(Bridge('{ ...next(operator) }'), , []<==>[], bridge(bridge))\"], evaluator(Bridge('{ ...next(operator) }')), variables({'found_types': []}) 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({'found_types': ['quantity', 'price'], 'type': ['listable', 'comparable', 'theAble', 'number', 'quantifier', 'quantity', 'queryable', 'property']}) 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, marker: Operator(property/0, ['Selector(None, , []<==>[], bridge(bridge))'], evaluator(None), variables({}) bridge(bridge)), range: {'start': 23, 'end': 32}, text: properties, types: ['property'], value: property, word: properties}), word: are})\n\n>>>>>>>>>>>>> Counter 5\n  summary\n\n   *0.  is/2 (dead)                              - \"price and quantity are properties\"\n\n  details\n\n    0. Operator(is/2, ['Selector(None, , []<==>[], bridge(bridge))'], evaluator(None), variables({}) bridge(bridge)) (5, 0) - \"price and quantity are properties\"\n                                   {\n                                     prioritized_by: [('is', 1)]\n                                     dead: true\n                                     marker: 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({'found_types': ['quantity', 'price'], 'type': ['listable', 'comparable', 'theAble', 'number', 'quantifier', 'quantity', 'queryable', 'property']}) 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                                               prioritized_by: [('price', 0)]\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                                           marker: Operator(property/0, ['Selector(None, , []<==>[], bridge(bridge))'], evaluator(None), variables({}) bridge(bridge))\n                                           range: {'start': 23, 'end': 32}\n                                           text: \"properties\"\n                                           types: [\n                                           'property'\n                                           ]\n                                           value: \"property\"\n                                           word: \"properties\"\n                                         }\n\n                                     word: \"are\"\n                                   }\n<<<<<<<<<<<<<\n",
       "contexts": [
         {
           "number": "many",
@@ -1123,20 +1123,21 @@
             "value": "property",
             "text": "properties",
             "marker": "property",
+            "dead": true,
             "word": "properties",
             "range": {
               "start": 23,
               "end": 32
             },
-            "dead": true,
             "types": [
               "property"
             ],
-            "level": 1,
+            "level": 0,
             "concept": true
           },
           "dead": true,
           "level": 2,
+          "context_index": 1,
           "topLevel": true,
           "touchedBy": [
             "reports#call2"
@@ -1195,16 +1196,6 @@
             0
           ]
         ],
-        [
-          [
-            "is",
-            0
-          ],
-          [
-            "list",
-            1
-          ]
-        ],
         [
           [
             "is",
@@ -1220,6 +1211,188 @@
           ]
         ]
       ],
+      "summaries": [
+        {
+          "summaries": [
+            {
+              "operators": [
+                {
+                  "marker": [
+                    "price",
+                    0
+                  ],
+                  "range": {
+                    "start": 0,
+                    "end": 4
+                  }
+                },
+                {
+                  "marker": [
+                    "list",
+                    0
+                  ],
+                  "range": {
+                    "start": 6,
+                    "end": 8
+                  }
+                },
+                {
+                  "marker": [
+                    "quantity",
+                    0
+                  ],
+                  "range": {
+                    "start": 10,
+                    "end": 17
+                  }
+                },
+                {
+                  "marker": [
+                    "is",
+                    0
+                  ],
+                  "range": {
+                    "start": 19,
+                    "end": 21
+                  }
+                },
+                {
+                  "marker": [
+                    "property",
+                    0
+                  ],
+                  "range": {
+                    "start": 23,
+                    "end": 32
+                  }
+                }
+              ],
+              "counter": 1
+            },
+            {
+              "operators": [
+                {
+                  "marker": [
+                    "price",
+                    1
+                  ],
+                  "range": {
+                    "start": 0,
+                    "end": 4
+                  }
+                },
+                {
+                  "marker": [
+                    "list",
+                    0
+                  ],
+                  "range": {
+                    "start": 6,
+                    "end": 8
+                  }
+                },
+                {
+                  "marker": [
+                    "quantity",
+                    0
+                  ],
+                  "range": {
+                    "start": 10,
+                    "end": 17
+                  }
+                },
+                {
+                  "marker": [
+                    "is",
+                    0
+                  ],
+                  "range": {
+                    "start": 19,
+                    "end": 21
+                  }
+                },
+                {
+                  "marker": [
+                    "property",
+                    0
+                  ],
+                  "range": {
+                    "start": 23,
+                    "end": 32
+                  }
+                }
+              ],
+              "counter": 2
+            },
+            {
+              "operators": [
+                {
+                  "marker": [
+                    "list",
+                    1
+                  ],
+                  "range": {
+                    "start": 0,
+                    "end": 17
+                  }
+                },
+                {
+                  "marker": [
+                    "is",
+                    0
+                  ],
+                  "range": {
+                    "start": 19,
+                    "end": 21
+                  }
+                },
+                {
+                  "marker": [
+                    "property",
+                    0
+                  ],
+                  "range": {
+                    "start": 23,
+                    "end": 32
+                  }
+                }
+              ],
+              "counter": 3
+            },
+            {
+              "operators": [
+                {
+                  "marker": [
+                    "is",
+                    1
+                  ],
+                  "range": {
+                    "start": 0,
+                    "end": 32
+                  }
+                }
+              ],
+              "counter": 4
+            },
+            {
+              "operators": [
+                {
+                  "marker": [
+                    "is",
+                    2
+                  ],
+                  "range": {
+                    "start": 0,
+                    "end": 32
+                  }
+                }
+              ],
+              "counter": 5
+            }
+          ],
+          "length": 1
+        }
+      ],
       "learned_contextual_priorities": [],
       "query": "price and quantity are properties",
       "key": {
@@ -1230,7 +1403,7 @@
       "hierarchy": [
         [
           "a",
-          "articlePOS",
+          "article",
           false
         ],
         [
@@ -1249,8 +1422,8 @@
           false
         ],
         [
-          "articlePOS",
-          "articlePOS",
+          "article",
+          "article",
           false
         ],
         [
@@ -1345,7 +1518,7 @@
         ],
         [
           "comparable",
-          "comparable",
+          "theAble",
           false
         ],
         [
@@ -1423,6 +1596,11 @@
           "direction",
           false
         ],
+        [
+          "distributable",
+          "queryable",
+          false
+        ],
         [
           "divideByExpression",
           "mathematicalExpression",
@@ -1438,6 +1616,11 @@
           "queryable",
           false
         ],
+        [
+          "each",
+          "article",
+          false
+        ],
         [
           "evaluate",
           "verb",
@@ -1450,7 +1633,7 @@
         ],
         [
           "every",
-          "quantifier",
+          "article",
           false
         ],
         [
@@ -1508,6 +1691,11 @@
           "isEder",
           false
         ],
+        [
+          "isQuery",
+          "verb",
+          false
+        ],
         [
           "it",
           "pronoun",
@@ -1533,6 +1721,11 @@
           "direction",
           false
         ],
+        [
+          "listable",
+          "theAble",
+          false
+        ],
         [
           "lowest",
           "condition",
@@ -1688,6 +1881,11 @@
           "queryable",
           false
         ],
+        [
+          "object",
+          "listable",
+          false
+        ],
         [
           "object",
           "queryable",
@@ -1740,7 +1938,7 @@
         ],
         [
           "operator_modifier",
-          "operator_modifier",
+          "adjective",
           false
         ],
         [
@@ -1790,7 +1988,7 @@
         ],
         [
           "ordering_modifier",
-          "ordering_modifier",
+          "adjective",
           false
         ],
         [
@@ -1875,7 +2073,7 @@
         ],
         [
           "queryable",
-          "queryable",
+          "listable",
           false
         ],
         [
@@ -2055,7 +2253,7 @@
         ],
         [
           "the",
-          "articlePOS",
+          "article",
           false
         ],
         [
@@ -2293,7 +2491,7 @@
           }
         ]
       },
-      "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: \"timesOperator\"\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                                     prioritized_by: [('unknown', 0)]\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: \"timesOperator\"\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                                     prioritized_by: [('unknown', 0)]\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                                     prioritized_by: [('price', 0)]\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: \"timesOperator\"\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                                     prioritized_by: [('unknown', 0)]\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                                     prioritized_by: [('price', 0)]\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: \"timesOperator\"\n                                     word: \"times\"\n                                   }\n   *4. quantity/1 (dead) (2, 2) - \"quantity\"\n                                   {\n                                     prioritized_by: [('quantity', 0)]\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: timesOperator, word: times})\n\n>>>>>>>>>>>>> Counter 5\n    0. unknown/1 (dead) (2, 0) - \"worth\"\n                                   {\n                                     prioritized_by: [('unknown', 0)]\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                                     prioritized_by: [('timesOperator', 0)]\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                                           prioritized_by: [('price', 0)]\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                                           prioritized_by: [('quantity', 0)]\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                                     prioritized_by: [('means', 0)]\n                                     dead: true\n                                     default: true\n                                     from:                                          {\n                                           prioritized_by: [('unknown', 0)]\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                                           prioritized_by: [('timesOperator', 0)]\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                                                 prioritized_by: [('price', 0)]\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                                                 prioritized_by: [('quantity', 0)]\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  summary\n\n    0.  unknown/0                                - \"worth\"\n    1.  means/0                                  - \"means\"\n    2.  price/0                                  - \"price\"\n    3.  timesOperator/0                          - \"times\"\n    4.  quantity/0                               - \"quantity\"\n\n  details\n\n    0. Operator(unknown/0, [\"Selector(Bridge('{ ...operator, unknown: true, dead: true }'), , []<==>[], bridge(bridge))\"], evaluator(Bridge('{ ...operator, unknown: true, dead: true }')), variables({}) bridge(bridge)) (1, 0) - \"worth\"\n                                   {\n                                     marker: Operator(unknown/0, [\"Selector(Bridge('{ ...operator, unknown: true, dead: true }'), , []<==>[], bridge(bridge))\"], evaluator(Bridge('{ ...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. Operator(means/0, [\"Selector(Bridge('{ ...next(operator), from: before[0], to: after[0] }'), , [Any]<==>[Any], bridge(bridge))\"], evaluator(Bridge('{ ...next(operator), from: before[0], to: after[0] }')), variables({}) bridge(bridge)) (1, 2) - \"means\"\n                                   {\n                                     default: true\n                                     marker: 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. Operator(price/0, [\"Selector(Bridge('{ ...next(operator) }'), , []<==>[], bridge(bridge))\"], evaluator(Bridge('{ ...next(operator) }')), variables({}) bridge(bridge)) (1, 5) - \"price\"\n                                   {\n                                     default: true\n                                     marker: 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. 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)) (1, 8) - \"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: \"timesOperator\"\n                                     word: \"times\"\n                                   }\n    4. Operator(quantity/0, [\"Selector(Bridge('{ ...next(operator) }'), , []<==>[], bridge(bridge))\"], evaluator(Bridge('{ ...next(operator) }')), variables({}) bridge(bridge)) (1, 11) - \"quantity\"\n                                   {\n                                     default: true\n                                     marker: 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 ('unknown', 0), Context({marker: Operator(unknown/0, [\"Selector(Bridge('{ ...operator, unknown: true, dead: true }'), , []<==>[], bridge(bridge))\"], evaluator(Bridge('{ ...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  summary\n\n   *0.  unknown/0 (dead)                         - \"worth\"\n    1.  means/0                                  - \"means\"\n    2.  price/0                                  - \"price\"\n    3.  timesOperator/0                          - \"times\"\n    4.  quantity/0                               - \"quantity\"\n\n  details\n\n    0. Operator(unknown/0, [\"Selector(Bridge('{ ...operator, unknown: true, dead: true }'), , []<==>[], bridge(bridge))\"], evaluator(Bridge('{ ...operator, unknown: true, dead: true }')), variables({}) bridge(bridge)) (2, 0) - \"worth\"\n                                   {\n                                     prioritized_by: [('unknown', 0)]\n                                     dead: true\n                                     marker: Operator(unknown/0, [\"Selector(Bridge('{ ...operator, unknown: true, dead: true }'), , []<==>[], bridge(bridge))\"], evaluator(Bridge('{ ...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. Operator(means/0, [\"Selector(Bridge('{ ...next(operator), from: before[0], to: after[0] }'), , [Any]<==>[Any], bridge(bridge))\"], evaluator(Bridge('{ ...next(operator), from: before[0], to: after[0] }')), variables({}) bridge(bridge)) (1, 2) - \"means\"\n                                   {\n                                     default: true\n                                     marker: 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. Operator(price/0, [\"Selector(Bridge('{ ...next(operator) }'), , []<==>[], bridge(bridge))\"], evaluator(Bridge('{ ...next(operator) }')), variables({}) bridge(bridge)) (1, 5) - \"price\"\n                                   {\n                                     default: true\n                                     marker: 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. 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)) (1, 8) - \"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: \"timesOperator\"\n                                     word: \"times\"\n                                   }\n    4. Operator(quantity/0, [\"Selector(Bridge('{ ...next(operator) }'), , []<==>[], bridge(bridge))\"], evaluator(Bridge('{ ...next(operator) }')), variables({}) bridge(bridge)) (1, 11) - \"quantity\"\n                                   {\n                                     default: true\n                                     marker: 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 ('price', 0), 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  summary\n\n    0.  unknown/0 (dead)                         - \"worth\"\n    1.  means/0                                  - \"means\"\n   *2.  price/1 (dead)                           - \"price\"\n    3.  timesOperator/0                          - \"times\"\n    4.  quantity/0                               - \"quantity\"\n\n  details\n\n    0. Operator(unknown/0, [\"Selector(Bridge('{ ...operator, unknown: true, dead: true }'), , []<==>[], bridge(bridge))\"], evaluator(Bridge('{ ...operator, unknown: true, dead: true }')), variables({}) bridge(bridge)) (2, 0) - \"worth\"\n                                   {\n                                     prioritized_by: [('unknown', 0)]\n                                     dead: true\n                                     marker: Operator(unknown/0, [\"Selector(Bridge('{ ...operator, unknown: true, dead: true }'), , []<==>[], bridge(bridge))\"], evaluator(Bridge('{ ...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. Operator(means/0, [\"Selector(Bridge('{ ...next(operator), from: before[0], to: after[0] }'), , [Any]<==>[Any], bridge(bridge))\"], evaluator(Bridge('{ ...next(operator), from: before[0], to: after[0] }')), variables({}) bridge(bridge)) (1, 2) - \"means\"\n                                   {\n                                     default: true\n                                     marker: 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. Operator(price/1, ['Selector(None, , []<==>[], bridge(bridge))'], evaluator(None), variables({}) bridge(bridge)) (2, 1) - \"price\"\n                                   {\n                                     prioritized_by: [('price', 0)]\n                                     dead: true\n                                     default: true\n                                     marker: 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. 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)) (1, 8) - \"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: \"timesOperator\"\n                                     word: \"times\"\n                                   }\n    4. Operator(quantity/0, [\"Selector(Bridge('{ ...next(operator) }'), , []<==>[], bridge(bridge))\"], evaluator(Bridge('{ ...next(operator) }')), variables({}) bridge(bridge)) (1, 11) - \"quantity\"\n                                   {\n                                     default: true\n                                     marker: 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 ('quantity', 0), 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  summary\n\n    0.  unknown/0 (dead)                         - \"worth\"\n    1.  means/0                                  - \"means\"\n    2.  price/1 (dead)                           - \"price\"\n    3.  timesOperator/0                          - \"times\"\n   *4.  quantity/1 (dead)                        - \"quantity\"\n\n  details\n\n    0. Operator(unknown/0, [\"Selector(Bridge('{ ...operator, unknown: true, dead: true }'), , []<==>[], bridge(bridge))\"], evaluator(Bridge('{ ...operator, unknown: true, dead: true }')), variables({}) bridge(bridge)) (2, 0) - \"worth\"\n                                   {\n                                     prioritized_by: [('unknown', 0)]\n                                     dead: true\n                                     marker: Operator(unknown/0, [\"Selector(Bridge('{ ...operator, unknown: true, dead: true }'), , []<==>[], bridge(bridge))\"], evaluator(Bridge('{ ...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. Operator(means/0, [\"Selector(Bridge('{ ...next(operator), from: before[0], to: after[0] }'), , [Any]<==>[Any], bridge(bridge))\"], evaluator(Bridge('{ ...next(operator), from: before[0], to: after[0] }')), variables({}) bridge(bridge)) (1, 2) - \"means\"\n                                   {\n                                     default: true\n                                     marker: 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. Operator(price/1, ['Selector(None, , []<==>[], bridge(bridge))'], evaluator(None), variables({}) bridge(bridge)) (2, 1) - \"price\"\n                                   {\n                                     prioritized_by: [('price', 0)]\n                                     dead: true\n                                     default: true\n                                     marker: 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. 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)) (1, 8) - \"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: \"timesOperator\"\n                                     word: \"times\"\n                                   }\n    4. Operator(quantity/1, ['Selector(None, , []<==>[], bridge(bridge))'], evaluator(None), variables({}) bridge(bridge)) (2, 2) - \"quantity\"\n                                   {\n                                     prioritized_by: [('quantity', 0)]\n                                     dead: true\n                                     default: true\n                                     marker: 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 ('timesOperator', 0), 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: timesOperator, word: times})\n\n>>>>>>>>>>>>> Counter 5\n  summary\n\n    0.  unknown/0 (dead)                         - \"worth\"\n    1.  means/0                                  - \"means\"\n   *2.  timesExpression/1 (dead)                 - \"price times quantity\"\n\n  details\n\n    0. Operator(unknown/0, [\"Selector(Bridge('{ ...operator, unknown: true, dead: true }'), , []<==>[], bridge(bridge))\"], evaluator(Bridge('{ ...operator, unknown: true, dead: true }')), variables({}) bridge(bridge)) (2, 0) - \"worth\"\n                                   {\n                                     prioritized_by: [('unknown', 0)]\n                                     dead: true\n                                     marker: Operator(unknown/0, [\"Selector(Bridge('{ ...operator, unknown: true, dead: true }'), , []<==>[], bridge(bridge))\"], evaluator(Bridge('{ ...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. Operator(means/0, [\"Selector(Bridge('{ ...next(operator), from: before[0], to: after[0] }'), , [Any]<==>[Any], bridge(bridge))\"], evaluator(Bridge('{ ...next(operator), from: before[0], to: after[0] }')), variables({}) bridge(bridge)) (1, 2) - \"means\"\n                                   {\n                                     default: true\n                                     marker: 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. Operator(timesExpression/1, ['Selector(None, , []<==>[], bridge(bridge))'], evaluator(None), variables({}) bridge(bridge)) (3, 0) - \"price times quantity\"\n                                   {\n                                     prioritized_by: [('timesOperator', 0)]\n                                     dead: true\n                                     evaluate: true\n                                     isResponse: true\n                                     marker: 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                                           prioritized_by: [('price', 0)]\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                                           prioritized_by: [('quantity', 0)]\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 ('means', 0), 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  summary\n\n   *0.  means/1 (dead)                           - \"worth means price times quantity\"\n\n  details\n\n    0. Operator(means/1, ['Selector(None, , [Any]<==>[Any], bridge(bridge))'], evaluator(None), variables({}) bridge(bridge)) (4, 0) - \"worth means price times quantity\"\n                                   {\n                                     prioritized_by: [('means', 0)]\n                                     dead: true\n                                     default: true\n                                     from:                                          {\n                                           prioritized_by: [('unknown', 0)]\n                                           dead: true\n                                           marker: Operator(unknown/0, [\"Selector(Bridge('{ ...operator, unknown: true, dead: true }'), , []<==>[], bridge(bridge))\"], evaluator(Bridge('{ ...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\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                                           prioritized_by: [('timesOperator', 0)]\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                                                 prioritized_by: [('price', 0)]\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                                                 prioritized_by: [('quantity', 0)]\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",
@@ -2317,7 +2515,7 @@
               "end": 4
             },
             "dead": true,
-            "level": 1
+            "level": 0
           },
           "to": {
             "value": null,
@@ -2372,6 +2570,7 @@
             "level": 1
           },
           "level": 1,
+          "context_index": 1,
           "topLevel": true,
           "touchedBy": [
             "reports#call2"
@@ -2417,10 +2616,6 @@
             "means",
             0
           ],
-          [
-            "price",
-            0
-          ],
           [
             "quantity",
             0
@@ -2431,25 +2626,7 @@
           ],
           [
             "unknown",
-            1
-          ]
-        ],
-        [
-          [
-            "means",
-            0
-          ],
-          [
-            "quantity",
-            0
-          ],
-          [
-            "timesOperator",
             0
-          ],
-          [
-            "unknown",
-            1
           ]
         ],
         [
@@ -2463,7 +2640,7 @@
           ],
           [
             "unknown",
-            1
+            0
           ]
         ],
         [
@@ -2473,10 +2650,287 @@
           ],
           [
             "unknown",
-            1
+            0
           ]
         ]
       ],
+      "summaries": [
+        {
+          "summaries": [
+            {
+              "operators": [
+                {
+                  "marker": [
+                    "unknown",
+                    0
+                  ],
+                  "range": {
+                    "start": 0,
+                    "end": 4
+                  }
+                },
+                {
+                  "marker": [
+                    "means",
+                    0
+                  ],
+                  "range": {
+                    "start": 6,
+                    "end": 10
+                  }
+                },
+                {
+                  "marker": [
+                    "price",
+                    0
+                  ],
+                  "range": {
+                    "start": 12,
+                    "end": 16
+                  }
+                },
+                {
+                  "marker": [
+                    "timesOperator",
+                    0
+                  ],
+                  "range": {
+                    "start": 18,
+                    "end": 22
+                  }
+                },
+                {
+                  "marker": [
+                    "quantity",
+                    0
+                  ],
+                  "range": {
+                    "start": 24,
+                    "end": 31
+                  }
+                }
+              ],
+              "counter": 1
+            },
+            {
+              "operators": [
+                {
+                  "marker": [
+                    "unknown",
+                    0
+                  ],
+                  "range": {
+                    "start": 0,
+                    "end": 4
+                  }
+                },
+                {
+                  "marker": [
+                    "means",
+                    0
+                  ],
+                  "range": {
+                    "start": 6,
+                    "end": 10
+                  }
+                },
+                {
+                  "marker": [
+                    "price",
+                    0
+                  ],
+                  "range": {
+                    "start": 12,
+                    "end": 16
+                  }
+                },
+                {
+                  "marker": [
+                    "timesOperator",
+                    0
+                  ],
+                  "range": {
+                    "start": 18,
+                    "end": 22
+                  }
+                },
+                {
+                  "marker": [
+                    "quantity",
+                    0
+                  ],
+                  "range": {
+                    "start": 24,
+                    "end": 31
+                  }
+                }
+              ],
+              "counter": 2
+            },
+            {
+              "operators": [
+                {
+                  "marker": [
+                    "unknown",
+                    0
+                  ],
+                  "range": {
+                    "start": 0,
+                    "end": 4
+                  }
+                },
+                {
+                  "marker": [
+                    "means",
+                    0
+                  ],
+                  "range": {
+                    "start": 6,
+                    "end": 10
+                  }
+                },
+                {
+                  "marker": [
+                    "price",
+                    1
+                  ],
+                  "range": {
+                    "start": 12,
+                    "end": 16
+                  }
+                },
+                {
+                  "marker": [
+                    "timesOperator",
+                    0
+                  ],
+                  "range": {
+                    "start": 18,
+                    "end": 22
+                  }
+                },
+                {
+                  "marker": [
+                    "quantity",
+                    0
+                  ],
+                  "range": {
+                    "start": 24,
+                    "end": 31
+                  }
+                }
+              ],
+              "counter": 3
+            },
+            {
+              "operators": [
+                {
+                  "marker": [
+                    "unknown",
+                    0
+                  ],
+                  "range": {
+                    "start": 0,
+                    "end": 4
+                  }
+                },
+                {
+                  "marker": [
+                    "means",
+                    0
+                  ],
+                  "range": {
+                    "start": 6,
+                    "end": 10
+                  }
+                },
+                {
+                  "marker": [
+                    "price",
+                    1
+                  ],
+                  "range": {
+                    "start": 12,
+                    "end": 16
+                  }
+                },
+                {
+                  "marker": [
+                    "timesOperator",
+                    0
+                  ],
+                  "range": {
+                    "start": 18,
+                    "end": 22
+                  }
+                },
+                {
+                  "marker": [
+                    "quantity",
+                    1
+                  ],
+                  "range": {
+                    "start": 24,
+                    "end": 31
+                  }
+                }
+              ],
+              "counter": 4
+            },
+            {
+              "operators": [
+                {
+                  "marker": [
+                    "unknown",
+                    0
+                  ],
+                  "range": {
+                    "start": 0,
+                    "end": 4
+                  }
+                },
+                {
+                  "marker": [
+                    "means",
+                    0
+                  ],
+                  "range": {
+                    "start": 6,
+                    "end": 10
+                  }
+                },
+                {
+                  "marker": [
+                    "timesExpression",
+                    1
+                  ],
+                  "range": {
+                    "start": 12,
+                    "end": 31
+                  }
+                }
+              ],
+              "counter": 5
+            },
+            {
+              "operators": [
+                {
+                  "marker": [
+                    "means",
+                    1
+                  ],
+                  "range": {
+                    "start": 0,
+                    "end": 31
+                  }
+                }
+              ],
+              "counter": 6
+            }
+          ],
+          "length": 1
+        }
+      ],
       "learned_contextual_priorities": [],
       "query": "worth means price times quantity",
       "key": {
@@ -2527,16 +2981,6 @@
         0
       ]
     ],
-    [
-      [
-        "is",
-        0
-      ],
-      [
-        "list",
-        1
-      ]
-    ],
     [
       [
         "is",
@@ -2578,10 +3022,6 @@
         "means",
         0
       ],
-      [
-        "price",
-        0
-      ],
       [
         "quantity",
         0
@@ -2592,25 +3032,7 @@
       ],
       [
         "unknown",
-        1
-      ]
-    ],
-    [
-      [
-        "means",
         0
-      ],
-      [
-        "quantity",
-        0
-      ],
-      [
-        "timesOperator",
-        0
-      ],
-      [
-        "unknown",
-        1
       ]
     ],
     [
@@ -2624,7 +3046,7 @@
       ],
       [
         "unknown",
-        1
+        0
       ]
     ],
     [
@@ -2634,9 +3056,466 @@
       ],
       [
         "unknown",
-        1
+        0
       ]
     ]
   ],
+  "summaries": [
+    {
+      "summaries": [
+        {
+          "operators": [
+            {
+              "marker": [
+                "price",
+                0
+              ],
+              "range": {
+                "start": 0,
+                "end": 4
+              }
+            },
+            {
+              "marker": [
+                "list",
+                0
+              ],
+              "range": {
+                "start": 6,
+                "end": 8
+              }
+            },
+            {
+              "marker": [
+                "quantity",
+                0
+              ],
+              "range": {
+                "start": 10,
+                "end": 17
+              }
+            },
+            {
+              "marker": [
+                "is",
+                0
+              ],
+              "range": {
+                "start": 19,
+                "end": 21
+              }
+            },
+            {
+              "marker": [
+                "property",
+                0
+              ],
+              "range": {
+                "start": 23,
+                "end": 32
+              }
+            }
+          ],
+          "counter": 1
+        },
+        {
+          "operators": [
+            {
+              "marker": [
+                "price",
+                1
+              ],
+              "range": {
+                "start": 0,
+                "end": 4
+              }
+            },
+            {
+              "marker": [
+                "list",
+                0
+              ],
+              "range": {
+                "start": 6,
+                "end": 8
+              }
+            },
+            {
+              "marker": [
+                "quantity",
+                0
+              ],
+              "range": {
+                "start": 10,
+                "end": 17
+              }
+            },
+            {
+              "marker": [
+                "is",
+                0
+              ],
+              "range": {
+                "start": 19,
+                "end": 21
+              }
+            },
+            {
+              "marker": [
+                "property",
+                0
+              ],
+              "range": {
+                "start": 23,
+                "end": 32
+              }
+            }
+          ],
+          "counter": 2
+        },
+        {
+          "operators": [
+            {
+              "marker": [
+                "list",
+                1
+              ],
+              "range": {
+                "start": 0,
+                "end": 17
+              }
+            },
+            {
+              "marker": [
+                "is",
+                0
+              ],
+              "range": {
+                "start": 19,
+                "end": 21
+              }
+            },
+            {
+              "marker": [
+                "property",
+                0
+              ],
+              "range": {
+                "start": 23,
+                "end": 32
+              }
+            }
+          ],
+          "counter": 3
+        },
+        {
+          "operators": [
+            {
+              "marker": [
+                "is",
+                1
+              ],
+              "range": {
+                "start": 0,
+                "end": 32
+              }
+            }
+          ],
+          "counter": 4
+        },
+        {
+          "operators": [
+            {
+              "marker": [
+                "is",
+                2
+              ],
+              "range": {
+                "start": 0,
+                "end": 32
+              }
+            }
+          ],
+          "counter": 5
+        }
+      ],
+      "length": 1
+    },
+    {
+      "summaries": [
+        {
+          "operators": [
+            {
+              "marker": [
+                "unknown",
+                0
+              ],
+              "range": {
+                "start": 0,
+                "end": 4
+              }
+            },
+            {
+              "marker": [
+                "means",
+                0
+              ],
+              "range": {
+                "start": 6,
+                "end": 10
+              }
+            },
+            {
+              "marker": [
+                "price",
+                0
+              ],
+              "range": {
+                "start": 12,
+                "end": 16
+              }
+            },
+            {
+              "marker": [
+                "timesOperator",
+                0
+              ],
+              "range": {
+                "start": 18,
+                "end": 22
+              }
+            },
+            {
+              "marker": [
+                "quantity",
+                0
+              ],
+              "range": {
+                "start": 24,
+                "end": 31
+              }
+            }
+          ],
+          "counter": 1
+        },
+        {
+          "operators": [
+            {
+              "marker": [
+                "unknown",
+                0
+              ],
+              "range": {
+                "start": 0,
+                "end": 4
+              }
+            },
+            {
+              "marker": [
+                "means",
+                0
+              ],
+              "range": {
+                "start": 6,
+                "end": 10
+              }
+            },
+            {
+              "marker": [
+                "price",
+                0
+              ],
+              "range": {
+                "start": 12,
+                "end": 16
+              }
+            },
+            {
+              "marker": [
+                "timesOperator",
+                0
+              ],
+              "range": {
+                "start": 18,
+                "end": 22
+              }
+            },
+            {
+              "marker": [
+                "quantity",
+                0
+              ],
+              "range": {
+                "start": 24,
+                "end": 31
+              }
+            }
+          ],
+          "counter": 2
+        },
+        {
+          "operators": [
+            {
+              "marker": [
+                "unknown",
+                0
+              ],
+              "range": {
+                "start": 0,
+                "end": 4
+              }
+            },
+            {
+              "marker": [
+                "means",
+                0
+              ],
+              "range": {
+                "start": 6,
+                "end": 10
+              }
+            },
+            {
+              "marker": [
+                "price",
+                1
+              ],
+              "range": {
+                "start": 12,
+                "end": 16
+              }
+            },
+            {
+              "marker": [
+                "timesOperator",
+                0
+              ],
+              "range": {
+                "start": 18,
+                "end": 22
+              }
+            },
+            {
+              "marker": [
+                "quantity",
+                0
+              ],
+              "range": {
+                "start": 24,
+                "end": 31
+              }
+            }
+          ],
+          "counter": 3
+        },
+        {
+          "operators": [
+            {
+              "marker": [
+                "unknown",
+                0
+              ],
+              "range": {
+                "start": 0,
+                "end": 4
+              }
+            },
+            {
+              "marker": [
+                "means",
+                0
+              ],
+              "range": {
+                "start": 6,
+                "end": 10
+              }
+            },
+            {
+              "marker": [
+                "price",
+                1
+              ],
+              "range": {
+                "start": 12,
+                "end": 16
+              }
+            },
+            {
+              "marker": [
+                "timesOperator",
+                0
+              ],
+              "range": {
+                "start": 18,
+                "end": 22
+              }
+            },
+            {
+              "marker": [
+                "quantity",
+                1
+              ],
+              "range": {
+                "start": 24,
+                "end": 31
+              }
+            }
+          ],
+          "counter": 4
+        },
+        {
+          "operators": [
+            {
+              "marker": [
+                "unknown",
+                0
+              ],
+              "range": {
+                "start": 0,
+                "end": 4
+              }
+            },
+            {
+              "marker": [
+                "means",
+                0
+              ],
+              "range": {
+                "start": 6,
+                "end": 10
+              }
+            },
+            {
+              "marker": [
+                "timesExpression",
+                1
+              ],
+              "range": {
+                "start": 12,
+                "end": 31
+              }
+            }
+          ],
+          "counter": 5
+        },
+        {
+          "operators": [
+            {
+              "marker": [
+                "means",
+                1
+              ],
+              "range": {
+                "start": 0,
+                "end": 31
+              }
+            }
+          ],
+          "counter": 6
+        }
+      ],
+      "length": 1
+    }
+  ],
   "learned_contextual_priorities": []
 }