tpmkms 8.2.0 → 8.3.0-beta.0
Sign up to get free protection for your applications and to get access to all the features.
- package/common/colors.instance.json +28 -0
- package/common/comparable.instance.json +15 -0
- package/common/countable.test.json +664 -317
- package/common/crew.instance.json +0 -68
- package/common/dimension.instance.json +5 -0
- package/common/edible.instance.json +216 -0
- package/common/edible.test.json +860 -316
- package/common/fastfood.instance.json +548 -560
- package/common/fastfood.test.json +20879 -15283
- package/common/formulas.instance.json +5 -0
- package/common/formulas.test.json +5242 -1930
- package/common/gdefaults.js +8 -2
- package/common/length.instance.json +224 -149
- package/common/math.instance.json +5 -0
- package/common/numbers.js +34 -27
- package/common/numbers.test.json +73 -18
- package/common/percentages.js +1 -0
- package/common/percentages.test.json +37 -37
- package/common/pipboy.instance.json +141 -0
- package/common/pressure.instance.json +32 -12
- package/common/reports.instance.json +11 -1
- package/common/scorekeeper.test.json +3563 -2096
- package/common/temperature.instance.json +79 -59
- package/common/ui.instance.json +5 -0
- package/common/weight.instance.json +118 -58
- package/package.json +2 -2
|
@@ -684,6 +684,11 @@
|
|
|
684
684
|
"ifAble",
|
|
685
685
|
false
|
|
686
686
|
],
|
|
687
|
+
[
|
|
688
|
+
"integer",
|
|
689
|
+
"number",
|
|
690
|
+
false
|
|
691
|
+
],
|
|
687
692
|
[
|
|
688
693
|
"is",
|
|
689
694
|
"canBeQuestion",
|
|
@@ -1744,6 +1749,20 @@
|
|
|
1744
1749
|
1
|
|
1745
1750
|
]
|
|
1746
1751
|
],
|
|
1752
|
+
[
|
|
1753
|
+
[
|
|
1754
|
+
"is",
|
|
1755
|
+
0
|
|
1756
|
+
],
|
|
1757
|
+
[
|
|
1758
|
+
"list",
|
|
1759
|
+
1
|
|
1760
|
+
],
|
|
1761
|
+
[
|
|
1762
|
+
"unknown",
|
|
1763
|
+
1
|
|
1764
|
+
]
|
|
1765
|
+
],
|
|
1747
1766
|
[
|
|
1748
1767
|
[
|
|
1749
1768
|
"is",
|
|
@@ -1992,6 +2011,11 @@
|
|
|
1992
2011
|
"ifAble",
|
|
1993
2012
|
false
|
|
1994
2013
|
],
|
|
2014
|
+
[
|
|
2015
|
+
"integer",
|
|
2016
|
+
"number",
|
|
2017
|
+
false
|
|
2018
|
+
],
|
|
1995
2019
|
[
|
|
1996
2020
|
"is",
|
|
1997
2021
|
"canBeQuestion",
|
|
@@ -3311,6 +3335,11 @@
|
|
|
3311
3335
|
"ifAble",
|
|
3312
3336
|
false
|
|
3313
3337
|
],
|
|
3338
|
+
[
|
|
3339
|
+
"integer",
|
|
3340
|
+
"number",
|
|
3341
|
+
false
|
|
3342
|
+
],
|
|
3314
3343
|
[
|
|
3315
3344
|
"is",
|
|
3316
3345
|
"canBeQuestion",
|
|
@@ -4522,6 +4551,11 @@
|
|
|
4522
4551
|
"ifAble",
|
|
4523
4552
|
false
|
|
4524
4553
|
],
|
|
4554
|
+
[
|
|
4555
|
+
"integer",
|
|
4556
|
+
"number",
|
|
4557
|
+
false
|
|
4558
|
+
],
|
|
4525
4559
|
[
|
|
4526
4560
|
"is",
|
|
4527
4561
|
"canBeQuestion",
|
|
@@ -5979,6 +6013,11 @@
|
|
|
5979
6013
|
"ifAble",
|
|
5980
6014
|
false
|
|
5981
6015
|
],
|
|
6016
|
+
[
|
|
6017
|
+
"integer",
|
|
6018
|
+
"number",
|
|
6019
|
+
false
|
|
6020
|
+
],
|
|
5982
6021
|
[
|
|
5983
6022
|
"is",
|
|
5984
6023
|
"canBeQuestion",
|
|
@@ -7245,6 +7284,11 @@
|
|
|
7245
7284
|
"ifAble",
|
|
7246
7285
|
false
|
|
7247
7286
|
],
|
|
7287
|
+
[
|
|
7288
|
+
"integer",
|
|
7289
|
+
"number",
|
|
7290
|
+
false
|
|
7291
|
+
],
|
|
7248
7292
|
[
|
|
7249
7293
|
"is",
|
|
7250
7294
|
"canBeQuestion",
|
|
@@ -8374,6 +8418,20 @@
|
|
|
8374
8418
|
1
|
|
8375
8419
|
]
|
|
8376
8420
|
],
|
|
8421
|
+
[
|
|
8422
|
+
[
|
|
8423
|
+
"is",
|
|
8424
|
+
0
|
|
8425
|
+
],
|
|
8426
|
+
[
|
|
8427
|
+
"list",
|
|
8428
|
+
1
|
|
8429
|
+
],
|
|
8430
|
+
[
|
|
8431
|
+
"unknown",
|
|
8432
|
+
1
|
|
8433
|
+
]
|
|
8434
|
+
],
|
|
8377
8435
|
[
|
|
8378
8436
|
[
|
|
8379
8437
|
"is",
|
|
@@ -8822,6 +8880,11 @@
|
|
|
8822
8880
|
"ifAble",
|
|
8823
8881
|
false
|
|
8824
8882
|
],
|
|
8883
|
+
[
|
|
8884
|
+
"integer",
|
|
8885
|
+
"number",
|
|
8886
|
+
false
|
|
8887
|
+
],
|
|
8825
8888
|
[
|
|
8826
8889
|
"is",
|
|
8827
8890
|
"canBeQuestion",
|
|
@@ -10357,6 +10420,11 @@
|
|
|
10357
10420
|
"ifAble",
|
|
10358
10421
|
false
|
|
10359
10422
|
],
|
|
10423
|
+
[
|
|
10424
|
+
"integer",
|
|
10425
|
+
"number",
|
|
10426
|
+
false
|
|
10427
|
+
],
|
|
10360
10428
|
[
|
|
10361
10429
|
"is",
|
|
10362
10430
|
"canBeQuestion",
|
|
@@ -11837,6 +11905,11 @@
|
|
|
11837
11905
|
"ifAble",
|
|
11838
11906
|
false
|
|
11839
11907
|
],
|
|
11908
|
+
[
|
|
11909
|
+
"integer",
|
|
11910
|
+
"number",
|
|
11911
|
+
false
|
|
11912
|
+
],
|
|
11840
11913
|
[
|
|
11841
11914
|
"is",
|
|
11842
11915
|
"canBeQuestion",
|
|
@@ -13458,6 +13531,11 @@
|
|
|
13458
13531
|
"ifAble",
|
|
13459
13532
|
false
|
|
13460
13533
|
],
|
|
13534
|
+
[
|
|
13535
|
+
"integer",
|
|
13536
|
+
"number",
|
|
13537
|
+
false
|
|
13538
|
+
],
|
|
13461
13539
|
[
|
|
13462
13540
|
"is",
|
|
13463
13541
|
"canBeQuestion",
|
|
@@ -15054,6 +15132,11 @@
|
|
|
15054
15132
|
"ifAble",
|
|
15055
15133
|
false
|
|
15056
15134
|
],
|
|
15135
|
+
[
|
|
15136
|
+
"integer",
|
|
15137
|
+
"number",
|
|
15138
|
+
false
|
|
15139
|
+
],
|
|
15057
15140
|
[
|
|
15058
15141
|
"is",
|
|
15059
15142
|
"canBeQuestion",
|
|
@@ -16721,6 +16804,11 @@
|
|
|
16721
16804
|
"ifAble",
|
|
16722
16805
|
false
|
|
16723
16806
|
],
|
|
16807
|
+
[
|
|
16808
|
+
"integer",
|
|
16809
|
+
"number",
|
|
16810
|
+
false
|
|
16811
|
+
],
|
|
16724
16812
|
[
|
|
16725
16813
|
"is",
|
|
16726
16814
|
"canBeQuestion",
|
|
@@ -18392,6 +18480,11 @@
|
|
|
18392
18480
|
"ifAble",
|
|
18393
18481
|
false
|
|
18394
18482
|
],
|
|
18483
|
+
[
|
|
18484
|
+
"integer",
|
|
18485
|
+
"number",
|
|
18486
|
+
false
|
|
18487
|
+
],
|
|
18395
18488
|
[
|
|
18396
18489
|
"is",
|
|
18397
18490
|
"canBeQuestion",
|
|
@@ -20279,6 +20372,11 @@
|
|
|
20279
20372
|
"ifAble",
|
|
20280
20373
|
false
|
|
20281
20374
|
],
|
|
20375
|
+
[
|
|
20376
|
+
"integer",
|
|
20377
|
+
"number",
|
|
20378
|
+
false
|
|
20379
|
+
],
|
|
20282
20380
|
[
|
|
20283
20381
|
"is",
|
|
20284
20382
|
"canBeQuestion",
|
|
@@ -22246,6 +22344,11 @@
|
|
|
22246
22344
|
"ifAble",
|
|
22247
22345
|
false
|
|
22248
22346
|
],
|
|
22347
|
+
[
|
|
22348
|
+
"integer",
|
|
22349
|
+
"number",
|
|
22350
|
+
false
|
|
22351
|
+
],
|
|
22249
22352
|
[
|
|
22250
22353
|
"is",
|
|
22251
22354
|
"canBeQuestion",
|
|
@@ -24231,6 +24334,11 @@
|
|
|
24231
24334
|
"ifAble",
|
|
24232
24335
|
false
|
|
24233
24336
|
],
|
|
24337
|
+
[
|
|
24338
|
+
"integer",
|
|
24339
|
+
"number",
|
|
24340
|
+
false
|
|
24341
|
+
],
|
|
24234
24342
|
[
|
|
24235
24343
|
"is",
|
|
24236
24344
|
"canBeQuestion",
|
|
@@ -26199,6 +26307,11 @@
|
|
|
26199
26307
|
"ifAble",
|
|
26200
26308
|
false
|
|
26201
26309
|
],
|
|
26310
|
+
[
|
|
26311
|
+
"integer",
|
|
26312
|
+
"number",
|
|
26313
|
+
false
|
|
26314
|
+
],
|
|
26202
26315
|
[
|
|
26203
26316
|
"is",
|
|
26204
26317
|
"canBeQuestion",
|
|
@@ -29830,6 +29943,34 @@
|
|
|
29830
29943
|
1
|
|
29831
29944
|
]
|
|
29832
29945
|
],
|
|
29946
|
+
[
|
|
29947
|
+
[
|
|
29948
|
+
"is",
|
|
29949
|
+
0
|
|
29950
|
+
],
|
|
29951
|
+
[
|
|
29952
|
+
"list",
|
|
29953
|
+
1
|
|
29954
|
+
],
|
|
29955
|
+
[
|
|
29956
|
+
"unknown",
|
|
29957
|
+
1
|
|
29958
|
+
]
|
|
29959
|
+
],
|
|
29960
|
+
[
|
|
29961
|
+
[
|
|
29962
|
+
"is",
|
|
29963
|
+
0
|
|
29964
|
+
],
|
|
29965
|
+
[
|
|
29966
|
+
"list",
|
|
29967
|
+
1
|
|
29968
|
+
],
|
|
29969
|
+
[
|
|
29970
|
+
"unknown",
|
|
29971
|
+
1
|
|
29972
|
+
]
|
|
29973
|
+
],
|
|
29833
29974
|
[
|
|
29834
29975
|
[
|
|
29835
29976
|
"is",
|
|
@@ -323,6 +323,11 @@
|
|
|
323
323
|
"ifAble",
|
|
324
324
|
false
|
|
325
325
|
],
|
|
326
|
+
[
|
|
327
|
+
"integer",
|
|
328
|
+
"number",
|
|
329
|
+
false
|
|
330
|
+
],
|
|
326
331
|
[
|
|
327
332
|
"is",
|
|
328
333
|
"canBeQuestion",
|
|
@@ -1523,6 +1528,11 @@
|
|
|
1523
1528
|
"ifAble",
|
|
1524
1529
|
false
|
|
1525
1530
|
],
|
|
1531
|
+
[
|
|
1532
|
+
"integer",
|
|
1533
|
+
"number",
|
|
1534
|
+
false
|
|
1535
|
+
],
|
|
1526
1536
|
[
|
|
1527
1537
|
"is",
|
|
1528
1538
|
"canBeQuestion",
|
|
@@ -3090,6 +3100,11 @@
|
|
|
3090
3100
|
"ifAble",
|
|
3091
3101
|
false
|
|
3092
3102
|
],
|
|
3103
|
+
[
|
|
3104
|
+
"integer",
|
|
3105
|
+
"number",
|
|
3106
|
+
false
|
|
3107
|
+
],
|
|
3093
3108
|
[
|
|
3094
3109
|
"is",
|
|
3095
3110
|
"canBeQuestion",
|
|
@@ -3815,7 +3830,7 @@
|
|
|
3815
3830
|
"opChoices": [
|
|
3816
3831
|
{
|
|
3817
3832
|
"op": [
|
|
3818
|
-
"
|
|
3833
|
+
"integer",
|
|
3819
3834
|
0
|
|
3820
3835
|
],
|
|
3821
3836
|
"ops": [
|
|
@@ -3828,7 +3843,7 @@
|
|
|
3828
3843
|
0
|
|
3829
3844
|
],
|
|
3830
3845
|
[
|
|
3831
|
-
"
|
|
3846
|
+
"integer",
|
|
3832
3847
|
0
|
|
3833
3848
|
],
|
|
3834
3849
|
[
|
|
@@ -3982,7 +3997,7 @@
|
|
|
3982
3997
|
"instance": true,
|
|
3983
3998
|
"value": 101325,
|
|
3984
3999
|
"text": "101325",
|
|
3985
|
-
"marker": "
|
|
4000
|
+
"marker": "integer",
|
|
3986
4001
|
"word": "101325",
|
|
3987
4002
|
"range": {
|
|
3988
4003
|
"start": 24,
|
|
@@ -3990,7 +4005,7 @@
|
|
|
3990
4005
|
},
|
|
3991
4006
|
"dead": true,
|
|
3992
4007
|
"types": [
|
|
3993
|
-
"
|
|
4008
|
+
"integer"
|
|
3994
4009
|
],
|
|
3995
4010
|
"level": 1
|
|
3996
4011
|
},
|
|
@@ -4028,7 +4043,7 @@
|
|
|
4028
4043
|
0
|
|
4029
4044
|
],
|
|
4030
4045
|
[
|
|
4031
|
-
"
|
|
4046
|
+
"integer",
|
|
4032
4047
|
0
|
|
4033
4048
|
],
|
|
4034
4049
|
[
|
|
@@ -4446,6 +4461,11 @@
|
|
|
4446
4461
|
"ifAble",
|
|
4447
4462
|
false
|
|
4448
4463
|
],
|
|
4464
|
+
[
|
|
4465
|
+
"integer",
|
|
4466
|
+
"number",
|
|
4467
|
+
false
|
|
4468
|
+
],
|
|
4449
4469
|
[
|
|
4450
4470
|
"is",
|
|
4451
4471
|
"canBeQuestion",
|
|
@@ -5171,7 +5191,7 @@
|
|
|
5171
5191
|
"opChoices": [
|
|
5172
5192
|
{
|
|
5173
5193
|
"op": [
|
|
5174
|
-
"
|
|
5194
|
+
"integer",
|
|
5175
5195
|
0
|
|
5176
5196
|
],
|
|
5177
5197
|
"ops": [
|
|
@@ -5188,7 +5208,7 @@
|
|
|
5188
5208
|
0
|
|
5189
5209
|
],
|
|
5190
5210
|
[
|
|
5191
|
-
"
|
|
5211
|
+
"integer",
|
|
5192
5212
|
0
|
|
5193
5213
|
],
|
|
5194
5214
|
[
|
|
@@ -5338,7 +5358,7 @@
|
|
|
5338
5358
|
"instance": true,
|
|
5339
5359
|
"value": 101325,
|
|
5340
5360
|
"text": "101325",
|
|
5341
|
-
"marker": "
|
|
5361
|
+
"marker": "integer",
|
|
5342
5362
|
"word": "101325",
|
|
5343
5363
|
"range": {
|
|
5344
5364
|
"start": 24,
|
|
@@ -5346,7 +5366,7 @@
|
|
|
5346
5366
|
},
|
|
5347
5367
|
"dead": true,
|
|
5348
5368
|
"types": [
|
|
5349
|
-
"
|
|
5369
|
+
"integer"
|
|
5350
5370
|
],
|
|
5351
5371
|
"level": 1
|
|
5352
5372
|
},
|
|
@@ -5388,7 +5408,7 @@
|
|
|
5388
5408
|
0
|
|
5389
5409
|
],
|
|
5390
5410
|
[
|
|
5391
|
-
"
|
|
5411
|
+
"integer",
|
|
5392
5412
|
0
|
|
5393
5413
|
],
|
|
5394
5414
|
[
|
|
@@ -5513,7 +5533,7 @@
|
|
|
5513
5533
|
0
|
|
5514
5534
|
],
|
|
5515
5535
|
[
|
|
5516
|
-
"
|
|
5536
|
+
"integer",
|
|
5517
5537
|
0
|
|
5518
5538
|
],
|
|
5519
5539
|
[
|
|
@@ -5549,7 +5569,7 @@
|
|
|
5549
5569
|
0
|
|
5550
5570
|
],
|
|
5551
5571
|
[
|
|
5552
|
-
"
|
|
5572
|
+
"integer",
|
|
5553
5573
|
0
|
|
5554
5574
|
],
|
|
5555
5575
|
[
|
|
@@ -256,6 +256,11 @@
|
|
|
256
256
|
"ifAble",
|
|
257
257
|
false
|
|
258
258
|
],
|
|
259
|
+
[
|
|
260
|
+
"integer",
|
|
261
|
+
"number",
|
|
262
|
+
false
|
|
263
|
+
],
|
|
259
264
|
[
|
|
260
265
|
"is",
|
|
261
266
|
"canBeQuestion",
|
|
@@ -1043,7 +1048,7 @@
|
|
|
1043
1048
|
}
|
|
1044
1049
|
]
|
|
1045
1050
|
},
|
|
1046
|
-
"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': ['property', 'number', 'comparable', 'queryable', 'quantifier', 'quantity', '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': ['property', 'number', 'comparable', 'queryable', 'quantifier', 'quantity', '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': ['property', 'number', 'comparable', 'queryable', 'quantifier', 'quantity', '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': ['property', 'number', 'comparable', 'queryable', 'quantifier', 'quantity', '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': ['property', 'number', 'comparable', 'queryable', 'quantifier', 'quantity', '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': ['property', 'number', 'comparable', 'queryable', 'quantifier', 'quantity', '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': ['property', 'number', 'comparable', 'queryable', 'quantifier', 'quantity', '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",
|
|
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': ['number', 'comparable', 'quantity', 'quantifier', 'queryable', 'theAble', 'property']}) 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': ['number', 'comparable', 'quantity', 'quantifier', 'queryable', 'theAble', 'property']}) bridge(bridge)), range: {'start': 6, 'end': 8}, text: and, types: [], word: and})\n\n>>>>>>>>>>>>> Counter 3\n *0. list/1 (3, 0) - \"price and quantity\"\n {\n prioritized_by: [('list', 0)]\n default: true\n isList: true\n listable: true\n marker: Operator(list/1, PASS, ['Selector(Bridge(\\'{ ...operator, value: append(before, operator.value) }\\'), , same/(), [And([\"Type(variable: \\'type\\')\", \"Listable(Unify(Property((\\'context\\', \\'instance\\')), Property((\\'variables\\', \\'instance\\'))))\"])]<==>[], bridge(bridge), passthrough)'], evaluator(Bridge('{ ...operator, value: append(before, operator.value) }')), variables({'type': ['number', 'comparable', 'quantity', 'quantifier', 'queryable', 'theAble', 'property']}) bridge(bridge))\n range: {'start': 0, 'end': 17}\n text: \"price and quantity\"\n types: [\n ]\n value: [\n {\n prioritized_by: [('price', 0)]\n dead: true\n default: true\n marker: Operator(price/1, ['Selector(None, , []<==>[], bridge(bridge))'], evaluator(None), variables({}) bridge(bridge))\n range: {'start': 0, 'end': 4}\n text: \"price\"\n value: \"price\"\n word: \"price\"\n }\n\n {\n default: true\n marker: Operator(quantity/0, [\"Selector(Bridge('{ ...next(operator) }'), , []<==>[], bridge(bridge))\"], evaluator(Bridge('{ ...next(operator) }')), variables({}) bridge(bridge))\n range: {'start': 10, 'end': 17}\n text: \"quantity\"\n value: \"quantity\"\n word: \"quantity\"\n }\n ]\n word: \"and\"\n }\n 1. is/0 (1, 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': ['number', 'comparable', 'quantity', 'quantifier', 'queryable', 'theAble', 'property']}) bridge(bridge))\n range: {'start': 0, 'end': 17}\n text: \"price and quantity\"\n types: [\n ]\n value: [\n {\n prioritized_by: [('price', 0)]\n dead: true\n default: true\n marker: Operator(price/1, ['Selector(None, , []<==>[], bridge(bridge))'], evaluator(None), variables({}) bridge(bridge))\n range: {'start': 0, 'end': 4}\n text: \"price\"\n value: \"price\"\n word: \"price\"\n }\n\n {\n default: true\n marker: Operator(quantity/0, [\"Selector(Bridge('{ ...next(operator) }'), , []<==>[], bridge(bridge))\"], evaluator(Bridge('{ ...next(operator) }')), variables({}) bridge(bridge))\n range: {'start': 10, 'end': 17}\n text: \"quantity\"\n value: \"quantity\"\n word: \"quantity\"\n }\n ]\n word: \"and\"\n }\n 1. is/0 (1, 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': ['number', 'comparable', 'quantity', 'quantifier', 'queryable', 'theAble', 'property']}) bridge(bridge))\n number: \"many\"\n range: {'start': 0, 'end': 32}\n text: \"price and quantity\"\n types: [\n 'price'\n ]\n value: [\n {\n prioritized_by: [('price', 0)]\n dead: true\n default: true\n marker: Operator(price/1, ['Selector(None, , []<==>[], bridge(bridge))'], evaluator(None), variables({}) bridge(bridge))\n range: {'start': 0, 'end': 4}\n text: \"price\"\n value: \"price\"\n word: \"price\"\n }\n\n {\n default: true\n marker: Operator(quantity/0, [\"Selector(Bridge('{ ...next(operator) }'), , []<==>[], bridge(bridge))\"], evaluator(Bridge('{ ...next(operator) }')), variables({}) bridge(bridge))\n range: {'start': 10, 'end': 17}\n text: \"quantity\"\n value: \"quantity\"\n word: \"quantity\"\n }\n ]\n word: \"and\"\n }\n\n range: {'start': 0, 'end': 32}\n text: \"price and quantity are properties\"\n two: {\n prioritized_by: [('property', 0)]\n dead: true\n marker: Operator(property/1, ['Selector(None, , []<==>[], bridge(bridge))'], evaluator(None), variables({}) bridge(bridge))\n range: {'start': 23, 'end': 32}\n text: \"properties\"\n types: [\n 'property'\n ]\n value: \"property\"\n word: \"properties\"\n }\n\n word: \"are\"\n }\n<<<<<<<<<<<<<\nNext Op (index=0) is Context({marker: Operator(is/1, [\"Selector(Bridge('{ ...next(operator) }'), , []<==>[], bridge(bridge))\"], evaluator(Bridge('{ ...next(operator) }')), variables({}) bridge(bridge)), number: many, one: Context({default: True, isList: True, listable: True, marker: Operator(list/1, PASS, ['Selector(Bridge(\\'{ ...operator, value: append(before, operator.value) }\\'), , same/(), [And([\"Type(variable: \\'type\\')\", \"Listable(Unify(Property((\\'context\\', \\'instance\\')), Property((\\'variables\\', \\'instance\\'))))\"])]<==>[], bridge(bridge), passthrough)'], evaluator(Bridge('{ ...operator, value: append(before, operator.value) }')), variables({'type': ['number', 'comparable', 'quantity', 'quantifier', 'queryable', 'theAble', 'property']}) bridge(bridge)), number: many, range: {'start': 0, 'end': 32}, text: price and quantity, types: ['price'], value: [Context({dead: True, default: True, marker: Operator(price/1, ['Selector(None, , []<==>[], bridge(bridge))'], evaluator(None), variables({}) bridge(bridge)), range: {'start': 0, 'end': 4}, text: price, value: price, word: price}), Context({default: True, marker: Operator(quantity/0, [\"Selector(Bridge('{ ...next(operator) }'), , []<==>[], bridge(bridge))\"], evaluator(Bridge('{ ...next(operator) }')), variables({}) bridge(bridge)), range: {'start': 10, 'end': 17}, text: quantity, value: quantity, word: quantity})], word: and}), range: {'start': 0, 'end': 32}, text: price and quantity are properties, two: Context({dead: True, marker: Operator(property/1, ['Selector(None, , []<==>[], bridge(bridge))'], evaluator(None), variables({}) bridge(bridge)), range: {'start': 23, 'end': 32}, text: properties, types: ['property'], value: property, word: properties}), word: are})\n\n>>>>>>>>>>>>> Counter 6\n *0. is/2 (dead) (5, 0) - \"price and quantity are properties\"\n {\n prioritized_by: [('is', 1)]\n dead: true\n marker: Operator(is/2, ['Selector(None, , []<==>[], bridge(bridge))'], evaluator(None), variables({}) bridge(bridge))\n number: \"many\"\n one: {\n default: true\n isList: true\n listable: true\n marker: Operator(list/1, PASS, ['Selector(Bridge(\\'{ ...operator, value: append(before, operator.value) }\\'), , same/(), [And([\"Type(variable: \\'type\\')\", \"Listable(Unify(Property((\\'context\\', \\'instance\\')), Property((\\'variables\\', \\'instance\\'))))\"])]<==>[], bridge(bridge), passthrough)'], evaluator(Bridge('{ ...operator, value: append(before, operator.value) }')), variables({'type': ['number', 'comparable', 'quantity', 'quantifier', 'queryable', 'theAble', 'property']}) bridge(bridge))\n number: \"many\"\n range: {'start': 0, 'end': 32}\n text: \"price and quantity\"\n types: [\n 'price'\n ]\n value: [\n {\n prioritized_by: [('price', 0)]\n dead: true\n default: true\n marker: Operator(price/1, ['Selector(None, , []<==>[], bridge(bridge))'], evaluator(None), variables({}) bridge(bridge))\n range: {'start': 0, 'end': 4}\n text: \"price\"\n value: \"price\"\n word: \"price\"\n }\n\n {\n default: true\n marker: Operator(quantity/0, [\"Selector(Bridge('{ ...next(operator) }'), , []<==>[], bridge(bridge))\"], evaluator(Bridge('{ ...next(operator) }')), variables({}) bridge(bridge))\n range: {'start': 10, 'end': 17}\n text: \"quantity\"\n value: \"quantity\"\n word: \"quantity\"\n }\n ]\n word: \"and\"\n }\n\n range: {'start': 0, 'end': 32}\n text: \"price and quantity are properties\"\n two: {\n prioritized_by: [('property', 0)]\n dead: true\n marker: Operator(property/1, ['Selector(None, , []<==>[], bridge(bridge))'], evaluator(None), variables({}) bridge(bridge))\n range: {'start': 23, 'end': 32}\n text: \"properties\"\n types: [\n 'property'\n ]\n value: \"property\"\n word: \"properties\"\n }\n\n word: \"are\"\n }\n<<<<<<<<<<<<<\n",
|
|
1047
1052
|
"contexts": [
|
|
1048
1053
|
{
|
|
1049
1054
|
"number": "many",
|
|
@@ -1458,6 +1463,11 @@
|
|
|
1458
1463
|
"ifAble",
|
|
1459
1464
|
false
|
|
1460
1465
|
],
|
|
1466
|
+
[
|
|
1467
|
+
"integer",
|
|
1468
|
+
"number",
|
|
1469
|
+
false
|
|
1470
|
+
],
|
|
1461
1471
|
[
|
|
1462
1472
|
"is",
|
|
1463
1473
|
"canBeQuestion",
|