tpmkms 9.8.0-beta.8 → 9.9.0

package/common/dimension.instance.json

@@ -3,7 +3,6 @@
     "amount is a concept",
     "measurement modifies unit",
     "dimension and measurement unit are concepts",
-    "unit means measurement unit",
     {
       "apply": "({apis}) => {\n      apis('properties').addHierarchyWatcher({\n        match: ({parentId, isA}) => isA(parentId, 'unit') && parentId.startsWith('unit_'),\n        apply: ({config, childId, parent, parentId}) => {\n          config.updateBridge(childId, ({ bridge }) => {\n            if (!bridge.initial) {\n              bridge.initial = {}\n            }\n            bridge.initial['dimension'] = parent.objects[1].value\n          })\n        }\n      })\n    }"
     },
@@ -87,29 +86,59 @@
           ]
         },
         {
-          "where": "/home/dev/code/theprogrammablemind/kms/common/dimension.js:200",
+          "where": "/home/dev/code/theprogrammablemind/kms/common/dimension.js:201",
           "id": "preferredUnits",
           "isA": [
             "verb"
           ],
           "bridge": "{ ...next(operator), quantity: after[0], operator: operator, interpolate: [{ property: 'operator' }, { property: 'quantity' }] }",
-          "semantic": "async ({context, e, api, toArray, resolveEvaluate}) => {\n        const preferredUnits = await api.getPreferredUnits(context.quantity)\n        if (!preferredUnits) {\n          return\n        }\n        const from = context.quantity;\n        const value = await e({ marker: 'convertToUnits', from, to: preferredUnits })\n        resolveEvaluate(context, value.evalue)\n      }"
+          "check": [
+            "marker",
+            "text",
+            "verbatim",
+            "value",
+            "evalue",
+            "isResponse",
+            {
+              "properties": "modifiers"
+            },
+            {
+              "properties": "postModifiers"
+            },
+            "quantity"
+          ],
+          "semantic": "async ({context, e, api, toArray, resolveEvaluate}) => {\n        const preferredUnits = await api.getPreferredUnits(context.quantity)\n        if (!preferredUnits) {\n          return\n        }\n        const from = context.quantity;\n        const value = await e({ marker: 'convertToUnits', from, to: preferredUnits }, where())\n        resolveEvaluate(context, value.evalue)\n      }"
         },
         {
-          "where": "/home/dev/code/theprogrammablemind/kms/common/dimension.js:215",
+          "where": "/home/dev/code/theprogrammablemind/kms/common/dimension.js:217",
           "id": "useUnits",
           "isA": [
             "verb"
           ],
           "bridge": "{ ...next(operator), units: after[0], operator: operator, interpolate: [{ property: 'operator' }, { property: 'units' }] }",
+          "check": [
+            "marker",
+            "text",
+            "verbatim",
+            "value",
+            "evalue",
+            "isResponse",
+            {
+              "properties": "modifiers"
+            },
+            {
+              "properties": "postModifiers"
+            },
+            "units"
+          ],
           "semantic": "({context, api}) => {\n        api.setPreferredUnits(context.units)\n      }"
         },
         {
-          "where": "/home/dev/code/theprogrammablemind/kms/common/dimension.js:224",
+          "where": "/home/dev/code/theprogrammablemind/kms/common/dimension.js:227",
           "id": "dimension"
         },
         {
-          "where": "/home/dev/code/theprogrammablemind/kms/common/dimension.js:228",
+          "where": "/home/dev/code/theprogrammablemind/kms/common/dimension.js:231",
           "id": "quantity",
           "isA": [
             "noun"
@@ -151,12 +180,44 @@
           "after": [
             "mathematical_operator"
           ],
-          "bridge": "{ \n        marker: next(operator('quantity')), \n        dead: true, \n        instance: true,\n        unit: after[0], \n        amount: before[0], \n        interpolate: [ { property: 'amount' }, { property: 'unit' } ] \n      }"
+          "bridge": "{ \n        marker: next(operator('quantity')), \n        dead: true, \n        instance: true,\n        unit: after[0], \n        amount: before[0], \n        interpolate: [ { property: 'amount' }, { property: 'unit' } ] \n      }",
+          "check": [
+            "marker",
+            "text",
+            "verbatim",
+            "value",
+            "evalue",
+            "isResponse",
+            {
+              "properties": "modifiers"
+            },
+            {
+              "properties": "postModifiers"
+            },
+            "unit",
+            "amount"
+          ]
         },
         {
-          "where": "/home/dev/code/theprogrammablemind/kms/common/dimension.js:266",
+          "where": "/home/dev/code/theprogrammablemind/kms/common/dimension.js:270",
           "id": "convertToUnits",
           "bridge": "{ ...next(operator), from: before[0], to: after[0] }",
+          "check": [
+            "marker",
+            "text",
+            "verbatim",
+            "value",
+            "evalue",
+            "isResponse",
+            {
+              "properties": "modifiers"
+            },
+            {
+              "properties": "postModifiers"
+            },
+            "from",
+            "to"
+          ],
           "isA": [
             "expression",
             "queryable"
@@ -178,7 +239,7 @@
             ]
           ],
           "generatorp": "async ({context, g}) => `${await g(context.from)} ${context.word} ${await g(context.to)}`",
-          "evaluator": "async ({context, api, toArray, resolveEvaluate}) => {\n        const from = context.from;\n        const tos = toArray(context.to);\n        resolveEvaluate(context, await api.convertToUnits(context, from, tos))\n      }"
+          "semantic": "async ({context, api, toArray, callId, resolveEvaluate}) => {\n        const from = context.from;\n        const tos = toArray(context.to);\n        resolveEvaluate(context, await api.convertToUnits(context, from, tos))\n      }"
         },
         {
           "id": "unit",
@@ -198,6 +259,7 @@
       "bridges": [
         {
           "id": "useMeasurementSystem",
+          "where": "/home/dev/code/theprogrammablemind/kms/common/dimension.js:328",
           "isA": [
             "verb"
           ],
@@ -225,7 +287,7 @@
       "semantics": [
         {
           "match": "({context, isA, debug}) => {\n            return context.marker == 'unify' && \n              context.terms.every((term) => isA(term, 'quantity')) &&\n              context.terms.every((term) => term.instance)\n          }",
-          "apply": "async ({context, e, unify, toEValue}) => {\n            const t1 = context.terms[0]\n            const t2 = context.terms[1]\n            if (t1.propertyType !== t2.propertyType) {\n              return\n            }\n            if (t1[t1.propertyType].marker !== t2[t2.propertyType].marker) {\n              return\n            }\n            const convert = await e({ marker: 'convertToUnits', from: t2, to: t1.unit })\n            const t2InT1Units = await toEValue(await toEValue(convert))\n            // debug.coxunter('greg29')\n            if (!await unify(t1.amount, await t2InT1Units.amount)) {\n              // debugger\n            }\n            // debugger\n          }"
+          "apply": "async ({context, e, unify, toEValue}) => {\n            const t1 = context.terms[0]\n            const t2 = context.terms[1]\n            if (t1.propertyType !== t2.propertyType) {\n              return\n            }\n            if (t1[t1.propertyType].marker !== t2[t2.propertyType].marker) {\n              return\n            }\n            const convert = await e({ marker: 'convertToUnits', from: t2, to: t1.unit }, where())\n            const t2InT1Units = await toEValue(await toEValue(convert))\n            // debug.coxunter('greg29')\n            if (!await unify(t1.amount, await t2InT1Units.amount)) {\n              // debugger\n            }\n            // debugger\n          }"
         }
       ]
     }
@@ -1406,298 +1468,6 @@
         "query": "dimension and measurement unit are concepts"
       }
     },
