tpmkms 9.8.0 → 9.9.0

package/common/concept.js

@@ -25,6 +25,7 @@ const config = {
     {
       id: "modifies",
       enhanced_associations: false,
+      where: where(),
       isA: ['verb'],
       words: [{ word: 'modifies', number: 'one', flatten: false }, { word: 'modify', number: 'many', flatten: true }],
       // bridge: "{ ...next(operator), modifiers: before, concept: after[0], flatten: true }"
@@ -150,6 +151,7 @@ const template = {
       bridges: [
         {
           id: 'isOpenCompound',
+          where: where(),
           isA: ['verb'],
           bridge: `{
             ...operator,

package/common/conjunction.js

@@ -10,18 +10,24 @@ const config = {
     "(x [list|and] y)",
   ],
   bridges: [
-    // context.instance == variables.instance (unification)
     {
       id: "list", 
       level: 0, 
       enhanced_associations: false,
       selector: {
           match: "same", 
-          left: [ { pattern: '($type && context.instance == variables.instance && context.dead == variables.dead && !@<=$contexts[1].notConjunctableWith)' } ], 
-          right: [ { pattern: '($type && context.instance == variables.instance && context.dead == variables.dead && !@<=$contexts[-1].notConjunctableWith)' } ], 
+          left: [ { pattern: '($type && context.isInstance == variables.isInstance && context.dead == variables.dead && !@<=$contexts[1].notConjunctableWith)' } ], 
+          right: [ { pattern: '($type && context.isInstance == variables.isInstance && context.dead == variables.dead && !@<=$contexts[-1].notConjunctableWith)' } ], 
           passthrough: true
       }, 
-      bridge: "{ ...next(operator), flattenInPlaceRemove: ['types', 'listable', 'isList', 'value'], flattenInPlace: [['value']], listable: true, isList: true, value: append(before, after) }"
+      bridge: `{ 
+        ...next(operator), 
+        flattenInPlaceRemove: ['types', 'listable', 'isList', 'value'], 
+        flattenInPlace: [['value']], 
+        listable: true, 
+        isList: true, 
+        value: append(before, after) 
+      }`
     },
     {
       id: "list", 
@@ -29,15 +35,17 @@ const config = {
       enhanced_associations: false,
       selector: {
           match: "same", 
-          left: [ { pattern: '($type && context.instance == variables.instance && context.dead == variables.dead && contexts[0] !@<= contexts[-1].notConjunctableWith)' } ], 
+          left: [ { pattern: '($type && context.isInstance == variables.isInstance && context.dead == variables.dead && contexts[0] !@<= contexts[-1].notConjunctableWith)' } ], 
           passthrough: true
      }, 
       bridge: "{ ...operator, value: append(before, operator.value) }",
+      where: where(),
       semantic: {
         match: ({context, namespaced}) => !namespaced.get('conjunction', context, 'atomic'),
-        apply: async ({context, flatten, s}) => {
+        apply: async ({context, flatten, e}) => {
           for (const value of flatten(context)) {
-            await s(value)
+            value.topLevel = context.topLevel;
+            await e(value, where())
           }
         }
       }
@@ -47,11 +55,11 @@ const config = {
     {
       where: where(),
       notes: 'evaluate elements of the list individually',
-      match: ({context, callId}) => context.marker == 'list' && context.evaluate,
+      match: ({context, callId}) => context.marker == 'list' && !context.topLevel,
       apply: async ({context, toArray, toList, e, resolveEvaluate}) => {
         const list = []
         for (const element of toArray(context)) {
-          list.push(await e(element))
+          list.push(await e(element, where()))
         }
         resolveEvaluate(context, toList(list))
       }

package/common/control.js

@@ -1,34 +1,26 @@
-const { knowledgeModule, where } = require('./runtime').theprogrammablemind
+const { knowledgeModule, where, debug } = require('./runtime').theprogrammablemind
 const tests = require('./control.test.json')
 
 function initializer({config}) {
   config.addArgs((args) => ({
-    callOnce: (args, condition) => {
-      if (condition(args)) {
+    callOnce: async (args, tag, condition) => {
+      if (args.context.control?.seen[tag]) {
+        return false
+      }
+      if (await condition(args)) {
         const { context } = args
 
         if (!context.control) {
           context.control = {
-            seen: [],
-            nextId: 2,
+            seen: {},
           }
-          context.control_id = 1
-        }
-
-        if (!context.control_id) {
-          context.control_id = context.control.nextId
-          context.control.nextId += 1
         }
+        context.control.seen[tag] = true
 
-        if (context.control.seen.includes(context.control_id)) {
-          return false
-        }
-
-        context.control.seen.push(context.control_id)
         args._finally( () => {
-          const index = context.control.seen.find((value) => context.control_id)
-          context.control.seen.splice(index, 1)
+          delete context.control.seen[tag]
         })
+
         return true
       }
       return false

package/common/countable.js

@@ -34,7 +34,7 @@ const config = {
         modifiers: append(['quantity'], after[0].modifiers), 
         quantity: before[0], 
         number: default(before[0].number, before[0].value), 
-        instance: true 
+        isInstance: true 
       }` 
     },
     { 
@@ -47,7 +47,7 @@ const config = {
         modifiers: append(['count'], after[0].modifiers), 
         count: before[0], 
         word: after.word, 
-        instance: true }`
+        isInstance: true }`
     },
     { 
       id: "countingPieces", 
@@ -58,7 +58,7 @@ const config = {
         interpolate: [ { property: 'pieces' }, { property: 'countingPiecesOperator' }],
         modifiers: append(['pieces'], after[0].modifiers), 
         pieces: before[0], 
-        instance: true 
+        isInstance: true 
       }` 
     },
     { 
@@ -98,6 +98,7 @@ const config = {
     },
     { 
       id: "all", 
+      where: where(),
       generatorp: ({context}) => 'all',
       bridge: "{ ...next(operator), number: 'many', quantity: 'all' }" 
     },

package/common/crew.instance.json

@@ -131,7 +131,6 @@
           "level": 1,
           "context_index": 1,
           "topLevel": true,
-          "context_id": 2,
           "touchedBy": [
             "crew#call2"
           ]
@@ -277,6 +276,9 @@
         }
       ],
       "learned_contextual_priorities": [],
+      "explain_associations_details": [
+        null
+      ],
       "query": "crew modifies member",
       "key": {
         "query": "crew modifies member"
@@ -505,7 +507,6 @@
           "level": 2,
           "context_index": 1,
           "topLevel": true,
-          "context_id": 2,
           "touchedBy": [
             "crew#call2"
           ]
@@ -861,6 +862,9 @@
         }
       ],
       "learned_contextual_priorities": [],
+      "explain_associations_details": [
+        null
+      ],
       "query": "kirk's name is jim",
       "key": {
         "query": "kirk's name is jim"
@@ -1089,7 +1093,6 @@
           "level": 2,
           "context_index": 1,
           "topLevel": true,
-          "context_id": 2,
           "touchedBy": [
             "crew#call2"
           ]
@@ -1445,6 +1448,9 @@
         }
       ],
       "learned_contextual_priorities": [],
+      "explain_associations_details": [
+        null
+      ],
       "query": "kirk's rank is captain",
       "key": {
         "query": "kirk's rank is captain"
@@ -1677,7 +1683,6 @@
           "level": 2,
           "context_index": 1,
           "topLevel": true,
-          "context_id": 2,
           "touchedBy": [
             "crew#call2"
           ]
@@ -2033,6 +2038,9 @@
         }
       ],
       "learned_contextual_priorities": [],
+      "explain_associations_details": [
+        null
+      ],
       "query": "kirk's eyes are blue",
       "key": {
         "query": "kirk's eyes are blue"
@@ -2197,7 +2205,6 @@
           "level": 2,
           "context_index": 1,
           "topLevel": true,
-          "context_id": 2,
           "touchedBy": [
             "crew#call2"
           ]
@@ -2423,6 +2430,9 @@
         }
       ],
       "learned_contextual_priorities": [],
+      "explain_associations_details": [
+        null
+      ],
       "query": "kirk is a captain",
       "key": {
         "query": "kirk is a captain"
@@ -2623,7 +2633,6 @@
           "level": 2,
           "context_index": 1,
           "topLevel": true,
-          "context_id": 2,
           "touchedBy": [
             "crew#call2"
           ]
@@ -2869,6 +2878,9 @@
         }
       ],
       "learned_contextual_priorities": [],
+      "explain_associations_details": [
+        null
+      ],
       "query": "kirk is a crew member",
       "key": {
         "query": "kirk is a crew member"
@@ -3099,7 +3111,6 @@
           "level": 2,
           "context_index": 1,
           "topLevel": true,
-          "context_id": 2,
           "touchedBy": [
             "crew#call2"
           ]
@@ -3455,6 +3466,9 @@
         }
       ],
       "learned_contextual_priorities": [],
+      "explain_associations_details": [
+        null
+      ],
       "query": "spock's rank is second",
       "key": {
         "query": "spock's rank is second"
@@ -3684,7 +3698,6 @@
           "level": 2,
           "context_index": 1,
           "topLevel": true,
-          "context_id": 2,
           "touchedBy": [
             "crew#call2"
           ]
@@ -4040,6 +4053,9 @@
         }
       ],
       "learned_contextual_priorities": [],
+      "explain_associations_details": [
+        null
+      ],
       "query": "spock's name is spock",
       "key": {
         "query": "spock's name is spock"
@@ -4269,7 +4285,6 @@
           "level": 2,
           "context_index": 1,
           "topLevel": true,
-          "context_id": 2,
           "touchedBy": [
             "crew#call2"
           ]
@@ -4625,6 +4640,9 @@
         }
       ],
       "learned_contextual_priorities": [],
+      "explain_associations_details": [
+        null
+      ],
       "query": "spock's eyes are brown",
       "key": {
         "query": "spock's eyes are brown"
@@ -4789,7 +4807,6 @@
           "level": 2,
           "context_index": 1,
           "topLevel": true,
-          "context_id": 2,
           "touchedBy": [
             "crew#call2"
           ]
@@ -5015,6 +5032,9 @@
         }
       ],
       "learned_contextual_priorities": [],
+      "explain_associations_details": [
+        null
+      ],
       "query": "spock is a doctor",
       "key": {
         "query": "spock is a doctor"
@@ -5215,7 +5235,6 @@
           "level": 2,
           "context_index": 1,
           "topLevel": true,
-          "context_id": 2,
           "touchedBy": [
             "crew#call2"
           ]
@@ -5461,6 +5480,9 @@
         }
       ],
       "learned_contextual_priorities": [],
+      "explain_associations_details": [
+        null
+      ],
       "query": "spock is a crew member",
       "key": {
         "query": "spock is a crew member"
@@ -5692,7 +5714,6 @@
           "level": 2,
           "context_index": 1,
           "topLevel": true,
-          "context_id": 2,
           "touchedBy": [
             "crew#call2"
           ]
@@ -6048,6 +6069,9 @@
         }
       ],
       "learned_contextual_priorities": [],
+      "explain_associations_details": [
+        null
+      ],
       "query": "mccoy's rank is doctor",
       "key": {
         "query": "mccoy's rank is doctor"
@@ -6277,7 +6301,6 @@
           "level": 2,
           "context_index": 1,
           "topLevel": true,
-          "context_id": 2,
           "touchedBy": [
             "crew#call2"
           ]
@@ -6633,6 +6656,9 @@
         }
       ],
       "learned_contextual_priorities": [],
+      "explain_associations_details": [
+        null
+      ],
       "query": "mccoy's name is mccoy",
       "key": {
         "query": "mccoy's name is mccoy"
@@ -6862,7 +6888,6 @@
           "level": 2,
           "context_index": 1,
           "topLevel": true,
-          "context_id": 2,
           "touchedBy": [
             "crew#call2"
           ]
@@ -7218,6 +7243,9 @@
         }
       ],
       "learned_contextual_priorities": [],
+      "explain_associations_details": [
+        null
+      ],
       "query": "mccoy's eyes are brown",
       "key": {
         "query": "mccoy's eyes are brown"
@@ -7418,7 +7446,6 @@
           "level": 2,
           "context_index": 1,
           "topLevel": true,
-          "context_id": 2,
           "touchedBy": [
             "crew#call2"
           ]
@@ -7664,6 +7691,9 @@
         }
       ],
       "learned_contextual_priorities": [],
+      "explain_associations_details": [
+        null
+      ],
       "query": "mccoy is a crew member",
       "key": {
         "query": "mccoy is a crew member"
@@ -7827,7 +7857,6 @@
           "level": 2,
           "context_index": 1,
           "topLevel": true,
-          "context_id": 2,
           "touchedBy": [
             "crew#call2"
           ]
@@ -8053,6 +8082,9 @@
         }
       ],
       "learned_contextual_priorities": [],
+      "explain_associations_details": [
+        null
+      ],
       "query": "mccoy is a doctor",
       "key": {
         "query": "mccoy is a doctor"
@@ -8421,7 +8453,7 @@
                 "level": 0
               },
               {
-                "value": "phasers",
+                "value": "phaser",
                 "unknown": true,
                 "text": "the phasers",
                 "marker": "object",
@@ -8511,7 +8543,6 @@
           "level": 2,
           "context_index": 1,
           "topLevel": true,
-          "context_id": 2,
           "touchedBy": [
             "crew#call2"
           ]
@@ -9067,6 +9098,9 @@
         }
       ],
       "learned_contextual_priorities": [],
+      "explain_associations_details": [
+        null
+      ],
       "query": "the status of the phasers is armed",
       "key": {
         "query": "the status of the phasers is armed"
@@ -9172,7 +9206,6 @@
           "level": 1,
           "context_index": 1,
           "topLevel": true,
-          "context_id": 2,
           "touchedBy": [
             "crew#call2"
           ]
@@ -9318,6 +9351,9 @@
         }
       ],
       "learned_contextual_priorities": [],
+      "explain_associations_details": [
+        null
+      ],
       "query": "photon modifies torpedoes",
       "key": {
         "query": "photon modifies torpedoes"
@@ -9838,7 +9874,6 @@
           "level": 2,
           "context_index": 1,
           "topLevel": true,
-          "context_id": 2,
           "touchedBy": [
             "crew#call2"
           ]
@@ -10424,6 +10459,9 @@
         }
       ],
       "learned_contextual_priorities": [],
+      "explain_associations_details": [
+        null
+      ],
       "query": "the status of the photon torpedoes is armed",
       "key": {
         "query": "the status of the photon torpedoes is armed"
@@ -10546,7 +10584,6 @@
           "level": 2,
           "context_index": 1,
           "topLevel": true,
-          "context_id": 2,
           "touchedBy": [
             "crew#call2"
           ]
@@ -10707,6 +10744,9 @@
         }
       ],
       "learned_contextual_priorities": [],
+      "explain_associations_details": [
+        null
+      ],
       "query": "phasers are weapons",
       "key": {
         "query": "phasers are weapons"
@@ -10829,7 +10869,6 @@
           "level": 2,
           "context_index": 1,
           "topLevel": true,
-          "context_id": 2,
           "touchedBy": [
             "crew#call2"
           ]
@@ -10990,6 +11029,9 @@
         }
       ],
       "learned_contextual_priorities": [],
+      "explain_associations_details": [
+        null
+      ],
       "query": "torpedoes are weapons",
       "key": {
         "query": "torpedoes are weapons"
@@ -11090,7 +11132,6 @@
           "level": 2,
           "context_index": 1,
           "topLevel": true,
-          "context_id": 2,
           "touchedBy": [
             "crew#call2"
           ]
@@ -11216,6 +11257,9 @@
         }
       ],
       "learned_contextual_priorities": [],
+      "explain_associations_details": [
+        null
+      ],
       "query": "kirk is readonly",
       "key": {
         "query": "kirk is readonly"
@@ -11316,7 +11360,6 @@
           "level": 2,
           "context_index": 1,
           "topLevel": true,
-          "context_id": 2,
           "touchedBy": [
             "crew#call2"
           ]
@@ -11442,6 +11485,9 @@
         }
       ],
       "learned_contextual_priorities": [],
+      "explain_associations_details": [
+        null
+      ],
       "query": "spock is readonly",
       "key": {
         "query": "spock is readonly"
@@ -11542,7 +11588,6 @@
           "level": 2,
           "context_index": 1,
           "topLevel": true,
-          "context_id": 2,
           "touchedBy": [
             "crew#call2"
           ]
@@ -11668,6 +11713,9 @@
         }
       ],
       "learned_contextual_priorities": [],
+      "explain_associations_details": [
+        null
+      ],
       "query": "mccoy is readonly",
       "key": {
         "query": "mccoy is readonly"
@@ -12159,6 +12207,14 @@
               ],
               "level": 0
             },
+            "relationBacked": false,
+            "orderingArgs": {},
+            "relationArgs": [
+              {
+                "tag": "weapon",
+                "id": "weapon"
+              }
+            ],
             "operator": {
               "value": "arm",
               "isVerb": true,
@@ -12429,7 +12485,6 @@
           "level": 1,
           "context_index": 1,
           "topLevel": true,
-          "context_id": 2,
           "metaInfo": "The mapping from from the expression being defined \"arm the weapon\" to the definition phrase \"the status of the weapon is armed\" is [{\"from\":[\"weapon\"],\"to\":[\"one\",\"objects\",\"1\"]},{\"from\":[\"number\"],\"to\":[\"number\"]}]",
           "touchedBy": [
             "crew#call2"
@@ -13561,6 +13616,9 @@
         }
       ],
       "learned_contextual_priorities": [],
+      "explain_associations_details": [
+        null
+      ],
       "query": "arm the weapon means the status of the weapon is armed",
       "key": {
         "query": "arm the weapon means the status of the weapon is armed"
@@ -14109,6 +14167,14 @@
               ],
               "level": 0
             },
+            "relationBacked": false,
+            "orderingArgs": {},
+            "relationArgs": [
+              {
+                "tag": "weapon",
+                "id": "weapon"
+              }
+            ],
             "operator": {
               "value": "disarm",
               "isVerb": true,
@@ -14395,7 +14461,6 @@
           "level": 1,
           "context_index": 1,
           "topLevel": true,
-          "context_id": 2,
           "metaInfo": "The mapping from from the expression being defined \"disarm the weapon\" to the definition phrase \"the status of the weapon is not armed\" is [{\"from\":[\"weapon\"],\"to\":[\"one\",\"objects\",\"1\"]},{\"from\":[\"number\"],\"to\":[\"number\"]}]",
           "touchedBy": [
             "crew#call2"
@@ -15692,6 +15757,9 @@
         }
       ],
       "learned_contextual_priorities": [],
+      "explain_associations_details": [
+        null
+      ],
       "query": "disarm the weapon means the status of the weapon is not armed",
       "key": {
         "query": "disarm the weapon means the status of the weapon is not armed"

package/common/dateTimeSelectors.instance.json

@@ -67,15 +67,15 @@
       ],
       "semantics": [
         {
-          "match": "({context, isA}) => context.evaluate && onOrIs('dayAfterDate', context)",
-          "apply": "async ({context, isProcess, isTest, kms, isA, e}) => {\n            try {\n              const now = kms.time.api.now()\n              const date = afterOrIs('dayAfterDate', context)\n              const afterISO = (await e(date.after)).evalue\n              const day_ordinal = date.day.day_ordinal\n              const ordinal = date.day.ordinal.value\n              context.evalue = dateTimeSelectors_helpers.getNthWeekdayAfterDate(afterISO, day_ordinal, ordinal)\n            } catch ( e ) {\n              context.evalue = `Implement instatiate for this type of date, ${context.marker}. See the dateTimeSelectors KM ${where()}. ${e}`\n            }\n          }"
+          "match": "({context, isA}) => onOrIs('dayAfterDate', context)",
+          "apply": "async ({context, isProcess, isTest, kms, isA, e}) => {\n            try {\n              const now = kms.time.api.now()\n              const date = afterOrIs('dayAfterDate', context)\n              const afterISO = (await e(date.after, where())).evalue\n              const day_ordinal = date.day.day_ordinal\n              const ordinal = date.day.ordinal.value\n              context.evalue = dateTimeSelectors_helpers.getNthWeekdayAfterDate(afterISO, day_ordinal, ordinal)\n            } catch ( e ) {\n              context.evalue = `Implement instatiate for this type of date, ${context.marker}. See the dateTimeSelectors KM ${where()}. ${e}`\n            }\n          }"
         },
         {
-          "match": "({context, isA}) => context.evaluate && onOrIs('dayOfMonth', context)",
+          "match": "({context, isA}) => onOrIs('dayOfMonth', context)",
           "apply": "({context, isProcess, isTest, kms, isA}) => {\n            try {\n              const now = kms.time.api.now()\n              const date = onOrIs('dayOfMonth', context)\n              context.evalue = dateTimeSelectors_helpers.getNthDayOfMonth(removeDatesSuffix(date.day.value), date.day.ordinal.value || 1, removeDatesSuffix(date.month.value), now)\n            } catch ( e ) {\n              context.evalue = `Implement instatiate for this type of date, ${context.marker}. See the dateTimeSelectors KM ${where()}. ${e}`\n            }\n          }"
         },
         {
-          "match": "({context, isA}) => {\n            if (!context.evaluate) {\n              return false\n            }\n            if (isA(context.marker, 'onDateValue_dates')) {\n              return true\n            }\n            if (isA(context.marker, 'dateTimeSelector')) {\n              return true\n            }\n          }",
+          "match": "({context, isA}) => {\n            if (isA(context.marker, 'onDateValue_dates')) {\n              return true\n            }\n            if (isA(context.marker, 'dateTimeSelector')) {\n              return true\n            }\n          }",
           "apply": "({context, isProcess, isTest, kms, isA}) => {\n            context.evalue = instantiate(kms, isA, isProcess || isTest || context.isTest, context)\n          }"
         }
       ],