ekms 8.0.0-beta.4 → 8.0.0-beta.41

package/common/math.instance.json

@@ -1,12 +1,11 @@
 {
   "configs": [
     "mathematical modifies operator",
-    "* + / and - are mathematical operators",
     {
       "name": "math",
       "operators": [
         "([mathematicalExpression])",
-        "([mathematicalOperator])",
+        "([mathematical_operator])",
         "(([number|]) [plusOperator] ([number|]))",
         "(([number|]) [minusOperator] ([number|]))",
         "(([number|]) [timesOperator] ([number|]))",
@@ -33,7 +32,7 @@
           ]
         },
         {
-          "id": "mathematicalOperator",
+          "id": "mathematical_operator",
           "before": [
             "verby"
           ],
@@ -65,7 +64,7 @@
           "level": 0,
           "bridge": "{ ...next(operator), marker: next(operator('plusExpression')), 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 }",
           "isA": [
-            "mathematicalOperator"
+            "mathematical_operator"
           ],
           "before": [],
           "localHierarchy": [
@@ -78,7 +77,7 @@
             "plus",
             "+"
           ],
-          "generatorp": "({gp, context}) => context.word"
+          "generatorp": "({context}) => context.word"
         },
         {
           "where": "/home/dev/code/theprogrammablemind/kms/common/math.js:44",
@@ -88,8 +87,8 @@
           "isA": [
             "mathematicalExpression"
           ],
-          "generatorp": "({gp, context}) => `${gp(context.x)} ${context.word} ${gp(context.y)}`",
-          "evaluator": "({e, context}) => {\n        const x = toValue(e(context.x)) \n        const y = toValue(e(context.y))\n        if (!x || !y) {\n          // context.evalue = { ...context, paraphrase: true, x: { ...context.x, value: x }, y: { ...context.y, value: y } }\n          context.isResponse = false\n        } else {\n          context.evalue = apply(x, y)\n          context.evalue.isResponse = true\n          context.evalue.paraphrase = false\n          // context.paraphrase = false\n          // context.isResponse = true\n        }\n        /*\n        if (!context.value) {\n          context.isResponse = false\n          context.paraphrase = true\n        }\n        */\n      }"
+          "generatorp": "async ({gp, context}) => `${await gp(context.x)} ${context.word} ${await gp(context.y)}`",
+          "evaluator": "async ({e, context}) => {\n        const x = toValue(await e(context.x)) \n        const y = toValue(await e(context.y))\n        if (!x || !y) {\n          // context.evalue = { ...context, paraphrase: true, x: { ...context.x, value: x }, y: { ...context.y, value: y } }\n          context.isResponse = false\n        } else {\n          context.evalue = apply(x, y)\n          context.evalue.isResponse = true\n          context.evalue.paraphrase = false\n          // context.paraphrase = false\n          // context.isResponse = true\n        }\n        /*\n        if (!context.value) {\n          context.isResponse = false\n          context.paraphrase = true\n        }\n        */\n      }"
         },
         {
           "where": "/home/dev/code/theprogrammablemind/kms/common/math.js:32",
@@ -97,7 +96,7 @@
           "level": 0,
           "bridge": "{ ...next(operator), marker: next(operator('minusExpression')), 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 }",
           "isA": [
-            "mathematicalOperator"
+            "mathematical_operator"
           ],
           "before": [],
           "localHierarchy": [
@@ -110,7 +109,7 @@
             "minus",
             "-"
           ],
-          "generatorp": "({gp, context}) => context.word"
+          "generatorp": "({context}) => context.word"
         },
         {
           "where": "/home/dev/code/theprogrammablemind/kms/common/math.js:44",
@@ -120,8 +119,8 @@
           "isA": [
             "mathematicalExpression"
           ],
-          "generatorp": "({gp, context}) => `${gp(context.x)} ${context.word} ${gp(context.y)}`",
-          "evaluator": "({e, context}) => {\n        const x = toValue(e(context.x)) \n        const y = toValue(e(context.y))\n        if (!x || !y) {\n          // context.evalue = { ...context, paraphrase: true, x: { ...context.x, value: x }, y: { ...context.y, value: y } }\n          context.isResponse = false\n        } else {\n          context.evalue = apply(x, y)\n          context.evalue.isResponse = true\n          context.evalue.paraphrase = false\n          // context.paraphrase = false\n          // context.isResponse = true\n        }\n        /*\n        if (!context.value) {\n          context.isResponse = false\n          context.paraphrase = true\n        }\n        */\n      }"
+          "generatorp": "async ({gp, context}) => `${await gp(context.x)} ${context.word} ${await gp(context.y)}`",
+          "evaluator": "async ({e, context}) => {\n        const x = toValue(await e(context.x)) \n        const y = toValue(await e(context.y))\n        if (!x || !y) {\n          // context.evalue = { ...context, paraphrase: true, x: { ...context.x, value: x }, y: { ...context.y, value: y } }\n          context.isResponse = false\n        } else {\n          context.evalue = apply(x, y)\n          context.evalue.isResponse = true\n          context.evalue.paraphrase = false\n          // context.paraphrase = false\n          // context.isResponse = true\n        }\n        /*\n        if (!context.value) {\n          context.isResponse = false\n          context.paraphrase = true\n        }\n        */\n      }"
         },
         {
           "where": "/home/dev/code/theprogrammablemind/kms/common/math.js:32",
@@ -129,7 +128,7 @@
           "level": 0,
           "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 }",
           "isA": [
-            "mathematicalOperator"
+            "mathematical_operator"
           ],
           "before": [
             [
@@ -151,7 +150,7 @@
             "times",
             "*"
           ],
-          "generatorp": "({gp, context}) => context.word"
+          "generatorp": "({context}) => context.word"
         },
         {
           "where": "/home/dev/code/theprogrammablemind/kms/common/math.js:44",
@@ -161,8 +160,8 @@
           "isA": [
             "mathematicalExpression"
           ],
-          "generatorp": "({gp, context}) => `${gp(context.x)} ${context.word} ${gp(context.y)}`",
-          "evaluator": "({e, context}) => {\n        const x = toValue(e(context.x)) \n        const y = toValue(e(context.y))\n        if (!x || !y) {\n          // context.evalue = { ...context, paraphrase: true, x: { ...context.x, value: x }, y: { ...context.y, value: y } }\n          context.isResponse = false\n        } else {\n          context.evalue = apply(x, y)\n          context.evalue.isResponse = true\n          context.evalue.paraphrase = false\n          // context.paraphrase = false\n          // context.isResponse = true\n        }\n        /*\n        if (!context.value) {\n          context.isResponse = false\n          context.paraphrase = true\n        }\n        */\n      }"
+          "generatorp": "async ({gp, context}) => `${await gp(context.x)} ${context.word} ${await gp(context.y)}`",
+          "evaluator": "async ({e, context}) => {\n        const x = toValue(await e(context.x)) \n        const y = toValue(await e(context.y))\n        if (!x || !y) {\n          // context.evalue = { ...context, paraphrase: true, x: { ...context.x, value: x }, y: { ...context.y, value: y } }\n          context.isResponse = false\n        } else {\n          context.evalue = apply(x, y)\n          context.evalue.isResponse = true\n          context.evalue.paraphrase = false\n          // context.paraphrase = false\n          // context.isResponse = true\n        }\n        /*\n        if (!context.value) {\n          context.isResponse = false\n          context.paraphrase = true\n        }\n        */\n      }"
         },
         {
           "where": "/home/dev/code/theprogrammablemind/kms/common/math.js:32",
@@ -170,7 +169,7 @@
           "level": 0,
           "bridge": "{ ...next(operator), marker: next(operator('divideByExpression')), 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 }",
           "isA": [
-            "mathematicalOperator"
+            "mathematical_operator"
           ],
           "before": [
             [
@@ -191,7 +190,7 @@
           "words": [
             "/"
           ],
-          "generatorp": "({gp, context}) => context.word"
+          "generatorp": "({context}) => context.word"
         },
         {
           "where": "/home/dev/code/theprogrammablemind/kms/common/math.js:44",
@@ -201,8 +200,8 @@
           "isA": [
             "mathematicalExpression"
           ],
-          "generatorp": "({gp, context}) => `${gp(context.x)} ${context.word} ${gp(context.y)}`",
-          "evaluator": "({e, context}) => {\n        const x = toValue(e(context.x)) \n        const y = toValue(e(context.y))\n        if (!x || !y) {\n          // context.evalue = { ...context, paraphrase: true, x: { ...context.x, value: x }, y: { ...context.y, value: y } }\n          context.isResponse = false\n        } else {\n          context.evalue = apply(x, y)\n          context.evalue.isResponse = true\n          context.evalue.paraphrase = false\n          // context.paraphrase = false\n          // context.isResponse = true\n        }\n        /*\n        if (!context.value) {\n          context.isResponse = false\n          context.paraphrase = true\n        }\n        */\n      }"
+          "generatorp": "async ({gp, context}) => `${await gp(context.x)} ${context.word} ${await gp(context.y)}`",
+          "evaluator": "async ({e, context}) => {\n        const x = toValue(await e(context.x)) \n        const y = toValue(await e(context.y))\n        if (!x || !y) {\n          // context.evalue = { ...context, paraphrase: true, x: { ...context.x, value: x }, y: { ...context.y, value: y } }\n          context.isResponse = false\n        } else {\n          context.evalue = apply(x, y)\n          context.evalue.isResponse = true\n          context.evalue.paraphrase = false\n          // context.paraphrase = false\n          // context.isResponse = true\n        }\n        /*\n        if (!context.value) {\n          context.isResponse = false\n          context.paraphrase = true\n        }\n        */\n      }"
         }
       ]
     }
@@ -212,267 +211,348 @@
       "hierarchy": [
         [
           "a",
-          "articlePOS"
+          "articlePOS",
+          false
+        ],
+        [
+          "adjective",
+          "adjective",
+          false
         ],
         [
           "all",
-          "quantifier"
+          "quantifier",
+          false
         ],
         [
           "articlePOS",
-          "articlePOS"
+          "articlePOS",
+          false
         ],
         [
           "between",
-          "preposition"
+          "preposition",
+          false
         ],
         [
           "canBeDoQuestion",
-          "canBeDoQuestion"
+          "canBeDoQuestion",
+          false
         ],
         [
           "canBeQuestion",
-          "canBeQuestion"
+          "canBeQuestion",
+          false
         ],
         [
           "concept",
-          "queryable"
+          "queryable",
+          false
         ],
         [
           "concept",
-          "theAble"
+          "theAble",
+          false
         ],
         [
           "condition",
-          "condition"
+          "condition",
+          false
         ],
         [
           "countable",
-          "hierarchyAble"
+          "hierarchyAble",
+          false
         ],
         [
           "doubleQuote",
-          "queryable"
+          "queryable",
+          false
+        ],
+        [
+          "evaluate",
+          "verby",
+          false
         ],
         [
           "hasCountOfPieces",
-          "countable"
+          "countable",
+          false
         ],
         [
           "have",
-          "canBeDoQuestion"
+          "canBeDoQuestion",
+          false
         ],
         [
           "have",
-          "canBeQuestion"
+          "canBeQuestion",
+          false
         ],
         [
           "hierarchyAble",
-          "queryable"
+          "queryable",
+          false
         ],
         [
           "highest",
-          "condition"
+          "condition",
+          false
         ],
         [
           "ifAble",
-          "ifAble"
+          "ifAble",
+          false
         ],
         [
           "is",
-          "canBeQuestion"
+          "canBeQuestion",
+          false
         ],
         [
           "is",
-          "verby"
+          "verby",
+          false
         ],
         [
           "it",
-          "pronoun"
+          "pronoun",
+          false
         ],
         [
           "it",
-          "queryable"
+          "queryable",
+          false
         ],
         [
           "it",
-          "thisitthat"
+          "thisitthat",
+          false
         ],
         [
           "it",
-          "toAble"
+          "toAble",
+          false
         ],
         [
           "lowest",
-          "condition"
+          "condition",
+          false
         ],
         [
-          "modifies",
-          "verby"
+          "memorable",
+          "theAble",
+          false
         ],
         [
-          "notAble",
-          "notAble"
+          "modifies",
+          "verby",
+          false
         ],
         [
           "noun",
-          "theAble"
+          "theAble",
+          false
         ],
         [
           "number",
-          "quantifier"
+          "quantifier",
+          false
         ],
         [
           "number",
-          "queryable"
+          "queryable",
+          false
         ],
         [
           "object",
-          "queryable"
+          "queryable",
+          false
         ],
         [
           "object",
-          "theAble"
+          "theAble",
+          false
         ],
         [
           "orAble",
-          "ifAble"
+          "ifAble",
+          false
         ],
         [
           "preposition",
-          "preposition"
+          "preposition",
+          false
         ],
         [
           "pronoun",
-          "pronoun"
+          "pronoun",
+          false
         ],
         [
           "property",
-          "queryable"
+          "queryable",
+          false
         ],
         [
           "property",
-          "theAble"
+          "theAble",
+          false
         ],
         [
           "property",
-          "unknown"
+          "unknown",
+          false
         ],
         [
           "punctuation",
-          "punctuation"
+          "punctuation",
+          false
         ],
         [
           "quantifier",
-          "quantifier"
+          "quantifier",
+          false
         ],
         [
           "queryable",
-          "queryable"
+          "queryable",
+          false
         ],
         [
           "questionMark",
-          "punctuation"
+          "punctuation",
+          false
         ],
         [
           "readonly",
-          "queryable"
+          "queryable",
+          false
         ],
         [
           "reason",
-          "queryable"
+          "queryable",
+          false
         ],
         [
           "reason",
-          "theAble"
+          "theAble",
+          false
+        ],
+        [
+          "remember",
+          "verby",
+          false
+        ],
+        [
+          "stm_before",
+          "adjective",
+          false
         ],
         [
           "that",
-          "thisitthat"
+          "thisitthat",
+          false
         ],
         [
           "the",
-          "articlePOS"
+          "articlePOS",
+          false
         ],
         [
           "theAble",
-          "theAble"
+          "theAble",
+          false
         ],
         [
           "this",
-          "pronoun"
+          "pronoun",
+          false
         ],
         [
           "this",
-          "queryable"
+          "queryable",
+          false
         ],
         [
           "this",
-          "thisitthat"
+          "thisitthat",
+          false
         ],
         [
           "thisitthat",
-          "queryable"
+          "queryable",
+          false
         ],
         [
           "to",
-          "preposition"
+          "preposition",
+          false
         ],
         [
           "toAble",
-          "toAble"
+          "toAble",
+          false
         ],
         [
           "type",
-          "property"
+          "property",
+          false
         ],
         [
           "type",
-          "whatAble"
-        ],
-        [
-          "unknown",
-          "hierarchyAble"
+          "whatAble",
+          false
         ],
         [
           "unknown",
-          "notAble"
+          "hierarchyAble",
+          false
         ],
         [
           "unknown",
-          "object"
+          "object",
+          false
         ],
         [
           "unknown",
-          "queryable"
+          "queryable",
+          false
         ],
         [
           "unknown",
-          "theAble"
+          "theAble",
+          false
         ],
         [
           "verby",
-          "verby"
+          "verby",
+          false
         ],
         [
           "what",
-          "object"
+          "object",
+          false
         ],
         [
           "what",
-          "queryable"
+          "queryable",
+          false
         ],
         [
           "whatAble",
-          "queryable"
+          "queryable",
+          false
         ],
         [
           "whose",
-          "object"
+          "object",
+          false
         ],
         [
           "xfx",
-          "queryable"
+          "queryable",
+          false
         ]
       ],
       "metadata": {
@@ -631,964 +711,12 @@
         "query": "mathematical modifies operator"
       }
     },
-    {
-      "hierarchy": [
-        [
-          "a",
-          "articlePOS"
-        ],
-        [
-          "adjective",
-          "adjective"
-        ],
-        [
-          "all",
-          "quantifier"
-        ],
-        [
-          "articlePOS",
-          "articlePOS"
-        ],
-        [
-          "between",
-          "preposition"
-        ],
-        [
-          "canBeDoQuestion",
-          "canBeDoQuestion"
-        ],
-        [
-          "canBeQuestion",
-          "canBeQuestion"
-        ],
-        [
-          "concept",
-          "queryable"
-        ],
-        [
-          "concept",
-          "theAble"
-        ],
-        [
-          "condition",
-          "condition"
-        ],
-        [
-          "countable",
-          "hierarchyAble"
-        ],
-        [
-          "doubleQuote",
-          "queryable"
-        ],
-        [
-          "hasCountOfPieces",
-          "countable"
-        ],
-        [
-          "have",
-          "canBeDoQuestion"
-        ],
-        [
-          "have",
-          "canBeQuestion"
-        ],
-        [
-          "hierarchyAble",
-          "queryable"
-        ],
-        [
-          "highest",
-          "condition"
-        ],
-        [
-          "ifAble",
-          "ifAble"
-        ],
-        [
-          "is",
-          "canBeQuestion"
-        ],
-        [
-          "is",
-          "verby"
-        ],
-        [
-          "isEdee",
-          "isEdee"
-        ],
-        [
-          "isEder",
-          "isEder"
-        ],
-        [
-          "it",
-          "pronoun"
-        ],
-        [
-          "it",
-          "queryable"
-        ],
-        [
-          "it",
-          "thisitthat"
-        ],
-        [
-          "it",
-          "toAble"
-        ],
-        [
-          "lowest",
-          "condition"
-        ],
-        [
-          "mathematical",
-          "hierarchyAble"
-        ],
-        [
-          "mathematical",
-          "isEdee"
-        ],
-        [
-          "mathematical",
-          "isEder"
-        ],
-        [
-          "mathematical",
-          "object"
-        ],
-        [
-          "mathematical",
-          "operator_modifier"
-        ],
-        [
-          "mathematical",
-          "property"
-        ],
-        [
-          "mathematical",
-          "queryable"
-        ],
-        [
-          "mathematical",
-          "theAble"
-        ],
-        [
-          "mathematical_operator",
-          "adjective"
-        ],
-        [
-          "mathematical_operator",
-          "concept"
-        ],
-        [
-          "mathematical_operator",
-          "hierarchyAble"
-        ],
-        [
-          "mathematical_operator",
-          "isEdee"
-        ],
-        [
-          "mathematical_operator",
-          "isEder"
-        ],
-        [
-          "mathematical_operator",
-          "object"
-        ],
-        [
-          "mathematical_operator",
-          "operator"
-        ],
-        [
-          "mathematical_operator",
-          "property"
-        ],
-        [
-          "mathematical_operator",
-          "queryable"
-        ],
-        [
-          "mathematical_operator",
-          "theAble"
-        ],
-        [
-          "modifies",
-          "verby"
-        ],
-        [
-          "notAble",
-          "notAble"
-        ],
-        [
-          "noun",
-          "theAble"
-        ],
-        [
-          "number",
-          "quantifier"
-        ],
-        [
-          "number",
-          "queryable"
-        ],
-        [
-          "object",
-          "queryable"
-        ],
-        [
-          "object",
-          "theAble"
-        ],
-        [
-          "operator",
-          "concept"
-        ],
-        [
-          "operator",
-          "hierarchyAble"
-        ],
-        [
-          "operator",
-          "isEdee"
-        ],
-        [
-          "operator",
-          "isEder"
-        ],
-        [
-          "operator",
-          "object"
-        ],
-        [
-          "operator",
-          "property"
-        ],
-        [
-          "operator",
-          "queryable"
-        ],
-        [
-          "operator",
-          "theAble"
-        ],
-        [
-          "operator_modifier",
-          "operator_modifier"
-        ],
-        [
-          "orAble",
-          "ifAble"
-        ],
-        [
-          "preposition",
-          "preposition"
-        ],
-        [
-          "pronoun",
-          "pronoun"
-        ],
-        [
-          "property",
-          "queryable"
-        ],
-        [
-          "property",
-          "theAble"
-        ],
-        [
-          "property",
-          "unknown"
-        ],
-        [
-          "punctuation",
-          "punctuation"
-        ],
-        [
-          "quantifier",
-          "quantifier"
-        ],
-        [
-          "queryable",
-          "queryable"
-        ],
-        [
-          "questionMark",
-          "punctuation"
-        ],
-        [
-          "readonly",
-          "queryable"
-        ],
-        [
-          "reason",
-          "queryable"
-        ],
-        [
-          "reason",
-          "theAble"
-        ],
-        [
-          "that",
-          "thisitthat"
-        ],
-        [
-          "the",
-          "articlePOS"
-        ],
-        [
-          "theAble",
-          "theAble"
-        ],
-        [
-          "this",
-          "pronoun"
-        ],
-        [
-          "this",
-          "queryable"
-        ],
-        [
-          "this",
-          "thisitthat"
-        ],
-        [
-          "thisitthat",
-          "queryable"
-        ],
-        [
-          "to",
-          "preposition"
-        ],
-        [
-          "toAble",
-          "toAble"
-        ],
-        [
-          "type",
-          "property"
-        ],
-        [
-          "type",
-          "whatAble"
-        ],
-        [
-          "unknown",
-          "hierarchyAble"
-        ],
-        [
-          "unknown",
-          "notAble"
-        ],
-        [
-          "unknown",
-          "object"
-        ],
-        [
-          "unknown",
-          "queryable"
-        ],
-        [
-          "unknown",
-          "theAble"
-        ],
-        [
-          "verby",
-          "verby"
-        ],
-        [
-          "what",
-          "object"
-        ],
-        [
-          "what",
-          "queryable"
-        ],
-        [
-          "whatAble",
-          "queryable"
-        ],
-        [
-          "whose",
-          "object"
-        ],
-        [
-          "xfx",
-          "queryable"
-        ]
-      ],
-      "metadata": {
-        "opChoices": [
-          {
-            "op": [
-              "unknown",
-              0
-            ],
-            "ops": [
-              [
-                "unknown",
-                0
-              ],
-              [
-                "unknown",
-                0
-              ],
-              [
-                "unknown",
-                0
-              ],
-              [
-                "unknown",
-                0
-              ],
-              [
-                "is",
-                0
-              ],
-              [
-                "mathematical",
-                0
-              ],
-              [
-                "operator",
-                0
-              ],
-              [
-                "mathematical_operator",
-                0
-              ],
-              [
-                "list",
-                0
-              ]
-            ],
-            "counter": 1
-          },
-          {
-            "op": [
-              "unknown",
-              0
-            ],
-            "ops": [
-              [
-                "unknown",
-                0
-              ],
-              [
-                "unknown",
-                0
-              ],
-              [
-                "unknown",
-                0
-              ],
-              [
-                "is",
-                0
-              ],
-              [
-                "mathematical",
-                0
-              ],
-              [
-                "operator",
-                0
-              ],
-              [
-                "mathematical_operator",
-                0
-              ],
-              [
-                "list",
-                0
-              ]
-            ],
-            "counter": 2
-          },
-          {
-            "op": [
-              "unknown",
-              0
-            ],
-            "ops": [
-              [
-                "unknown",
-                0
-              ],
-              [
-                "unknown",
-                0
-              ],
-              [
-                "is",
-                0
-              ],
-              [
-                "mathematical",
-                0
-              ],
-              [
-                "operator",
-                0
-              ],
-              [
-                "mathematical_operator",
-                0
-              ],
-              [
-                "list",
-                0
-              ]
-            ],
-            "counter": 3
-          },
-          {
-            "op": [
-              "unknown",
-              0
-            ],
-            "ops": [
-              [
-                "unknown",
-                0
-              ],
-              [
-                "is",
-                0
-              ],
-              [
-                "mathematical",
-                0
-              ],
-              [
-                "operator",
-                0
-              ],
-              [
-                "mathematical_operator",
-                0
-              ],
-              [
-                "list",
-                0
-              ]
-            ],
-            "counter": 4
-          },
-          {
-            "op": [
-              "list",
-              0
-            ],
-            "ops": [
-              [
-                "is",
-                0
-              ],
-              [
-                "mathematical",
-                0
-              ],
-              [
-                "operator",
-                0
-              ],
-              [
-                "mathematical_operator",
-                0
-              ],
-              [
-                "list",
-                0
-              ]
-            ],
-            "counter": 5
-          },
-          {
-            "op": [
-              "list",
-              1
-            ],
-            "ops": [
-              [
-                "is",
-                0
-              ],
-              [
-                "mathematical",
-                0
-              ],
-              [
-                "operator",
-                0
-              ],
-              [
-                "mathematical_operator",
-                0
-              ],
-              [
-                "list",
-                1
-              ]
-            ],
-            "counter": 6
-          },
-          {
-            "op": [
-              "list",
-              1
-            ],
-            "ops": [
-              [
-                "is",
-                0
-              ],
-              [
-                "mathematical",
-                0
-              ],
-              [
-                "operator",
-                0
-              ],
-              [
-                "mathematical_operator",
-                0
-              ],
-              [
-                "list",
-                1
-              ]
-            ],
-            "counter": 7
-          },
-          {
-            "op": [
-              "mathematical_operator",
-              0
-            ],
-            "ops": [
-              [
-                "is",
-                0
-              ],
-              [
-                "mathematical",
-                0
-              ],
-              [
-                "operator",
-                0
-              ],
-              [
-                "mathematical_operator",
-                0
-              ]
-            ],
-            "counter": 8
-          },
-          {
-            "op": [
-              "is",
-              0
-            ],
-            "ops": [
-              [
-                "is",
-                0
-              ]
-            ],
-            "counter": 9
-          },
-          {
-            "op": [
-              "is",
-              1
-            ],
-            "ops": [
-              [
-                "is",
-                1
-              ]
-            ],
-            "counter": 10
-          }
-        ]
-      },
-      "trace": "undefined",
-      "contexts": [
-        {
-          "number": "many",
-          "text": "* + / and - are mathematical operators",
-          "marker": "is",
-          "word": "are",
-          "range": {
-            "start": 0,
-            "end": 37
-          },
-          "one": {
-            "number": "many",
-            "marker": "list",
-            "default": true,
-            "word": "and",
-            "text": "* + / and -",
-            "range": {
-              "start": 0,
-              "end": 37
-            },
-            "types": [
-              "list",
-              "unknown"
-            ],
-            "listable": true,
-            "isList": true,
-            "value": [
-              {
-                "marker": "unknown",
-                "value": "*",
-                "word": "*",
-                "text": "*",
-                "range": {
-                  "start": 0,
-                  "end": 0
-                },
-                "unknown": true,
-                "dead": true,
-                "level": 1
-              },
-              {
-                "marker": "unknown",
-                "value": "+",
-                "word": "+",
-                "text": "+",
-                "range": {
-                  "start": 2,
-                  "end": 2
-                },
-                "unknown": true,
-                "dead": true,
-                "level": 1
-              },
-              {
-                "marker": "unknown",
-                "value": "/",
-                "word": "/",
-                "text": "/",
-                "range": {
-                  "start": 4,
-                  "end": 4
-                },
-                "unknown": true,
-                "dead": true,
-                "level": 1
-              },
-              {
-                "marker": "unknown",
-                "value": "-",
-                "word": "-",
-                "text": "-",
-                "range": {
-                  "start": 10,
-                  "end": 10
-                },
-                "unknown": true,
-                "dead": true,
-                "level": 1
-              }
-            ],
-            "level": 1
-          },
-          "two": {
-            "value": "mathematical_operator",
-            "number": "many",
-            "text": "mathematical operators",
-            "marker": "mathematical_operator",
-            "word": "operators",
-            "range": {
-              "start": 16,
-              "end": 37
-            },
-            "types": [
-              "mathematical_operator",
-              "operator"
-            ],
-            "modifier_mathematical": {
-              "value": "mathematical",
-              "number": "one",
-              "text": "mathematical",
-              "marker": "mathematical",
-              "word": "mathematical",
-              "range": {
-                "start": 16,
-                "end": 27
-              },
-              "types": [
-                "mathematical"
-              ],
-              "level": 0
-            },
-            "atomic": true,
-            "dead": true,
-            "modifiers": [
-              "modifier_mathematical"
-            ],
-            "level": 1,
-            "concept": true
-          },
-          "dead": true,
-          "level": 2,
-          "topLevel": true,
-          "touchedBy": [
-            "math#call2"
-          ]
-        }
-      ],
-      "generated": [
-        ""
-      ],
-      "paraphrases": [
-        "*, +, / and - are mathematical operators"
-      ],
-      "paraphrasesParenthesized": [],
-      "generatedParenthesized": [],
-      "responses": [
-        ""
-      ],
-      "associations": [
-        [
-          [
-            "is",
-            0
-          ],
-          [
-            "list",
-            0
-          ],
-          [
-            "mathematical",
-            0
-          ],
-          [
-            "operator",
-            0
-          ],
-          [
-            "unknown",
-            0
-          ]
-        ],
-        [
-          [
-            "is",
-            0
-          ],
-          [
-            "list",
-            0
-          ],
-          [
-            "mathematical",
-            0
-          ],
-          [
-            "operator",
-            0
-          ],
-          [
-            "unknown",
-            0
-          ],
-          [
-            "unknown",
-            1
-          ]
-        ],
-        [
-          [
-            "is",
-            0
-          ],
-          [
-            "list",
-            0
-          ],
-          [
-            "mathematical",
-            0
-          ],
-          [
-            "operator",
-            0
-          ],
-          [
-            "unknown",
-            1
-          ]
-        ],
-        [
-          [
-            "is",
-            0
-          ],
-          [
-            "list",
-            1
-          ]
-        ],
-        [
-          [
-            "is",
-            0
-          ],
-          [
-            "list",
-            1
-          ],
-          [
-            "mathematical",
-            0
-          ],
-          [
-            "operator",
-            0
-          ]
-        ],
-        [
-          [
-            "is",
-            0
-          ],
-          [
-            "list",
-            1
-          ],
-          [
-            "mathematical",
-            0
-          ],
-          [
-            "operator",
-            0
-          ],
-          [
-            "unknown",
-            1
-          ]
-        ]
-      ],
-      "learned_contextual_priorities": [],
-      "query": "* + / and - are mathematical operators",
-      "key": {
-        "query": "* + / and - are mathematical operators"
-      }
-    },
     {
       "extraConfig": true,
       "name": "math",
       "operators": [
         "([mathematicalExpression])",
-        "([mathematicalOperator])",
+        "([mathematical_operator])",
         "(([number|]) [plusOperator] ([number|]))",
         "(([number|]) [minusOperator] ([number|]))",
         "(([number|]) [timesOperator] ([number|]))",
@@ -1615,7 +743,7 @@
           ]
         },
         {
-          "id": "mathematicalOperator",
+          "id": "mathematical_operator",
           "before": [
             "verby"
           ],
@@ -1647,7 +775,7 @@
           "level": 0,
           "bridge": "{ ...next(operator), marker: next(operator('plusExpression')), 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 }",
           "isA": [
-            "mathematicalOperator"
+            "mathematical_operator"
           ],
           "before": [],
           "localHierarchy": [
@@ -1676,7 +804,7 @@
           "level": 0,
           "bridge": "{ ...next(operator), marker: next(operator('minusExpression')), 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 }",
           "isA": [
-            "mathematicalOperator"
+            "mathematical_operator"
           ],
           "before": [],
           "localHierarchy": [
@@ -1705,7 +833,7 @@
           "level": 0,
           "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 }",
           "isA": [
-            "mathematicalOperator"
+            "mathematical_operator"
           ],
           "before": [
             [
@@ -1743,7 +871,7 @@
           "level": 0,
           "bridge": "{ ...next(operator), marker: next(operator('divideByExpression')), 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 }",
           "isA": [
-            "mathematicalOperator"
+            "mathematical_operator"
           ],
           "before": [
             [
@@ -1780,126 +908,6 @@
   "fragments": [],
   "semantics": [],
   "associations": [
-    [
-      [
-        "is",
-        0
-      ],
-      [
-        "list",
-        0
-      ],
-      [
-        "mathematical",
-        0
-      ],
-      [
-        "operator",
-        0
-      ],
-      [
-        "unknown",
-        0
-      ]
-    ],
-    [
-      [
-        "is",
-        0
-      ],
-      [
-        "list",
-        0
-      ],
-      [
-        "mathematical",
-        0
-      ],
-      [
-        "operator",
-        0
-      ],
-      [
-        "unknown",
-        0
-      ],
-      [
-        "unknown",
-        1
-      ]
-    ],
-    [
-      [
-        "is",
-        0
-      ],
-      [
-        "list",
-        0
-      ],
-      [
-        "mathematical",
-        0
-      ],
-      [
-        "operator",
-        0
-      ],
-      [
-        "unknown",
-        1
-      ]
-    ],
-    [
-      [
-        "is",
-        0
-      ],
-      [
-        "list",
-        1
-      ]
-    ],
-    [
-      [
-        "is",
-        0
-      ],
-      [
-        "list",
-        1
-      ],
-      [
-        "mathematical",
-        0
-      ],
-      [
-        "operator",
-        0
-      ]
-    ],
-    [
-      [
-        "is",
-        0
-      ],
-      [
-        "list",
-        1
-      ],
-      [
-        "mathematical",
-        0
-      ],
-      [
-        "operator",
-        0
-      ],
-      [
-        "unknown",
-        1
-      ]
-    ],
     [
       [
         "modifies",