tpmkms_4wp 9.1.1-beta.0 → 9.1.1
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/articles.js +0 -2
- package/common/avatar.js +6 -0
- package/common/colors.instance.json +0 -28
- package/common/comparable.js +0 -6
- package/common/crew.instance.json +39 -0
- package/common/crew.js +7 -0
- package/common/edible.instance.json +0 -56
- package/common/fastfood.instance.json +337 -61
- package/common/negation.js +0 -5
- package/common/pipboy.instance.json +122 -84
- package/common/pipboy.js +7 -0
- package/common/properties.js +0 -1
- package/common/reports.instance.json +1 -1
- package/common/temperature.instance.json +0 -112
- package/common/wp.instance.json +0 -56
- package/main.js +0 -2
- package/package.json +3 -7
- package/common/menus.instance.json +0 -2
- package/common/menus.js +0 -61
- package/common/menus.test.json +0 -2
@@ -103,9 +103,56 @@
|
|
103
103
|
]
|
104
104
|
}
|
105
105
|
],
|
106
|
+
"associations": {
|
107
|
+
"negative": [],
|
108
|
+
"positive": [
|
109
|
+
{
|
110
|
+
"context": [
|
111
|
+
[
|
112
|
+
"the",
|
113
|
+
0
|
114
|
+
],
|
115
|
+
[
|
116
|
+
"condition",
|
117
|
+
0
|
118
|
+
],
|
119
|
+
[
|
120
|
+
"item_property",
|
121
|
+
0
|
122
|
+
],
|
123
|
+
[
|
124
|
+
"weapon",
|
125
|
+
0
|
126
|
+
]
|
127
|
+
],
|
128
|
+
"choose": 1
|
129
|
+
},
|
130
|
+
{
|
131
|
+
"context": [
|
132
|
+
[
|
133
|
+
"the",
|
134
|
+
0
|
135
|
+
],
|
136
|
+
[
|
137
|
+
"condition",
|
138
|
+
0
|
139
|
+
],
|
140
|
+
[
|
141
|
+
"item_property",
|
142
|
+
1
|
143
|
+
],
|
144
|
+
[
|
145
|
+
"weapon",
|
146
|
+
0
|
147
|
+
]
|
148
|
+
],
|
149
|
+
"choose": 1
|
150
|
+
}
|
151
|
+
]
|
152
|
+
},
|
106
153
|
"bridges": [
|
107
154
|
{
|
108
|
-
"where": "/home/dev/code/theprogrammablemind/kms/common/pipboy.js:
|
155
|
+
"where": "/home/dev/code/theprogrammablemind/kms/common/pipboy.js:159",
|
109
156
|
"id": "put",
|
110
157
|
"isA": [
|
111
158
|
"verb"
|
@@ -113,7 +160,7 @@
|
|
113
160
|
"generatorp": "({context}) => `put on`"
|
114
161
|
},
|
115
162
|
{
|
116
|
-
"where": "/home/dev/code/theprogrammablemind/kms/common/pipboy.js:
|
163
|
+
"where": "/home/dev/code/theprogrammablemind/kms/common/pipboy.js:165",
|
117
164
|
"id": "propertyCondition",
|
118
165
|
"before": [
|
119
166
|
"adjective",
|
@@ -125,7 +172,7 @@
|
|
125
172
|
"bridge": "{ ...next(after[0]), condition: before[0], modifiers: ['condition'] }"
|
126
173
|
},
|
127
174
|
{
|
128
|
-
"where": "/home/dev/code/theprogrammablemind/kms/common/pipboy.js:
|
175
|
+
"where": "/home/dev/code/theprogrammablemind/kms/common/pipboy.js:173",
|
129
176
|
"id": "on",
|
130
177
|
"isA": [
|
131
178
|
"preposition"
|
@@ -136,7 +183,7 @@
|
|
136
183
|
"semantic": "({api, context}) => {\n api.change(context.item.marker)\n }"
|
137
184
|
},
|
138
185
|
{
|
139
|
-
"where": "/home/dev/code/theprogrammablemind/kms/common/pipboy.js:
|
186
|
+
"where": "/home/dev/code/theprogrammablemind/kms/common/pipboy.js:184",
|
140
187
|
"id": "change",
|
141
188
|
"isA": [
|
142
189
|
"verb"
|
@@ -153,7 +200,7 @@
|
|
153
200
|
"semantic": "({api, context}) => {\n api.change(context.item.marker)\n }"
|
154
201
|
},
|
155
202
|
{
|
156
|
-
"where": "/home/dev/code/theprogrammablemind/kms/common/pipboy.js:
|
203
|
+
"where": "/home/dev/code/theprogrammablemind/kms/common/pipboy.js:196",
|
157
204
|
"id": "disarm",
|
158
205
|
"isA": [
|
159
206
|
"verb"
|
@@ -162,7 +209,7 @@
|
|
162
209
|
"semantic": "({api, context}) => {\n api.disarm()\n }"
|
163
210
|
},
|
164
211
|
{
|
165
|
-
"where": "/home/dev/code/theprogrammablemind/kms/common/pipboy.js:
|
212
|
+
"where": "/home/dev/code/theprogrammablemind/kms/common/pipboy.js:205",
|
166
213
|
"id": "strip",
|
167
214
|
"isA": [
|
168
215
|
"verb"
|
@@ -171,7 +218,7 @@
|
|
171
218
|
"semantic": "({api, context}) => {\n api.strip()\n }"
|
172
219
|
},
|
173
220
|
{
|
174
|
-
"where": "/home/dev/code/theprogrammablemind/kms/common/pipboy.js:
|
221
|
+
"where": "/home/dev/code/theprogrammablemind/kms/common/pipboy.js:214",
|
175
222
|
"id": "call",
|
176
223
|
"isA": [
|
177
224
|
"verb"
|
@@ -182,7 +229,7 @@
|
|
182
229
|
"semantic": "({api, context}) => {\n api.setName(context.item, context.name.name.value)\n }"
|
183
230
|
},
|
184
231
|
{
|
185
|
-
"where": "/home/dev/code/theprogrammablemind/kms/common/pipboy.js:
|
232
|
+
"where": "/home/dev/code/theprogrammablemind/kms/common/pipboy.js:225",
|
186
233
|
"id": "putOn",
|
187
234
|
"isA": [
|
188
235
|
"verb"
|
@@ -193,7 +240,7 @@
|
|
193
240
|
"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 }"
|
194
241
|
},
|
195
242
|
{
|
196
|
-
"where": "/home/dev/code/theprogrammablemind/kms/common/pipboy.js:
|
243
|
+
"where": "/home/dev/code/theprogrammablemind/kms/common/pipboy.js:240",
|
197
244
|
"id": "wear",
|
198
245
|
"isA": [
|
199
246
|
"verb"
|
@@ -213,7 +260,7 @@
|
|
213
260
|
"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 }"
|
214
261
|
},
|
215
262
|
{
|
216
|
-
"where": "/home/dev/code/theprogrammablemind/kms/common/pipboy.js:
|
263
|
+
"where": "/home/dev/code/theprogrammablemind/kms/common/pipboy.js:257",
|
217
264
|
"id": "equip",
|
218
265
|
"isA": [
|
219
266
|
"verb"
|
@@ -238,7 +285,7 @@
|
|
238
285
|
"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 }"
|
239
286
|
},
|
240
287
|
{
|
241
|
-
"where": "/home/dev/code/theprogrammablemind/kms/common/pipboy.js:
|
288
|
+
"where": "/home/dev/code/theprogrammablemind/kms/common/pipboy.js:273",
|
242
289
|
"id": "toDrink",
|
243
290
|
"isA": [
|
244
291
|
"verb"
|
@@ -249,7 +296,7 @@
|
|
249
296
|
"semantic": "async ({api, context, e}) => {\n const value = await e(context.item)\n api.drink(value.value)\n }"
|
250
297
|
},
|
251
298
|
{
|
252
|
-
"where": "/home/dev/code/theprogrammablemind/kms/common/pipboy.js:
|
299
|
+
"where": "/home/dev/code/theprogrammablemind/kms/common/pipboy.js:285",
|
253
300
|
"id": "eat",
|
254
301
|
"localHierarchy": [
|
255
302
|
[
|
@@ -266,7 +313,7 @@
|
|
266
313
|
"semantic": "async ({api, context}) => {\n api.eat(context.item.value)\n }"
|
267
314
|
},
|
268
315
|
{
|
269
|
-
"where": "/home/dev/code/theprogrammablemind/kms/common/pipboy.js:
|
316
|
+
"where": "/home/dev/code/theprogrammablemind/kms/common/pipboy.js:297",
|
270
317
|
"id": "take",
|
271
318
|
"isA": [
|
272
319
|
"verb"
|
@@ -277,7 +324,7 @@
|
|
277
324
|
"semantic": "async ({api, context, e}) => {\n const value = await e(context.item)\n api.take(value.value)\n }"
|
278
325
|
},
|
279
326
|
{
|
280
|
-
"where": "/home/dev/code/theprogrammablemind/kms/common/pipboy.js:
|
327
|
+
"where": "/home/dev/code/theprogrammablemind/kms/common/pipboy.js:309",
|
281
328
|
"id": "nameable",
|
282
329
|
"isA": [
|
283
330
|
"theAble"
|
@@ -1717,20 +1764,6 @@
|
|
1717
1764
|
0
|
1718
1765
|
]
|
1719
1766
|
],
|
1720
|
-
[
|
1721
|
-
[
|
1722
|
-
"is",
|
1723
|
-
0
|
1724
|
-
],
|
1725
|
-
[
|
1726
|
-
"list",
|
1727
|
-
1
|
1728
|
-
],
|
1729
|
-
[
|
1730
|
-
"unknown",
|
1731
|
-
0
|
1732
|
-
]
|
1733
|
-
],
|
1734
1767
|
[
|
1735
1768
|
[
|
1736
1769
|
"is",
|
@@ -10212,20 +10245,6 @@
|
|
10212
10245
|
0
|
10213
10246
|
]
|
10214
10247
|
],
|
10215
|
-
[
|
10216
|
-
[
|
10217
|
-
"is",
|
10218
|
-
0
|
10219
|
-
],
|
10220
|
-
[
|
10221
|
-
"list",
|
10222
|
-
1
|
10223
|
-
],
|
10224
|
-
[
|
10225
|
-
"unknown",
|
10226
|
-
0
|
10227
|
-
]
|
10228
|
-
],
|
10229
10248
|
[
|
10230
10249
|
[
|
10231
10250
|
"is",
|
@@ -34847,16 +34866,63 @@
|
|
34847
34866
|
]
|
34848
34867
|
}
|
34849
34868
|
],
|
34869
|
+
"associations": {
|
34870
|
+
"negative": [],
|
34871
|
+
"positive": [
|
34872
|
+
{
|
34873
|
+
"context": [
|
34874
|
+
[
|
34875
|
+
"the",
|
34876
|
+
0
|
34877
|
+
],
|
34878
|
+
[
|
34879
|
+
"condition",
|
34880
|
+
0
|
34881
|
+
],
|
34882
|
+
[
|
34883
|
+
"item_property",
|
34884
|
+
0
|
34885
|
+
],
|
34886
|
+
[
|
34887
|
+
"weapon",
|
34888
|
+
0
|
34889
|
+
]
|
34890
|
+
],
|
34891
|
+
"choose": 1
|
34892
|
+
},
|
34893
|
+
{
|
34894
|
+
"context": [
|
34895
|
+
[
|
34896
|
+
"the",
|
34897
|
+
0
|
34898
|
+
],
|
34899
|
+
[
|
34900
|
+
"condition",
|
34901
|
+
0
|
34902
|
+
],
|
34903
|
+
[
|
34904
|
+
"item_property",
|
34905
|
+
1
|
34906
|
+
],
|
34907
|
+
[
|
34908
|
+
"weapon",
|
34909
|
+
0
|
34910
|
+
]
|
34911
|
+
],
|
34912
|
+
"choose": 1
|
34913
|
+
}
|
34914
|
+
]
|
34915
|
+
},
|
34850
34916
|
"bridges": [
|
34851
34917
|
{
|
34852
|
-
"where": "/home/dev/code/theprogrammablemind/kms/common/pipboy.js:
|
34918
|
+
"where": "/home/dev/code/theprogrammablemind/kms/common/pipboy.js:159",
|
34853
34919
|
"id": "put",
|
34854
34920
|
"isA": [
|
34855
34921
|
"verb"
|
34856
34922
|
]
|
34857
34923
|
},
|
34858
34924
|
{
|
34859
|
-
"where": "/home/dev/code/theprogrammablemind/kms/common/pipboy.js:
|
34925
|
+
"where": "/home/dev/code/theprogrammablemind/kms/common/pipboy.js:165",
|
34860
34926
|
"id": "propertyCondition",
|
34861
34927
|
"before": [
|
34862
34928
|
"adjective",
|
@@ -34868,7 +34934,7 @@
|
|
34868
34934
|
"bridge": "{ ...next(after[0]), condition: before[0], modifiers: ['condition'] }"
|
34869
34935
|
},
|
34870
34936
|
{
|
34871
|
-
"where": "/home/dev/code/theprogrammablemind/kms/common/pipboy.js:
|
34937
|
+
"where": "/home/dev/code/theprogrammablemind/kms/common/pipboy.js:173",
|
34872
34938
|
"id": "on",
|
34873
34939
|
"isA": [
|
34874
34940
|
"preposition"
|
@@ -34877,7 +34943,7 @@
|
|
34877
34943
|
"bridge": "{ ...before, marker: operator('putOn', 0), dead: false }"
|
34878
34944
|
},
|
34879
34945
|
{
|
34880
|
-
"where": "/home/dev/code/theprogrammablemind/kms/common/pipboy.js:
|
34946
|
+
"where": "/home/dev/code/theprogrammablemind/kms/common/pipboy.js:184",
|
34881
34947
|
"id": "change",
|
34882
34948
|
"isA": [
|
34883
34949
|
"verb"
|
@@ -34892,21 +34958,21 @@
|
|
34892
34958
|
]
|
34893
34959
|
},
|
34894
34960
|
{
|
34895
|
-
"where": "/home/dev/code/theprogrammablemind/kms/common/pipboy.js:
|
34961
|
+
"where": "/home/dev/code/theprogrammablemind/kms/common/pipboy.js:196",
|
34896
34962
|
"id": "disarm",
|
34897
34963
|
"isA": [
|
34898
34964
|
"verb"
|
34899
34965
|
]
|
34900
34966
|
},
|
34901
34967
|
{
|
34902
|
-
"where": "/home/dev/code/theprogrammablemind/kms/common/pipboy.js:
|
34968
|
+
"where": "/home/dev/code/theprogrammablemind/kms/common/pipboy.js:205",
|
34903
34969
|
"id": "strip",
|
34904
34970
|
"isA": [
|
34905
34971
|
"verb"
|
34906
34972
|
]
|
34907
34973
|
},
|
34908
34974
|
{
|
34909
|
-
"where": "/home/dev/code/theprogrammablemind/kms/common/pipboy.js:
|
34975
|
+
"where": "/home/dev/code/theprogrammablemind/kms/common/pipboy.js:214",
|
34910
34976
|
"id": "call",
|
34911
34977
|
"isA": [
|
34912
34978
|
"verb"
|
@@ -34915,7 +34981,7 @@
|
|
34915
34981
|
"bridge": "{ ...next(operator), item: after[0], name: after[1] }"
|
34916
34982
|
},
|
34917
34983
|
{
|
34918
|
-
"where": "/home/dev/code/theprogrammablemind/kms/common/pipboy.js:
|
34984
|
+
"where": "/home/dev/code/theprogrammablemind/kms/common/pipboy.js:225",
|
34919
34985
|
"id": "putOn",
|
34920
34986
|
"isA": [
|
34921
34987
|
"verb"
|
@@ -34924,7 +34990,7 @@
|
|
34924
34990
|
"bridge": "{ ...next(operator), item: after[0] }"
|
34925
34991
|
},
|
34926
34992
|
{
|
34927
|
-
"where": "/home/dev/code/theprogrammablemind/kms/common/pipboy.js:
|
34993
|
+
"where": "/home/dev/code/theprogrammablemind/kms/common/pipboy.js:240",
|
34928
34994
|
"id": "wear",
|
34929
34995
|
"isA": [
|
34930
34996
|
"verb"
|
@@ -34942,7 +35008,7 @@
|
|
34942
35008
|
"bridge": "{ ...next(operator), item: after[0] }"
|
34943
35009
|
},
|
34944
35010
|
{
|
34945
|
-
"where": "/home/dev/code/theprogrammablemind/kms/common/pipboy.js:
|
35011
|
+
"where": "/home/dev/code/theprogrammablemind/kms/common/pipboy.js:257",
|
34946
35012
|
"id": "equip",
|
34947
35013
|
"isA": [
|
34948
35014
|
"verb"
|
@@ -34965,7 +35031,7 @@
|
|
34965
35031
|
"bridge": "{ ...next(operator), item: after[0] }"
|
34966
35032
|
},
|
34967
35033
|
{
|
34968
|
-
"where": "/home/dev/code/theprogrammablemind/kms/common/pipboy.js:
|
35034
|
+
"where": "/home/dev/code/theprogrammablemind/kms/common/pipboy.js:273",
|
34969
35035
|
"id": "toDrink",
|
34970
35036
|
"isA": [
|
34971
35037
|
"verb"
|
@@ -34974,7 +35040,7 @@
|
|
34974
35040
|
"bridge": "{ ...next(operator), item: after[0] }"
|
34975
35041
|
},
|
34976
35042
|
{
|
34977
|
-
"where": "/home/dev/code/theprogrammablemind/kms/common/pipboy.js:
|
35043
|
+
"where": "/home/dev/code/theprogrammablemind/kms/common/pipboy.js:285",
|
34978
35044
|
"id": "eat",
|
34979
35045
|
"localHierarchy": [
|
34980
35046
|
[
|
@@ -34989,7 +35055,7 @@
|
|
34989
35055
|
"bridge": "{ ...next(operator), item: after[0] }"
|
34990
35056
|
},
|
34991
35057
|
{
|
34992
|
-
"where": "/home/dev/code/theprogrammablemind/kms/common/pipboy.js:
|
35058
|
+
"where": "/home/dev/code/theprogrammablemind/kms/common/pipboy.js:297",
|
34993
35059
|
"id": "take",
|
34994
35060
|
"isA": [
|
34995
35061
|
"verb"
|
@@ -34998,7 +35064,7 @@
|
|
34998
35064
|
"bridge": "{ ...next(operator), item: after[0] }"
|
34999
35065
|
},
|
35000
35066
|
{
|
35001
|
-
"where": "/home/dev/code/theprogrammablemind/kms/common/pipboy.js:
|
35067
|
+
"where": "/home/dev/code/theprogrammablemind/kms/common/pipboy.js:309",
|
35002
35068
|
"id": "nameable",
|
35003
35069
|
"isA": [
|
35004
35070
|
"theAble"
|
@@ -35689,34 +35755,6 @@
|
|
35689
35755
|
0
|
35690
35756
|
]
|
35691
35757
|
],
|
35692
|
-
[
|
35693
|
-
[
|
35694
|
-
"is",
|
35695
|
-
0
|
35696
|
-
],
|
35697
|
-
[
|
35698
|
-
"list",
|
35699
|
-
1
|
35700
|
-
],
|
35701
|
-
[
|
35702
|
-
"unknown",
|
35703
|
-
0
|
35704
|
-
]
|
35705
|
-
],
|
35706
|
-
[
|
35707
|
-
[
|
35708
|
-
"is",
|
35709
|
-
0
|
35710
|
-
],
|
35711
|
-
[
|
35712
|
-
"list",
|
35713
|
-
1
|
35714
|
-
],
|
35715
|
-
[
|
35716
|
-
"unknown",
|
35717
|
-
0
|
35718
|
-
]
|
35719
|
-
],
|
35720
35758
|
[
|
35721
35759
|
[
|
35722
35760
|
"is",
|
package/common/pipboy.js
CHANGED
@@ -147,6 +147,13 @@ const config = {
|
|
147
147
|
{ context: [['article', 0], ['unknown', 1], ['outfit', 0]], ordered: true, choose: [1,2] },
|
148
148
|
// TODO this should trigger a circular warning or somethign [['put', 0], ['on', 0]],
|
149
149
|
],
|
150
|
+
associations: {
|
151
|
+
negative: [],
|
152
|
+
positive: [
|
153
|
+
{ context: [["the",0],["condition",0],["item_property",0],["weapon",0]], choose: 1 },
|
154
|
+
{ context: [["the",0],["condition",0],["item_property",1],["weapon",0]], choose: 1 },
|
155
|
+
]
|
156
|
+
},
|
150
157
|
bridges: [
|
151
158
|
{
|
152
159
|
where: where(),
|
package/common/properties.js
CHANGED
@@ -1053,7 +1053,7 @@
|
|
1053
1053
|
}
|
1054
1054
|
]
|
1055
1055
|
},
|
1056
|
-
"trace": "\n\n>>>>>>>>>>>>> Counter 1\n summary\n\n 0. price/0 - \"price\"\n 1. list/0 - \"and\"\n 2. quantity/0 - \"quantity\"\n 3. is/0 - \"are\"\n 4. property/0 (dead) - \"properties\"\n\n details\n\n 0. Operator(price/0, [\"Selector(Bridge('{ ...next(operator) }'), , []<==>[], bridge(bridge))\"], evaluator(Bridge('{ ...next(operator) }')), variables({}) bridge(bridge)) (1, 0) - \"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. 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)) (1, 6) - \"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. Operator(quantity/0, [\"Selector(Bridge('{ ...next(operator) }'), , []<==>[], bridge(bridge))\"], evaluator(Bridge('{ ...next(operator) }')), variables({}) bridge(bridge)) (1, 10) - \"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. Operator(is/0, [\"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)) (1, 15) - \"are\"\n {\n marker: Operator(is/0, [\"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. Operator(property/0, ['Selector(None, , []<==>[], bridge(bridge))'], evaluator(None), variables({}) bridge(bridge)) (1, 21) - \"properties\"\n {\n dead: true\n marker: Operator(property/0, ['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=0) is ('price', 0), 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 summary\n\n *0. price/1 (dead) - \"price\"\n 1. list/0 - \"and\"\n 2. quantity/0 - \"quantity\"\n 3. is/0 - \"are\"\n 4. property/0 (dead) - \"properties\"\n\n details\n\n 0. Operator(price/1, ['Selector(None, , []<==>[], bridge(bridge))'], evaluator(None), variables({}) bridge(bridge)) (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. 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)) (1, 6) - \"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 types: [\n ]\n word: \"and\"\n }\n 2. Operator(quantity/0, [\"Selector(Bridge('{ ...next(operator) }'), , []<==>[], bridge(bridge))\"], evaluator(Bridge('{ ...next(operator) }')), variables({}) bridge(bridge)) (1, 10) - \"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. Operator(is/0, [\"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)) (1, 15) - \"are\"\n {\n marker: Operator(is/0, [\"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. Operator(property/0, ['Selector(None, , []<==>[], bridge(bridge))'], evaluator(None), variables({}) bridge(bridge)) (1, 21) - \"properties\"\n {\n dead: true\n marker: Operator(property/0, ['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 ('list', 0), 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({}) bridge(bridge)), range: {'start': 6, 'end': 8}, text: and, types: [], word: and})\n\n>>>>>>>>>>>>> Counter 3\n summary\n\n *0. list/1 - \"price and quantity\"\n 1. is/0 - \"are\"\n 2. property/0 (dead) - \"properties\"\n\n details\n\n 0. 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({'found_types': ['quantity', 'price'], 'type': ['property', 'comparable', 'quantifier', 'quantity', 'number', 'theAble', 'listable', 'queryable']}) bridge(bridge)) (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({'found_types': ['quantity', 'price'], 'type': ['property', 'comparable', 'quantifier', 'quantity', 'number', 'theAble', 'listable', 'queryable']}) 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. Operator(is/0, [\"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)) (1, 15) - \"are\"\n {\n marker: Operator(is/0, [\"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. Operator(property/0, ['Selector(None, , []<==>[], bridge(bridge))'], evaluator(None), variables({}) bridge(bridge)) (1, 21) - \"properties\"\n {\n dead: true\n marker: Operator(property/0, ['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 ('is', 0), Context({marker: Operator(is/0, [\"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 4\n summary\n\n *0. is/1 - \"price and quantity are properties\"\n\n details\n\n 0. Operator(is/1, [\"Selector(Bridge('{ ...next(operator) }'), , []<==>[], bridge(bridge))\"], evaluator(Bridge('{ ...next(operator) }')), variables({'found_types': []}) bridge(bridge)) (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({'found_types': []}) 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({'found_types': ['quantity', 'price'], 'type': ['property', 'comparable', 'quantifier', 'quantity', 'number', 'theAble', 'listable', 'queryable']}) 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 dead: true\n marker: Operator(property/0, ['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 ('is', 1), Context({marker: Operator(is/1, [\"Selector(Bridge('{ ...next(operator) }'), , []<==>[], bridge(bridge))\"], evaluator(Bridge('{ ...next(operator) }')), variables({'found_types': []}) 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({'found_types': ['quantity', 'price'], 'type': ['property', 'comparable', 'quantifier', 'quantity', 'number', 'theAble', 'listable', 'queryable']}) 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/0, ['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 5\n summary\n\n *0. is/2 (dead) - \"price and quantity are properties\"\n\n details\n\n 0. Operator(is/2, ['Selector(None, , []<==>[], bridge(bridge))'], evaluator(None), variables({}) bridge(bridge)) (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({'found_types': ['quantity', 'price'], 'type': ['property', 'comparable', 'quantifier', 'quantity', 'number', 'theAble', 'listable', 'queryable']}) 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 dead: true\n marker: Operator(property/0, ['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 summary\n\n 0. price/0 - \"price\"\n 1. list/0 - \"and\"\n 2. quantity/0 - \"quantity\"\n 3. is/0 - \"are\"\n 4. property/0 (dead) - \"properties\"\n\n details\n\n 0. Operator(price/0, [\"Selector(Bridge('{ ...next(operator) }'), , []<==>[], bridge(bridge))\"], evaluator(Bridge('{ ...next(operator) }')), variables({}) bridge(bridge)) (1, 0) - \"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. 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)) (1, 6) - \"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. Operator(quantity/0, [\"Selector(Bridge('{ ...next(operator) }'), , []<==>[], bridge(bridge))\"], evaluator(Bridge('{ ...next(operator) }')), variables({}) bridge(bridge)) (1, 10) - \"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. Operator(is/0, [\"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)) (1, 15) - \"are\"\n {\n marker: Operator(is/0, [\"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. Operator(property/0, ['Selector(None, , []<==>[], bridge(bridge))'], evaluator(None), variables({}) bridge(bridge)) (1, 21) - \"properties\"\n {\n dead: true\n marker: Operator(property/0, ['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=0) is ('price', 0), 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 summary\n\n *0. price/1 (dead) - \"price\"\n 1. list/0 - \"and\"\n 2. quantity/0 - \"quantity\"\n 3. is/0 - \"are\"\n 4. property/0 (dead) - \"properties\"\n\n details\n\n 0. Operator(price/1, ['Selector(None, , []<==>[], bridge(bridge))'], evaluator(None), variables({}) bridge(bridge)) (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. 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)) (1, 6) - \"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 types: [\n ]\n word: \"and\"\n }\n 2. Operator(quantity/0, [\"Selector(Bridge('{ ...next(operator) }'), , []<==>[], bridge(bridge))\"], evaluator(Bridge('{ ...next(operator) }')), variables({}) bridge(bridge)) (1, 10) - \"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. Operator(is/0, [\"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)) (1, 15) - \"are\"\n {\n marker: Operator(is/0, [\"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. Operator(property/0, ['Selector(None, , []<==>[], bridge(bridge))'], evaluator(None), variables({}) bridge(bridge)) (1, 21) - \"properties\"\n {\n dead: true\n marker: Operator(property/0, ['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 ('list', 0), 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({}) bridge(bridge)), range: {'start': 6, 'end': 8}, text: and, types: [], word: and})\n\n>>>>>>>>>>>>> Counter 3\n summary\n\n *0. list/1 - \"price and quantity\"\n 1. is/0 - \"are\"\n 2. property/0 (dead) - \"properties\"\n\n details\n\n 0. 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({'found_types': ['quantity', 'price'], 'type': ['comparable', 'quantity', 'theAble', 'listable', 'number', 'queryable', 'quantifier', 'property']}) bridge(bridge)) (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({'found_types': ['quantity', 'price'], 'type': ['comparable', 'quantity', 'theAble', 'listable', 'number', 'queryable', 'quantifier', '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. Operator(is/0, [\"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)) (1, 15) - \"are\"\n {\n marker: Operator(is/0, [\"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. Operator(property/0, ['Selector(None, , []<==>[], bridge(bridge))'], evaluator(None), variables({}) bridge(bridge)) (1, 21) - \"properties\"\n {\n dead: true\n marker: Operator(property/0, ['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 ('is', 0), Context({marker: Operator(is/0, [\"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 4\n summary\n\n *0. is/1 - \"price and quantity are properties\"\n\n details\n\n 0. Operator(is/1, [\"Selector(Bridge('{ ...next(operator) }'), , []<==>[], bridge(bridge))\"], evaluator(Bridge('{ ...next(operator) }')), variables({'found_types': []}) bridge(bridge)) (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({'found_types': []}) 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({'found_types': ['quantity', 'price'], 'type': ['comparable', 'quantity', 'theAble', 'listable', 'number', 'queryable', 'quantifier', '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 dead: true\n marker: Operator(property/0, ['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 ('is', 1), Context({marker: Operator(is/1, [\"Selector(Bridge('{ ...next(operator) }'), , []<==>[], bridge(bridge))\"], evaluator(Bridge('{ ...next(operator) }')), variables({'found_types': []}) 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({'found_types': ['quantity', 'price'], 'type': ['comparable', 'quantity', 'theAble', 'listable', 'number', 'queryable', 'quantifier', '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/0, ['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 5\n summary\n\n *0. is/2 (dead) - \"price and quantity are properties\"\n\n details\n\n 0. Operator(is/2, ['Selector(None, , []<==>[], bridge(bridge))'], evaluator(None), variables({}) bridge(bridge)) (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({'found_types': ['quantity', 'price'], 'type': ['comparable', 'quantity', 'theAble', 'listable', 'number', 'queryable', 'quantifier', '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 dead: true\n marker: Operator(property/0, ['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",
|