ekms 8.0.0 → 8.1.0

package/common/dimension.instance.json

@@ -43,7 +43,7 @@
         {
           "where": "/home/dev/code/theprogrammablemind/kms/common/dimension.js:77",
           "match": "({context}) => context.marker == 'noconversion'",
-          "apply": "({context, gp}) => `there is no conversion between ${gp(context.from)} and ${gp(context.to)}`"
+          "apply": "async ({context, gp}) => `there is no conversion between ${await gp(context.from)} and ${await gp(context.to)}`"
         }
       ],
       "bridges": [
@@ -75,7 +75,7 @@
           "isA": [
             "amount"
           ],
-          "generatorp": "({context, g}) => (context.amount) ? `${g(context.amount)} ${context.word}` : context.word",
+          "generatorp": "async ({context, g}) => (context.amount) ? `${await g(context.amount)} ${context.word}` : context.word",
           "bridge": "{ ...next(operator), value: before[0].value, amount: before[0] }"
         },
         {
@@ -91,6 +91,12 @@
             "expression",
             "queryable"
           ],
+          "localHierarchy": [
+            [
+              "unknown",
+              "dimension"
+            ]
+          ],
           "after": [
             [
               "possession",
@@ -101,11 +107,14 @@
               1
             ]
           ],
-          "generatorp": "({context, g}) => `${g(context.from)} ${context.word} ${g(context.to)}`",
-          "evaluator": "({context, kms, e, error}) => {\n        /*\n        error(({context, e}) => {\n          context.evalue = 'dont know...'\n        })\n        */\n        const from = context.from;\n        const to = context.to;\n        let evalue;\n        let efrom = from\n        if (!from.unit) {\n          efrom = e(from).evalue\n        }\n        if (to.value == efrom.unit.value) {\n          evalue = efrom.amount\n        } else {\n          const formula = kms.formulas.api.get(to, [efrom.unit])\n          if (!formula) {\n            const reason = { marker: 'reason', focusableForPhrase: true, evalue: { marker: 'noconversion', from: efrom.unit, to } }\n            kms.stm.api.mentioned(reason)\n            error(reason)\n          }\n          kms.stm.api.setVariable(efrom.unit.value, efrom.amount)\n          evalue = e(formula)\n        }\n        /*\n        '{\n            \"marker\":\"dimension\",\n            \"unit\":{\"marker\":\"unit\",\"range\":{\"start\":19,\"end\":25},\"word\":\"celcius\",\"text\":\"celcius\",\"value\":\"celcius\",\"unknown\":true,\"types\":[\"unit\",\"unknown\"]},\n            \"value\":10,\n            \"amount\":{\"word\":\"degrees\",\"number\":\"many\",\"text\":\"10 degrees\",\"marker\":\"degree\",\"range\":{\"start\":8,\"end\":17},\"value\":10,\"amount\":{\"value\":10,\"text\":\"10\",\"marker\":\"number\",\"word\":\"10\",\"range\":{\"start\":8,\"end\":9},\"types\":[\"number\"]}},\n              \"text\":\"10 degrees celcius\",\"range\":{\"start\":8,\"end\":25}}'\n        */\n        context.evalue = { \n          paraphrase: true,\n          marker: 'dimension',\n          level: 1,\n          unit: to,\n          amount: { evalue, paraphrase: undefined }\n        }\n      }"
+          "generatorp": "async ({context, g}) => `${await g(context.from)} ${context.word} ${await g(context.to)}`",
+          "evaluator": "async ({context, kms, e, error}) => {\n        /*\n        error(({context, e}) => {\n          context.evalue = 'dont know...'\n        })\n        */\n        const from = context.from;\n        const to = context.to;\n        let evalue;\n        let efrom = from\n        if (!from.unit) {\n          efrom = (await e(from)).evalue\n        }\n        if (to.value == efrom.unit.value) {\n          evalue = efrom.amount\n        } else {\n          const formula = kms.formulas.api.get(to, [efrom.unit])\n          if (!formula) {\n            const reason = { marker: 'reason', focusableForPhrase: true, evalue: { marker: 'noconversion', from: efrom.unit, to } }\n            kms.stm.api.mentioned({ context: reason })\n            error(reason)\n          }\n          kms.stm.api.setVariable(efrom.unit.value, efrom.amount)\n          evalue = await e(formula)\n        }\n        /*\n        '{\n            \"marker\":\"dimension\",\n            \"unit\":{\"marker\":\"unit\",\"range\":{\"start\":19,\"end\":25},\"word\":\"celcius\",\"text\":\"celcius\",\"value\":\"celcius\",\"unknown\":true,\"types\":[\"unit\",\"unknown\"]},\n            \"value\":10,\n            \"amount\":{\"word\":\"degrees\",\"number\":\"many\",\"text\":\"10 degrees\",\"marker\":\"degree\",\"range\":{\"start\":8,\"end\":17},\"value\":10,\"amount\":{\"value\":10,\"text\":\"10\",\"marker\":\"number\",\"word\":\"10\",\"range\":{\"start\":8,\"end\":9},\"types\":[\"number\"]}},\n              \"text\":\"10 degrees celcius\",\"range\":{\"start\":8,\"end\":25}}'\n        */\n        context.evalue = { \n          paraphrase: true,\n          marker: 'dimension',\n          level: 1,\n          unit: to,\n          amount: { evalue, paraphrase: undefined }\n        }\n      }"
         },
         {
-          "id": "unit"
+          "id": "unit",
+          "isA": [
+            "number"
+          ]
         }
       ]
     }
