ekms 8.0.0-beta.0 → 8.0.0-beta.2

package/common/reports.instance.json

@@ -230,6 +230,10 @@
           "divideByOperator",
           "mathematicalOperator"
         ],
+        [
+          "doubleQuote",
+          "queryable"
+        ],
         [
           "event",
           "event"
@@ -800,7 +804,7 @@
           }
         ]
       },
-      "trace": "\n\n>>>>>>>>>>>>> Counter 1\n    0. price/0  (1, 1) - \"price\"\n                                   {\n                                     default: true\n                                     marker: Operator(price/0, [\"Selector(Bridge('{ ...next(operator) }'), , []<==>[], bridge(bridge))\"], evaluator(Bridge('{ ...next(operator) }')), variables({}) bridge(bridge))\n                                     range: {'start': 0, 'end': 4}\n                                     text: \"price\"\n                                     value: \"price\"\n                                     word: \"price\"\n                                   }\n    1. list/0  (1, 3) - \"and\"\n                                   {\n                                     default: true\n                                     marker: Operator(list/0, PASS, [\"Selector(Bridge('{ ...next(operator), listable: true, isList: true, value: append(before, after) }'), , same/(), [Type(variable: 'type')]<==>[Type(variable: 'type')], bridge(bridge))\"], evaluator(Bridge('{ ...next(operator), listable: true, isList: true, value: append(before, after) }')), variables({}) bridge(bridge))\n                                     range: {'start': 6, 'end': 8}\n                                     text: \"and\"\n                                     word: \"and\"\n                                   }\n    2. quantity/0  (1, 7) - \"quantity\"\n                                   {\n                                     default: true\n                                     marker: Operator(quantity/0, [\"Selector(Bridge('{ ...next(operator) }'), , []<==>[], bridge(bridge))\"], evaluator(Bridge('{ ...next(operator) }')), variables({}) bridge(bridge))\n                                     range: {'start': 10, 'end': 17}\n                                     text: \"quantity\"\n                                     value: \"quantity\"\n                                     word: \"quantity\"\n                                   }\n    3. is/0  (1, 9) - \"are\"\n                                   {\n                                     marker: Operator(is/0, [\"Selector(Bridge('{ ...next(operator), one: after[0], two: after[1], query: true }'), , []<==>[Type('queryable'), Type('queryable')], bridge(queryBridge))\", \"Selector(Bridge('{ ...next(operator), one: { number: operator.number, ...before[0] }, two: after[0] }'), , [Type('queryable')]<==>[Type('queryable')], bridge(bridge))\"], evaluator(Bridge('{ ...next(operator), one: { number: operator.number, ...before[0] }, two: after[0] }')), variables({}) bridge(bridge))\n                                     number: \"many\"\n                                     range: {'start': 19, 'end': 21}\n                                     text: \"are\"\n                                     word: \"are\"\n                                   }\n    4. property/0  (1, 14) - \"properties\"\n                                   {\n                                     default: true\n                                     marker: Operator(property/0, [\"Selector(Bridge('{ ...next(operator) }'), , []<==>[], bridge(bridge))\"], evaluator(Bridge('{ ...next(operator) }')), variables({}) bridge(bridge))\n                                     range: {'start': 23, 'end': 32}\n                                     text: \"properties\"\n                                     word: \"properties\"\n                                   }\n<<<<<<<<<<<<<\nNext Op (index=0) is Context({default: True, marker: Operator(price/0, [\"Selector(Bridge('{ ...next(operator) }'), , []<==>[], bridge(bridge))\"], evaluator(Bridge('{ ...next(operator) }')), variables({}) bridge(bridge)), range: {'start': 0, 'end': 4}, text: price, value: price, word: price})\n\n>>>>>>>>>>>>> Counter 2\n   *0. price/1 (dead) (2, 0) - \"price\"\n                                   {\n                                     dead: true\n                                     default: true\n                                     marker: Operator(price/1, ['Selector(None, , []<==>[], bridge(bridge))'], evaluator(None), variables({}) bridge(bridge))\n                                     range: {'start': 0, 'end': 4}\n                                     text: \"price\"\n                                     value: \"price\"\n                                     word: \"price\"\n                                   }\n    1. list/0  (1, 3) - \"and\"\n                                   {\n                                     default: true\n                                     marker: Operator(list/0, PASS, [\"Selector(Bridge('{ ...next(operator), listable: true, isList: true, value: append(before, after) }'), , same/(), [Type(variable: 'type')]<==>[Type(variable: 'type')], bridge(bridge))\"], evaluator(Bridge('{ ...next(operator), listable: true, isList: true, value: append(before, after) }')), variables({'type': ['notAble', 'quantifier', 'theAble', 'queryable', 'quantity', 'property', 'number', 'object', 'unknown', 'hierarchyAble']}) bridge(bridge))\n                                     range: {'start': 6, 'end': 8}\n                                     text: \"and\"\n                                     types: [\n                                     ]\n                                     word: \"and\"\n                                   }\n    2. quantity/0  (1, 7) - \"quantity\"\n                                   {\n                                     default: true\n                                     marker: Operator(quantity/0, [\"Selector(Bridge('{ ...next(operator) }'), , []<==>[], bridge(bridge))\"], evaluator(Bridge('{ ...next(operator) }')), variables({}) bridge(bridge))\n                                     range: {'start': 10, 'end': 17}\n                                     text: \"quantity\"\n                                     value: \"quantity\"\n                                     word: \"quantity\"\n                                   }\n    3. is/0  (1, 9) - \"are\"\n                                   {\n                                     marker: Operator(is/0, [\"Selector(Bridge('{ ...next(operator), one: after[0], two: after[1], query: true }'), , []<==>[Type('queryable'), Type('queryable')], bridge(queryBridge))\", \"Selector(Bridge('{ ...next(operator), one: { number: operator.number, ...before[0] }, two: after[0] }'), , [Type('queryable')]<==>[Type('queryable')], bridge(bridge))\"], evaluator(Bridge('{ ...next(operator), one: { number: operator.number, ...before[0] }, two: after[0] }')), variables({}) bridge(bridge))\n                                     number: \"many\"\n                                     range: {'start': 19, 'end': 21}\n                                     text: \"are\"\n                                     word: \"are\"\n                                   }\n    4. property/0  (1, 14) - \"properties\"\n                                   {\n                                     default: true\n                                     marker: Operator(property/0, [\"Selector(Bridge('{ ...next(operator) }'), , []<==>[], bridge(bridge))\"], evaluator(Bridge('{ ...next(operator) }')), variables({}) bridge(bridge))\n                                     range: {'start': 23, 'end': 32}\n                                     text: \"properties\"\n                                     word: \"properties\"\n                                   }\n<<<<<<<<<<<<<\nNext Op (index=1) is Context({default: True, marker: Operator(list/0, PASS, [\"Selector(Bridge('{ ...next(operator), listable: true, isList: true, value: append(before, after) }'), , same/(), [Type(variable: 'type')]<==>[Type(variable: 'type')], bridge(bridge))\"], evaluator(Bridge('{ ...next(operator), listable: true, isList: true, value: append(before, after) }')), variables({'type': ['notAble', 'quantifier', 'theAble', 'queryable', 'quantity', 'property', 'number', 'object', 'unknown', 'hierarchyAble']}) bridge(bridge)), range: {'start': 6, 'end': 8}, text: and, types: [], word: and})\n\n>>>>>>>>>>>>> Counter 3\n   *0. list/1  (3, 0) - \"price and quantity\"\n                                   {\n                                     default: true\n                                     isList: true\n                                     listable: true\n                                     marker: Operator(list/1, PASS, ['Selector(Bridge(\\'{ ...operator, value: append(before, operator.value) }\\'), , same/(), [And([\"Type(variable: \\'type\\')\", \"Listable(Unify(Property((\\'context\\', \\'instance\\')), Property((\\'variables\\', \\'instance\\'))))\"])]<==>[], bridge(bridge), passthrough)'], evaluator(Bridge('{ ...operator, value: append(before, operator.value) }')), variables({'type': ['notAble', 'quantifier', 'theAble', 'queryable', 'quantity', 'property', 'number', 'object', 'unknown', 'hierarchyAble']}) bridge(bridge))\n                                     range: {'start': 0, 'end': 17}\n                                     text: \"price and quantity\"\n                                     types: [\n                                     ]\n                                     value: [\n                                       {\n                                         dead: true\n                                         default: true\n                                         marker: Operator(price/1, ['Selector(None, , []<==>[], bridge(bridge))'], evaluator(None), variables({}) bridge(bridge))\n                                         range: {'start': 0, 'end': 4}\n                                         text: \"price\"\n                                         value: \"price\"\n                                         word: \"price\"\n                                       }\n\n                                       {\n                                         default: true\n                                         marker: Operator(quantity/0, [\"Selector(Bridge('{ ...next(operator) }'), , []<==>[], bridge(bridge))\"], evaluator(Bridge('{ ...next(operator) }')), variables({}) bridge(bridge))\n                                         range: {'start': 10, 'end': 17}\n                                         text: \"quantity\"\n                                         value: \"quantity\"\n                                         word: \"quantity\"\n                                       }\n                                     ]\n                                     word: \"and\"\n                                   }\n    1. is/0  (1, 9) - \"are\"\n                                   {\n                                     marker: Operator(is/0, [\"Selector(Bridge('{ ...next(operator), one: after[0], two: after[1], query: true }'), , []<==>[Type('queryable'), Type('queryable')], bridge(queryBridge))\", \"Selector(Bridge('{ ...next(operator), one: { number: operator.number, ...before[0] }, two: after[0] }'), , [Type('queryable')]<==>[Type('queryable')], bridge(bridge))\"], evaluator(Bridge('{ ...next(operator), one: { number: operator.number, ...before[0] }, two: after[0] }')), variables({}) bridge(bridge))\n                                     number: \"many\"\n                                     range: {'start': 19, 'end': 21}\n                                     text: \"are\"\n                                     word: \"are\"\n                                   }\n    2. property/0  (1, 14) - \"properties\"\n                                   {\n                                     default: true\n                                     marker: Operator(property/0, [\"Selector(Bridge('{ ...next(operator) }'), , []<==>[], bridge(bridge))\"], evaluator(Bridge('{ ...next(operator) }')), variables({}) bridge(bridge))\n                                     range: {'start': 23, 'end': 32}\n                                     text: \"properties\"\n                                     word: \"properties\"\n                                   }\n<<<<<<<<<<<<<\nNext Op (index=2) is Context({default: True, marker: Operator(property/0, [\"Selector(Bridge('{ ...next(operator) }'), , []<==>[], bridge(bridge))\"], evaluator(Bridge('{ ...next(operator) }')), variables({}) bridge(bridge)), range: {'start': 23, 'end': 32}, text: properties, word: properties})\n\n>>>>>>>>>>>>> Counter 4\n    0. list/1  (3, 0) - \"price and quantity\"\n                                   {\n                                     default: true\n                                     isList: true\n                                     listable: true\n                                     marker: Operator(list/1, PASS, ['Selector(Bridge(\\'{ ...operator, value: append(before, operator.value) }\\'), , same/(), [And([\"Type(variable: \\'type\\')\", \"Listable(Unify(Property((\\'context\\', \\'instance\\')), Property((\\'variables\\', \\'instance\\'))))\"])]<==>[], bridge(bridge), passthrough)'], evaluator(Bridge('{ ...operator, value: append(before, operator.value) }')), variables({'type': ['notAble', 'quantifier', 'theAble', 'queryable', 'quantity', 'property', 'number', 'object', 'unknown', 'hierarchyAble']}) bridge(bridge))\n                                     range: {'start': 0, 'end': 17}\n                                     text: \"price and quantity\"\n                                     types: [\n                                     ]\n                                     value: [\n                                       {\n                                         dead: true\n                                         default: true\n                                         marker: Operator(price/1, ['Selector(None, , []<==>[], bridge(bridge))'], evaluator(None), variables({}) bridge(bridge))\n                                         range: {'start': 0, 'end': 4}\n                                         text: \"price\"\n                                         value: \"price\"\n                                         word: \"price\"\n                                       }\n\n                                       {\n                                         default: true\n                                         marker: Operator(quantity/0, [\"Selector(Bridge('{ ...next(operator) }'), , []<==>[], bridge(bridge))\"], evaluator(Bridge('{ ...next(operator) }')), variables({}) bridge(bridge))\n                                         range: {'start': 10, 'end': 17}\n                                         text: \"quantity\"\n                                         value: \"quantity\"\n                                         word: \"quantity\"\n                                       }\n                                     ]\n                                     word: \"and\"\n                                   }\n    1. is/0  (1, 9) - \"are\"\n                                   {\n                                     marker: Operator(is/0, [\"Selector(Bridge('{ ...next(operator), one: after[0], two: after[1], query: true }'), , []<==>[Type('queryable'), Type('queryable')], bridge(queryBridge))\", \"Selector(Bridge('{ ...next(operator), one: { number: operator.number, ...before[0] }, two: after[0] }'), , [Type('queryable')]<==>[Type('queryable')], bridge(bridge))\"], evaluator(Bridge('{ ...next(operator), one: { number: operator.number, ...before[0] }, two: after[0] }')), variables({}) bridge(bridge))\n                                     number: \"many\"\n                                     range: {'start': 19, 'end': 21}\n                                     text: \"are\"\n                                     word: \"are\"\n                                   }\n   *2. property/1 (dead) (2, 1) - \"properties\"\n                                   {\n                                     dead: true\n                                     default: true\n                                     marker: Operator(property/1, ['Selector(None, , []<==>[], bridge(bridge))'], evaluator(None), variables({}) bridge(bridge))\n                                     range: {'start': 23, 'end': 32}\n                                     text: \"properties\"\n                                     word: \"properties\"\n                                   }\n<<<<<<<<<<<<<\nNext Op (index=1) is Context({marker: Operator(is/0, [\"Selector(Bridge('{ ...next(operator), one: after[0], two: after[1], query: true }'), , []<==>[Type('queryable'), Type('queryable')], bridge(queryBridge))\", \"Selector(Bridge('{ ...next(operator), one: { number: operator.number, ...before[0] }, two: after[0] }'), , [Type('queryable')]<==>[Type('queryable')], bridge(bridge))\"], evaluator(Bridge('{ ...next(operator), one: { number: operator.number, ...before[0] }, two: after[0] }')), variables({}) bridge(bridge)), number: many, range: {'start': 19, 'end': 21}, text: are, word: are})\n\n>>>>>>>>>>>>> Counter 5\n   *0. is/1  (4, 0) - \"price and quantity are properties\"\n                                   {\n                                     marker: Operator(is/1, [\"Selector(Bridge('{ ...next(operator) }'), , []<==>[], bridge(bridge))\"], evaluator(Bridge('{ ...next(operator) }')), variables({}) bridge(bridge))\n                                     number: \"many\"\n                                     one:                                          {\n                                           default: true\n                                           isList: true\n                                           listable: true\n                                           marker: Operator(list/1, PASS, ['Selector(Bridge(\\'{ ...operator, value: append(before, operator.value) }\\'), , same/(), [And([\"Type(variable: \\'type\\')\", \"Listable(Unify(Property((\\'context\\', \\'instance\\')), Property((\\'variables\\', \\'instance\\'))))\"])]<==>[], bridge(bridge), passthrough)'], evaluator(Bridge('{ ...operator, value: append(before, operator.value) }')), variables({'type': ['notAble', 'quantifier', 'theAble', 'queryable', 'quantity', 'property', 'number', 'object', 'unknown', 'hierarchyAble']}) bridge(bridge))\n                                           number: \"many\"\n                                           range: {'start': 0, 'end': 32}\n                                           text: \"price and quantity\"\n                                           types: [\n                                           'price'\n                                           ]\n                                           value: [\n                                             {\n                                               dead: true\n                                               default: true\n                                               marker: Operator(price/1, ['Selector(None, , []<==>[], bridge(bridge))'], evaluator(None), variables({}) bridge(bridge))\n                                               range: {'start': 0, 'end': 4}\n                                               text: \"price\"\n                                               value: \"price\"\n                                               word: \"price\"\n                                             }\n\n                                             {\n                                               default: true\n                                               marker: Operator(quantity/0, [\"Selector(Bridge('{ ...next(operator) }'), , []<==>[], bridge(bridge))\"], evaluator(Bridge('{ ...next(operator) }')), variables({}) bridge(bridge))\n                                               range: {'start': 10, 'end': 17}\n                                               text: \"quantity\"\n                                               value: \"quantity\"\n                                               word: \"quantity\"\n                                             }\n                                           ]\n                                           word: \"and\"\n                                         }\n\n                                     range: {'start': 0, 'end': 32}\n                                     text: \"price and quantity are properties\"\n                                     two:                                          {\n                                           dead: true\n                                           default: true\n                                           marker: Operator(property/1, ['Selector(None, , []<==>[], bridge(bridge))'], evaluator(None), variables({}) bridge(bridge))\n                                           range: {'start': 23, 'end': 32}\n                                           text: \"properties\"\n                                           types: [\n                                           'property'\n                                           ]\n                                           word: \"properties\"\n                                         }\n\n                                     word: \"are\"\n                                   }\n<<<<<<<<<<<<<\nNext Op (index=0) is Context({marker: Operator(is/1, [\"Selector(Bridge('{ ...next(operator) }'), , []<==>[], bridge(bridge))\"], evaluator(Bridge('{ ...next(operator) }')), variables({}) bridge(bridge)), number: many, one: Context({default: True, isList: True, listable: True, marker: Operator(list/1, PASS, ['Selector(Bridge(\\'{ ...operator, value: append(before, operator.value) }\\'), , same/(), [And([\"Type(variable: \\'type\\')\", \"Listable(Unify(Property((\\'context\\', \\'instance\\')), Property((\\'variables\\', \\'instance\\'))))\"])]<==>[], bridge(bridge), passthrough)'], evaluator(Bridge('{ ...operator, value: append(before, operator.value) }')), variables({'type': ['notAble', 'quantifier', 'theAble', 'queryable', 'quantity', 'property', 'number', 'object', 'unknown', 'hierarchyAble']}) bridge(bridge)), number: many, range: {'start': 0, 'end': 32}, text: price and quantity, types: ['price'], value: [Context({dead: True, default: True, marker: Operator(price/1, ['Selector(None, , []<==>[], bridge(bridge))'], evaluator(None), variables({}) bridge(bridge)), range: {'start': 0, 'end': 4}, text: price, value: price, word: price}), Context({default: True, marker: Operator(quantity/0, [\"Selector(Bridge('{ ...next(operator) }'), , []<==>[], bridge(bridge))\"], evaluator(Bridge('{ ...next(operator) }')), variables({}) bridge(bridge)), range: {'start': 10, 'end': 17}, text: quantity, value: quantity, word: quantity})], word: and}), range: {'start': 0, 'end': 32}, text: price and quantity are properties, two: Context({dead: True, default: True, marker: Operator(property/1, ['Selector(None, , []<==>[], bridge(bridge))'], evaluator(None), variables({}) bridge(bridge)), range: {'start': 23, 'end': 32}, text: properties, types: ['property'], word: properties}), word: are})\n\n>>>>>>>>>>>>> Counter 6\n   *0. is/2 (dead) (5, 0) - \"price and quantity are properties\"\n                                   {\n                                     dead: true\n                                     marker: Operator(is/2, ['Selector(None, , []<==>[], bridge(bridge))'], evaluator(None), variables({}) bridge(bridge))\n                                     number: \"many\"\n                                     one:                                          {\n                                           default: true\n                                           isList: true\n                                           listable: true\n                                           marker: Operator(list/1, PASS, ['Selector(Bridge(\\'{ ...operator, value: append(before, operator.value) }\\'), , same/(), [And([\"Type(variable: \\'type\\')\", \"Listable(Unify(Property((\\'context\\', \\'instance\\')), Property((\\'variables\\', \\'instance\\'))))\"])]<==>[], bridge(bridge), passthrough)'], evaluator(Bridge('{ ...operator, value: append(before, operator.value) }')), variables({'type': ['notAble', 'quantifier', 'theAble', 'queryable', 'quantity', 'property', 'number', 'object', 'unknown', 'hierarchyAble']}) bridge(bridge))\n                                           number: \"many\"\n                                           range: {'start': 0, 'end': 32}\n                                           text: \"price and quantity\"\n                                           types: [\n                                           'price'\n                                           ]\n                                           value: [\n                                             {\n                                               dead: true\n                                               default: true\n                                               marker: Operator(price/1, ['Selector(None, , []<==>[], bridge(bridge))'], evaluator(None), variables({}) bridge(bridge))\n                                               range: {'start': 0, 'end': 4}\n                                               text: \"price\"\n                                               value: \"price\"\n                                               word: \"price\"\n                                             }\n\n                                             {\n                                               default: true\n                                               marker: Operator(quantity/0, [\"Selector(Bridge('{ ...next(operator) }'), , []<==>[], bridge(bridge))\"], evaluator(Bridge('{ ...next(operator) }')), variables({}) bridge(bridge))\n                                               range: {'start': 10, 'end': 17}\n                                               text: \"quantity\"\n                                               value: \"quantity\"\n                                               word: \"quantity\"\n                                             }\n                                           ]\n                                           word: \"and\"\n                                         }\n\n                                     range: {'start': 0, 'end': 32}\n                                     text: \"price and quantity are properties\"\n                                     two:                                          {\n                                           dead: true\n                                           default: true\n                                           marker: Operator(property/1, ['Selector(None, , []<==>[], bridge(bridge))'], evaluator(None), variables({}) bridge(bridge))\n                                           range: {'start': 23, 'end': 32}\n                                           text: \"properties\"\n                                           types: [\n                                           'property'\n                                           ]\n                                           word: \"properties\"\n                                         }\n\n                                     word: \"are\"\n                                   }\n<<<<<<<<<<<<<\n",
+      "trace": "\n\n>>>>>>>>>>>>> Counter 1\n    0. price/0  (1, 1) - \"price\"\n                                   {\n                                     default: true\n                                     marker: Operator(price/0, [\"Selector(Bridge('{ ...next(operator) }'), , []<==>[], bridge(bridge))\"], evaluator(Bridge('{ ...next(operator) }')), variables({}) bridge(bridge))\n                                     range: {'start': 0, 'end': 4}\n                                     text: \"price\"\n                                     value: \"price\"\n                                     word: \"price\"\n                                   }\n    1. list/0  (1, 3) - \"and\"\n                                   {\n                                     default: true\n                                     marker: Operator(list/0, PASS, [\"Selector(Bridge('{ ...next(operator), listable: true, isList: true, value: append(before, after) }'), , same/(), [Type(variable: 'type')]<==>[Type(variable: 'type')], bridge(bridge))\"], evaluator(Bridge('{ ...next(operator), listable: true, isList: true, value: append(before, after) }')), variables({}) bridge(bridge))\n                                     range: {'start': 6, 'end': 8}\n                                     text: \"and\"\n                                     word: \"and\"\n                                   }\n    2. quantity/0  (1, 7) - \"quantity\"\n                                   {\n                                     default: true\n                                     marker: Operator(quantity/0, [\"Selector(Bridge('{ ...next(operator) }'), , []<==>[], bridge(bridge))\"], evaluator(Bridge('{ ...next(operator) }')), variables({}) bridge(bridge))\n                                     range: {'start': 10, 'end': 17}\n                                     text: \"quantity\"\n                                     value: \"quantity\"\n                                     word: \"quantity\"\n                                   }\n    3. is/0  (1, 9) - \"are\"\n                                   {\n                                     marker: Operator(is/0, [\"Selector(Bridge('{ ...next(operator), one: after[0], two: after[1], query: true }'), , []<==>[Type('queryable'), Type('queryable')], bridge(queryBridge))\", \"Selector(Bridge('{ ...next(operator), one: { number: operator.number, ...before[0] }, two: after[0] }'), , [Type('queryable')]<==>[Type('queryable')], bridge(bridge))\"], evaluator(Bridge('{ ...next(operator), one: { number: operator.number, ...before[0] }, two: after[0] }')), variables({}) bridge(bridge))\n                                     number: \"many\"\n                                     range: {'start': 19, 'end': 21}\n                                     text: \"are\"\n                                     word: \"are\"\n                                   }\n    4. property/0  (1, 15) - \"properties\"\n                                   {\n                                     marker: Operator(property/0, [\"Selector(Bridge('{ ...next(operator) }'), , []<==>[], bridge(bridge))\"], evaluator(Bridge('{ ...next(operator) }')), variables({}) bridge(bridge))\n                                     range: {'start': 23, 'end': 32}\n                                     text: \"properties\"\n                                     value: \"property\"\n                                     word: \"properties\"\n                                   }\n<<<<<<<<<<<<<\nNext Op (index=0) is Context({default: True, marker: Operator(price/0, [\"Selector(Bridge('{ ...next(operator) }'), , []<==>[], bridge(bridge))\"], evaluator(Bridge('{ ...next(operator) }')), variables({}) bridge(bridge)), range: {'start': 0, 'end': 4}, text: price, value: price, word: price})\n\n>>>>>>>>>>>>> Counter 2\n   *0. price/1 (dead) (2, 0) - \"price\"\n                                   {\n                                     dead: true\n                                     default: true\n                                     marker: Operator(price/1, ['Selector(None, , []<==>[], bridge(bridge))'], evaluator(None), variables({}) bridge(bridge))\n                                     range: {'start': 0, 'end': 4}\n                                     text: \"price\"\n                                     value: \"price\"\n                                     word: \"price\"\n                                   }\n    1. list/0  (1, 3) - \"and\"\n                                   {\n                                     default: true\n                                     marker: Operator(list/0, PASS, [\"Selector(Bridge('{ ...next(operator), listable: true, isList: true, value: append(before, after) }'), , same/(), [Type(variable: 'type')]<==>[Type(variable: 'type')], bridge(bridge))\"], evaluator(Bridge('{ ...next(operator), listable: true, isList: true, value: append(before, after) }')), variables({'type': ['quantifier', 'notAble', 'number', 'unknown', 'property', 'queryable', 'hierarchyAble', 'quantity', 'object', 'theAble']}) bridge(bridge))\n                                     range: {'start': 6, 'end': 8}\n                                     text: \"and\"\n                                     types: [\n                                     ]\n                                     word: \"and\"\n                                   }\n    2. quantity/0  (1, 7) - \"quantity\"\n                                   {\n                                     default: true\n                                     marker: Operator(quantity/0, [\"Selector(Bridge('{ ...next(operator) }'), , []<==>[], bridge(bridge))\"], evaluator(Bridge('{ ...next(operator) }')), variables({}) bridge(bridge))\n                                     range: {'start': 10, 'end': 17}\n                                     text: \"quantity\"\n                                     value: \"quantity\"\n                                     word: \"quantity\"\n                                   }\n    3. is/0  (1, 9) - \"are\"\n                                   {\n                                     marker: Operator(is/0, [\"Selector(Bridge('{ ...next(operator), one: after[0], two: after[1], query: true }'), , []<==>[Type('queryable'), Type('queryable')], bridge(queryBridge))\", \"Selector(Bridge('{ ...next(operator), one: { number: operator.number, ...before[0] }, two: after[0] }'), , [Type('queryable')]<==>[Type('queryable')], bridge(bridge))\"], evaluator(Bridge('{ ...next(operator), one: { number: operator.number, ...before[0] }, two: after[0] }')), variables({}) bridge(bridge))\n                                     number: \"many\"\n                                     range: {'start': 19, 'end': 21}\n                                     text: \"are\"\n                                     word: \"are\"\n                                   }\n    4. property/0  (1, 15) - \"properties\"\n                                   {\n                                     marker: Operator(property/0, [\"Selector(Bridge('{ ...next(operator) }'), , []<==>[], bridge(bridge))\"], evaluator(Bridge('{ ...next(operator) }')), variables({}) bridge(bridge))\n                                     range: {'start': 23, 'end': 32}\n                                     text: \"properties\"\n                                     value: \"property\"\n                                     word: \"properties\"\n                                   }\n<<<<<<<<<<<<<\nNext Op (index=1) is Context({default: True, marker: Operator(list/0, PASS, [\"Selector(Bridge('{ ...next(operator), listable: true, isList: true, value: append(before, after) }'), , same/(), [Type(variable: 'type')]<==>[Type(variable: 'type')], bridge(bridge))\"], evaluator(Bridge('{ ...next(operator), listable: true, isList: true, value: append(before, after) }')), variables({'type': ['quantifier', 'notAble', 'number', 'unknown', 'property', 'queryable', 'hierarchyAble', 'quantity', 'object', 'theAble']}) bridge(bridge)), range: {'start': 6, 'end': 8}, text: and, types: [], word: and})\n\n>>>>>>>>>>>>> Counter 3\n   *0. list/1  (3, 0) - \"price and quantity\"\n                                   {\n                                     default: true\n                                     isList: true\n                                     listable: true\n                                     marker: Operator(list/1, PASS, ['Selector(Bridge(\\'{ ...operator, value: append(before, operator.value) }\\'), , same/(), [And([\"Type(variable: \\'type\\')\", \"Listable(Unify(Property((\\'context\\', \\'instance\\')), Property((\\'variables\\', \\'instance\\'))))\"])]<==>[], bridge(bridge), passthrough)'], evaluator(Bridge('{ ...operator, value: append(before, operator.value) }')), variables({'type': ['quantifier', 'notAble', 'number', 'unknown', 'property', 'queryable', 'hierarchyAble', 'quantity', 'object', 'theAble']}) bridge(bridge))\n                                     range: {'start': 0, 'end': 17}\n                                     text: \"price and quantity\"\n                                     types: [\n                                     ]\n                                     value: [\n                                       {\n                                         dead: true\n                                         default: true\n                                         marker: Operator(price/1, ['Selector(None, , []<==>[], bridge(bridge))'], evaluator(None), variables({}) bridge(bridge))\n                                         range: {'start': 0, 'end': 4}\n                                         text: \"price\"\n                                         value: \"price\"\n                                         word: \"price\"\n                                       }\n\n                                       {\n                                         default: true\n                                         marker: Operator(quantity/0, [\"Selector(Bridge('{ ...next(operator) }'), , []<==>[], bridge(bridge))\"], evaluator(Bridge('{ ...next(operator) }')), variables({}) bridge(bridge))\n                                         range: {'start': 10, 'end': 17}\n                                         text: \"quantity\"\n                                         value: \"quantity\"\n                                         word: \"quantity\"\n                                       }\n                                     ]\n                                     word: \"and\"\n                                   }\n    1. is/0  (1, 9) - \"are\"\n                                   {\n                                     marker: Operator(is/0, [\"Selector(Bridge('{ ...next(operator), one: after[0], two: after[1], query: true }'), , []<==>[Type('queryable'), Type('queryable')], bridge(queryBridge))\", \"Selector(Bridge('{ ...next(operator), one: { number: operator.number, ...before[0] }, two: after[0] }'), , [Type('queryable')]<==>[Type('queryable')], bridge(bridge))\"], evaluator(Bridge('{ ...next(operator), one: { number: operator.number, ...before[0] }, two: after[0] }')), variables({}) bridge(bridge))\n                                     number: \"many\"\n                                     range: {'start': 19, 'end': 21}\n                                     text: \"are\"\n                                     word: \"are\"\n                                   }\n    2. property/0  (1, 15) - \"properties\"\n                                   {\n                                     marker: Operator(property/0, [\"Selector(Bridge('{ ...next(operator) }'), , []<==>[], bridge(bridge))\"], evaluator(Bridge('{ ...next(operator) }')), variables({}) bridge(bridge))\n                                     range: {'start': 23, 'end': 32}\n                                     text: \"properties\"\n                                     value: \"property\"\n                                     word: \"properties\"\n                                   }\n<<<<<<<<<<<<<\nNext Op (index=2) is Context({marker: Operator(property/0, [\"Selector(Bridge('{ ...next(operator) }'), , []<==>[], bridge(bridge))\"], evaluator(Bridge('{ ...next(operator) }')), variables({}) bridge(bridge)), range: {'start': 23, 'end': 32}, text: properties, value: property, word: properties})\n\n>>>>>>>>>>>>> Counter 4\n    0. list/1  (3, 0) - \"price and quantity\"\n                                   {\n                                     default: true\n                                     isList: true\n                                     listable: true\n                                     marker: Operator(list/1, PASS, ['Selector(Bridge(\\'{ ...operator, value: append(before, operator.value) }\\'), , same/(), [And([\"Type(variable: \\'type\\')\", \"Listable(Unify(Property((\\'context\\', \\'instance\\')), Property((\\'variables\\', \\'instance\\'))))\"])]<==>[], bridge(bridge), passthrough)'], evaluator(Bridge('{ ...operator, value: append(before, operator.value) }')), variables({'type': ['quantifier', 'notAble', 'number', 'unknown', 'property', 'queryable', 'hierarchyAble', 'quantity', 'object', 'theAble']}) bridge(bridge))\n                                     range: {'start': 0, 'end': 17}\n                                     text: \"price and quantity\"\n                                     types: [\n                                     ]\n                                     value: [\n                                       {\n                                         dead: true\n                                         default: true\n                                         marker: Operator(price/1, ['Selector(None, , []<==>[], bridge(bridge))'], evaluator(None), variables({}) bridge(bridge))\n                                         range: {'start': 0, 'end': 4}\n                                         text: \"price\"\n                                         value: \"price\"\n                                         word: \"price\"\n                                       }\n\n                                       {\n                                         default: true\n                                         marker: Operator(quantity/0, [\"Selector(Bridge('{ ...next(operator) }'), , []<==>[], bridge(bridge))\"], evaluator(Bridge('{ ...next(operator) }')), variables({}) bridge(bridge))\n                                         range: {'start': 10, 'end': 17}\n                                         text: \"quantity\"\n                                         value: \"quantity\"\n                                         word: \"quantity\"\n                                       }\n                                     ]\n                                     word: \"and\"\n                                   }\n    1. is/0  (1, 9) - \"are\"\n                                   {\n                                     marker: Operator(is/0, [\"Selector(Bridge('{ ...next(operator), one: after[0], two: after[1], query: true }'), , []<==>[Type('queryable'), Type('queryable')], bridge(queryBridge))\", \"Selector(Bridge('{ ...next(operator), one: { number: operator.number, ...before[0] }, two: after[0] }'), , [Type('queryable')]<==>[Type('queryable')], bridge(bridge))\"], evaluator(Bridge('{ ...next(operator), one: { number: operator.number, ...before[0] }, two: after[0] }')), variables({}) bridge(bridge))\n                                     number: \"many\"\n                                     range: {'start': 19, 'end': 21}\n                                     text: \"are\"\n                                     word: \"are\"\n                                   }\n   *2. property/1 (dead) (2, 1) - \"properties\"\n                                   {\n                                     dead: true\n                                     marker: Operator(property/1, ['Selector(None, , []<==>[], bridge(bridge))'], evaluator(None), variables({}) bridge(bridge))\n                                     range: {'start': 23, 'end': 32}\n                                     text: \"properties\"\n                                     value: \"property\"\n                                     word: \"properties\"\n                                   }\n<<<<<<<<<<<<<\nNext Op (index=1) is Context({marker: Operator(is/0, [\"Selector(Bridge('{ ...next(operator), one: after[0], two: after[1], query: true }'), , []<==>[Type('queryable'), Type('queryable')], bridge(queryBridge))\", \"Selector(Bridge('{ ...next(operator), one: { number: operator.number, ...before[0] }, two: after[0] }'), , [Type('queryable')]<==>[Type('queryable')], bridge(bridge))\"], evaluator(Bridge('{ ...next(operator), one: { number: operator.number, ...before[0] }, two: after[0] }')), variables({}) bridge(bridge)), number: many, range: {'start': 19, 'end': 21}, text: are, word: are})\n\n>>>>>>>>>>>>> Counter 5\n   *0. is/1  (4, 0) - \"price and quantity are properties\"\n                                   {\n                                     marker: Operator(is/1, [\"Selector(Bridge('{ ...next(operator) }'), , []<==>[], bridge(bridge))\"], evaluator(Bridge('{ ...next(operator) }')), variables({}) bridge(bridge))\n                                     number: \"many\"\n                                     one:                                          {\n                                           default: true\n                                           isList: true\n                                           listable: true\n                                           marker: Operator(list/1, PASS, ['Selector(Bridge(\\'{ ...operator, value: append(before, operator.value) }\\'), , same/(), [And([\"Type(variable: \\'type\\')\", \"Listable(Unify(Property((\\'context\\', \\'instance\\')), Property((\\'variables\\', \\'instance\\'))))\"])]<==>[], bridge(bridge), passthrough)'], evaluator(Bridge('{ ...operator, value: append(before, operator.value) }')), variables({'type': ['quantifier', 'notAble', 'number', 'unknown', 'property', 'queryable', 'hierarchyAble', 'quantity', 'object', 'theAble']}) bridge(bridge))\n                                           number: \"many\"\n                                           range: {'start': 0, 'end': 32}\n                                           text: \"price and quantity\"\n                                           types: [\n                                           'price'\n                                           ]\n                                           value: [\n                                             {\n                                               dead: true\n                                               default: true\n                                               marker: Operator(price/1, ['Selector(None, , []<==>[], bridge(bridge))'], evaluator(None), variables({}) bridge(bridge))\n                                               range: {'start': 0, 'end': 4}\n                                               text: \"price\"\n                                               value: \"price\"\n                                               word: \"price\"\n                                             }\n\n                                             {\n                                               default: true\n                                               marker: Operator(quantity/0, [\"Selector(Bridge('{ ...next(operator) }'), , []<==>[], bridge(bridge))\"], evaluator(Bridge('{ ...next(operator) }')), variables({}) bridge(bridge))\n                                               range: {'start': 10, 'end': 17}\n                                               text: \"quantity\"\n                                               value: \"quantity\"\n                                               word: \"quantity\"\n                                             }\n                                           ]\n                                           word: \"and\"\n                                         }\n\n                                     range: {'start': 0, 'end': 32}\n                                     text: \"price and quantity are properties\"\n                                     two:                                          {\n                                           dead: true\n                                           marker: Operator(property/1, ['Selector(None, , []<==>[], bridge(bridge))'], evaluator(None), variables({}) bridge(bridge))\n                                           range: {'start': 23, 'end': 32}\n                                           text: \"properties\"\n                                           types: [\n                                           'property'\n                                           ]\n                                           value: \"property\"\n                                           word: \"properties\"\n                                         }\n\n                                     word: \"are\"\n                                   }\n<<<<<<<<<<<<<\nNext Op (index=0) is Context({marker: Operator(is/1, [\"Selector(Bridge('{ ...next(operator) }'), , []<==>[], bridge(bridge))\"], evaluator(Bridge('{ ...next(operator) }')), variables({}) bridge(bridge)), number: many, one: Context({default: True, isList: True, listable: True, marker: Operator(list/1, PASS, ['Selector(Bridge(\\'{ ...operator, value: append(before, operator.value) }\\'), , same/(), [And([\"Type(variable: \\'type\\')\", \"Listable(Unify(Property((\\'context\\', \\'instance\\')), Property((\\'variables\\', \\'instance\\'))))\"])]<==>[], bridge(bridge), passthrough)'], evaluator(Bridge('{ ...operator, value: append(before, operator.value) }')), variables({'type': ['quantifier', 'notAble', 'number', 'unknown', 'property', 'queryable', 'hierarchyAble', 'quantity', 'object', 'theAble']}) bridge(bridge)), number: many, range: {'start': 0, 'end': 32}, text: price and quantity, types: ['price'], value: [Context({dead: True, default: True, marker: Operator(price/1, ['Selector(None, , []<==>[], bridge(bridge))'], evaluator(None), variables({}) bridge(bridge)), range: {'start': 0, 'end': 4}, text: price, value: price, word: price}), Context({default: True, marker: Operator(quantity/0, [\"Selector(Bridge('{ ...next(operator) }'), , []<==>[], bridge(bridge))\"], evaluator(Bridge('{ ...next(operator) }')), variables({}) bridge(bridge)), range: {'start': 10, 'end': 17}, text: quantity, value: quantity, word: quantity})], word: and}), range: {'start': 0, 'end': 32}, text: price and quantity are properties, two: Context({dead: True, marker: Operator(property/1, ['Selector(None, , []<==>[], bridge(bridge))'], evaluator(None), variables({}) bridge(bridge)), range: {'start': 23, 'end': 32}, text: properties, types: ['property'], value: property, word: properties}), word: are})\n\n>>>>>>>>>>>>> Counter 6\n   *0. is/2 (dead) (5, 0) - \"price and quantity are properties\"\n                                   {\n                                     dead: true\n                                     marker: Operator(is/2, ['Selector(None, , []<==>[], bridge(bridge))'], evaluator(None), variables({}) bridge(bridge))\n                                     number: \"many\"\n                                     one:                                          {\n                                           default: true\n                                           isList: true\n                                           listable: true\n                                           marker: Operator(list/1, PASS, ['Selector(Bridge(\\'{ ...operator, value: append(before, operator.value) }\\'), , same/(), [And([\"Type(variable: \\'type\\')\", \"Listable(Unify(Property((\\'context\\', \\'instance\\')), Property((\\'variables\\', \\'instance\\'))))\"])]<==>[], bridge(bridge), passthrough)'], evaluator(Bridge('{ ...operator, value: append(before, operator.value) }')), variables({'type': ['quantifier', 'notAble', 'number', 'unknown', 'property', 'queryable', 'hierarchyAble', 'quantity', 'object', 'theAble']}) bridge(bridge))\n                                           number: \"many\"\n                                           range: {'start': 0, 'end': 32}\n                                           text: \"price and quantity\"\n                                           types: [\n                                           'price'\n                                           ]\n                                           value: [\n                                             {\n                                               dead: true\n                                               default: true\n                                               marker: Operator(price/1, ['Selector(None, , []<==>[], bridge(bridge))'], evaluator(None), variables({}) bridge(bridge))\n                                               range: {'start': 0, 'end': 4}\n                                               text: \"price\"\n                                               value: \"price\"\n                                               word: \"price\"\n                                             }\n\n                                             {\n                                               default: true\n                                               marker: Operator(quantity/0, [\"Selector(Bridge('{ ...next(operator) }'), , []<==>[], bridge(bridge))\"], evaluator(Bridge('{ ...next(operator) }')), variables({}) bridge(bridge))\n                                               range: {'start': 10, 'end': 17}\n                                               text: \"quantity\"\n                                               value: \"quantity\"\n                                               word: \"quantity\"\n                                             }\n                                           ]\n                                           word: \"and\"\n                                         }\n\n                                     range: {'start': 0, 'end': 32}\n                                     text: \"price and quantity are properties\"\n                                     two:                                          {\n                                           dead: true\n                                           marker: Operator(property/1, ['Selector(None, , []<==>[], bridge(bridge))'], evaluator(None), variables({}) bridge(bridge))\n                                           range: {'start': 23, 'end': 32}\n                                           text: \"properties\"\n                                           types: [\n                                           'property'\n                                           ]\n                                           value: \"property\"\n                                           word: \"properties\"\n                                         }\n\n                                     word: \"are\"\n                                   }\n<<<<<<<<<<<<<\n",
       "contexts": [
         {
           "number": "many",
@@ -857,10 +861,10 @@
             "level": 1
           },
           "two": {
+            "value": "property",
+            "text": "properties",
             "marker": "property",
-            "default": true,
             "word": "properties",
-            "text": "properties",
             "range": {
               "start": 23,
               "end": 32
@@ -1189,6 +1193,10 @@
           "divideByOperator",
           "mathematicalOperator"
         ],
+        [
+          "doubleQuote",
+          "queryable"
+        ],
         [
           "event",
           "event"
@@ -1767,7 +1775,7 @@
           }
         ]
       },