-    {
-      "metadata": {
-        "opChoices": [
-          {
-            "op": [
-              "measurement_unit",
-              0
-            ],
-            "ops": [
-              [
-                "means",
-                0
-              ],
-              [
-                "measurement",
-                0
-              ],
-              [
-                "measurement_unit",
-                0
-              ],
-              [
-                "unit",
-                0
-              ]
-            ],
-            "counter": 1
-          },
-          {
-            "op": [
-              "unit",
-              0
-            ],
-            "ops": [
-              [
-                "means",
-                0
-              ],
-              [
-                "unit",
-                0
-              ]
-            ],
-            "counter": 2
-          },
-          {
-            "op": [
-              "means",
-              0
-            ],
-            "ops": [
-              [
-                "means",
-                0
-              ]
-            ],
-            "counter": 3
-          }
-        ]
-      },
-      "trace": "undefined",
-      "contexts": [
-        {
-          "marker": "means",
-          "value": "means",
-          "default": true,
-          "text": "unit means measurement unit",
-          "word": "means",
-          "range": {
-            "start": 0,
-            "end": 26
-          },
-          "dead": true,
-          "from": {
-            "value": "unit",
-            "number": "one",
-            "text": "unit",
-            "marker": "unit",
-            "word": "unit",
-            "range": {
-              "start": 0,
-              "end": 3
-            },
-            "dead": true,
-            "level": 1
-          },
-          "to": {
-            "value": "measurement_unit",
-            "number": "one",
-            "text": "measurement unit",
-            "marker": "measurement_unit",
-            "word": "unit",
-            "range": {
-              "start": 11,
-              "end": 26
-            },
-            "types": [
-              "measurement_unit",
-              "unit"
-            ],
-            "modifier_measurement": {
-              "value": "measurement",
-              "number": "one",
-              "text": "measurement",
-              "marker": "measurement",
-              "word": "measurement",
-              "range": {
-                "start": 11,
-                "end": 21
-              },
-              "types": [
-                "measurement"
-              ],
-              "level": 0
-            },
-            "atomic": true,
-            "dead": true,
-            "compatible_types": [
-              "unit"
-            ],
-            "modifiers": [
-              "modifier_measurement"
-            ],
-            "level": 0
-          },
-          "level": 1,
-          "context_index": 1,
-          "topLevel": true,
-          "metaInfo": "The mapping from from the expression being defined \"unit\" to the definition phrase \"measurement unit\" is [{\"from\":[\"number\"],\"to\":[\"number\"]}]",
-          "touchedBy": [
-            "dimension#call2"
-          ]
-        }
-      ],
-      "generated": [
-        ""
-      ],
-      "paraphrases": [
-        "unit means measurement unit"
-      ],
-      "paraphrasesParenthesized": [],
-      "generatedParenthesized": [],
-      "responses": [
-        ""
-      ],
-      "associations": [],
-      "summaries": [
-        {
-          "summaries": [
-            {
-              "operators": [
-                {
-                  "marker": [
-                    "unit",
-                    0
-                  ],
-                  "range": {
-                    "start": 0,
-                    "end": 3
-                  }
-                },
-                {
-                  "marker": [
-                    "means",
-                    0
-                  ],
-                  "range": {
-                    "start": 5,
-                    "end": 9
-                  }
-                },
-                {
-                  "marker": [
-                    "measurement",
-                    0
-                  ],
-                  "range": {
-                    "start": 11,
-                    "end": 21
-                  }
-                },
-                {
-                  "marker": [
-                    "unit",
-                    0
-                  ],
-                  "range": {
-                    "start": 23,
-                    "end": 26
-                  }
-                }
-              ],
-              "counter": 1
-            },
-            {
-              "operators": [
-                {
-                  "marker": [
-                    "unit",
-                    0
-                  ],
-                  "range": {
-                    "start": 0,
-                    "end": 3
-                  }
-                },
-                {
-                  "marker": [
-                    "means",
-                    0
-                  ],
-                  "range": {
-                    "start": 5,
-                    "end": 9
-                  }
-                },
-                {
-                  "marker": [
-                    "measurement_unit",
-                    0
-                  ],
-                  "range": {
-                    "start": 11,
-                    "end": 26
-                  }
-                }
-              ],
-              "counter": 2
-            },
-            {
-              "operators": [
-                {
-                  "marker": [
-                    "unit",
-                    1
-                  ],
-                  "range": {
-                    "start": 0,
-                    "end": 3
-                  }
-                },
-                {
-                  "marker": [
-                    "means",
-                    0
-                  ],
-                  "range": {
-                    "start": 5,
-                    "end": 9
-                  }
-                },
-                {
-                  "marker": [
-                    "measurement_unit",
-                    0
-                  ],
-                  "range": {
-                    "start": 11,
-                    "end": 26
-                  }
-                }
-              ],
-              "counter": 3
-            },
-            {
-              "operators": [
-                {
-                  "marker": [
-                    "means",
-                    1
-                  ],
-                  "range": {
-                    "start": 0,
-                    "end": 26
-                  }
-                }
-              ],
-              "counter": 4
-            }
-          ],
-          "length": 1
-        }
-      ],
-      "learned_contextual_priorities": [],
-      "explain_associations_details": [
-        null
-      ],
-      "query": "unit means measurement unit",
-      "key": {
-        "query": "unit means measurement unit"
-      }
-    },
     {
       "apply": "({apis}) => {\n      apis('properties').addHierarchyWatcher({\n        match: ({parentId, isA}) => isA(parentId, 'unit') && parentId.startsWith('unit_'),\n        apply: ({config, childId, parent, parentId}) => {\n          config.updateBridge(childId, ({ bridge }) => {\n            if (!bridge.initial) {\n              bridge.initial = {}\n            }\n            bridge.initial['dimension'] = parent.objects[1].value\n          })\n        }\n      })\n    }"
     },
