tpmkms_4wp 9.5.1 → 9.6.0-beta.0

package/common/reports.instance.json

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