@@ -114,624 +123,839 @@
     {
       "hierarchy": [
         [
-          "*",
-          "hierarchyAble"
-        ],
-        [
-          "*",
-          "isEdee"
-        ],
-        [
-          "*",
-          "isEder"
-        ],
-        [
-          "*",
-          "mathematical_operator"
-        ],
-        [
-          "*",
-          "object"
-        ],
-        [
-          "*",
-          "property"
-        ],
-        [
-          "*",
-          "queryable"
-        ],
-        [
-          "*",
-          "theAble"
-        ],
-        [
-          "+",
-          "hierarchyAble"
-        ],
-        [
-          "+",
-          "isEdee"
-        ],
-        [
-          "+",
-          "isEder"
-        ],
-        [
-          "+",
-          "mathematical_operator"
-        ],
-        [
-          "+",
-          "object"
-        ],
-        [
-          "+",
-          "property"
-        ],
-        [
-          "+",
-          "queryable"
+          "a",
+          "articlePOS",
+          false
         ],
         [
-          "+",
-          "theAble"
+          "adjective",
+          "adjective",
+          false
         ],
         [
-          "-",
-          "hierarchyAble"
+          "all",
+          "quantifier",
+          false
         ],
         [
-          "-",
-          "isEdee"
+          "articlePOS",
+          "articlePOS",
+          false
         ],
         [
-          "-",
-          "isEder"
+          "ascending",
+          "hierarchyAble",
+          false
         ],
         [
-          "-",
-          "mathematical_operator"
+          "ascending",
+          "isEdee",
+          false
         ],
         [
-          "-",
-          "object"
+          "ascending",
+          "isEder",
+          false
         ],
         [
-          "-",
-          "property"
+          "ascending",
+          "object",
+          false
         ],
         [
-          "-",
-          "queryable"
+          "ascending",
+          "property",
+          false
         ],
         [
-          "-",
-          "theAble"
+          "ascending",
+          "queryable",
+          false
         ],
         [
-          "/",
-          "hierarchyAble"
+          "ascending",
+          "sort_ordering",
+          false
         ],
         [
-          "/",
-          "isEdee"
+          "ascending",
+          "theAble",
+          false
         ],
         [
-          "/",
-          "isEder"
+          "between",
+          "preposition",
+          false
         ],
         [
-          "/",
-          "mathematical_operator"
+          "calculate",
+          "verb",
+          false
         ],
         [
-          "/",
-          "object"
+          "canBeDoQuestion",
+          "canBeDoQuestion",
+          false
         ],
         [
-          "/",
-          "property"
+          "canBeQuestion",
+          "canBeQuestion",
+          false
         ],
         [
-          "/",
-          "queryable"
+          "concept",
+          "queryable",
+          false
         ],
         [
-          "/",
-          "theAble"
+          "concept",
+          "theAble",
+          false
         ],
         [
-          "a",
-          "articlePOS"
+          "condition",
+          "condition",
+          false
         ],
         [
-          "adjective",
-          "adjective"
+          "countable",
+          "hierarchyAble",
+          false
         ],
         [
-          "all",
-          "quantifier"
+          "descending",
+          "hierarchyAble",
+          false
         ],
         [
-          "articlePOS",
-          "articlePOS"
+          "descending",
+          "isEdee",
+          false
         ],
         [
-          "between",
-          "preposition"
+          "descending",
+          "isEder",
+          false
         ],
         [
-          "calculate",
-          "verby"
+          "descending",
+          "object",
+          false
         ],
         [
-          "canBeDoQuestion",
-          "canBeDoQuestion"
+          "descending",
+          "property",
+          false
         ],
         [
-          "canBeQuestion",
-          "canBeQuestion"
+          "descending",
+          "queryable",
+          false
         ],
         [
-          "concept",
-          "queryable"
+          "descending",
+          "sort_ordering",
+          false
         ],
         [
-          "concept",
-          "theAble"
+          "descending",
+          "theAble",
+          false
         ],
         [
-          "condition",
-          "condition"
+          "divideByExpression",
+          "mathematicalExpression",
+          false
         ],
         [
-          "countable",
-          "hierarchyAble"
+          "divideByOperator",
+          "mathematical_operator",
+          false
         ],
         [
-          "divideByExpression",
-          "mathematicalExpression"
+          "doubleQuote",
+          "queryable",
+          false
         ],
         [
-          "divideByOperator",
-          "mathematicalOperator"
+          "evaluate",
+          "verb",
+          false
         ],
         [
           "expression",
-          "expression"
+          "expression",
+          false
         ],
         [
           "forVariable",
-          "preposition"
+          "preposition",
+          false
         ],
         [
           "formula",
-          "concept"
+          "concept",
+          false
         ],
         [
           "formula",
-          "hierarchyAble"
+          "hierarchyAble",
+          false
         ],
         [
           "formula",
-          "isEdee"
+          "isEdee",
+          false
         ],
         [
           "formula",
-          "isEder"
+          "isEder",
+          false
         ],
         [
           "formula",
-          "object"
+          "object",
+          false
         ],
         [
           "formula",
-          "property"
+          "property",
+          false
         ],
         [
           "formula",
-          "queryable"
+          "queryable",
+          false
         ],
         [
           "formula",
-          "theAble"
+          "theAble",
+          false
         ],
         [
           "formulaForVariable",
-          "preposition"
+          "preposition",
+          false
         ],
         [
           "formulaForVariable",
-          "queryable"
+          "queryable",
+          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"
+          "verb",
+          false
         ],
         [
           "isEdee",
-          "isEdee"
+          "isEdee",
+          false
         ],
         [
           "isEder",
-          "isEder"
+          "isEder",
+          false
         ],
         [
           "it",
-          "pronoun"
+          "pronoun",
+          false
         ],
         [
           "it",
-          "queryable"
+          "queryable",
+          false
         ],
         [
           "it",
-          "thisitthat"
+          "thisitthat",
+          false
         ],
         [
           "it",
-          "toAble"
+          "toAble",
+          false
         ],
         [
           "lowest",
-          "condition"
+          "condition",
+          false
         ],
         [
           "mathematical",
-          "hierarchyAble"
+          "hierarchyAble",
+          false
         ],
         [
           "mathematical",
-          "isEdee"
+          "isEdee",
+          false
         ],
         [
           "mathematical",
-          "isEder"
+          "isEder",
+          false
         ],
         [
           "mathematical",
-          "object"
+          "object",
+          false
         ],
         [
           "mathematical",
-          "operator_modifier"
+          "operator_modifier",
+          false
         ],
         [
           "mathematical",
-          "property"
+          "property",
+          false
         ],
         [
           "mathematical",
-          "queryable"
+          "queryable",
+          false
         ],
         [
           "mathematical",
-          "theAble"
+          "theAble",
+          false
         ],
         [
           "mathematicalExpression",
-          "concept"
+          "concept",
+          false
         ],
         [
           "mathematicalExpression",
-          "expression"
+          "expression",
+          false
         ],
         [
           "mathematicalExpression",
-          "number"
+          "number",
+          false
         ],
         [
-          "mathematicalOperator",
-          "mathematicalOperator"
+          "mathematical_operator",
+          "adjective",
+          true
         ],
         [
           "mathematical_operator",
-          "adjective"
+          "concept",
+          false
         ],
         [
           "mathematical_operator",
-          "concept"
+          "hierarchyAble",
+          false
         ],
         [
           "mathematical_operator",
-          "hierarchyAble"
+          "isEdee",
+          false
         ],
         [
           "mathematical_operator",
-          "isEdee"
+          "isEder",
+          false
         ],
         [
           "mathematical_operator",
-          "isEder"
+          "object",
+          false
         ],
         [
           "mathematical_operator",
-          "object"
+          "operator",
+          false
         ],
         [
           "mathematical_operator",
-          "operator"
+          "property",
+          false
         ],
         [
           "mathematical_operator",
-          "property"
+          "queryable",
+          false
         ],
         [
           "mathematical_operator",
-          "queryable"
+          "theAble",
+          false
         ],
         [
-          "mathematical_operator",
-          "theAble"
+          "memorable",
+          "theAble",
+          false
         ],
         [
           "minusExpression",
-          "mathematicalExpression"
+          "mathematicalExpression",
+          false
         ],
         [
           "minusOperator",
-          "mathematicalOperator"
+          "mathematical_operator",
+          false
         ],
         [
           "modifies",
-          "verby"
-        ],
-        [
-          "notAble",
-          "notAble"
+          "verb",
+          false
         ],
         [
           "noun",
-          "theAble"
+          "theAble",
+          false
         ],
         [
           "number",
-          "expression"
+          "expression",
+          false
         ],
         [
           "number",
-          "quantifier"
+          "quantifier",
+          false
         ],
         [
           "number",
-          "queryable"
+          "queryable",
+          false
         ],
         [
           "object",
-          "queryable"
+          "queryable",
+          false
         ],
         [
           "object",
-          "theAble"
+          "theAble",
+          false
         ],
         [
           "operator",
-          "concept"
+          "concept",
+          false
         ],
         [
           "operator",
-          "hierarchyAble"
+          "hierarchyAble",
+          false
         ],
         [
           "operator",
-          "isEdee"
+          "isEdee",
+          false
         ],
         [
           "operator",
-          "isEder"
+          "isEder",
+          false
         ],
         [
           "operator",
-          "object"
+          "object",
+          false
         ],
         [
           "operator",
-          "property"
+          "property",
+          false
         ],
         [
           "operator",
-          "queryable"
+          "queryable",
+          false
         ],
         [
           "operator",
-          "theAble"
+          "theAble",
+          false
         ],
         [
           "operator_modifier",
-          "operator_modifier"
+          "operator_modifier",
+          false
         ],
         [
           "orAble",
-          "ifAble"
+          "ifAble",
+          false
+        ],
+        [
+          "ordering",
+          "concept",
+          false
+        ],
+        [
+          "ordering",
+          "hierarchyAble",
+          false
+        ],
+        [
+          "ordering",
+          "isEdee",
+          false
+        ],
+        [
+          "ordering",
+          "isEder",
+          false
+        ],
+        [
+          "ordering",
+          "object",
+          false
+        ],
+        [
+          "ordering",
+          "property",
+          false
+        ],
+        [
+          "ordering",
+          "queryable",
+          false
+        ],
+        [
+          "ordering",
+          "theAble",
+          false
+        ],
+        [
+          "ordering_modifier",
+          "ordering_modifier",
+          false
         ],
         [
           "plusExpression",
-          "mathematicalExpression"
+          "mathematicalExpression",
+          false
         ],
         [
           "plusOperator",
-          "mathematicalOperator"
+          "mathematical_operator",
+          false
         ],
         [
           "preposition",
-          "preposition"
+          "preposition",
+          false
         ],
         [
           "pronoun",
-          "pronoun"
-        ],
-        [
-          "property",
-          "queryable"
+          "pronoun",
+          false
         ],
         [
           "property",
-          "theAble"
+          "queryable",
+          false
         ],
         [
           "property",
-          "unknown"
+          "theAble",
+          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",
+          "verb",
+          false
+        ],
+        [
+          "sort",
+          "hierarchyAble",
+          false
+        ],
+        [
+          "sort",
+          "isEdee",
+          false
+        ],
+        [
+          "sort",
+          "isEder",
+          false
+        ],
+        [
+          "sort",
+          "object",
+          false
+        ],
+        [
+          "sort",
+          "ordering_modifier",
+          false
+        ],
+        [
+          "sort",
+          "property",
+          false
+        ],
+        [
+          "sort",
+          "queryable",
+          false
+        ],
+        [
+          "sort",
+          "theAble",
+          false
+        ],
+        [
+          "sortOrdering",
+          "adjective",
+          false
+        ],
+        [
+          "sort_ordering",
+          "adjective",
+          true
+        ],
+        [
+          "sort_ordering",
+          "concept",
+          false
+        ],
+        [
+          "sort_ordering",
+          "hierarchyAble",
+          false
+        ],
+        [
+          "sort_ordering",
+          "isEdee",
+          false
+        ],
+        [
+          "sort_ordering",
+          "isEder",
+          false
+        ],
+        [
+          "sort_ordering",
+          "object",
+          false
+        ],
+        [
+          "sort_ordering",
+          "ordering",
+          false
+        ],
+        [
+          "sort_ordering",
+          "property",
+          false
+        ],
+        [
+          "sort_ordering",
+          "queryable",
+          false
+        ],
+        [
+          "sort_ordering",
+          "theAble",
+          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
         ],
         [
           "timesExpression",
-          "mathematicalExpression"
+          "mathematicalExpression",
+          false
         ],
         [
           "timesOperator",
-          "mathematicalOperator"
+          "mathematical_operator",
+          false
         ],
         [
           "to",
-          "preposition"
+          "preposition",
+          false
         ],
         [
           "toAble",
-          "toAble"
+          "toAble",
+          false
         ],
         [
           "type",
-          "property"
+          "property",
+          false
         ],
         [
           "type",
-          "whatAble"
-        ],
-        [
-          "unknown",
-          "hierarchyAble"
-        ],
-        [
-          "unknown",
-          "notAble"
+          "whatAble",
+          false
         ],
         [
           "unknown",
-          "object"
+          "hierarchyAble",
+          false
         ],
         [
           "unknown",
-          "queryable"
+          "queryable",
+          false
         ],
         [
           "unknown",
-          "theAble"
+          "theAble",
+          false
         ],
         [
-          "verby",
-          "verby"
+          "verb",
+          "verb",
+          false
         ],
         [
           "what",
-          "object"
+          "object",
+          false
         ],
         [
           "what",
-          "queryable"
+          "queryable",
+          false
         ],
         [
           "whatAble",
-          "queryable"
+          "queryable",
+          false
         ],
         [
           "whose",
-          "object"
+          "object",
+          false
         ],
         [
           "x",
-          "number"
+          "number",
+          false
         ],
         [
           "xfx",
-          "queryable"
+          "queryable",
+          false
         ],
         [
           "y",
-          "number"
+          "number",
+          false
         ]
       ],
       "metadata": {
@@ -743,15 +967,15 @@
             ],
             "ops": [
               [
-                "unknown",
+                "is",
                 0
               ],
               [
-                "unknown",
+                "list",
                 0
               ],
               [
-                "is",
+                "unknown",
                 0
               ],
               [
@@ -759,7 +983,7 @@
                 0
               ],
               [
-                "list",
+                "unknown",
                 0
               ]
             ],
@@ -772,11 +996,11 @@
             ],
             "ops": [
               [
-                "unknown",
+                "is",
                 0
               ],
               [
-                "is",
+                "list",
                 0
               ],
               [
@@ -784,7 +1008,7 @@
                 0
               ],
               [
-                "list",
+                "unknown",
                 0
               ]
             ],