-      "trace": "\n\n>>>>>>>>>>>>> Counter 1\n    0. unknown/0  (1, 0) - \"worth\"\n                                   {\n                                     marker: Operator(unknown/0, [\"Selector(Bridge('{ ...next(operator), unknown: true, dead: true }'), , []<==>[], bridge(bridge))\"], evaluator(Bridge('{ ...next(operator), unknown: true, dead: true }')), variables({}) bridge(bridge))\n                                     range: {'start': 0, 'end': 4}\n                                     text: \"worth\"\n                                     unknown: true\n                                     value: \"worth\"\n                                     word: \"worth\"\n                                   }\n    1. means/0  (1, 3) - \"means\"\n                                   {\n                                     default: true\n                                     marker: Operator(means/0, [\"Selector(Bridge('{ ...next(operator), from: before[0], to: after[0] }'), , [Any]<==>[Any], bridge(bridge))\"], evaluator(Bridge('{ ...next(operator), from: before[0], to: after[0] }')), variables({}) bridge(bridge))\n                                     range: {'start': 6, 'end': 10}\n                                     text: \"means\"\n                                     value: \"means\"\n                                     word: \"means\"\n                                   }\n    2. price/0  (1, 6) - \"price\"\n                                   {\n                                     default: true\n                                     marker: Operator(price/0, [\"Selector(Bridge('{ ...next(operator) }'), , []<==>[], bridge(bridge))\"], evaluator(Bridge('{ ...next(operator) }')), variables({}) bridge(bridge))\n                                     range: {'start': 12, 'end': 16}\n                                     text: \"price\"\n                                     value: \"price\"\n                                     word: \"price\"\n                                   }\n    3. timesOperator/0  (1, 9) - \"times\"\n                                   {\n                                     marker: Operator(timesOperator/0, [\"Selector(Bridge('{ ...next(operator), marker: next(operator('timesExpression')), types: lub(append(['mathematicalExpression'], operator.types, before[0].types, after[0].types)), value: null, x: before[0], y: after[0], number: 'one', isResponse: true, evaluate: true }'), , [Type('number')]<==>[Type('number')], bridge(bridge))\"], evaluator(Bridge('{ ...next(operator), marker: next(operator('timesExpression')), types: lub(append(['mathematicalExpression'], operator.types, before[0].types, after[0].types)), value: null, x: before[0], y: after[0], number: 'one', isResponse: true, evaluate: true }')), variables({}) bridge(bridge))\n                                     range: {'start': 18, 'end': 22}\n                                     text: \"times\"\n                                     value: \"times\"\n                                     word: \"times\"\n                                   }\n    4. quantity/0  (1, 12) - \"quantity\"\n                                   {\n                                     default: true\n                                     marker: Operator(quantity/0, [\"Selector(Bridge('{ ...next(operator) }'), , []<==>[], bridge(bridge))\"], evaluator(Bridge('{ ...next(operator) }')), variables({}) bridge(bridge))\n                                     range: {'start': 24, 'end': 31}\n                                     text: \"quantity\"\n                                     value: \"quantity\"\n                                     word: \"quantity\"\n                                   }\n<<<<<<<<<<<<<\nNext Op (index=0) is Context({marker: Operator(unknown/0, [\"Selector(Bridge('{ ...next(operator), unknown: true, dead: true }'), , []<==>[], bridge(bridge))\"], evaluator(Bridge('{ ...next(operator), unknown: true, dead: true }')), variables({}) bridge(bridge)), range: {'start': 0, 'end': 4}, text: worth, unknown: True, value: worth, word: worth})\n\n>>>>>>>>>>>>> Counter 2\n   *0. unknown/1 (dead) (2, 0) - \"worth\"\n                                   {\n                                     dead: true\n                                     marker: Operator(unknown/1, [\"Selector(Bridge('{ ...next(operator) }'), , []<==>[], bridge(bridge))\"], evaluator(Bridge('{ ...next(operator) }')), variables({}) bridge(bridge))\n                                     range: {'start': 0, 'end': 4}\n                                     text: \"worth\"\n                                     unknown: true\n                                     value: \"worth\"\n                                     word: \"worth\"\n                                   }\n    1. means/0  (1, 3) - \"means\"\n                                   {\n                                     default: true\n                                     marker: Operator(means/0, [\"Selector(Bridge('{ ...next(operator), from: before[0], to: after[0] }'), , [Any]<==>[Any], bridge(bridge))\"], evaluator(Bridge('{ ...next(operator), from: before[0], to: after[0] }')), variables({}) bridge(bridge))\n                                     range: {'start': 6, 'end': 10}\n                                     text: \"means\"\n                                     value: \"means\"\n                                     word: \"means\"\n                                   }\n    2. price/0  (1, 6) - \"price\"\n                                   {\n                                     default: true\n                                     marker: Operator(price/0, [\"Selector(Bridge('{ ...next(operator) }'), , []<==>[], bridge(bridge))\"], evaluator(Bridge('{ ...next(operator) }')), variables({}) bridge(bridge))\n                                     range: {'start': 12, 'end': 16}\n                                     text: \"price\"\n                                     value: \"price\"\n                                     word: \"price\"\n                                   }\n    3. timesOperator/0  (1, 9) - \"times\"\n                                   {\n                                     marker: Operator(timesOperator/0, [\"Selector(Bridge('{ ...next(operator), marker: next(operator('timesExpression')), types: lub(append(['mathematicalExpression'], operator.types, before[0].types, after[0].types)), value: null, x: before[0], y: after[0], number: 'one', isResponse: true, evaluate: true }'), , [Type('number')]<==>[Type('number')], bridge(bridge))\"], evaluator(Bridge('{ ...next(operator), marker: next(operator('timesExpression')), types: lub(append(['mathematicalExpression'], operator.types, before[0].types, after[0].types)), value: null, x: before[0], y: after[0], number: 'one', isResponse: true, evaluate: true }')), variables({}) bridge(bridge))\n                                     range: {'start': 18, 'end': 22}\n                                     text: \"times\"\n                                     value: \"times\"\n                                     word: \"times\"\n                                   }\n    4. quantity/0  (1, 12) - \"quantity\"\n                                   {\n                                     default: true\n                                     marker: Operator(quantity/0, [\"Selector(Bridge('{ ...next(operator) }'), , []<==>[], bridge(bridge))\"], evaluator(Bridge('{ ...next(operator) }')), variables({}) bridge(bridge))\n                                     range: {'start': 24, 'end': 31}\n                                     text: \"quantity\"\n                                     value: \"quantity\"\n                                     word: \"quantity\"\n                                   }\n<<<<<<<<<<<<<\nNext Op (index=2) is Context({default: True, marker: Operator(price/0, [\"Selector(Bridge('{ ...next(operator) }'), , []<==>[], bridge(bridge))\"], evaluator(Bridge('{ ...next(operator) }')), variables({}) bridge(bridge)), range: {'start': 12, 'end': 16}, text: price, value: price, word: price})\n\n>>>>>>>>>>>>> Counter 3\n    0. unknown/1 (dead) (2, 0) - \"worth\"\n                                   {\n                                     dead: true\n                                     marker: Operator(unknown/1, [\"Selector(Bridge('{ ...next(operator) }'), , []<==>[], bridge(bridge))\"], evaluator(Bridge('{ ...next(operator) }')), variables({}) bridge(bridge))\n                                     range: {'start': 0, 'end': 4}\n                                     text: \"worth\"\n                                     unknown: true\n                                     value: \"worth\"\n                                     word: \"worth\"\n                                   }\n    1. means/0  (1, 3) - \"means\"\n                                   {\n                                     default: true\n                                     marker: Operator(means/0, [\"Selector(Bridge('{ ...next(operator), from: before[0], to: after[0] }'), , [Any]<==>[Any], bridge(bridge))\"], evaluator(Bridge('{ ...next(operator), from: before[0], to: after[0] }')), variables({}) bridge(bridge))\n                                     range: {'start': 6, 'end': 10}\n                                     text: \"means\"\n                                     value: \"means\"\n                                     word: \"means\"\n                                   }\n   *2. price/1 (dead) (2, 1) - \"price\"\n                                   {\n                                     dead: true\n                                     default: true\n                                     marker: Operator(price/1, ['Selector(None, , []<==>[], bridge(bridge))'], evaluator(None), variables({}) bridge(bridge))\n                                     range: {'start': 12, 'end': 16}\n                                     text: \"price\"\n                                     value: \"price\"\n                                     word: \"price\"\n                                   }\n    3. timesOperator/0  (1, 9) - \"times\"\n                                   {\n                                     marker: Operator(timesOperator/0, [\"Selector(Bridge('{ ...next(operator), marker: next(operator('timesExpression')), types: lub(append(['mathematicalExpression'], operator.types, before[0].types, after[0].types)), value: null, x: before[0], y: after[0], number: 'one', isResponse: true, evaluate: true }'), , [Type('number')]<==>[Type('number')], bridge(bridge))\"], evaluator(Bridge('{ ...next(operator), marker: next(operator('timesExpression')), types: lub(append(['mathematicalExpression'], operator.types, before[0].types, after[0].types)), value: null, x: before[0], y: after[0], number: 'one', isResponse: true, evaluate: true }')), variables({}) bridge(bridge))\n                                     range: {'start': 18, 'end': 22}\n                                     text: \"times\"\n                                     value: \"times\"\n                                     word: \"times\"\n                                   }\n    4. quantity/0  (1, 12) - \"quantity\"\n                                   {\n                                     default: true\n                                     marker: Operator(quantity/0, [\"Selector(Bridge('{ ...next(operator) }'), , []<==>[], bridge(bridge))\"], evaluator(Bridge('{ ...next(operator) }')), variables({}) bridge(bridge))\n                                     range: {'start': 24, 'end': 31}\n                                     text: \"quantity\"\n                                     value: \"quantity\"\n                                     word: \"quantity\"\n                                   }\n<<<<<<<<<<<<<\nNext Op (index=4) is Context({default: True, marker: Operator(quantity/0, [\"Selector(Bridge('{ ...next(operator) }'), , []<==>[], bridge(bridge))\"], evaluator(Bridge('{ ...next(operator) }')), variables({}) bridge(bridge)), range: {'start': 24, 'end': 31}, text: quantity, value: quantity, word: quantity})\n\n>>>>>>>>>>>>> Counter 4\n    0. unknown/1 (dead) (2, 0) - \"worth\"\n                                   {\n                                     dead: true\n                                     marker: Operator(unknown/1, [\"Selector(Bridge('{ ...next(operator) }'), , []<==>[], bridge(bridge))\"], evaluator(Bridge('{ ...next(operator) }')), variables({}) bridge(bridge))\n                                     range: {'start': 0, 'end': 4}\n                                     text: \"worth\"\n                                     unknown: true\n                                     value: \"worth\"\n                                     word: \"worth\"\n                                   }\n    1. means/0  (1, 3) - \"means\"\n                                   {\n                                     default: true\n                                     marker: Operator(means/0, [\"Selector(Bridge('{ ...next(operator), from: before[0], to: after[0] }'), , [Any]<==>[Any], bridge(bridge))\"], evaluator(Bridge('{ ...next(operator), from: before[0], to: after[0] }')), variables({}) bridge(bridge))\n                                     range: {'start': 6, 'end': 10}\n                                     text: \"means\"\n                                     value: \"means\"\n                                     word: \"means\"\n                                   }\n    2. price/1 (dead) (2, 1) - \"price\"\n                                   {\n                                     dead: true\n                                     default: true\n                                     marker: Operator(price/1, ['Selector(None, , []<==>[], bridge(bridge))'], evaluator(None), variables({}) bridge(bridge))\n                                     range: {'start': 12, 'end': 16}\n                                     text: \"price\"\n                                     value: \"price\"\n                                     word: \"price\"\n                                   }\n    3. timesOperator/0  (1, 9) - \"times\"\n                                   {\n                                     marker: Operator(timesOperator/0, [\"Selector(Bridge('{ ...next(operator), marker: next(operator('timesExpression')), types: lub(append(['mathematicalExpression'], operator.types, before[0].types, after[0].types)), value: null, x: before[0], y: after[0], number: 'one', isResponse: true, evaluate: true }'), , [Type('number')]<==>[Type('number')], bridge(bridge))\"], evaluator(Bridge('{ ...next(operator), marker: next(operator('timesExpression')), types: lub(append(['mathematicalExpression'], operator.types, before[0].types, after[0].types)), value: null, x: before[0], y: after[0], number: 'one', isResponse: true, evaluate: true }')), variables({}) bridge(bridge))\n                                     range: {'start': 18, 'end': 22}\n                                     text: \"times\"\n                                     value: \"times\"\n                                     word: \"times\"\n                                   }\n   *4. quantity/1 (dead) (2, 2) - \"quantity\"\n                                   {\n                                     dead: true\n                                     default: true\n                                     marker: Operator(quantity/1, ['Selector(None, , []<==>[], bridge(bridge))'], evaluator(None), variables({}) bridge(bridge))\n                                     range: {'start': 24, 'end': 31}\n                                     text: \"quantity\"\n                                     value: \"quantity\"\n                                     word: \"quantity\"\n                                   }\n<<<<<<<<<<<<<\nNext Op (index=3) is Context({marker: Operator(timesOperator/0, [\"Selector(Bridge('{ ...next(operator), marker: next(operator('timesExpression')), types: lub(append(['mathematicalExpression'], operator.types, before[0].types, after[0].types)), value: null, x: before[0], y: after[0], number: 'one', isResponse: true, evaluate: true }'), , [Type('number')]<==>[Type('number')], bridge(bridge))\"], evaluator(Bridge('{ ...next(operator), marker: next(operator('timesExpression')), types: lub(append(['mathematicalExpression'], operator.types, before[0].types, after[0].types)), value: null, x: before[0], y: after[0], number: 'one', isResponse: true, evaluate: true }')), variables({}) bridge(bridge)), range: {'start': 18, 'end': 22}, text: times, value: times, word: times})\n\n>>>>>>>>>>>>> Counter 5\n    0. unknown/1 (dead) (2, 0) - \"worth\"\n                                   {\n                                     dead: true\n                                     marker: Operator(unknown/1, [\"Selector(Bridge('{ ...next(operator) }'), , []<==>[], bridge(bridge))\"], evaluator(Bridge('{ ...next(operator) }')), variables({}) bridge(bridge))\n                                     range: {'start': 0, 'end': 4}\n                                     text: \"worth\"\n                                     unknown: true\n                                     value: \"worth\"\n                                     word: \"worth\"\n                                   }\n    1. means/0  (1, 3) - \"means\"\n                                   {\n                                     default: true\n                                     marker: Operator(means/0, [\"Selector(Bridge('{ ...next(operator), from: before[0], to: after[0] }'), , [Any]<==>[Any], bridge(bridge))\"], evaluator(Bridge('{ ...next(operator), from: before[0], to: after[0] }')), variables({}) bridge(bridge))\n                                     range: {'start': 6, 'end': 10}\n                                     text: \"means\"\n                                     value: \"means\"\n                                     word: \"means\"\n                                   }\n   *2. timesExpression/1 (dead) (3, 0) - \"price times quantity\"\n                                   {\n                                     dead: true\n                                     evaluate: true\n                                     isResponse: true\n                                     marker: Operator(timesExpression/1, ['Selector(None, , []<==>[], bridge(bridge))'], evaluator(None), variables({}) bridge(bridge))\n                                     number: \"one\"\n                                     range: {'start': 12, 'end': 31}\n                                     text: \"price times quantity\"\n                                     types: [\n                                     'number'\n,                                      'property'\n                                     ]\n                                     value: None\n                                     word: \"times\"\n                                     x:                                          {\n                                           dead: true\n                                           default: true\n                                           marker: Operator(price/1, ['Selector(None, , []<==>[], bridge(bridge))'], evaluator(None), variables({}) bridge(bridge))\n                                           range: {'start': 12, 'end': 16}\n                                           text: \"price\"\n                                           types: [\n                                           'price'\n                                           ]\n                                           value: \"price\"\n                                           word: \"price\"\n                                         }\n\n                                     y:                                          {\n                                           dead: true\n                                           default: true\n                                           marker: Operator(quantity/1, ['Selector(None, , []<==>[], bridge(bridge))'], evaluator(None), variables({}) bridge(bridge))\n                                           range: {'start': 24, 'end': 31}\n                                           text: \"quantity\"\n                                           types: [\n                                           'quantity'\n                                           ]\n                                           value: \"quantity\"\n                                           word: \"quantity\"\n                                         }\n\n                                   }\n<<<<<<<<<<<<<\nNext Op (index=1) is Context({default: True, marker: Operator(means/0, [\"Selector(Bridge('{ ...next(operator), from: before[0], to: after[0] }'), , [Any]<==>[Any], bridge(bridge))\"], evaluator(Bridge('{ ...next(operator), from: before[0], to: after[0] }')), variables({}) bridge(bridge)), range: {'start': 6, 'end': 10}, text: means, value: means, word: means})\n\n>>>>>>>>>>>>> Counter 6\n   *0. means/1 (dead) (4, 0) - \"worth means price times quantity\"\n                                   {\n                                     dead: true\n                                     default: true\n                                     from:                                          {\n                                           dead: true\n                                           marker: Operator(unknown/1, [\"Selector(Bridge('{ ...next(operator) }'), , []<==>[], bridge(bridge))\"], evaluator(Bridge('{ ...next(operator) }')), variables({}) bridge(bridge))\n                                           range: {'start': 0, 'end': 4}\n                                           text: \"worth\"\n                                           unknown: true\n                                           value: \"worth\"\n                                           word: \"worth\"\n                                         }\n\n                                     marker: Operator(means/1, ['Selector(None, , [Any]<==>[Any], bridge(bridge))'], evaluator(None), variables({}) bridge(bridge))\n                                     range: {'start': 0, 'end': 31}\n                                     text: \"worth means price times quantity\"\n                                     to:                                          {\n                                           dead: true\n                                           evaluate: true\n                                           isResponse: true\n                                           marker: Operator(timesExpression/1, ['Selector(None, , []<==>[], bridge(bridge))'], evaluator(None), variables({}) bridge(bridge))\n                                           number: \"one\"\n                                           range: {'start': 12, 'end': 31}\n                                           text: \"price times quantity\"\n                                           types: [\n                                           'number'\n,                                            'property'\n                                           ]\n                                           value: None\n                                           word: \"times\"\n                                           x:                                                {\n                                                 dead: true\n                                                 default: true\n                                                 marker: Operator(price/1, ['Selector(None, , []<==>[], bridge(bridge))'], evaluator(None), variables({}) bridge(bridge))\n                                                 range: {'start': 12, 'end': 16}\n                                                 text: \"price\"\n                                                 types: [\n                                                 'price'\n                                                 ]\n                                                 value: \"price\"\n                                                 word: \"price\"\n                                               }\n\n                                           y:                                                {\n                                                 dead: true\n                                                 default: true\n                                                 marker: Operator(quantity/1, ['Selector(None, , []<==>[], bridge(bridge))'], evaluator(None), variables({}) bridge(bridge))\n                                                 range: {'start': 24, 'end': 31}\n                                                 text: \"quantity\"\n                                                 types: [\n                                                 'quantity'\n                                                 ]\n                                                 value: \"quantity\"\n                                                 word: \"quantity\"\n                                               }\n\n                                         }\n\n                                     value: \"means\"\n                                     word: \"means\"\n                                   }\n<<<<<<<<<<<<<\n",
+      "trace": "\n\n>>>>>>>>>>>>> Counter 1\n    0. unknown/0  (1, 0) - \"worth\"\n                                   {\n                                     marker: Operator(unknown/0, [\"Selector(Bridge('{ ...next(operator), unknown: true, dead: true }'), , []<==>[], bridge(bridge))\"], evaluator(Bridge('{ ...next(operator), unknown: true, dead: true }')), variables({}) bridge(bridge))\n                                     range: {'start': 0, 'end': 4}\n                                     text: \"worth\"\n                                     unknown: true\n                                     value: \"worth\"\n                                     word: \"worth\"\n                                   }\n    1. means/0  (1, 3) - \"means\"\n                                   {\n                                     default: true\n                                     marker: Operator(means/0, [\"Selector(Bridge('{ ...next(operator), from: before[0], to: after[0] }'), , [Any]<==>[Any], bridge(bridge))\"], evaluator(Bridge('{ ...next(operator), from: before[0], to: after[0] }')), variables({}) bridge(bridge))\n                                     range: {'start': 6, 'end': 10}\n                                     text: \"means\"\n                                     value: \"means\"\n                                     word: \"means\"\n                                   }\n    2. price/0  (1, 6) - \"price\"\n                                   {\n                                     default: true\n                                     marker: Operator(price/0, [\"Selector(Bridge('{ ...next(operator) }'), , []<==>[], bridge(bridge))\"], evaluator(Bridge('{ ...next(operator) }')), variables({}) bridge(bridge))\n                                     range: {'start': 12, 'end': 16}\n                                     text: \"price\"\n                                     value: \"price\"\n                                     word: \"price\"\n                                   }\n    3. timesOperator/0  (1, 9) - \"times\"\n                                   {\n                                     marker: Operator(timesOperator/0, [\"Selector(Bridge('{ ...next(operator), marker: next(operator('timesExpression')), types: lub(append(['mathematicalExpression'], operator.types, before[0].types, after[0].types)), value: null, x: before[0], y: after[0], number: 'one', isResponse: true, evaluate: true }'), , [Type('number')]<==>[Type('number')], bridge(bridge))\"], evaluator(Bridge('{ ...next(operator), marker: next(operator('timesExpression')), types: lub(append(['mathematicalExpression'], operator.types, before[0].types, after[0].types)), value: null, x: before[0], y: after[0], number: 'one', isResponse: true, evaluate: true }')), variables({}) bridge(bridge))\n                                     range: {'start': 18, 'end': 22}\n                                     text: \"times\"\n                                     value: \"timesOperator\"\n                                     word: \"times\"\n                                   }\n    4. quantity/0  (1, 12) - \"quantity\"\n                                   {\n                                     default: true\n                                     marker: Operator(quantity/0, [\"Selector(Bridge('{ ...next(operator) }'), , []<==>[], bridge(bridge))\"], evaluator(Bridge('{ ...next(operator) }')), variables({}) bridge(bridge))\n                                     range: {'start': 24, 'end': 31}\n                                     text: \"quantity\"\n                                     value: \"quantity\"\n                                     word: \"quantity\"\n                                   }\n<<<<<<<<<<<<<\nNext Op (index=0) is Context({marker: Operator(unknown/0, [\"Selector(Bridge('{ ...next(operator), unknown: true, dead: true }'), , []<==>[], bridge(bridge))\"], evaluator(Bridge('{ ...next(operator), unknown: true, dead: true }')), variables({}) bridge(bridge)), range: {'start': 0, 'end': 4}, text: worth, unknown: True, value: worth, word: worth})\n\n>>>>>>>>>>>>> Counter 2\n   *0. unknown/1 (dead) (2, 0) - \"worth\"\n                                   {\n                                     dead: true\n                                     marker: Operator(unknown/1, [\"Selector(Bridge('{ ...next(operator) }'), , []<==>[], bridge(bridge))\"], evaluator(Bridge('{ ...next(operator) }')), variables({}) bridge(bridge))\n                                     range: {'start': 0, 'end': 4}\n                                     text: \"worth\"\n                                     unknown: true\n                                     value: \"worth\"\n                                     word: \"worth\"\n                                   }\n    1. means/0  (1, 3) - \"means\"\n                                   {\n                                     default: true\n                                     marker: Operator(means/0, [\"Selector(Bridge('{ ...next(operator), from: before[0], to: after[0] }'), , [Any]<==>[Any], bridge(bridge))\"], evaluator(Bridge('{ ...next(operator), from: before[0], to: after[0] }')), variables({}) bridge(bridge))\n                                     range: {'start': 6, 'end': 10}\n                                     text: \"means\"\n                                     value: \"means\"\n                                     word: \"means\"\n                                   }\n    2. price/0  (1, 6) - \"price\"\n                                   {\n                                     default: true\n                                     marker: Operator(price/0, [\"Selector(Bridge('{ ...next(operator) }'), , []<==>[], bridge(bridge))\"], evaluator(Bridge('{ ...next(operator) }')), variables({}) bridge(bridge))\n                                     range: {'start': 12, 'end': 16}\n                                     text: \"price\"\n                                     value: \"price\"\n                                     word: \"price\"\n                                   }\n    3. timesOperator/0  (1, 9) - \"times\"\n                                   {\n                                     marker: Operator(timesOperator/0, [\"Selector(Bridge('{ ...next(operator), marker: next(operator('timesExpression')), types: lub(append(['mathematicalExpression'], operator.types, before[0].types, after[0].types)), value: null, x: before[0], y: after[0], number: 'one', isResponse: true, evaluate: true }'), , [Type('number')]<==>[Type('number')], bridge(bridge))\"], evaluator(Bridge('{ ...next(operator), marker: next(operator('timesExpression')), types: lub(append(['mathematicalExpression'], operator.types, before[0].types, after[0].types)), value: null, x: before[0], y: after[0], number: 'one', isResponse: true, evaluate: true }')), variables({}) bridge(bridge))\n                                     range: {'start': 18, 'end': 22}\n                                     text: \"times\"\n                                     value: \"timesOperator\"\n                                     word: \"times\"\n                                   }\n    4. quantity/0  (1, 12) - \"quantity\"\n                                   {\n                                     default: true\n                                     marker: Operator(quantity/0, [\"Selector(Bridge('{ ...next(operator) }'), , []<==>[], bridge(bridge))\"], evaluator(Bridge('{ ...next(operator) }')), variables({}) bridge(bridge))\n                                     range: {'start': 24, 'end': 31}\n                                     text: \"quantity\"\n                                     value: \"quantity\"\n                                     word: \"quantity\"\n                                   }\n<<<<<<<<<<<<<\nNext Op (index=2) is Context({default: True, marker: Operator(price/0, [\"Selector(Bridge('{ ...next(operator) }'), , []<==>[], bridge(bridge))\"], evaluator(Bridge('{ ...next(operator) }')), variables({}) bridge(bridge)), range: {'start': 12, 'end': 16}, text: price, value: price, word: price})\n\n>>>>>>>>>>>>> Counter 3\n    0. unknown/1 (dead) (2, 0) - \"worth\"\n                                   {\n                                     dead: true\n                                     marker: Operator(unknown/1, [\"Selector(Bridge('{ ...next(operator) }'), , []<==>[], bridge(bridge))\"], evaluator(Bridge('{ ...next(operator) }')), variables({}) bridge(bridge))\n                                     range: {'start': 0, 'end': 4}\n                                     text: \"worth\"\n                                     unknown: true\n                                     value: \"worth\"\n                                     word: \"worth\"\n                                   }\n    1. means/0  (1, 3) - \"means\"\n                                   {\n                                     default: true\n                                     marker: Operator(means/0, [\"Selector(Bridge('{ ...next(operator), from: before[0], to: after[0] }'), , [Any]<==>[Any], bridge(bridge))\"], evaluator(Bridge('{ ...next(operator), from: before[0], to: after[0] }')), variables({}) bridge(bridge))\n                                     range: {'start': 6, 'end': 10}\n                                     text: \"means\"\n                                     value: \"means\"\n                                     word: \"means\"\n                                   }\n   *2. price/1 (dead) (2, 1) - \"price\"\n                                   {\n                                     dead: true\n                                     default: true\n                                     marker: Operator(price/1, ['Selector(None, , []<==>[], bridge(bridge))'], evaluator(None), variables({}) bridge(bridge))\n                                     range: {'start': 12, 'end': 16}\n                                     text: \"price\"\n                                     value: \"price\"\n                                     word: \"price\"\n                                   }\n    3. timesOperator/0  (1, 9) - \"times\"\n                                   {\n                                     marker: Operator(timesOperator/0, [\"Selector(Bridge('{ ...next(operator), marker: next(operator('timesExpression')), types: lub(append(['mathematicalExpression'], operator.types, before[0].types, after[0].types)), value: null, x: before[0], y: after[0], number: 'one', isResponse: true, evaluate: true }'), , [Type('number')]<==>[Type('number')], bridge(bridge))\"], evaluator(Bridge('{ ...next(operator), marker: next(operator('timesExpression')), types: lub(append(['mathematicalExpression'], operator.types, before[0].types, after[0].types)), value: null, x: before[0], y: after[0], number: 'one', isResponse: true, evaluate: true }')), variables({}) bridge(bridge))\n                                     range: {'start': 18, 'end': 22}\n                                     text: \"times\"\n                                     value: \"timesOperator\"\n                                     word: \"times\"\n                                   }\n    4. quantity/0  (1, 12) - \"quantity\"\n                                   {\n                                     default: true\n                                     marker: Operator(quantity/0, [\"Selector(Bridge('{ ...next(operator) }'), , []<==>[], bridge(bridge))\"], evaluator(Bridge('{ ...next(operator) }')), variables({}) bridge(bridge))\n                                     range: {'start': 24, 'end': 31}\n                                     text: \"quantity\"\n                                     value: \"quantity\"\n                                     word: \"quantity\"\n                                   }\n<<<<<<<<<<<<<\nNext Op (index=4) is Context({default: True, marker: Operator(quantity/0, [\"Selector(Bridge('{ ...next(operator) }'), , []<==>[], bridge(bridge))\"], evaluator(Bridge('{ ...next(operator) }')), variables({}) bridge(bridge)), range: {'start': 24, 'end': 31}, text: quantity, value: quantity, word: quantity})\n\n>>>>>>>>>>>>> Counter 4\n    0. unknown/1 (dead) (2, 0) - \"worth\"\n                                   {\n                                     dead: true\n                                     marker: Operator(unknown/1, [\"Selector(Bridge('{ ...next(operator) }'), , []<==>[], bridge(bridge))\"], evaluator(Bridge('{ ...next(operator) }')), variables({}) bridge(bridge))\n                                     range: {'start': 0, 'end': 4}\n                                     text: \"worth\"\n                                     unknown: true\n                                     value: \"worth\"\n                                     word: \"worth\"\n                                   }\n    1. means/0  (1, 3) - \"means\"\n                                   {\n                                     default: true\n                                     marker: Operator(means/0, [\"Selector(Bridge('{ ...next(operator), from: before[0], to: after[0] }'), , [Any]<==>[Any], bridge(bridge))\"], evaluator(Bridge('{ ...next(operator), from: before[0], to: after[0] }')), variables({}) bridge(bridge))\n                                     range: {'start': 6, 'end': 10}\n                                     text: \"means\"\n                                     value: \"means\"\n                                     word: \"means\"\n                                   }\n    2. price/1 (dead) (2, 1) - \"price\"\n                                   {\n                                     dead: true\n                                     default: true\n                                     marker: Operator(price/1, ['Selector(None, , []<==>[], bridge(bridge))'], evaluator(None), variables({}) bridge(bridge))\n                                     range: {'start': 12, 'end': 16}\n                                     text: \"price\"\n                                     value: \"price\"\n                                     word: \"price\"\n                                   }\n    3. timesOperator/0  (1, 9) - \"times\"\n                                   {\n                                     marker: Operator(timesOperator/0, [\"Selector(Bridge('{ ...next(operator), marker: next(operator('timesExpression')), types: lub(append(['mathematicalExpression'], operator.types, before[0].types, after[0].types)), value: null, x: before[0], y: after[0], number: 'one', isResponse: true, evaluate: true }'), , [Type('number')]<==>[Type('number')], bridge(bridge))\"], evaluator(Bridge('{ ...next(operator), marker: next(operator('timesExpression')), types: lub(append(['mathematicalExpression'], operator.types, before[0].types, after[0].types)), value: null, x: before[0], y: after[0], number: 'one', isResponse: true, evaluate: true }')), variables({}) bridge(bridge))\n                                     range: {'start': 18, 'end': 22}\n                                     text: \"times\"\n                                     value: \"timesOperator\"\n                                     word: \"times\"\n                                   }\n   *4. quantity/1 (dead) (2, 2) - \"quantity\"\n                                   {\n                                     dead: true\n                                     default: true\n                                     marker: Operator(quantity/1, ['Selector(None, , []<==>[], bridge(bridge))'], evaluator(None), variables({}) bridge(bridge))\n                                     range: {'start': 24, 'end': 31}\n                                     text: \"quantity\"\n                                     value: \"quantity\"\n                                     word: \"quantity\"\n                                   }\n<<<<<<<<<<<<<\nNext Op (index=3) is Context({marker: Operator(timesOperator/0, [\"Selector(Bridge('{ ...next(operator), marker: next(operator('timesExpression')), types: lub(append(['mathematicalExpression'], operator.types, before[0].types, after[0].types)), value: null, x: before[0], y: after[0], number: 'one', isResponse: true, evaluate: true }'), , [Type('number')]<==>[Type('number')], bridge(bridge))\"], evaluator(Bridge('{ ...next(operator), marker: next(operator('timesExpression')), types: lub(append(['mathematicalExpression'], operator.types, before[0].types, after[0].types)), value: null, x: before[0], y: after[0], number: 'one', isResponse: true, evaluate: true }')), variables({}) bridge(bridge)), range: {'start': 18, 'end': 22}, text: times, value: timesOperator, word: times})\n\n>>>>>>>>>>>>> Counter 5\n    0. unknown/1 (dead) (2, 0) - \"worth\"\n                                   {\n                                     dead: true\n                                     marker: Operator(unknown/1, [\"Selector(Bridge('{ ...next(operator) }'), , []<==>[], bridge(bridge))\"], evaluator(Bridge('{ ...next(operator) }')), variables({}) bridge(bridge))\n                                     range: {'start': 0, 'end': 4}\n                                     text: \"worth\"\n                                     unknown: true\n                                     value: \"worth\"\n                                     word: \"worth\"\n                                   }\n    1. means/0  (1, 3) - \"means\"\n                                   {\n                                     default: true\n                                     marker: Operator(means/0, [\"Selector(Bridge('{ ...next(operator), from: before[0], to: after[0] }'), , [Any]<==>[Any], bridge(bridge))\"], evaluator(Bridge('{ ...next(operator), from: before[0], to: after[0] }')), variables({}) bridge(bridge))\n                                     range: {'start': 6, 'end': 10}\n                                     text: \"means\"\n                                     value: \"means\"\n                                     word: \"means\"\n                                   }\n   *2. timesExpression/1 (dead) (3, 0) - \"price times quantity\"\n                                   {\n                                     dead: true\n                                     evaluate: true\n                                     isResponse: true\n                                     marker: Operator(timesExpression/1, ['Selector(None, , []<==>[], bridge(bridge))'], evaluator(None), variables({}) bridge(bridge))\n                                     number: \"one\"\n                                     range: {'start': 12, 'end': 31}\n                                     text: \"price times quantity\"\n                                     types: [\n                                     'number'\n,                                      'property'\n                                     ]\n                                     value: None\n                                     word: \"times\"\n                                     x:                                          {\n                                           dead: true\n                                           default: true\n                                           marker: Operator(price/1, ['Selector(None, , []<==>[], bridge(bridge))'], evaluator(None), variables({}) bridge(bridge))\n                                           range: {'start': 12, 'end': 16}\n                                           text: \"price\"\n                                           types: [\n                                           'price'\n                                           ]\n                                           value: \"price\"\n                                           word: \"price\"\n                                         }\n\n                                     y:                                          {\n                                           dead: true\n                                           default: true\n                                           marker: Operator(quantity/1, ['Selector(None, , []<==>[], bridge(bridge))'], evaluator(None), variables({}) bridge(bridge))\n                                           range: {'start': 24, 'end': 31}\n                                           text: \"quantity\"\n                                           types: [\n                                           'quantity'\n                                           ]\n                                           value: \"quantity\"\n                                           word: \"quantity\"\n                                         }\n\n                                   }\n<<<<<<<<<<<<<\nNext Op (index=1) is Context({default: True, marker: Operator(means/0, [\"Selector(Bridge('{ ...next(operator), from: before[0], to: after[0] }'), , [Any]<==>[Any], bridge(bridge))\"], evaluator(Bridge('{ ...next(operator), from: before[0], to: after[0] }')), variables({}) bridge(bridge)), range: {'start': 6, 'end': 10}, text: means, value: means, word: means})\n\n>>>>>>>>>>>>> Counter 6\n   *0. means/1 (dead) (4, 0) - \"worth means price times quantity\"\n                                   {\n                                     dead: true\n                                     default: true\n                                     from:                                          {\n                                           dead: true\n                                           marker: Operator(unknown/1, [\"Selector(Bridge('{ ...next(operator) }'), , []<==>[], bridge(bridge))\"], evaluator(Bridge('{ ...next(operator) }')), variables({}) bridge(bridge))\n                                           range: {'start': 0, 'end': 4}\n                                           text: \"worth\"\n                                           unknown: true\n                                           value: \"worth\"\n                                           word: \"worth\"\n                                         }\n\n                                     marker: Operator(means/1, ['Selector(None, , [Any]<==>[Any], bridge(bridge))'], evaluator(None), variables({}) bridge(bridge))\n                                     range: {'start': 0, 'end': 31}\n                                     text: \"worth means price times quantity\"\n                                     to:                                          {\n                                           dead: true\n                                           evaluate: true\n                                           isResponse: true\n                                           marker: Operator(timesExpression/1, ['Selector(None, , []<==>[], bridge(bridge))'], evaluator(None), variables({}) bridge(bridge))\n                                           number: \"one\"\n                                           range: {'start': 12, 'end': 31}\n                                           text: \"price times quantity\"\n                                           types: [\n                                           'number'\n,                                            'property'\n                                           ]\n                                           value: None\n                                           word: \"times\"\n                                           x:                                                {\n                                                 dead: true\n                                                 default: true\n                                                 marker: Operator(price/1, ['Selector(None, , []<==>[], bridge(bridge))'], evaluator(None), variables({}) bridge(bridge))\n                                                 range: {'start': 12, 'end': 16}\n                                                 text: \"price\"\n                                                 types: [\n                                                 'price'\n                                                 ]\n                                                 value: \"price\"\n                                                 word: \"price\"\n                                               }\n\n                                           y:                                                {\n                                                 dead: true\n                                                 default: true\n                                                 marker: Operator(quantity/1, ['Selector(None, , []<==>[], bridge(bridge))'], evaluator(None), variables({}) bridge(bridge))\n                                                 range: {'start': 24, 'end': 31}\n                                                 text: \"quantity\"\n                                                 types: [\n                                                 'quantity'\n                                                 ]\n                                                 value: \"quantity\"\n                                                 word: \"quantity\"\n                                               }\n\n                                         }\n\n                                     value: \"means\"\n                                     word: \"means\"\n                                   }\n<<<<<<<<<<<<<\n",
       "contexts": [
         {
           "marker": "means",

package/common/reports.js

@@ -460,7 +460,6 @@ let configStruct = {
         const products = context.listing
         const columns = objects.listings[context.id].columns
         if (false) {
-          debugger;
           kms.stm.api.setVariable('price', { marker: 'price', value: 23 })
           kms.stm.api.setVariable('quantity', { marker: 'quantity', value: 3 })
           const c1 = { marker: 'worth', value: 'worth' }
@@ -506,7 +505,6 @@ let configStruct = {
           const responses = []
           for (let value of values) {
             if (!value.value || value.pullFromContext) {
-              debugger
               value = e(value)
             }
             let id = value.value

package/common/sizeable.js

@@ -22,7 +22,12 @@ let configStruct = {
     { 
       id: "size", 
       parents: ['adjective'],
-      words: ['small', 'medium', 'large', 'half', 'full'],
+      words: [
+                { word: 'small', value: 'small' }, 
+                { word: 'medium', value: 'medium' }, 
+                { word: 'large', value: 'large' },
+                { word: 'half', value: 'half' }, 
+                { word: 'full', value: 'full' }],
       level: 0, 
       bridge: "{ ...next(operator) }" 
     },
@@ -61,7 +66,7 @@ knowledgeModule({
     name: './sizeable.test.json',
     contents: sizeable_tests,
     checks: {
-            context: defaultContextCheck,
+            context: [ ...defaultContextCheck, { property: 'size', filter: ['value'] } ],
           },
   },
 })

package/common/spock.instance.json

@@ -353,6 +353,10 @@
           "dog",
           "theAble"
         ],
+        [
+          "doubleQuote",
+          "queryable"
+        ],
         [
           "eagle",
           "bird"

package/common/stm.js

@@ -28,7 +28,12 @@ class API {
   }
 
   mentioned(concept, value = undefined) {
-    concept = { ...concept, pullFromContext: false }
+    // TODO value should perhaps have been called id as in concept id and then value could be value
+    if (value) {
+      concept = { ...concept, pullFromContext: false }
+    } else {
+      concept.pullFromContext = false
+    }
     if (value) {
       if (concept.marker == 'unknown') {
         if (concept.value) {
@@ -37,6 +42,7 @@ class API {
       }
       concept.value = value
     }
+    concept.fromSTM = true
     this._objects.mentioned.unshift(concept)
   }
 
@@ -44,7 +50,7 @@ class API {
     // care about value first
     for (let m of this._objects.mentioned) {
       if (context.value && context.value == m.marker) {
-        return { ...m, fromSTM: true }
+        return m
       }
     }
 
@@ -54,21 +60,22 @@ class API {
     // care about marker second
     for (let m of this._objects.mentioned) {
       if (context.marker != 'unknown' && this.isA(m.marker, context.marker)) {
-        return { ...m, fromSTM: true }
+        return m
       }
       // if (context.types && context.types.includes(m.marker)) {
       if (context.types) {
         for (let parent of context.types) {
           if (parent != 'unknown' && this.isA(m.marker, parent)) {
-            return { ...m, fromSTM: true }
+            return m
           }
         }
       }
     }
+
     if (context.types && context.types.length == 1) {
       for (let m of this._objects.mentioned) {
         if (context.unknown) {
-          return { ...m, fromSTM: true }
+          return m
         }
       }
     }
@@ -101,6 +108,9 @@ let createConfig = () => {
       mentioned: (context) => {
         kms.stm.api.mentioned(context)
       },
+      mentions: (context) => {
+        return kms.stm.api.mentions(context)
+      },
     }))
   })
   config.api = api
@@ -118,6 +128,7 @@ knowledgeModule( {
     contents: stm_tests,
     checks: {
             context: defaultContextCheck,
+            objects: ['mentioned'],
           },
   },
 })