@@ -5191,7 +4961,7 @@
       ],
       "generators": [
         {
-          "where": "/home/dev/code/theprogrammablemind/kms/common/dimension.js:186"
+          "where": "/home/dev/code/theprogrammablemind/kms/common/dimension.js:187"
         }
       ],
       "bridges": [
@@ -5219,27 +4989,57 @@
           ]
         },
         {
-          "where": "/home/dev/code/theprogrammablemind/kms/common/dimension.js:200",
+          "where": "/home/dev/code/theprogrammablemind/kms/common/dimension.js:201",
           "id": "preferredUnits",
           "isA": [
             "verb"
           ],
-          "bridge": "{ ...next(operator), quantity: after[0], operator: operator, interpolate: [{ property: 'operator' }, { property: 'quantity' }] }"
+          "bridge": "{ ...next(operator), quantity: after[0], operator: operator, interpolate: [{ property: 'operator' }, { property: 'quantity' }] }",
+          "check": [
+            "marker",
+            "text",
+            "verbatim",
+            "value",
+            "evalue",
+            "isResponse",
+            {
+              "properties": "modifiers"
+            },
+            {
+              "properties": "postModifiers"
+            },
+            "quantity"
+          ]
         },
         {
-          "where": "/home/dev/code/theprogrammablemind/kms/common/dimension.js:215",
+          "where": "/home/dev/code/theprogrammablemind/kms/common/dimension.js:217",
           "id": "useUnits",
           "isA": [
             "verb"
           ],
-          "bridge": "{ ...next(operator), units: after[0], operator: operator, interpolate: [{ property: 'operator' }, { property: 'units' }] }"
+          "bridge": "{ ...next(operator), units: after[0], operator: operator, interpolate: [{ property: 'operator' }, { property: 'units' }] }",
+          "check": [
+            "marker",
+            "text",
+            "verbatim",
+            "value",
+            "evalue",
+            "isResponse",
+            {
+              "properties": "modifiers"
+            },
+            {
+              "properties": "postModifiers"
+            },
+            "units"
+          ]
         },
         {
-          "where": "/home/dev/code/theprogrammablemind/kms/common/dimension.js:224",
+          "where": "/home/dev/code/theprogrammablemind/kms/common/dimension.js:227",
           "id": "dimension"
         },
         {
-          "where": "/home/dev/code/theprogrammablemind/kms/common/dimension.js:228",
+          "where": "/home/dev/code/theprogrammablemind/kms/common/dimension.js:231",
           "id": "quantity",
           "isA": [
             "noun"
@@ -5285,12 +5085,44 @@
           "after": [
             "mathematical_operator"
           ],
-          "bridge": "{ \n        marker: next(operator('quantity')), \n        dead: true, \n        instance: true,\n        unit: after[0], \n        amount: before[0], \n        interpolate: [ { property: 'amount' }, { property: 'unit' } ] \n      }"
+          "bridge": "{ \n        marker: next(operator('quantity')), \n        dead: true, \n        instance: true,\n        unit: after[0], \n        amount: before[0], \n        interpolate: [ { property: 'amount' }, { property: 'unit' } ] \n      }",
+          "check": [
+            "marker",
+            "text",
+            "verbatim",
+            "value",
+            "evalue",
+            "isResponse",
+            {
+              "properties": "modifiers"
+            },
+            {
+              "properties": "postModifiers"
+            },
+            "unit",
+            "amount"
+          ]
         },
         {
-          "where": "/home/dev/code/theprogrammablemind/kms/common/dimension.js:266",
+          "where": "/home/dev/code/theprogrammablemind/kms/common/dimension.js:270",
           "id": "convertToUnits",
           "bridge": "{ ...next(operator), from: before[0], to: after[0] }",
+          "check": [
+            "marker",
+            "text",
+            "verbatim",
+            "value",
+            "evalue",
+            "isResponse",
+            {
+              "properties": "modifiers"
+            },
+            {
+              "properties": "postModifiers"
+            },
+            "from",
+            "to"
+          ],
           "isA": [
             "expression",
             "queryable"
@@ -5331,6 +5163,7 @@
       "bridges": [
         {
           "id": "useMeasurementSystem",
+          "where": "/home/dev/code/theprogrammablemind/kms/common/dimension.js:328",
           "isA": [
             "verb"
           ],
@@ -5969,141 +5802,6 @@
       ],
       "length": 1
     },
-    {
-      "summaries": [
-        {
-          "operators": [
-            {
-              "marker": [
-                "unit",
-                0
-              ],
-              "range": {
-                "start": 0,
-                "end": 3
-              }
-            },
-            {
-              "marker": [
-                "means",
-                0
-              ],
-              "range": {
-                "start": 5,
-                "end": 9
-              }
-            },
-            {
-              "marker": [
-                "measurement",
-                0
-              ],
-              "range": {
-                "start": 11,
-                "end": 21
-              }
-            },
-            {
-              "marker": [
-                "unit",
-                0
-              ],
-              "range": {
-                "start": 23,
-                "end": 26
-              }
-            }
-          ],
-          "counter": 1
-        },
-        {
-          "operators": [
-            {
-              "marker": [
-                "unit",
-                0
-              ],
-              "range": {
-                "start": 0,
-                "end": 3
-              }
-            },
-            {
-              "marker": [
-                "means",
-                0
-              ],
-              "range": {
-                "start": 5,
-                "end": 9
-              }
-            },
-            {
-              "marker": [
-                "measurement_unit",
-                0
-              ],
-              "range": {
-                "start": 11,
-                "end": 26
-              }
-            }
-          ],
-          "counter": 2
-        },
-        {
-          "operators": [
-            {
-              "marker": [
-                "unit",
-                1
-              ],
-              "range": {
-                "start": 0,
-                "end": 3
-              }
-            },
-            {
-              "marker": [
-                "means",
-                0
-              ],
-              "range": {
-                "start": 5,
-                "end": 9
-              }
-            },
-            {
-              "marker": [
-                "measurement_unit",
-                0
-              ],
-              "range": {
-                "start": 11,
-                "end": 26
-              }
-            }
-          ],
-          "counter": 3
-        },
-        {
-          "operators": [
-            {
-              "marker": [
-                "means",
-                1
-              ],
-              "range": {
-                "start": 0,
-                "end": 26
-              }
-            }
-          ],
-          "counter": 4
-        }
-      ],
-      "length": 1
-    },
     {
       "summaries": [
         {