ekms 8.9.0-beta.0 → 8.9.0-beta.10
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/common/countable.js +8 -2
- package/common/countable.test.json +586 -0
- package/common/crew.instance.json +176 -0
- package/common/fastfood.instance.json +270 -74
- package/common/hierarchy.js +5 -5
- package/common/hierarchy.test.json +1491 -0
- package/common/pipboy.instance.json +28 -28
- package/common/pipboy.js +0 -1
- package/common/reports.instance.json +1 -1
- package/common/ui.instance.json +125 -0
- package/common/ui.js +12 -5
- package/common/wp.instance.json +7379 -0
- package/common/wp.js +95 -0
- package/common/wp.test.json +7437 -0
- package/main.js +2 -0
- package/package.json +6 -2
|
@@ -105,7 +105,7 @@
|
|
|
105
105
|
],
|
|
106
106
|
"bridges": [
|
|
107
107
|
{
|
|
108
|
-
"where": "/home/dev/code/theprogrammablemind/kms/common/pipboy.js:
|
|
108
|
+
"where": "/home/dev/code/theprogrammablemind/kms/common/pipboy.js:152",
|
|
109
109
|
"id": "put",
|
|
110
110
|
"isA": [
|
|
111
111
|
"verb"
|
|
@@ -115,7 +115,7 @@
|
|
|
115
115
|
"generatorp": "({context}) => `put on`"
|
|
116
116
|
},
|
|
117
117
|
{
|
|
118
|
-
"where": "/home/dev/code/theprogrammablemind/kms/common/pipboy.js:
|
|
118
|
+
"where": "/home/dev/code/theprogrammablemind/kms/common/pipboy.js:160",
|
|
119
119
|
"id": "propertyCondition",
|
|
120
120
|
"before": [
|
|
121
121
|
"adjective",
|
|
@@ -127,7 +127,7 @@
|
|
|
127
127
|
"bridge": "{ ...next(after[0]), condition: before[0], modifiers: ['condition'] }"
|
|
128
128
|
},
|
|
129
129
|
{
|
|
130
|
-
"where": "/home/dev/code/theprogrammablemind/kms/common/pipboy.js:
|
|
130
|
+
"where": "/home/dev/code/theprogrammablemind/kms/common/pipboy.js:168",
|
|
131
131
|
"id": "on",
|
|
132
132
|
"isA": [
|
|
133
133
|
"preposition"
|
|
@@ -138,7 +138,7 @@
|
|
|
138
138
|
"semantic": "({api, context}) => {\n api.change(context.item.marker)\n }"
|
|
139
139
|
},
|
|
140
140
|
{
|
|
141
|
-
"where": "/home/dev/code/theprogrammablemind/kms/common/pipboy.js:
|
|
141
|
+
"where": "/home/dev/code/theprogrammablemind/kms/common/pipboy.js:179",
|
|
142
142
|
"id": "change",
|
|
143
143
|
"isA": [
|
|
144
144
|
"verb"
|
|
@@ -155,7 +155,7 @@
|
|
|
155
155
|
"semantic": "({api, context}) => {\n api.change(context.item.marker)\n }"
|
|
156
156
|
},
|
|
157
157
|
{
|
|
158
|
-
"where": "/home/dev/code/theprogrammablemind/kms/common/pipboy.js:
|
|
158
|
+
"where": "/home/dev/code/theprogrammablemind/kms/common/pipboy.js:191",
|
|
159
159
|
"id": "disarm",
|
|
160
160
|
"isA": [
|
|
161
161
|
"verb"
|
|
@@ -166,7 +166,7 @@
|
|
|
166
166
|
"semantic": "({api, context}) => {\n api.disarm()\n }"
|
|
167
167
|
},
|
|
168
168
|
{
|
|
169
|
-
"where": "/home/dev/code/theprogrammablemind/kms/common/pipboy.js:
|
|
169
|
+
"where": "/home/dev/code/theprogrammablemind/kms/common/pipboy.js:202",
|
|
170
170
|
"id": "strip",
|
|
171
171
|
"isA": [
|
|
172
172
|
"verb"
|
|
@@ -177,7 +177,7 @@
|
|
|
177
177
|
"semantic": "({api, context}) => {\n api.strip()\n }"
|
|
178
178
|
},
|
|
179
179
|
{
|
|
180
|
-
"where": "/home/dev/code/theprogrammablemind/kms/common/pipboy.js:
|
|
180
|
+
"where": "/home/dev/code/theprogrammablemind/kms/common/pipboy.js:213",
|
|
181
181
|
"id": "call",
|
|
182
182
|
"isA": [
|
|
183
183
|
"verb"
|
|
@@ -188,7 +188,7 @@
|
|
|
188
188
|
"semantic": "({api, context}) => {\n api.setName(context.item, context.name.name.value)\n }"
|
|
189
189
|
},
|
|
190
190
|
{
|
|
191
|
-
"where": "/home/dev/code/theprogrammablemind/kms/common/pipboy.js:
|
|
191
|
+
"where": "/home/dev/code/theprogrammablemind/kms/common/pipboy.js:224",
|
|
192
192
|
"id": "putOn",
|
|
193
193
|
"isA": [
|
|
194
194
|
"verb"
|
|
@@ -199,7 +199,7 @@
|
|
|
199
199
|
"semantic": "({api, context}) => {\n if (context.item.name) {\n api.wear({ name: context.item.name.value, type: 'outfit' })\n } else {\n api.wear({ type: context.item.value })\n }\n }"
|
|
200
200
|
},
|
|
201
201
|
{
|
|
202
|
-
"where": "/home/dev/code/theprogrammablemind/kms/common/pipboy.js:
|
|
202
|
+
"where": "/home/dev/code/theprogrammablemind/kms/common/pipboy.js:239",
|
|
203
203
|
"id": "wear",
|
|
204
204
|
"isA": [
|
|
205
205
|
"verb"
|
|
@@ -219,7 +219,7 @@
|
|
|
219
219
|
"semantic": "({api, context}) => {\n if (context.item.name) {\n api.wear({ name: context.item.name.value, type: 'outfit' })\n } else {\n api.wear({ type: context.item.value })\n }\n }"
|
|
220
220
|
},
|
|
221
221
|
{
|
|
222
|
-
"where": "/home/dev/code/theprogrammablemind/kms/common/pipboy.js:
|
|
222
|
+
"where": "/home/dev/code/theprogrammablemind/kms/common/pipboy.js:256",
|
|
223
223
|
"id": "equip",
|
|
224
224
|
"isA": [
|
|
225
225
|
"verb"
|
|
@@ -244,7 +244,7 @@
|
|
|
244
244
|
"semantic": "async ({api, context}) => {\n let condition\n if (context.item.condition) {\n condition = { selector: context.item.condition.marker, property: context.item.condition.property[0].marker }\n }\n api.equip({ type: context.item.value, condition })\n }"
|
|
245
245
|
},
|
|
246
246
|
{
|
|
247
|
-
"where": "/home/dev/code/theprogrammablemind/kms/common/pipboy.js:
|
|
247
|
+
"where": "/home/dev/code/theprogrammablemind/kms/common/pipboy.js:272",
|
|
248
248
|
"id": "toDrink",
|
|
249
249
|
"isA": [
|
|
250
250
|
"verb"
|
|
@@ -255,7 +255,7 @@
|
|
|
255
255
|
"semantic": "async ({api, context, e}) => {\n const value = await e(context.item)\n api.drink(value.value)\n }"
|
|
256
256
|
},
|
|
257
257
|
{
|
|
258
|
-
"where": "/home/dev/code/theprogrammablemind/kms/common/pipboy.js:
|
|
258
|
+
"where": "/home/dev/code/theprogrammablemind/kms/common/pipboy.js:284",
|
|
259
259
|
"id": "eat",
|
|
260
260
|
"localHierarchy": [
|
|
261
261
|
[
|
|
@@ -272,7 +272,7 @@
|
|
|
272
272
|
"semantic": "async ({api, context}) => {\n api.eat(context.item.value)\n }"
|
|
273
273
|
},
|
|
274
274
|
{
|
|
275
|
-
"where": "/home/dev/code/theprogrammablemind/kms/common/pipboy.js:
|
|
275
|
+
"where": "/home/dev/code/theprogrammablemind/kms/common/pipboy.js:296",
|
|
276
276
|
"id": "take",
|
|
277
277
|
"isA": [
|
|
278
278
|
"verb"
|
|
@@ -283,7 +283,7 @@
|
|
|
283
283
|
"semantic": "async ({api, context, e}) => {\n const value = await e(context.item)\n api.take(value.value)\n }"
|
|
284
284
|
},
|
|
285
285
|
{
|
|
286
|
-
"where": "/home/dev/code/theprogrammablemind/kms/common/pipboy.js:
|
|
286
|
+
"where": "/home/dev/code/theprogrammablemind/kms/common/pipboy.js:308",
|
|
287
287
|
"id": "nameable",
|
|
288
288
|
"isA": [
|
|
289
289
|
"theAble"
|
|
@@ -28780,7 +28780,7 @@
|
|
|
28780
28780
|
],
|
|
28781
28781
|
"bridges": [
|
|
28782
28782
|
{
|
|
28783
|
-
"where": "/home/dev/code/theprogrammablemind/kms/common/pipboy.js:
|
|
28783
|
+
"where": "/home/dev/code/theprogrammablemind/kms/common/pipboy.js:152",
|
|
28784
28784
|
"id": "put",
|
|
28785
28785
|
"isA": [
|
|
28786
28786
|
"verb"
|
|
@@ -28789,7 +28789,7 @@
|
|
|
28789
28789
|
"bridge": "{ ...next(operator) }"
|
|
28790
28790
|
},
|
|
28791
28791
|
{
|
|
28792
|
-
"where": "/home/dev/code/theprogrammablemind/kms/common/pipboy.js:
|
|
28792
|
+
"where": "/home/dev/code/theprogrammablemind/kms/common/pipboy.js:160",
|
|
28793
28793
|
"id": "propertyCondition",
|
|
28794
28794
|
"before": [
|
|
28795
28795
|
"adjective",
|
|
@@ -28801,7 +28801,7 @@
|
|
|
28801
28801
|
"bridge": "{ ...next(after[0]), condition: before[0], modifiers: ['condition'] }"
|
|
28802
28802
|
},
|
|
28803
28803
|
{
|
|
28804
|
-
"where": "/home/dev/code/theprogrammablemind/kms/common/pipboy.js:
|
|
28804
|
+
"where": "/home/dev/code/theprogrammablemind/kms/common/pipboy.js:168",
|
|
28805
28805
|
"id": "on",
|
|
28806
28806
|
"isA": [
|
|
28807
28807
|
"preposition"
|
|
@@ -28810,7 +28810,7 @@
|
|
|
28810
28810
|
"bridge": "{ ...before, marker: operator('putOn', 0), dead: false }"
|
|
28811
28811
|
},
|
|
28812
28812
|
{
|
|
28813
|
-
"where": "/home/dev/code/theprogrammablemind/kms/common/pipboy.js:
|
|
28813
|
+
"where": "/home/dev/code/theprogrammablemind/kms/common/pipboy.js:179",
|
|
28814
28814
|
"id": "change",
|
|
28815
28815
|
"isA": [
|
|
28816
28816
|
"verb"
|
|
@@ -28825,7 +28825,7 @@
|
|
|
28825
28825
|
]
|
|
28826
28826
|
},
|
|
28827
28827
|
{
|
|
28828
|
-
"where": "/home/dev/code/theprogrammablemind/kms/common/pipboy.js:
|
|
28828
|
+
"where": "/home/dev/code/theprogrammablemind/kms/common/pipboy.js:191",
|
|
28829
28829
|
"id": "disarm",
|
|
28830
28830
|
"isA": [
|
|
28831
28831
|
"verb"
|
|
@@ -28834,7 +28834,7 @@
|
|
|
28834
28834
|
"bridge": "{ ...next(operator) }"
|
|
28835
28835
|
},
|
|
28836
28836
|
{
|
|
28837
|
-
"where": "/home/dev/code/theprogrammablemind/kms/common/pipboy.js:
|
|
28837
|
+
"where": "/home/dev/code/theprogrammablemind/kms/common/pipboy.js:202",
|
|
28838
28838
|
"id": "strip",
|
|
28839
28839
|
"isA": [
|
|
28840
28840
|
"verb"
|
|
@@ -28843,7 +28843,7 @@
|
|
|
28843
28843
|
"bridge": "{ ...next(operator) }"
|
|
28844
28844
|
},
|
|
28845
28845
|
{
|
|
28846
|
-
"where": "/home/dev/code/theprogrammablemind/kms/common/pipboy.js:
|
|
28846
|
+
"where": "/home/dev/code/theprogrammablemind/kms/common/pipboy.js:213",
|
|
28847
28847
|
"id": "call",
|
|
28848
28848
|
"isA": [
|
|
28849
28849
|
"verb"
|
|
@@ -28852,7 +28852,7 @@
|
|
|
28852
28852
|
"bridge": "{ ...next(operator), item: after[0], name: after[1] }"
|
|
28853
28853
|
},
|
|
28854
28854
|
{
|
|
28855
|
-
"where": "/home/dev/code/theprogrammablemind/kms/common/pipboy.js:
|
|
28855
|
+
"where": "/home/dev/code/theprogrammablemind/kms/common/pipboy.js:224",
|
|
28856
28856
|
"id": "putOn",
|
|
28857
28857
|
"isA": [
|
|
28858
28858
|
"verb"
|
|
@@ -28861,7 +28861,7 @@
|
|
|
28861
28861
|
"bridge": "{ ...next(operator), item: after[0] }"
|
|
28862
28862
|
},
|
|
28863
28863
|
{
|
|
28864
|
-
"where": "/home/dev/code/theprogrammablemind/kms/common/pipboy.js:
|
|
28864
|
+
"where": "/home/dev/code/theprogrammablemind/kms/common/pipboy.js:239",
|
|
28865
28865
|
"id": "wear",
|
|
28866
28866
|
"isA": [
|
|
28867
28867
|
"verb"
|
|
@@ -28879,7 +28879,7 @@
|
|
|
28879
28879
|
"bridge": "{ ...next(operator), item: after[0] }"
|
|
28880
28880
|
},
|
|
28881
28881
|
{
|
|
28882
|
-
"where": "/home/dev/code/theprogrammablemind/kms/common/pipboy.js:
|
|
28882
|
+
"where": "/home/dev/code/theprogrammablemind/kms/common/pipboy.js:256",
|
|
28883
28883
|
"id": "equip",
|
|
28884
28884
|
"isA": [
|
|
28885
28885
|
"verb"
|
|
@@ -28902,7 +28902,7 @@
|
|
|
28902
28902
|
"bridge": "{ ...next(operator), item: after[0] }"
|
|
28903
28903
|
},
|
|
28904
28904
|
{
|
|
28905
|
-
"where": "/home/dev/code/theprogrammablemind/kms/common/pipboy.js:
|
|
28905
|
+
"where": "/home/dev/code/theprogrammablemind/kms/common/pipboy.js:272",
|
|
28906
28906
|
"id": "toDrink",
|
|
28907
28907
|
"isA": [
|
|
28908
28908
|
"verb"
|
|
@@ -28911,7 +28911,7 @@
|
|
|
28911
28911
|
"bridge": "{ ...next(operator), item: after[0] }"
|
|
28912
28912
|
},
|
|
28913
28913
|
{
|
|
28914
|
-
"where": "/home/dev/code/theprogrammablemind/kms/common/pipboy.js:
|
|
28914
|
+
"where": "/home/dev/code/theprogrammablemind/kms/common/pipboy.js:284",
|
|
28915
28915
|
"id": "eat",
|
|
28916
28916
|
"localHierarchy": [
|
|
28917
28917
|
[
|
|
@@ -28926,7 +28926,7 @@
|
|
|
28926
28926
|
"bridge": "{ ...next(operator), item: after[0] }"
|
|
28927
28927
|
},
|
|
28928
28928
|
{
|
|
28929
|
-
"where": "/home/dev/code/theprogrammablemind/kms/common/pipboy.js:
|
|
28929
|
+
"where": "/home/dev/code/theprogrammablemind/kms/common/pipboy.js:296",
|
|
28930
28930
|
"id": "take",
|
|
28931
28931
|
"isA": [
|
|
28932
28932
|
"verb"
|
|
@@ -28935,7 +28935,7 @@
|
|
|
28935
28935
|
"bridge": "{ ...next(operator), item: after[0] }"
|
|
28936
28936
|
},
|
|
28937
28937
|
{
|
|
28938
|
-
"where": "/home/dev/code/theprogrammablemind/kms/common/pipboy.js:
|
|
28938
|
+
"where": "/home/dev/code/theprogrammablemind/kms/common/pipboy.js:308",
|
|
28939
28939
|
"id": "nameable",
|
|
28940
28940
|
"isA": [
|
|
28941
28941
|
"theAble"
|
package/common/pipboy.js
CHANGED
|
@@ -1053,7 +1053,7 @@
|
|
|
1053
1053
|
}
|
|
1054
1054
|
]
|
|
1055
1055
|
},
|
|
1056
|
-
"trace": "\n\n>>>>>>>>>>>>> Counter 1\n 0. price/0 (1, 1) - \"price\"\n {\n default: true\n marker: Operator(price/0, [\"Selector(Bridge('{ ...next(operator) }'), , []<==>[], bridge(bridge))\"], evaluator(Bridge('{ ...next(operator) }')), variables({}) bridge(bridge))\n range: {'start': 0, 'end': 4}\n text: \"price\"\n value: \"price\"\n word: \"price\"\n }\n 1. list/0 (1, 5) - \"and\"\n {\n default: true\n marker: Operator(list/0, PASS, ['Selector(Bridge(\\'{ ...next(operator), listable: true, isList: true, value: append(before, after) }\\'), , same/(), [And([\"Type(variable: \\'type\\')\", \"Listable(Unify(Property((\\'context\\', \\'instance\\')), Property((\\'variables\\', \\'instance\\'))))\"])]<==>[And([\"Type(variable: \\'type\\')\", \"Listable(Unify(Property((\\'context\\', \\'instance\\')), Property((\\'variables\\', \\'instance\\'))))\"])], bridge(bridge))'], evaluator(Bridge('{ ...next(operator), listable: true, isList: true, value: append(before, after) }')), variables({}) bridge(bridge))\n range: {'start': 6, 'end': 8}\n text: \"and\"\n word: \"and\"\n }\n 2. quantity/0 (1, 9) - \"quantity\"\n {\n default: true\n marker: Operator(quantity/0, [\"Selector(Bridge('{ ...next(operator) }'), , []<==>[], bridge(bridge))\"], evaluator(Bridge('{ ...next(operator) }')), variables({}) bridge(bridge))\n range: {'start': 10, 'end': 17}\n text: \"quantity\"\n value: \"quantity\"\n word: \"quantity\"\n }\n 3. is/0 (1, 12) - \"are\"\n {\n marker: Operator(is/0, [\"Selector(Bridge('{ ...next(operator), one: after[0], two: after[1], query: true }'), , []<==>[Type('queryable'), Type('queryable')], bridge(queryBridge))\", \"Selector(Bridge('{ ...next(operator), one: { number: operator.number, ...before[0] }, two: after[0] }'), , [Type('queryable')]<==>[Type('queryable')], bridge(bridge))\"], evaluator(Bridge('{ ...next(operator), one: { number: operator.number, ...before[0] }, two: after[0] }')), variables({}) bridge(bridge))\n number: \"many\"\n range: {'start': 19, 'end': 21}\n text: \"are\"\n word: \"are\"\n }\n 4. property/0 (1, 18) - \"properties\"\n {\n marker: Operator(property/0, [\"Selector(Bridge('{ ...next(operator) }'), , []<==>[], bridge(bridge))\"], evaluator(Bridge('{ ...next(operator) }')), variables({}) bridge(bridge))\n range: {'start': 23, 'end': 32}\n text: \"properties\"\n value: \"property\"\n word: \"properties\"\n }\n<<<<<<<<<<<<<\nNext Op (index=0) is Context({default: True, marker: Operator(price/0, [\"Selector(Bridge('{ ...next(operator) }'), , []<==>[], bridge(bridge))\"], evaluator(Bridge('{ ...next(operator) }')), variables({}) bridge(bridge)), range: {'start': 0, 'end': 4}, text: price, value: price, word: price})\n\n>>>>>>>>>>>>> Counter 2\n *0. price/1 (dead) (2, 0) - \"price\"\n {\n prioritized_by: [('price', 0)]\n dead: true\n default: true\n marker: Operator(price/1, ['Selector(None, , []<==>[], bridge(bridge))'], evaluator(None), variables({}) bridge(bridge))\n range: {'start': 0, 'end': 4}\n text: \"price\"\n value: \"price\"\n word: \"price\"\n }\n 1. list/0 (1, 5) - \"and\"\n {\n default: true\n marker: Operator(list/0, PASS, ['Selector(Bridge(\\'{ ...next(operator), listable: true, isList: true, value: append(before, after) }\\'), , same/(), [And([\"Type(variable: \\'type\\')\", \"Listable(Unify(Property((\\'context\\', \\'instance\\')), Property((\\'variables\\', \\'instance\\'))))\"])]<==>[And([\"Type(variable: \\'type\\')\", \"Listable(Unify(Property((\\'context\\', \\'instance\\')), Property((\\'variables\\', \\'instance\\'))))\"])], bridge(bridge))'], evaluator(Bridge('{ ...next(operator), listable: true, isList: true, value: append(before, after) }')), variables({'type': ['comparable', 'queryable', 'theAble', 'quantity', 'number', 'property', 'quantifier']}) bridge(bridge))\n range: {'start': 6, 'end': 8}\n text: \"and\"\n types: [\n ]\n word: \"and\"\n }\n 2. quantity/0 (1, 9) - \"quantity\"\n {\n default: true\n marker: Operator(quantity/0, [\"Selector(Bridge('{ ...next(operator) }'), , []<==>[], bridge(bridge))\"], evaluator(Bridge('{ ...next(operator) }')), variables({}) bridge(bridge))\n range: {'start': 10, 'end': 17}\n text: \"quantity\"\n value: \"quantity\"\n word: \"quantity\"\n }\n 3. is/0 (1, 12) - \"are\"\n {\n marker: Operator(is/0, [\"Selector(Bridge('{ ...next(operator), one: after[0], two: after[1], query: true }'), , []<==>[Type('queryable'), Type('queryable')], bridge(queryBridge))\", \"Selector(Bridge('{ ...next(operator), one: { number: operator.number, ...before[0] }, two: after[0] }'), , [Type('queryable')]<==>[Type('queryable')], bridge(bridge))\"], evaluator(Bridge('{ ...next(operator), one: { number: operator.number, ...before[0] }, two: after[0] }')), variables({}) bridge(bridge))\n number: \"many\"\n range: {'start': 19, 'end': 21}\n text: \"are\"\n word: \"are\"\n }\n 4. property/0 (1, 18) - \"properties\"\n {\n marker: Operator(property/0, [\"Selector(Bridge('{ ...next(operator) }'), , []<==>[], bridge(bridge))\"], evaluator(Bridge('{ ...next(operator) }')), variables({}) bridge(bridge))\n range: {'start': 23, 'end': 32}\n text: \"properties\"\n value: \"property\"\n word: \"properties\"\n }\n<<<<<<<<<<<<<\nNext Op (index=1) is Context({default: True, marker: Operator(list/0, PASS, ['Selector(Bridge(\\'{ ...next(operator), listable: true, isList: true, value: append(before, after) }\\'), , same/(), [And([\"Type(variable: \\'type\\')\", \"Listable(Unify(Property((\\'context\\', \\'instance\\')), Property((\\'variables\\', \\'instance\\'))))\"])]<==>[And([\"Type(variable: \\'type\\')\", \"Listable(Unify(Property((\\'context\\', \\'instance\\')), Property((\\'variables\\', \\'instance\\'))))\"])], bridge(bridge))'], evaluator(Bridge('{ ...next(operator), listable: true, isList: true, value: append(before, after) }')), variables({'type': ['comparable', 'queryable', 'theAble', 'quantity', 'number', 'property', 'quantifier']}) bridge(bridge)), range: {'start': 6, 'end': 8}, text: and, types: [], word: and})\n\n>>>>>>>>>>>>> Counter 3\n *0. list/1 (3, 0) - \"price and quantity\"\n {\n prioritized_by: [('list', 0)]\n default: true\n isList: true\n listable: true\n marker: Operator(list/1, PASS, ['Selector(Bridge(\\'{ ...operator, value: append(before, operator.value) }\\'), , same/(), [And([\"Type(variable: \\'type\\')\", \"Listable(Unify(Property((\\'context\\', \\'instance\\')), Property((\\'variables\\', \\'instance\\'))))\"])]<==>[], bridge(bridge), passthrough)'], evaluator(Bridge('{ ...operator, value: append(before, operator.value) }')), variables({'type': ['comparable', 'queryable', 'theAble', 'quantity', 'number', 'property', 'quantifier']}) bridge(bridge))\n range: {'start': 0, 'end': 17}\n text: \"price and quantity\"\n types: [\n ]\n value: [\n {\n prioritized_by: [('price', 0)]\n dead: true\n default: true\n marker: Operator(price/1, ['Selector(None, , []<==>[], bridge(bridge))'], evaluator(None), variables({}) bridge(bridge))\n range: {'start': 0, 'end': 4}\n text: \"price\"\n value: \"price\"\n word: \"price\"\n }\n\n {\n default: true\n marker: Operator(quantity/0, [\"Selector(Bridge('{ ...next(operator) }'), , []<==>[], bridge(bridge))\"], evaluator(Bridge('{ ...next(operator) }')), variables({}) bridge(bridge))\n range: {'start': 10, 'end': 17}\n text: \"quantity\"\n value: \"quantity\"\n word: \"quantity\"\n }\n ]\n word: \"and\"\n }\n 1. is/0 (1, 12) - \"are\"\n {\n marker: Operator(is/0, [\"Selector(Bridge('{ ...next(operator), one: after[0], two: after[1], query: true }'), , []<==>[Type('queryable'), Type('queryable')], bridge(queryBridge))\", \"Selector(Bridge('{ ...next(operator), one: { number: operator.number, ...before[0] }, two: after[0] }'), , [Type('queryable')]<==>[Type('queryable')], bridge(bridge))\"], evaluator(Bridge('{ ...next(operator), one: { number: operator.number, ...before[0] }, two: after[0] }')), variables({}) bridge(bridge))\n number: \"many\"\n range: {'start': 19, 'end': 21}\n text: \"are\"\n word: \"are\"\n }\n 2. property/0 (1, 18) - \"properties\"\n {\n marker: Operator(property/0, [\"Selector(Bridge('{ ...next(operator) }'), , []<==>[], bridge(bridge))\"], evaluator(Bridge('{ ...next(operator) }')), variables({}) bridge(bridge))\n range: {'start': 23, 'end': 32}\n text: \"properties\"\n value: \"property\"\n word: \"properties\"\n }\n<<<<<<<<<<<<<\nNext Op (index=2) is Context({marker: Operator(property/0, [\"Selector(Bridge('{ ...next(operator) }'), , []<==>[], bridge(bridge))\"], evaluator(Bridge('{ ...next(operator) }')), variables({}) bridge(bridge)), range: {'start': 23, 'end': 32}, text: properties, value: property, word: properties})\n\n>>>>>>>>>>>>> Counter 4\n 0. list/1 (3, 0) - \"price and quantity\"\n {\n prioritized_by: [('list', 0)]\n default: true\n isList: true\n listable: true\n marker: Operator(list/1, PASS, ['Selector(Bridge(\\'{ ...operator, value: append(before, operator.value) }\\'), , same/(), [And([\"Type(variable: \\'type\\')\", \"Listable(Unify(Property((\\'context\\', \\'instance\\')), Property((\\'variables\\', \\'instance\\'))))\"])]<==>[], bridge(bridge), passthrough)'], evaluator(Bridge('{ ...operator, value: append(before, operator.value) }')), variables({'type': ['comparable', 'queryable', 'theAble', 'quantity', 'number', 'property', 'quantifier']}) bridge(bridge))\n range: {'start': 0, 'end': 17}\n text: \"price and quantity\"\n types: [\n ]\n value: [\n {\n prioritized_by: [('price', 0)]\n dead: true\n default: true\n marker: Operator(price/1, ['Selector(None, , []<==>[], bridge(bridge))'], evaluator(None), variables({}) bridge(bridge))\n range: {'start': 0, 'end': 4}\n text: \"price\"\n value: \"price\"\n word: \"price\"\n }\n\n {\n default: true\n marker: Operator(quantity/0, [\"Selector(Bridge('{ ...next(operator) }'), , []<==>[], bridge(bridge))\"], evaluator(Bridge('{ ...next(operator) }')), variables({}) bridge(bridge))\n range: {'start': 10, 'end': 17}\n text: \"quantity\"\n value: \"quantity\"\n word: \"quantity\"\n }\n ]\n word: \"and\"\n }\n 1. is/0 (1, 12) - \"are\"\n {\n marker: Operator(is/0, [\"Selector(Bridge('{ ...next(operator), one: after[0], two: after[1], query: true }'), , []<==>[Type('queryable'), Type('queryable')], bridge(queryBridge))\", \"Selector(Bridge('{ ...next(operator), one: { number: operator.number, ...before[0] }, two: after[0] }'), , [Type('queryable')]<==>[Type('queryable')], bridge(bridge))\"], evaluator(Bridge('{ ...next(operator), one: { number: operator.number, ...before[0] }, two: after[0] }')), variables({}) bridge(bridge))\n number: \"many\"\n range: {'start': 19, 'end': 21}\n text: \"are\"\n word: \"are\"\n }\n *2. property/1 (dead) (2, 1) - \"properties\"\n {\n prioritized_by: [('property', 0)]\n dead: true\n marker: Operator(property/1, ['Selector(None, , []<==>[], bridge(bridge))'], evaluator(None), variables({}) bridge(bridge))\n range: {'start': 23, 'end': 32}\n text: \"properties\"\n value: \"property\"\n word: \"properties\"\n }\n<<<<<<<<<<<<<\nNext Op (index=1) is Context({marker: Operator(is/0, [\"Selector(Bridge('{ ...next(operator), one: after[0], two: after[1], query: true }'), , []<==>[Type('queryable'), Type('queryable')], bridge(queryBridge))\", \"Selector(Bridge('{ ...next(operator), one: { number: operator.number, ...before[0] }, two: after[0] }'), , [Type('queryable')]<==>[Type('queryable')], bridge(bridge))\"], evaluator(Bridge('{ ...next(operator), one: { number: operator.number, ...before[0] }, two: after[0] }')), variables({}) bridge(bridge)), number: many, range: {'start': 19, 'end': 21}, text: are, word: are})\n\n>>>>>>>>>>>>> Counter 5\n *0. is/1 (4, 0) - \"price and quantity are properties\"\n {\n prioritized_by: [('is', 0)]\n marker: Operator(is/1, [\"Selector(Bridge('{ ...next(operator) }'), , []<==>[], bridge(bridge))\"], evaluator(Bridge('{ ...next(operator) }')), variables({}) bridge(bridge))\n number: \"many\"\n one: {\n default: true\n isList: true\n listable: true\n marker: Operator(list/1, PASS, ['Selector(Bridge(\\'{ ...operator, value: append(before, operator.value) }\\'), , same/(), [And([\"Type(variable: \\'type\\')\", \"Listable(Unify(Property((\\'context\\', \\'instance\\')), Property((\\'variables\\', \\'instance\\'))))\"])]<==>[], bridge(bridge), passthrough)'], evaluator(Bridge('{ ...operator, value: append(before, operator.value) }')), variables({'type': ['comparable', 'queryable', 'theAble', 'quantity', 'number', 'property', 'quantifier']}) bridge(bridge))\n number: \"many\"\n range: {'start': 0, 'end': 32}\n text: \"price and quantity\"\n types: [\n 'price'\n ]\n value: [\n {\n prioritized_by: [('price', 0)]\n dead: true\n default: true\n marker: Operator(price/1, ['Selector(None, , []<==>[], bridge(bridge))'], evaluator(None), variables({}) bridge(bridge))\n range: {'start': 0, 'end': 4}\n text: \"price\"\n value: \"price\"\n word: \"price\"\n }\n\n {\n default: true\n marker: Operator(quantity/0, [\"Selector(Bridge('{ ...next(operator) }'), , []<==>[], bridge(bridge))\"], evaluator(Bridge('{ ...next(operator) }')), variables({}) bridge(bridge))\n range: {'start': 10, 'end': 17}\n text: \"quantity\"\n value: \"quantity\"\n word: \"quantity\"\n }\n ]\n word: \"and\"\n }\n\n range: {'start': 0, 'end': 32}\n text: \"price and quantity are properties\"\n two: {\n prioritized_by: [('property', 0)]\n dead: true\n marker: Operator(property/1, ['Selector(None, , []<==>[], bridge(bridge))'], evaluator(None), variables({}) bridge(bridge))\n range: {'start': 23, 'end': 32}\n text: \"properties\"\n types: [\n 'property'\n ]\n value: \"property\"\n word: \"properties\"\n }\n\n word: \"are\"\n }\n<<<<<<<<<<<<<\nNext Op (index=0) is Context({marker: Operator(is/1, [\"Selector(Bridge('{ ...next(operator) }'), , []<==>[], bridge(bridge))\"], evaluator(Bridge('{ ...next(operator) }')), variables({}) bridge(bridge)), number: many, one: Context({default: True, isList: True, listable: True, marker: Operator(list/1, PASS, ['Selector(Bridge(\\'{ ...operator, value: append(before, operator.value) }\\'), , same/(), [And([\"Type(variable: \\'type\\')\", \"Listable(Unify(Property((\\'context\\', \\'instance\\')), Property((\\'variables\\', \\'instance\\'))))\"])]<==>[], bridge(bridge), passthrough)'], evaluator(Bridge('{ ...operator, value: append(before, operator.value) }')), variables({'type': ['comparable', 'queryable', 'theAble', 'quantity', 'number', 'property', 'quantifier']}) bridge(bridge)), number: many, range: {'start': 0, 'end': 32}, text: price and quantity, types: ['price'], value: [Context({dead: True, default: True, marker: Operator(price/1, ['Selector(None, , []<==>[], bridge(bridge))'], evaluator(None), variables({}) bridge(bridge)), range: {'start': 0, 'end': 4}, text: price, value: price, word: price}), Context({default: True, marker: Operator(quantity/0, [\"Selector(Bridge('{ ...next(operator) }'), , []<==>[], bridge(bridge))\"], evaluator(Bridge('{ ...next(operator) }')), variables({}) bridge(bridge)), range: {'start': 10, 'end': 17}, text: quantity, value: quantity, word: quantity})], word: and}), range: {'start': 0, 'end': 32}, text: price and quantity are properties, two: Context({dead: True, marker: Operator(property/1, ['Selector(None, , []<==>[], bridge(bridge))'], evaluator(None), variables({}) bridge(bridge)), range: {'start': 23, 'end': 32}, text: properties, types: ['property'], value: property, word: properties}), word: are})\n\n>>>>>>>>>>>>> Counter 6\n *0. is/2 (dead) (5, 0) - \"price and quantity are properties\"\n {\n prioritized_by: [('is', 1)]\n dead: true\n marker: Operator(is/2, ['Selector(None, , []<==>[], bridge(bridge))'], evaluator(None), variables({}) bridge(bridge))\n number: \"many\"\n one: {\n default: true\n isList: true\n listable: true\n marker: Operator(list/1, PASS, ['Selector(Bridge(\\'{ ...operator, value: append(before, operator.value) }\\'), , same/(), [And([\"Type(variable: \\'type\\')\", \"Listable(Unify(Property((\\'context\\', \\'instance\\')), Property((\\'variables\\', \\'instance\\'))))\"])]<==>[], bridge(bridge), passthrough)'], evaluator(Bridge('{ ...operator, value: append(before, operator.value) }')), variables({'type': ['comparable', 'queryable', 'theAble', 'quantity', 'number', 'property', 'quantifier']}) bridge(bridge))\n number: \"many\"\n range: {'start': 0, 'end': 32}\n text: \"price and quantity\"\n types: [\n 'price'\n ]\n value: [\n {\n prioritized_by: [('price', 0)]\n dead: true\n default: true\n marker: Operator(price/1, ['Selector(None, , []<==>[], bridge(bridge))'], evaluator(None), variables({}) bridge(bridge))\n range: {'start': 0, 'end': 4}\n text: \"price\"\n value: \"price\"\n word: \"price\"\n }\n\n {\n default: true\n marker: Operator(quantity/0, [\"Selector(Bridge('{ ...next(operator) }'), , []<==>[], bridge(bridge))\"], evaluator(Bridge('{ ...next(operator) }')), variables({}) bridge(bridge))\n range: {'start': 10, 'end': 17}\n text: \"quantity\"\n value: \"quantity\"\n word: \"quantity\"\n }\n ]\n word: \"and\"\n }\n\n range: {'start': 0, 'end': 32}\n text: \"price and quantity are properties\"\n two: {\n prioritized_by: [('property', 0)]\n dead: true\n marker: Operator(property/1, ['Selector(None, , []<==>[], bridge(bridge))'], evaluator(None), variables({}) bridge(bridge))\n range: {'start': 23, 'end': 32}\n text: \"properties\"\n types: [\n 'property'\n ]\n value: \"property\"\n word: \"properties\"\n }\n\n word: \"are\"\n }\n<<<<<<<<<<<<<\n",
|
|
1056
|
+
"trace": "\n\n>>>>>>>>>>>>> Counter 1\n 0. price/0 (1, 1) - \"price\"\n {\n default: true\n marker: Operator(price/0, [\"Selector(Bridge('{ ...next(operator) }'), , []<==>[], bridge(bridge))\"], evaluator(Bridge('{ ...next(operator) }')), variables({}) bridge(bridge))\n range: {'start': 0, 'end': 4}\n text: \"price\"\n value: \"price\"\n word: \"price\"\n }\n 1. list/0 (1, 5) - \"and\"\n {\n default: true\n marker: Operator(list/0, PASS, ['Selector(Bridge(\\'{ ...next(operator), listable: true, isList: true, value: append(before, after) }\\'), , same/(), [And([\"Type(variable: \\'type\\')\", \"Listable(Unify(Property((\\'context\\', \\'instance\\')), Property((\\'variables\\', \\'instance\\'))))\"])]<==>[And([\"Type(variable: \\'type\\')\", \"Listable(Unify(Property((\\'context\\', \\'instance\\')), Property((\\'variables\\', \\'instance\\'))))\"])], bridge(bridge))'], evaluator(Bridge('{ ...next(operator), listable: true, isList: true, value: append(before, after) }')), variables({}) bridge(bridge))\n range: {'start': 6, 'end': 8}\n text: \"and\"\n word: \"and\"\n }\n 2. quantity/0 (1, 9) - \"quantity\"\n {\n default: true\n marker: Operator(quantity/0, [\"Selector(Bridge('{ ...next(operator) }'), , []<==>[], bridge(bridge))\"], evaluator(Bridge('{ ...next(operator) }')), variables({}) bridge(bridge))\n range: {'start': 10, 'end': 17}\n text: \"quantity\"\n value: \"quantity\"\n word: \"quantity\"\n }\n 3. is/0 (1, 12) - \"are\"\n {\n marker: Operator(is/0, [\"Selector(Bridge('{ ...next(operator), one: after[0], two: after[1], query: true }'), , []<==>[Type('queryable'), Type('queryable')], bridge(queryBridge))\", \"Selector(Bridge('{ ...next(operator), one: { number: operator.number, ...before[0] }, two: after[0] }'), , [Type('queryable')]<==>[Type('queryable')], bridge(bridge))\"], evaluator(Bridge('{ ...next(operator), one: { number: operator.number, ...before[0] }, two: after[0] }')), variables({}) bridge(bridge))\n number: \"many\"\n range: {'start': 19, 'end': 21}\n text: \"are\"\n word: \"are\"\n }\n 4. property/0 (1, 18) - \"properties\"\n {\n marker: Operator(property/0, [\"Selector(Bridge('{ ...next(operator) }'), , []<==>[], bridge(bridge))\"], evaluator(Bridge('{ ...next(operator) }')), variables({}) bridge(bridge))\n range: {'start': 23, 'end': 32}\n text: \"properties\"\n value: \"property\"\n word: \"properties\"\n }\n<<<<<<<<<<<<<\nNext Op (index=0) is Context({default: True, marker: Operator(price/0, [\"Selector(Bridge('{ ...next(operator) }'), , []<==>[], bridge(bridge))\"], evaluator(Bridge('{ ...next(operator) }')), variables({}) bridge(bridge)), range: {'start': 0, 'end': 4}, text: price, value: price, word: price})\n\n>>>>>>>>>>>>> Counter 2\n *0. price/1 (dead) (2, 0) - \"price\"\n {\n prioritized_by: [('price', 0)]\n dead: true\n default: true\n marker: Operator(price/1, ['Selector(None, , []<==>[], bridge(bridge))'], evaluator(None), variables({}) bridge(bridge))\n range: {'start': 0, 'end': 4}\n text: \"price\"\n value: \"price\"\n word: \"price\"\n }\n 1. list/0 (1, 5) - \"and\"\n {\n default: true\n marker: Operator(list/0, PASS, ['Selector(Bridge(\\'{ ...next(operator), listable: true, isList: true, value: append(before, after) }\\'), , same/(), [And([\"Type(variable: \\'type\\')\", \"Listable(Unify(Property((\\'context\\', \\'instance\\')), Property((\\'variables\\', \\'instance\\'))))\"])]<==>[And([\"Type(variable: \\'type\\')\", \"Listable(Unify(Property((\\'context\\', \\'instance\\')), Property((\\'variables\\', \\'instance\\'))))\"])], bridge(bridge))'], evaluator(Bridge('{ ...next(operator), listable: true, isList: true, value: append(before, after) }')), variables({'type': ['theAble', 'queryable', 'quantity', 'quantifier', 'comparable', 'number', 'property']}) bridge(bridge))\n range: {'start': 6, 'end': 8}\n text: \"and\"\n types: [\n ]\n word: \"and\"\n }\n 2. quantity/0 (1, 9) - \"quantity\"\n {\n default: true\n marker: Operator(quantity/0, [\"Selector(Bridge('{ ...next(operator) }'), , []<==>[], bridge(bridge))\"], evaluator(Bridge('{ ...next(operator) }')), variables({}) bridge(bridge))\n range: {'start': 10, 'end': 17}\n text: \"quantity\"\n value: \"quantity\"\n word: \"quantity\"\n }\n 3. is/0 (1, 12) - \"are\"\n {\n marker: Operator(is/0, [\"Selector(Bridge('{ ...next(operator), one: after[0], two: after[1], query: true }'), , []<==>[Type('queryable'), Type('queryable')], bridge(queryBridge))\", \"Selector(Bridge('{ ...next(operator), one: { number: operator.number, ...before[0] }, two: after[0] }'), , [Type('queryable')]<==>[Type('queryable')], bridge(bridge))\"], evaluator(Bridge('{ ...next(operator), one: { number: operator.number, ...before[0] }, two: after[0] }')), variables({}) bridge(bridge))\n number: \"many\"\n range: {'start': 19, 'end': 21}\n text: \"are\"\n word: \"are\"\n }\n 4. property/0 (1, 18) - \"properties\"\n {\n marker: Operator(property/0, [\"Selector(Bridge('{ ...next(operator) }'), , []<==>[], bridge(bridge))\"], evaluator(Bridge('{ ...next(operator) }')), variables({}) bridge(bridge))\n range: {'start': 23, 'end': 32}\n text: \"properties\"\n value: \"property\"\n word: \"properties\"\n }\n<<<<<<<<<<<<<\nNext Op (index=1) is Context({default: True, marker: Operator(list/0, PASS, ['Selector(Bridge(\\'{ ...next(operator), listable: true, isList: true, value: append(before, after) }\\'), , same/(), [And([\"Type(variable: \\'type\\')\", \"Listable(Unify(Property((\\'context\\', \\'instance\\')), Property((\\'variables\\', \\'instance\\'))))\"])]<==>[And([\"Type(variable: \\'type\\')\", \"Listable(Unify(Property((\\'context\\', \\'instance\\')), Property((\\'variables\\', \\'instance\\'))))\"])], bridge(bridge))'], evaluator(Bridge('{ ...next(operator), listable: true, isList: true, value: append(before, after) }')), variables({'type': ['theAble', 'queryable', 'quantity', 'quantifier', 'comparable', 'number', 'property']}) bridge(bridge)), range: {'start': 6, 'end': 8}, text: and, types: [], word: and})\n\n>>>>>>>>>>>>> Counter 3\n *0. list/1 (3, 0) - \"price and quantity\"\n {\n prioritized_by: [('list', 0)]\n default: true\n isList: true\n listable: true\n marker: Operator(list/1, PASS, ['Selector(Bridge(\\'{ ...operator, value: append(before, operator.value) }\\'), , same/(), [And([\"Type(variable: \\'type\\')\", \"Listable(Unify(Property((\\'context\\', \\'instance\\')), Property((\\'variables\\', \\'instance\\'))))\"])]<==>[], bridge(bridge), passthrough)'], evaluator(Bridge('{ ...operator, value: append(before, operator.value) }')), variables({'type': ['theAble', 'queryable', 'quantity', 'quantifier', 'comparable', 'number', 'property']}) bridge(bridge))\n range: {'start': 0, 'end': 17}\n text: \"price and quantity\"\n types: [\n ]\n value: [\n {\n prioritized_by: [('price', 0)]\n dead: true\n default: true\n marker: Operator(price/1, ['Selector(None, , []<==>[], bridge(bridge))'], evaluator(None), variables({}) bridge(bridge))\n range: {'start': 0, 'end': 4}\n text: \"price\"\n value: \"price\"\n word: \"price\"\n }\n\n {\n default: true\n marker: Operator(quantity/0, [\"Selector(Bridge('{ ...next(operator) }'), , []<==>[], bridge(bridge))\"], evaluator(Bridge('{ ...next(operator) }')), variables({}) bridge(bridge))\n range: {'start': 10, 'end': 17}\n text: \"quantity\"\n value: \"quantity\"\n word: \"quantity\"\n }\n ]\n word: \"and\"\n }\n 1. is/0 (1, 12) - \"are\"\n {\n marker: Operator(is/0, [\"Selector(Bridge('{ ...next(operator), one: after[0], two: after[1], query: true }'), , []<==>[Type('queryable'), Type('queryable')], bridge(queryBridge))\", \"Selector(Bridge('{ ...next(operator), one: { number: operator.number, ...before[0] }, two: after[0] }'), , [Type('queryable')]<==>[Type('queryable')], bridge(bridge))\"], evaluator(Bridge('{ ...next(operator), one: { number: operator.number, ...before[0] }, two: after[0] }')), variables({}) bridge(bridge))\n number: \"many\"\n range: {'start': 19, 'end': 21}\n text: \"are\"\n word: \"are\"\n }\n 2. property/0 (1, 18) - \"properties\"\n {\n marker: Operator(property/0, [\"Selector(Bridge('{ ...next(operator) }'), , []<==>[], bridge(bridge))\"], evaluator(Bridge('{ ...next(operator) }')), variables({}) bridge(bridge))\n range: {'start': 23, 'end': 32}\n text: \"properties\"\n value: \"property\"\n word: \"properties\"\n }\n<<<<<<<<<<<<<\nNext Op (index=2) is Context({marker: Operator(property/0, [\"Selector(Bridge('{ ...next(operator) }'), , []<==>[], bridge(bridge))\"], evaluator(Bridge('{ ...next(operator) }')), variables({}) bridge(bridge)), range: {'start': 23, 'end': 32}, text: properties, value: property, word: properties})\n\n>>>>>>>>>>>>> Counter 4\n 0. list/1 (3, 0) - \"price and quantity\"\n {\n prioritized_by: [('list', 0)]\n default: true\n isList: true\n listable: true\n marker: Operator(list/1, PASS, ['Selector(Bridge(\\'{ ...operator, value: append(before, operator.value) }\\'), , same/(), [And([\"Type(variable: \\'type\\')\", \"Listable(Unify(Property((\\'context\\', \\'instance\\')), Property((\\'variables\\', \\'instance\\'))))\"])]<==>[], bridge(bridge), passthrough)'], evaluator(Bridge('{ ...operator, value: append(before, operator.value) }')), variables({'type': ['theAble', 'queryable', 'quantity', 'quantifier', 'comparable', 'number', 'property']}) bridge(bridge))\n range: {'start': 0, 'end': 17}\n text: \"price and quantity\"\n types: [\n ]\n value: [\n {\n prioritized_by: [('price', 0)]\n dead: true\n default: true\n marker: Operator(price/1, ['Selector(None, , []<==>[], bridge(bridge))'], evaluator(None), variables({}) bridge(bridge))\n range: {'start': 0, 'end': 4}\n text: \"price\"\n value: \"price\"\n word: \"price\"\n }\n\n {\n default: true\n marker: Operator(quantity/0, [\"Selector(Bridge('{ ...next(operator) }'), , []<==>[], bridge(bridge))\"], evaluator(Bridge('{ ...next(operator) }')), variables({}) bridge(bridge))\n range: {'start': 10, 'end': 17}\n text: \"quantity\"\n value: \"quantity\"\n word: \"quantity\"\n }\n ]\n word: \"and\"\n }\n 1. is/0 (1, 12) - \"are\"\n {\n marker: Operator(is/0, [\"Selector(Bridge('{ ...next(operator), one: after[0], two: after[1], query: true }'), , []<==>[Type('queryable'), Type('queryable')], bridge(queryBridge))\", \"Selector(Bridge('{ ...next(operator), one: { number: operator.number, ...before[0] }, two: after[0] }'), , [Type('queryable')]<==>[Type('queryable')], bridge(bridge))\"], evaluator(Bridge('{ ...next(operator), one: { number: operator.number, ...before[0] }, two: after[0] }')), variables({}) bridge(bridge))\n number: \"many\"\n range: {'start': 19, 'end': 21}\n text: \"are\"\n word: \"are\"\n }\n *2. property/1 (dead) (2, 1) - \"properties\"\n {\n prioritized_by: [('property', 0)]\n dead: true\n marker: Operator(property/1, ['Selector(None, , []<==>[], bridge(bridge))'], evaluator(None), variables({}) bridge(bridge))\n range: {'start': 23, 'end': 32}\n text: \"properties\"\n value: \"property\"\n word: \"properties\"\n }\n<<<<<<<<<<<<<\nNext Op (index=1) is Context({marker: Operator(is/0, [\"Selector(Bridge('{ ...next(operator), one: after[0], two: after[1], query: true }'), , []<==>[Type('queryable'), Type('queryable')], bridge(queryBridge))\", \"Selector(Bridge('{ ...next(operator), one: { number: operator.number, ...before[0] }, two: after[0] }'), , [Type('queryable')]<==>[Type('queryable')], bridge(bridge))\"], evaluator(Bridge('{ ...next(operator), one: { number: operator.number, ...before[0] }, two: after[0] }')), variables({}) bridge(bridge)), number: many, range: {'start': 19, 'end': 21}, text: are, word: are})\n\n>>>>>>>>>>>>> Counter 5\n *0. is/1 (4, 0) - \"price and quantity are properties\"\n {\n prioritized_by: [('is', 0)]\n marker: Operator(is/1, [\"Selector(Bridge('{ ...next(operator) }'), , []<==>[], bridge(bridge))\"], evaluator(Bridge('{ ...next(operator) }')), variables({}) bridge(bridge))\n number: \"many\"\n one: {\n default: true\n isList: true\n listable: true\n marker: Operator(list/1, PASS, ['Selector(Bridge(\\'{ ...operator, value: append(before, operator.value) }\\'), , same/(), [And([\"Type(variable: \\'type\\')\", \"Listable(Unify(Property((\\'context\\', \\'instance\\')), Property((\\'variables\\', \\'instance\\'))))\"])]<==>[], bridge(bridge), passthrough)'], evaluator(Bridge('{ ...operator, value: append(before, operator.value) }')), variables({'type': ['theAble', 'queryable', 'quantity', 'quantifier', 'comparable', 'number', 'property']}) bridge(bridge))\n number: \"many\"\n range: {'start': 0, 'end': 32}\n text: \"price and quantity\"\n types: [\n 'price'\n ]\n value: [\n {\n prioritized_by: [('price', 0)]\n dead: true\n default: true\n marker: Operator(price/1, ['Selector(None, , []<==>[], bridge(bridge))'], evaluator(None), variables({}) bridge(bridge))\n range: {'start': 0, 'end': 4}\n text: \"price\"\n value: \"price\"\n word: \"price\"\n }\n\n {\n default: true\n marker: Operator(quantity/0, [\"Selector(Bridge('{ ...next(operator) }'), , []<==>[], bridge(bridge))\"], evaluator(Bridge('{ ...next(operator) }')), variables({}) bridge(bridge))\n range: {'start': 10, 'end': 17}\n text: \"quantity\"\n value: \"quantity\"\n word: \"quantity\"\n }\n ]\n word: \"and\"\n }\n\n range: {'start': 0, 'end': 32}\n text: \"price and quantity are properties\"\n two: {\n prioritized_by: [('property', 0)]\n dead: true\n marker: Operator(property/1, ['Selector(None, , []<==>[], bridge(bridge))'], evaluator(None), variables({}) bridge(bridge))\n range: {'start': 23, 'end': 32}\n text: \"properties\"\n types: [\n 'property'\n ]\n value: \"property\"\n word: \"properties\"\n }\n\n word: \"are\"\n }\n<<<<<<<<<<<<<\nNext Op (index=0) is Context({marker: Operator(is/1, [\"Selector(Bridge('{ ...next(operator) }'), , []<==>[], bridge(bridge))\"], evaluator(Bridge('{ ...next(operator) }')), variables({}) bridge(bridge)), number: many, one: Context({default: True, isList: True, listable: True, marker: Operator(list/1, PASS, ['Selector(Bridge(\\'{ ...operator, value: append(before, operator.value) }\\'), , same/(), [And([\"Type(variable: \\'type\\')\", \"Listable(Unify(Property((\\'context\\', \\'instance\\')), Property((\\'variables\\', \\'instance\\'))))\"])]<==>[], bridge(bridge), passthrough)'], evaluator(Bridge('{ ...operator, value: append(before, operator.value) }')), variables({'type': ['theAble', 'queryable', 'quantity', 'quantifier', 'comparable', 'number', 'property']}) bridge(bridge)), number: many, range: {'start': 0, 'end': 32}, text: price and quantity, types: ['price'], value: [Context({dead: True, default: True, marker: Operator(price/1, ['Selector(None, , []<==>[], bridge(bridge))'], evaluator(None), variables({}) bridge(bridge)), range: {'start': 0, 'end': 4}, text: price, value: price, word: price}), Context({default: True, marker: Operator(quantity/0, [\"Selector(Bridge('{ ...next(operator) }'), , []<==>[], bridge(bridge))\"], evaluator(Bridge('{ ...next(operator) }')), variables({}) bridge(bridge)), range: {'start': 10, 'end': 17}, text: quantity, value: quantity, word: quantity})], word: and}), range: {'start': 0, 'end': 32}, text: price and quantity are properties, two: Context({dead: True, marker: Operator(property/1, ['Selector(None, , []<==>[], bridge(bridge))'], evaluator(None), variables({}) bridge(bridge)), range: {'start': 23, 'end': 32}, text: properties, types: ['property'], value: property, word: properties}), word: are})\n\n>>>>>>>>>>>>> Counter 6\n *0. is/2 (dead) (5, 0) - \"price and quantity are properties\"\n {\n prioritized_by: [('is', 1)]\n dead: true\n marker: Operator(is/2, ['Selector(None, , []<==>[], bridge(bridge))'], evaluator(None), variables({}) bridge(bridge))\n number: \"many\"\n one: {\n default: true\n isList: true\n listable: true\n marker: Operator(list/1, PASS, ['Selector(Bridge(\\'{ ...operator, value: append(before, operator.value) }\\'), , same/(), [And([\"Type(variable: \\'type\\')\", \"Listable(Unify(Property((\\'context\\', \\'instance\\')), Property((\\'variables\\', \\'instance\\'))))\"])]<==>[], bridge(bridge), passthrough)'], evaluator(Bridge('{ ...operator, value: append(before, operator.value) }')), variables({'type': ['theAble', 'queryable', 'quantity', 'quantifier', 'comparable', 'number', 'property']}) bridge(bridge))\n number: \"many\"\n range: {'start': 0, 'end': 32}\n text: \"price and quantity\"\n types: [\n 'price'\n ]\n value: [\n {\n prioritized_by: [('price', 0)]\n dead: true\n default: true\n marker: Operator(price/1, ['Selector(None, , []<==>[], bridge(bridge))'], evaluator(None), variables({}) bridge(bridge))\n range: {'start': 0, 'end': 4}\n text: \"price\"\n value: \"price\"\n word: \"price\"\n }\n\n {\n default: true\n marker: Operator(quantity/0, [\"Selector(Bridge('{ ...next(operator) }'), , []<==>[], bridge(bridge))\"], evaluator(Bridge('{ ...next(operator) }')), variables({}) bridge(bridge))\n range: {'start': 10, 'end': 17}\n text: \"quantity\"\n value: \"quantity\"\n word: \"quantity\"\n }\n ]\n word: \"and\"\n }\n\n range: {'start': 0, 'end': 32}\n text: \"price and quantity are properties\"\n two: {\n prioritized_by: [('property', 0)]\n dead: true\n marker: Operator(property/1, ['Selector(None, , []<==>[], bridge(bridge))'], evaluator(None), variables({}) bridge(bridge))\n range: {'start': 23, 'end': 32}\n text: \"properties\"\n types: [\n 'property'\n ]\n value: \"property\"\n word: \"properties\"\n }\n\n word: \"are\"\n }\n<<<<<<<<<<<<<\n",
|
|
1057
1057
|
"contexts": [
|
|
1058
1058
|
{
|
|
1059
1059
|
"number": "many",
|
package/common/ui.instance.json
CHANGED
|
@@ -19,11 +19,26 @@
|
|
|
19
19
|
"adjective",
|
|
20
20
|
false
|
|
21
21
|
],
|
|
22
|
+
[
|
|
23
|
+
"all",
|
|
24
|
+
"quantifier",
|
|
25
|
+
false
|
|
26
|
+
],
|
|
22
27
|
[
|
|
23
28
|
"articlePOS",
|
|
24
29
|
"articlePOS",
|
|
25
30
|
false
|
|
26
31
|
],
|
|
32
|
+
[
|
|
33
|
+
"between",
|
|
34
|
+
"preposition",
|
|
35
|
+
false
|
|
36
|
+
],
|
|
37
|
+
[
|
|
38
|
+
"canBeDoQuestion",
|
|
39
|
+
"canBeDoQuestion",
|
|
40
|
+
false
|
|
41
|
+
],
|
|
27
42
|
[
|
|
28
43
|
"canBeQuestion",
|
|
29
44
|
"canBeQuestion",
|
|
@@ -34,6 +49,21 @@
|
|
|
34
49
|
"verb",
|
|
35
50
|
false
|
|
36
51
|
],
|
|
52
|
+
[
|
|
53
|
+
"concept",
|
|
54
|
+
"queryable",
|
|
55
|
+
false
|
|
56
|
+
],
|
|
57
|
+
[
|
|
58
|
+
"concept",
|
|
59
|
+
"theAble",
|
|
60
|
+
false
|
|
61
|
+
],
|
|
62
|
+
[
|
|
63
|
+
"countable",
|
|
64
|
+
"hierarchyAble",
|
|
65
|
+
false
|
|
66
|
+
],
|
|
37
67
|
[
|
|
38
68
|
"direction",
|
|
39
69
|
"direction",
|
|
@@ -54,6 +84,26 @@
|
|
|
54
84
|
"verb",
|
|
55
85
|
false
|
|
56
86
|
],
|
|
87
|
+
[
|
|
88
|
+
"hasCountOfPieces",
|
|
89
|
+
"countable",
|
|
90
|
+
false
|
|
91
|
+
],
|
|
92
|
+
[
|
|
93
|
+
"have",
|
|
94
|
+
"canBeDoQuestion",
|
|
95
|
+
false
|
|
96
|
+
],
|
|
97
|
+
[
|
|
98
|
+
"have",
|
|
99
|
+
"canBeQuestion",
|
|
100
|
+
false
|
|
101
|
+
],
|
|
102
|
+
[
|
|
103
|
+
"hierarchyAble",
|
|
104
|
+
"queryable",
|
|
105
|
+
false
|
|
106
|
+
],
|
|
57
107
|
[
|
|
58
108
|
"ifAble",
|
|
59
109
|
"ifAble",
|
|
@@ -109,6 +159,11 @@
|
|
|
109
159
|
"theAble",
|
|
110
160
|
false
|
|
111
161
|
],
|
|
162
|
+
[
|
|
163
|
+
"modifies",
|
|
164
|
+
"verb",
|
|
165
|
+
false
|
|
166
|
+
],
|
|
112
167
|
[
|
|
113
168
|
"move",
|
|
114
169
|
"verb",
|
|
@@ -126,9 +181,24 @@
|
|
|
126
181
|
],
|
|
127
182
|
[
|
|
128
183
|
"number",
|
|
184
|
+
"quantifier",
|
|
185
|
+
false
|
|
186
|
+
],
|
|
187
|
+
[
|
|
188
|
+
"number",
|
|
189
|
+
"queryable",
|
|
190
|
+
false
|
|
191
|
+
],
|
|
192
|
+
[
|
|
193
|
+
"object",
|
|
129
194
|
"queryable",
|
|
130
195
|
false
|
|
131
196
|
],
|
|
197
|
+
[
|
|
198
|
+
"object",
|
|
199
|
+
"theAble",
|
|
200
|
+
false
|
|
201
|
+
],
|
|
132
202
|
[
|
|
133
203
|
"orAble",
|
|
134
204
|
"ifAble",
|
|
@@ -149,11 +219,31 @@
|
|
|
149
219
|
"pronoun",
|
|
150
220
|
false
|
|
151
221
|
],
|
|
222
|
+
[
|
|
223
|
+
"property",
|
|
224
|
+
"queryable",
|
|
225
|
+
false
|
|
226
|
+
],
|
|
227
|
+
[
|
|
228
|
+
"property",
|
|
229
|
+
"theAble",
|
|
230
|
+
false
|
|
231
|
+
],
|
|
232
|
+
[
|
|
233
|
+
"propertyOf",
|
|
234
|
+
"preposition",
|
|
235
|
+
false
|
|
236
|
+
],
|
|
152
237
|
[
|
|
153
238
|
"punctuation",
|
|
154
239
|
"punctuation",
|
|
155
240
|
false
|
|
156
241
|
],
|
|
242
|
+
[
|
|
243
|
+
"quantifier",
|
|
244
|
+
"quantifier",
|
|
245
|
+
false
|
|
246
|
+
],
|
|
157
247
|
[
|
|
158
248
|
"queryable",
|
|
159
249
|
"queryable",
|
|
@@ -164,6 +254,11 @@
|
|
|
164
254
|
"punctuation",
|
|
165
255
|
false
|
|
166
256
|
],
|
|
257
|
+
[
|
|
258
|
+
"readonly",
|
|
259
|
+
"queryable",
|
|
260
|
+
false
|
|
261
|
+
],
|
|
167
262
|
[
|
|
168
263
|
"reason",
|
|
169
264
|
"queryable",
|
|
@@ -244,6 +339,21 @@
|
|
|
244
339
|
"toAble",
|
|
245
340
|
false
|
|
246
341
|
],
|
|
342
|
+
[
|
|
343
|
+
"type",
|
|
344
|
+
"property",
|
|
345
|
+
false
|
|
346
|
+
],
|
|
347
|
+
[
|
|
348
|
+
"type",
|
|
349
|
+
"whatAble",
|
|
350
|
+
false
|
|
351
|
+
],
|
|
352
|
+
[
|
|
353
|
+
"unknown",
|
|
354
|
+
"hierarchyAble",
|
|
355
|
+
false
|
|
356
|
+
],
|
|
247
357
|
[
|
|
248
358
|
"unknown",
|
|
249
359
|
"queryable",
|
|
@@ -269,6 +379,11 @@
|
|
|
269
379
|
"verb",
|
|
270
380
|
false
|
|
271
381
|
],
|
|
382
|
+
[
|
|
383
|
+
"what",
|
|
384
|
+
"object",
|
|
385
|
+
false
|
|
386
|
+
],
|
|
272
387
|
[
|
|
273
388
|
"what",
|
|
274
389
|
"queryable",
|
|
@@ -278,6 +393,16 @@
|
|
|
278
393
|
"whatAble",
|
|
279
394
|
"queryable",
|
|
280
395
|
false
|
|
396
|
+
],
|
|
397
|
+
[
|
|
398
|
+
"whose",
|
|
399
|
+
"object",
|
|
400
|
+
false
|
|
401
|
+
],
|
|
402
|
+
[
|
|
403
|
+
"xfx",
|
|
404
|
+
"queryable",
|
|
405
|
+
false
|
|
281
406
|
]
|
|
282
407
|
],
|
|
283
408
|
"metadata": {
|