ekms 8.7.0 → 8.8.0
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/animals.instance.json +123 -2
- package/common/colors.instance.json +376 -286
- package/common/comparable.instance.json +30 -62
- package/common/crew.instance.json +216 -318
- package/common/crew.js +3 -3
- package/common/dialogues.js +12 -1
- package/common/dimension.instance.json +5 -1
- package/common/edible.instance.json +239 -107
- package/common/emotions.instance.json +5 -0
- package/common/emotions.js +4 -4
- package/common/fastfood.instance.json +1178 -529
- package/common/formulas.instance.json +5 -1
- package/common/kirk.instance.json +5 -0
- package/common/length.instance.json +75 -0
- package/common/math.instance.json +5 -0
- package/common/numbers.js +15 -3
- package/common/ordering.instance.json +73 -47
- package/common/people.instance.json +222 -1
- package/common/people.js +12 -0
- package/common/pipboy.instance.json +144 -83
- package/common/pipboy.js +1 -0
- package/common/pokemon.instance.json +99 -14
- package/common/pressure.instance.json +25 -13
- package/common/pressure.js +4 -4
- package/common/properties.instance.json +10 -13
- package/common/properties.js +1 -0
- package/common/reports.instance.json +11 -1
- package/common/spock.instance.json +5 -0
- package/common/temperature.instance.json +25 -13
- package/common/tokenize.js +1 -1
- package/common/weight.instance.json +110 -14
- package/package.json +2 -2
@@ -182,6 +182,11 @@
|
|
182
182
|
"theAble",
|
183
183
|
false
|
184
184
|
],
|
185
|
+
[
|
186
|
+
"propertyOf",
|
187
|
+
"preposition",
|
188
|
+
false
|
189
|
+
],
|
185
190
|
[
|
186
191
|
"punctuation",
|
187
192
|
"punctuation",
|
@@ -749,6 +754,11 @@
|
|
749
754
|
"theAble",
|
750
755
|
false
|
751
756
|
],
|
757
|
+
[
|
758
|
+
"propertyOf",
|
759
|
+
"preposition",
|
760
|
+
false
|
761
|
+
],
|
752
762
|
[
|
753
763
|
"punctuation",
|
754
764
|
"punctuation",
|
@@ -1445,6 +1455,11 @@
|
|
1445
1455
|
"theAble",
|
1446
1456
|
false
|
1447
1457
|
],
|
1458
|
+
[
|
1459
|
+
"propertyOf",
|
1460
|
+
"preposition",
|
1461
|
+
false
|
1462
|
+
],
|
1448
1463
|
[
|
1449
1464
|
"punctuation",
|
1450
1465
|
"punctuation",
|
@@ -1780,7 +1795,7 @@
|
|
1780
1795
|
],
|
1781
1796
|
"ops": [
|
1782
1797
|
[
|
1783
|
-
"
|
1798
|
+
"isEd",
|
1784
1799
|
0
|
1785
1800
|
],
|
1786
1801
|
[
|
@@ -2096,6 +2111,20 @@
|
|
2096
2111
|
"unknown",
|
2097
2112
|
1
|
2098
2113
|
]
|
2114
|
+
],
|
2115
|
+
[
|
2116
|
+
[
|
2117
|
+
"list",
|
2118
|
+
1
|
2119
|
+
],
|
2120
|
+
[
|
2121
|
+
"pokemon",
|
2122
|
+
0
|
2123
|
+
],
|
2124
|
+
[
|
2125
|
+
"unknown",
|
2126
|
+
1
|
2127
|
+
]
|
2099
2128
|
]
|
2100
2129
|
],
|
2101
2130
|
"learned_contextual_priorities": [],
|
@@ -2451,6 +2480,11 @@
|
|
2451
2480
|
"theAble",
|
2452
2481
|
false
|
2453
2482
|
],
|
2483
|
+
[
|
2484
|
+
"propertyOf",
|
2485
|
+
"preposition",
|
2486
|
+
false
|
2487
|
+
],
|
2454
2488
|
[
|
2455
2489
|
"punctuation",
|
2456
2490
|
"punctuation",
|
@@ -3308,6 +3342,11 @@
|
|
3308
3342
|
"theAble",
|
3309
3343
|
false
|
3310
3344
|
],
|
3345
|
+
[
|
3346
|
+
"propertyOf",
|
3347
|
+
"preposition",
|
3348
|
+
false
|
3349
|
+
],
|
3311
3350
|
[
|
3312
3351
|
"punctuation",
|
3313
3352
|
"punctuation",
|
@@ -4165,6 +4204,11 @@
|
|
4165
4204
|
"theAble",
|
4166
4205
|
false
|
4167
4206
|
],
|
4207
|
+
[
|
4208
|
+
"propertyOf",
|
4209
|
+
"preposition",
|
4210
|
+
false
|
4211
|
+
],
|
4168
4212
|
[
|
4169
4213
|
"punctuation",
|
4170
4214
|
"punctuation",
|
@@ -5202,6 +5246,11 @@
|
|
5202
5246
|
"theAble",
|
5203
5247
|
false
|
5204
5248
|
],
|
5249
|
+
[
|
5250
|
+
"propertyOf",
|
5251
|
+
"preposition",
|
5252
|
+
false
|
5253
|
+
],
|
5205
5254
|
[
|
5206
5255
|
"punctuation",
|
5207
5256
|
"punctuation",
|
@@ -6329,6 +6378,11 @@
|
|
6329
6378
|
"theAble",
|
6330
6379
|
false
|
6331
6380
|
],
|
6381
|
+
[
|
6382
|
+
"propertyOf",
|
6383
|
+
"preposition",
|
6384
|
+
false
|
6385
|
+
],
|
6332
6386
|
[
|
6333
6387
|
"punctuation",
|
6334
6388
|
"punctuation",
|
@@ -7593,6 +7647,11 @@
|
|
7593
7647
|
"theAble",
|
7594
7648
|
false
|
7595
7649
|
],
|
7650
|
+
[
|
7651
|
+
"propertyOf",
|
7652
|
+
"preposition",
|
7653
|
+
false
|
7654
|
+
],
|
7596
7655
|
[
|
7597
7656
|
"punctuation",
|
7598
7657
|
"punctuation",
|
@@ -8857,6 +8916,11 @@
|
|
8857
8916
|
"theAble",
|
8858
8917
|
false
|
8859
8918
|
],
|
8919
|
+
[
|
8920
|
+
"propertyOf",
|
8921
|
+
"preposition",
|
8922
|
+
false
|
8923
|
+
],
|
8860
8924
|
[
|
8861
8925
|
"punctuation",
|
8862
8926
|
"punctuation",
|
@@ -10131,6 +10195,11 @@
|
|
10131
10195
|
"theAble",
|
10132
10196
|
false
|
10133
10197
|
],
|
10198
|
+
[
|
10199
|
+
"propertyOf",
|
10200
|
+
"preposition",
|
10201
|
+
false
|
10202
|
+
],
|
10134
10203
|
[
|
10135
10204
|
"punctuation",
|
10136
10205
|
"punctuation",
|
@@ -11410,6 +11479,11 @@
|
|
11410
11479
|
"theAble",
|
11411
11480
|
false
|
11412
11481
|
],
|
11482
|
+
[
|
11483
|
+
"propertyOf",
|
11484
|
+
"preposition",
|
11485
|
+
false
|
11486
|
+
],
|
11413
11487
|
[
|
11414
11488
|
"punctuation",
|
11415
11489
|
"punctuation",
|
@@ -12669,6 +12743,11 @@
|
|
12669
12743
|
"theAble",
|
12670
12744
|
false
|
12671
12745
|
],
|
12746
|
+
[
|
12747
|
+
"propertyOf",
|
12748
|
+
"preposition",
|
12749
|
+
false
|
12750
|
+
],
|
12672
12751
|
[
|
12673
12752
|
"punctuation",
|
12674
12753
|
"punctuation",
|
@@ -13046,7 +13125,7 @@
|
|
13046
13125
|
0
|
13047
13126
|
],
|
13048
13127
|
[
|
13049
|
-
"
|
13128
|
+
"isEd",
|
13050
13129
|
0
|
13051
13130
|
],
|
13052
13131
|
[
|
@@ -13254,7 +13333,7 @@
|
|
13254
13333
|
],
|
13255
13334
|
[
|
13256
13335
|
"unknown",
|
13257
|
-
|
13336
|
+
1
|
13258
13337
|
]
|
13259
13338
|
],
|
13260
13339
|
[
|
@@ -13266,17 +13345,13 @@
|
|
13266
13345
|
"fire",
|
13267
13346
|
0
|
13268
13347
|
],
|
13269
|
-
[
|
13270
|
-
"is",
|
13271
|
-
0
|
13272
|
-
],
|
13273
13348
|
[
|
13274
13349
|
"type",
|
13275
13350
|
0
|
13276
13351
|
],
|
13277
13352
|
[
|
13278
13353
|
"unknown",
|
13279
|
-
|
13354
|
+
0
|
13280
13355
|
]
|
13281
13356
|
],
|
13282
13357
|
[
|
@@ -13439,7 +13514,7 @@
|
|
13439
13514
|
],
|
13440
13515
|
[
|
13441
13516
|
"unknown",
|
13442
|
-
|
13517
|
+
1
|
13443
13518
|
]
|
13444
13519
|
],
|
13445
13520
|
[
|
@@ -13451,17 +13526,13 @@
|
|
13451
13526
|
"fire",
|
13452
13527
|
0
|
13453
13528
|
],
|
13454
|
-
[
|
13455
|
-
"is",
|
13456
|
-
0
|
13457
|
-
],
|
13458
13529
|
[
|
13459
13530
|
"type",
|
13460
13531
|
0
|
13461
13532
|
],
|
13462
13533
|
[
|
13463
13534
|
"unknown",
|
13464
|
-
|
13535
|
+
0
|
13465
13536
|
]
|
13466
13537
|
],
|
13467
13538
|
[
|
@@ -13774,6 +13845,20 @@
|
|
13774
13845
|
1
|
13775
13846
|
]
|
13776
13847
|
],
|
13848
|
+
[
|
13849
|
+
[
|
13850
|
+
"list",
|
13851
|
+
1
|
13852
|
+
],
|
13853
|
+
[
|
13854
|
+
"pokemon",
|
13855
|
+
0
|
13856
|
+
],
|
13857
|
+
[
|
13858
|
+
"unknown",
|
13859
|
+
1
|
13860
|
+
]
|
13861
|
+
],
|
13777
13862
|
[
|
13778
13863
|
[
|
13779
13864
|
"modifies",
|
@@ -658,6 +658,11 @@
|
|
658
658
|
"theAble",
|
659
659
|
false
|
660
660
|
],
|
661
|
+
[
|
662
|
+
"propertyOf",
|
663
|
+
"preposition",
|
664
|
+
false
|
665
|
+
],
|
661
666
|
[
|
662
667
|
"punctuation",
|
663
668
|
"punctuation",
|
@@ -986,7 +991,7 @@
|
|
986
991
|
0
|
987
992
|
],
|
988
993
|
[
|
989
|
-
"
|
994
|
+
"isEd",
|
990
995
|
0
|
991
996
|
],
|
992
997
|
[
|
@@ -1159,7 +1164,7 @@
|
|
1159
1164
|
],
|
1160
1165
|
[
|
1161
1166
|
"unknown",
|
1162
|
-
|
1167
|
+
1
|
1163
1168
|
]
|
1164
1169
|
],
|
1165
1170
|
[
|
@@ -1171,13 +1176,9 @@
|
|
1171
1176
|
"dimension",
|
1172
1177
|
0
|
1173
1178
|
],
|
1174
|
-
[
|
1175
|
-
"is",
|
1176
|
-
0
|
1177
|
-
],
|
1178
1179
|
[
|
1179
1180
|
"unknown",
|
1180
|
-
|
1181
|
+
0
|
1181
1182
|
]
|
1182
1183
|
],
|
1183
1184
|
[
|
@@ -1903,6 +1904,11 @@
|
|
1903
1904
|
"theAble",
|
1904
1905
|
false
|
1905
1906
|
],
|
1907
|
+
[
|
1908
|
+
"propertyOf",
|
1909
|
+
"preposition",
|
1910
|
+
false
|
1911
|
+
],
|
1906
1912
|
[
|
1907
1913
|
"punctuation",
|
1908
1914
|
"punctuation",
|
@@ -3515,6 +3521,11 @@
|
|
3515
3521
|
"theAble",
|
3516
3522
|
false
|
3517
3523
|
],
|
3524
|
+
[
|
3525
|
+
"propertyOf",
|
3526
|
+
"preposition",
|
3527
|
+
false
|
3528
|
+
],
|
3518
3529
|
[
|
3519
3530
|
"punctuation",
|
3520
3531
|
"punctuation",
|
@@ -4876,6 +4887,11 @@
|
|
4876
4887
|
"theAble",
|
4877
4888
|
false
|
4878
4889
|
],
|
4890
|
+
[
|
4891
|
+
"propertyOf",
|
4892
|
+
"preposition",
|
4893
|
+
false
|
4894
|
+
],
|
4879
4895
|
[
|
4880
4896
|
"punctuation",
|
4881
4897
|
"punctuation",
|
@@ -5484,7 +5500,7 @@
|
|
5484
5500
|
],
|
5485
5501
|
[
|
5486
5502
|
"unknown",
|
5487
|
-
|
5503
|
+
1
|
5488
5504
|
]
|
5489
5505
|
],
|
5490
5506
|
[
|
@@ -5496,13 +5512,9 @@
|
|
5496
5512
|
"dimension",
|
5497
5513
|
0
|
5498
5514
|
],
|
5499
|
-
[
|
5500
|
-
"is",
|
5501
|
-
0
|
5502
|
-
],
|
5503
5515
|
[
|
5504
5516
|
"unknown",
|
5505
|
-
|
5517
|
+
0
|
5506
5518
|
]
|
5507
5519
|
],
|
5508
5520
|
[
|
package/common/pressure.js
CHANGED
@@ -22,13 +22,13 @@ knowledgeModule({
|
|
22
22
|
description: 'Pressure dimension',
|
23
23
|
test: {
|
24
24
|
name: './pressure.test.json',
|
25
|
-
contents: pressure_tests
|
25
|
+
contents: pressure_tests,
|
26
|
+
checks: {
|
27
|
+
context: defaultContextCheck(),
|
28
|
+
},
|
26
29
|
},
|
27
30
|
template: {
|
28
31
|
template,
|
29
32
|
instance: pressure_instance,
|
30
|
-
checks: {
|
31
|
-
context: defaultContextCheck(),
|
32
|
-
},
|
33
33
|
}
|
34
34
|
})
|
@@ -154,6 +154,11 @@
|
|
154
154
|
"theAble",
|
155
155
|
false
|
156
156
|
],
|
157
|
+
[
|
158
|
+
"propertyOf",
|
159
|
+
"preposition",
|
160
|
+
false
|
161
|
+
],
|
157
162
|
[
|
158
163
|
"punctuation",
|
159
164
|
"punctuation",
|
@@ -419,7 +424,7 @@
|
|
419
424
|
],
|
420
425
|
"ops": [
|
421
426
|
[
|
422
|
-
"
|
427
|
+
"isEd",
|
423
428
|
0
|
424
429
|
],
|
425
430
|
[
|
@@ -666,10 +671,6 @@
|
|
666
671
|
"is",
|
667
672
|
0
|
668
673
|
],
|
669
|
-
[
|
670
|
-
"propertyOf",
|
671
|
-
1
|
672
|
-
],
|
673
674
|
[
|
674
675
|
"unknown",
|
675
676
|
1
|
@@ -677,8 +678,8 @@
|
|
677
678
|
],
|
678
679
|
[
|
679
680
|
[
|
680
|
-
"
|
681
|
-
|
681
|
+
"propertyOf",
|
682
|
+
1
|
682
683
|
],
|
683
684
|
[
|
684
685
|
"unknown",
|
@@ -773,10 +774,6 @@
|
|
773
774
|
"is",
|
774
775
|
0
|
775
776
|
],
|
776
|
-
[
|
777
|
-
"propertyOf",
|
778
|
-
1
|
779
|
-
],
|
780
777
|
[
|
781
778
|
"unknown",
|
782
779
|
1
|
@@ -784,8 +781,8 @@
|
|
784
781
|
],
|
785
782
|
[
|
786
783
|
[
|
787
|
-
"
|
788
|
-
|
784
|
+
"propertyOf",
|
785
|
+
1
|
789
786
|
],
|
790
787
|
[
|
791
788
|
"unknown",
|
package/common/properties.js
CHANGED
@@ -228,6 +228,7 @@ let config = {
|
|
228
228
|
{
|
229
229
|
id: "propertyOf",
|
230
230
|
level: 0,
|
231
|
+
isA: ['preposition'],
|
231
232
|
localHierarchy: [['property', 'queryable'], ['property', 'theAble'], ['property', 'unknown'], ['object', 'unknown']],
|
232
233
|
bridge: "{ ...next(operator), object: after[0], objects: after }"
|
233
234
|
},
|
@@ -616,6 +616,11 @@
|
|
616
616
|
"the_after_product_property_theAble",
|
617
617
|
false
|
618
618
|
],
|
619
|
+
[
|
620
|
+
"propertyOf",
|
621
|
+
"preposition",
|
622
|
+
false
|
623
|
+
],
|
619
624
|
[
|
620
625
|
"punctuation",
|
621
626
|
"punctuation",
|
@@ -1048,7 +1053,7 @@
|
|
1048
1053
|
}
|
1049
1054
|
]
|
1050
1055
|
},
|
1051
|
-
"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, 3) - \"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, 7) - \"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, 9) - \"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, 15) - \"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, 3) - \"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', 'quantity', 'number', 'queryable', 'property', 'quantifier', 'theAble']}) bridge(bridge))\n range: {'start': 6, 'end': 8}\n text: \"and\"\n types: [\n ]\n word: \"and\"\n }\n 2. quantity/0 (1, 7) - \"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, 9) - \"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, 15) - \"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', 'quantity', 'number', 'queryable', 'property', 'quantifier', 'theAble']}) 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', 'quantity', 'number', 'queryable', 'property', 'quantifier', 'theAble']}) 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, 9) - \"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, 15) - \"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', 'quantity', 'number', 'queryable', 'property', 'quantifier', 'theAble']}) 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, 9) - \"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', 'quantity', 'number', 'queryable', 'property', 'quantifier', 'theAble']}) 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', 'quantity', 'number', 'queryable', 'property', 'quantifier', 'theAble']}) 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', 'quantity', 'number', 'queryable', 'property', 'quantifier', 'theAble']}) 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': ['property', 'comparable', 'queryable', 'quantity', 'quantifier', 'theAble', 'number']}) 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': ['property', 'comparable', 'queryable', 'quantity', 'quantifier', 'theAble', 'number']}) 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': ['property', 'comparable', 'queryable', 'quantity', 'quantifier', 'theAble', 'number']}) 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': ['property', 'comparable', 'queryable', 'quantity', 'quantifier', 'theAble', 'number']}) 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': ['property', 'comparable', 'queryable', 'quantity', 'quantifier', 'theAble', 'number']}) 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': ['property', 'comparable', 'queryable', 'quantity', 'quantifier', 'theAble', 'number']}) 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': ['property', 'comparable', 'queryable', 'quantity', 'quantifier', 'theAble', 'number']}) 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",
|
1052
1057
|
"contexts": [
|
1053
1058
|
{
|
1054
1059
|
"number": "many",
|
@@ -1823,6 +1828,11 @@
|
|
1823
1828
|
"the_after_product_property_theAble",
|
1824
1829
|
false
|
1825
1830
|
],
|
1831
|
+
[
|
1832
|
+
"propertyOf",
|
1833
|
+
"preposition",
|
1834
|
+
false
|
1835
|
+
],
|
1826
1836
|
[
|
1827
1837
|
"punctuation",
|
1828
1838
|
"punctuation",
|