@@ -801,11 +1025,11 @@
                 0
               ],
               [
-                "unknown",
+                "list",
                 0
               ],
               [
-                "list",
+                "unknown",
                 0
               ]
             ],
@@ -828,23 +1052,6 @@
             ],
             "counter": 4
           },
-          {
-            "op": [
-              "list",
-              1
-            ],
-            "ops": [
-              [
-                "list",
-                1
-              ],
-              [
-                "is",
-                0
-              ]
-            ],
-            "counter": 5
-          },
           {
             "op": [
               "is",
@@ -856,7 +1063,7 @@
                 0
               ]
             ],
-            "counter": 6
+            "counter": 5
           },
           {
             "op": [
@@ -869,7 +1076,7 @@
                 1
               ]
             ],
-            "counter": 7
+            "counter": 6
           }
         ]
       },
@@ -887,7 +1094,19 @@
           "one": {
             "number": "many",
             "marker": "list",
+            "default": true,
+            "word": "and",
+            "text": "dimension and unit",
+            "range": {
+              "start": 0,
+              "end": 30
+            },
+            "types": [
+              "list",
+              "unknown"
+            ],
             "listable": true,
+            "isList": true,
             "value": [
               {
                 "value": "dimension",
@@ -900,7 +1119,7 @@
                   "end": 8
                 },
                 "dead": true,
-                "level": 2
+                "level": 1
               },
               {
                 "value": "unit",
@@ -913,18 +1132,9 @@
                   "end": 17
                 },
                 "dead": true,
-                "level": 2
+                "level": 1
               }
             ],
-            "range": {
-              "start": 0,
-              "end": 30
-            },
-            "types": [
-              "list",
-              "unknown"
-            ],
-            "text": "dimension and unit are concepts",
             "level": 1
           },
           "two": {
@@ -1119,6 +1329,12 @@
             "expression",
             "queryable"
           ],
+          "localHierarchy": [
+            [
+              "unknown",
+              "dimension"
+            ]
+          ],
           "after": [
             [
               "possession",
@@ -1131,7 +1347,10 @@
           ]
         },
         {
-          "id": "unit"
+          "id": "unit",
+          "isA": [
+            "number"
+          ]
         }
       ]
     }