-
Notifications
You must be signed in to change notification settings - Fork 3
/
seed_training_set.txt
3920 lines (3715 loc) · 197 KB
/
seed_training_set.txt
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
535
536
537
538
539
540
541
542
543
544
545
546
547
548
549
550
551
552
553
554
555
556
557
558
559
560
561
562
563
564
565
566
567
568
569
570
571
572
573
574
575
576
577
578
579
580
581
582
583
584
585
586
587
588
589
590
591
592
593
594
595
596
597
598
599
600
601
602
603
604
605
606
607
608
609
610
611
612
613
614
615
616
617
618
619
620
621
622
623
624
625
626
627
628
629
630
631
632
633
634
635
636
637
638
639
640
641
642
643
644
645
646
647
648
649
650
651
652
653
654
655
656
657
658
659
660
661
662
663
664
665
666
667
668
669
670
671
672
673
674
675
676
677
678
679
680
681
682
683
684
685
686
687
688
689
690
691
692
693
694
695
696
697
698
699
700
701
702
703
704
705
706
707
708
709
710
711
712
713
714
715
716
717
718
719
720
721
722
723
724
725
726
727
728
729
730
731
732
733
734
735
736
737
738
739
740
741
742
743
744
745
746
747
748
749
750
751
752
753
754
755
756
757
758
759
760
761
762
763
764
765
766
767
768
769
770
771
772
773
774
775
776
777
778
779
780
781
782
783
784
785
786
787
788
789
790
791
792
793
794
795
796
797
798
799
800
801
802
803
804
805
806
807
808
809
810
811
812
813
814
815
816
817
818
819
820
821
822
823
824
825
826
827
828
829
830
831
832
833
834
835
836
837
838
839
840
841
842
843
844
845
846
847
848
849
850
851
852
853
854
855
856
857
858
859
860
861
862
863
864
865
866
867
868
869
870
871
872
873
874
875
876
877
878
879
880
881
882
883
884
885
886
887
888
889
890
891
892
893
894
895
896
897
898
899
900
901
902
903
904
905
906
907
908
909
910
911
912
913
914
915
916
917
918
919
920
921
922
923
924
925
926
927
928
929
930
931
932
933
934
935
936
937
938
939
940
941
942
943
944
945
946
947
948
949
950
951
952
953
954
955
956
957
958
959
960
961
962
963
964
965
966
967
968
969
970
971
972
973
974
975
976
977
978
979
980
981
982
983
984
985
986
987
988
989
990
991
992
993
994
995
996
997
998
999
1000
: # Cats are mammals.
{(S
(S':require_no_lambda,mark_wide_scope
(S'':try_add_plural,require_no_conjunction,try_remove_is_adjunct
(V_ADJUNCT:try_remove_nullable_subject,require_no_subordinate,try_remove_correlator,try_remove_wh_minus,select_left_conjunct
(NP:require_no_preposition,require_no_passive,require_no_empty_verb,try_remove_req_subject,select_right_arg1_without_head_predicative,factor_predicative,has_arg2_in_set
(NP':try_add_plural,try_remove_adv,require_no_correlator,require_predicative_universal
(NOMINAL_R:identity
(NOMINAL_L:identity
(N:require_no_correlator,select_predicate_in_set "cat"/"Cats")
)
)
)
)
)
(VP_R:try_remove_nullable_subject,try_remove_correlated,remove_left_conjunct,require_no_predicate_empty,has_arg2
(VP_L:require_no_be
(BE:select_left_predicate_and_tense,try_remove_aspect "be"/"are")
(VP_R:try_remove_correlated,require_no_future,require_no_perfect,add_aux,add_be
(V_ADJUNCT:remove_be,require_no_head_array,require_left_predicate_same,require_no_progressive,require_no_inverse,require_no_req_subject,require_no_req_aux,require_no_to_infinitive,require_no_correlator,remove_second_left_conjunct,require_one_or_two_conjuncts,try_remove_number
(NP:require_no_preposition,require_no_passive,require_no_inverse,require_no_empty_verb,require_no_left_predicate_exist,select_right_arg2_without_head_predicative,factor_predicative,has_arg2_in_set
(NP':try_add_plural,try_remove_adv,require_no_correlator,require_predicative_existential,require_wide_scope,require_no_string_or_number_or_name_in_set
(NOMINAL_R:identity
(NOMINAL_L:identity
(N:require_no_correlator,select_predicate_in_set "mammal"/"mammals")
)
)
)
)
)
)
)
)
)
)
(PERIOD ".")
)}
# {![x]:((U(0,x) & cat(x)) => ?[s]:((arg1(s)=x) & U(1,s) & same(s) & present(s) & ?[m]:(U(2,m) & mammal(m) & (arg2(s)=m))))};
{![x]:(cat(x) => ?[m]:(mammal(m) & ?[s]:((arg1(s)=x) & same(s) & present(s) & (arg2(s)=m))))};
: # Mercury is a planet in the Solar System.
{(S
(S':require_no_lambda,mark_wide_scope
(S'':try_add_singular,require_no_conjunction,try_remove_is_adjunct
(V_ADJUNCT:try_remove_nullable_subject,require_no_subordinate,try_remove_correlator,try_remove_wh_minus,select_left_conjunct
(NP:require_no_preposition,require_no_passive,require_no_empty_verb,try_remove_req_subject,select_right_arg1_without_head_predicative,factor_predicative,has_arg2_in_set
(NP':try_add_singular,try_remove_adv,require_no_correlator,require_predicative_existential,require_name_in_set
(NOMINAL_R:identity
(NOMINAL_L:identity
(STRING:require_no_correlator,require_no_measure,require_predicative_existential,select_name_in_set,require_capitalized "Mercury")
)
)
)
)
)
(VP_R:try_remove_nullable_subject,try_remove_correlated,remove_left_conjunct,require_no_predicate_empty,has_arg2
(VP_L:require_no_be
(BE:select_left_predicate_and_tense,try_remove_aspect "be"/"is")
(VP_R:try_remove_correlated,require_no_future,require_no_perfect,add_aux,add_be
(V_ADJUNCT:remove_be,require_no_head_array,require_left_predicate_same,require_no_progressive,require_no_inverse,require_no_req_subject,require_no_req_aux,require_no_to_infinitive,require_no_correlator,remove_second_left_conjunct,require_one_or_two_conjuncts,try_remove_number
(NP:require_no_preposition,require_no_passive,require_no_inverse,require_no_empty_verb,require_no_left_predicate_exist,select_right_arg2_without_head_predicative,factor_predicative,has_arg2_in_set
(A "a")
(NP':try_add_singular,try_remove_adv,require_no_correlator,require_predicative_existential,require_no_constant_in_set
(NOMINAL_R:identity
(NOMINAL_R:try_remove_genitive,remove_right_conjunct_in_set
(NOMINAL_L:identity
(N:require_no_correlator,select_predicate_in_set "planet"/"planet")
)
)
(N_ADJUNCT:try_remove_correlated,try_remove_wh_minus,try_remove_measure,select_right_conjunct_in_set,remove_wide_scope,try_remove_number
(PP:try_remove_correlated,select_right_arg1_of_without_head
(P:require_no_preposition,remove_right_conjunct "in")
(NP:try_remove_correlated,try_remove_is_adjunct,try_remove_modifies_event,select_right_arg2_without_head_predicative,factor_predicative,has_arg2_in_set
(DEF_NP:try_remove_adv,require_no_correlator,require_no_wh_minus
(THE "the")
(NP':try_remove_correlated,require_predicative_existential,require_singleton,remove_second_left_set_conjunct,try_add_singular
(NOMINAL_R:identity
(NOMINAL_L:identity
(STRING:require_no_correlator,require_no_measure,require_predicative_existential,select_name_in_set,require_capitalized "Solar System"/"Solar System")
)
)
)
)
)
)
)
)
)
)
)
)
)
)
)
)
(PERIOD ".")
)}
{?[m]:(?[n]:(name(n) & (arg1_of(m)=n) & (arg2(n)="Mercury")) & ?[X]:((X=^[x]:?[n]:(name(n) & (arg1_of(x)=n) & (arg2(n)="Solar System"))) & (size(X)=1) & ?[x]:(X(x) & ?[p]:(planet(p) & ?[l]:(locate(l) & (arg2(l)=x) & (arg1_of(p)=l)) & ?[s]:((arg1(s)=m) & same(s) & present(s) & (arg2(s)=p))))))};
: # Mercury is in the Solar System.
{(S
(S':require_no_lambda,mark_wide_scope
(S'':try_add_singular,require_no_conjunction,try_remove_is_adjunct
(V_ADJUNCT:try_remove_nullable_subject,require_no_subordinate,try_remove_correlator,try_remove_wh_minus,select_left_conjunct
(NP:require_no_preposition,require_no_passive,require_no_empty_verb,try_remove_req_subject,select_right_arg1_without_head_predicative,factor_predicative,has_arg2_in_set
(NP':try_add_singular,try_remove_adv,require_no_correlator,require_predicative_existential,require_name_in_set
(NOMINAL_R:identity
(NOMINAL_L:identity
(STRING:require_no_correlator,require_no_measure,require_predicative_existential,select_name_in_set,require_capitalized "Mercury")
)
)
)
)
)
(VP_R:try_remove_nullable_subject,try_remove_correlated,remove_left_conjunct,require_no_predicate_empty,has_arg2
(VP_L:require_no_be
(BE:select_left_predicate_and_tense,try_remove_aspect "be"/"is")
(VP_R:try_remove_correlated,require_no_future,require_no_perfect,add_aux,add_be
(V_ADJUNCT:remove_be,require_no_progressive,require_no_inverse,require_no_req_subject,require_no_req_aux,require_no_to_infinitive,require_no_correlator,remove_second_left_conjunct,require_one_or_two_conjuncts,try_remove_number,add_empty_verb
(PP:remove_wide_scope,add_is_adjunct,require_no_preposition,remove_empty_verb
(P:require_no_preposition,remove_right_conjunct "in")
(NP:try_remove_correlated,try_remove_is_adjunct,try_remove_modifies_event,select_right_arg2_without_head_predicative,factor_predicative,has_arg2_in_set
(DEF_NP:try_remove_adv,require_no_correlator,require_no_wh_minus
(THE "the")
(NP':try_remove_correlated,require_predicative_existential,require_singleton,remove_second_left_set_conjunct,try_add_singular
(NOMINAL_R:identity
(NOMINAL_L:identity
(STRING:require_no_correlator,require_no_measure,require_predicative_existential,select_name_in_set,require_capitalized "Solar System"/"Solar System")
)
)
)
)
)
)
)
)
)
)
)
)
(PERIOD ".")
)}
{?[m]:(?[n]:(name(n) & (arg1_of(m)=n) & (arg2(n)="Mercury")) & ?[X]:((X=^[x]:?[n]:(name(n) & (arg1_of(x)=n) & (arg2(n)="Solar System"))) & (size(X)=1) & ?[x]:(X(x) & ?[l]:((arg1(l)=m) & locate(l) & present(l) & (arg2(l)=x)))))};
: # Neptune is one of the 8 planets in the Solar System.
{(S
(S':require_no_lambda,mark_wide_scope
(S'':try_add_singular,require_no_conjunction,try_remove_is_adjunct
(V_ADJUNCT:try_remove_nullable_subject,require_no_subordinate,try_remove_correlator,try_remove_wh_minus,select_left_conjunct
(NP:require_no_preposition,require_no_passive,require_no_empty_verb,try_remove_req_subject,select_right_arg1_without_head_predicative,factor_predicative,has_arg2_in_set
(NP':try_add_singular,try_remove_adv,require_no_correlator,require_predicative_existential,require_name_in_set
(NOMINAL_R:identity
(NOMINAL_L:identity
(STRING:require_no_correlator,require_no_measure,require_predicative_existential,select_name_in_set,require_capitalized "Neptune")
)
)
)
)
)
(VP_R:try_remove_nullable_subject,try_remove_correlated,remove_left_conjunct,require_no_predicate_empty,has_arg2
(VP_L:require_no_be
(BE:select_left_predicate_and_tense,try_remove_aspect "be"/"is")
(VP_R:try_remove_correlated,require_no_future,require_no_perfect,add_aux,add_be
(V_ADJUNCT:remove_be,require_no_head_array,require_left_predicate_same,require_no_progressive,require_no_inverse,require_no_req_subject,require_no_req_aux,require_no_to_infinitive,require_no_correlator,remove_second_left_conjunct,require_one_or_two_conjuncts,try_remove_number
(NP:require_no_preposition,require_no_passive,require_no_inverse,require_no_empty_verb,require_no_left_predicate_exist,select_right_arg2_without_head_predicative,factor_predicative,has_arg2_in_set
(NP':try_add_singular,try_remove_adv,require_no_correlator,require_predicative_existential,require_singleton
(NOMINAL_R:identity
(NOMINAL_R:try_remove_genitive,remove_right_conjunct_in_set
(NOMINAL_L:identity
(NUMBER:require_no_correlator,require_no_measure,set_size "one"/"one")
)
)
(OF "of")
(NP:try_remove_correlated,try_remove_wh_minus,try_remove_measure,select_right_subset_in_set,try_remove_number,require_no_constant_in_set,has_arg2_in_set
(DEF_NP:try_remove_adv,require_no_correlator,require_no_wh_minus
(THE "the")
(NP':try_remove_correlated,require_predicative_universal,try_add_plural
(Q:try_remove_genitive,select_second_left_set_conjunct_root,size
(NUMBER:identity "8"/"8")
)
(NOMINAL_R:try_remove_correlated,remove_second_left_set_conjunct
(NOMINAL_R:try_remove_genitive,remove_right_conjunct_in_set
(NOMINAL_L:identity
(N:require_no_correlator,select_predicate_in_set "planet"/"planets")
)
)
(N_ADJUNCT:try_remove_correlated,try_remove_wh_minus,try_remove_measure,select_right_conjunct_in_set,remove_wide_scope,try_remove_number
(PP:try_remove_correlated,select_right_arg1_of_without_head
(P:require_no_preposition,remove_right_conjunct "in")
(NP:try_remove_correlated,try_remove_is_adjunct,try_remove_modifies_event,select_right_arg2_without_head_predicative,factor_predicative,has_arg2_in_set
(DEF_NP:try_remove_adv,require_no_correlator,require_no_wh_minus
(THE "the")
(NP':try_remove_correlated,require_predicative_existential,require_singleton,remove_second_left_set_conjunct,try_add_singular
(NOMINAL_R:identity
(NOMINAL_L:identity
(STRING:require_no_correlator,require_no_measure,require_predicative_existential,select_name_in_set,require_capitalized "Solar System"/"Solar System")
)
)
)
)
)
)
)
)
)
)
)
)
)
)
)
)
)
)
)
)
(PERIOD ".")
)}
{?[y]:(?[n]:(name(n) & (arg1_of(y)=n) & (arg2(n)="Neptune")) & ?[Z]:((Z=^[z]:?[n]:(name(n) & (arg1_of(z)=n) & (arg2(n)="Solar System"))) & (size(Z)=1) & ?[z]:(Z(z) & ?[P]:((P=^[p]:(planet(p) & ?[l]:(locate(l) & (arg2(l)=z) & (arg1_of(p)=l)))) & (size(P)=8) & ?[S]:(subset(S,^[x]:P(x)) & (size(S)=1) & ?[x]:(S(x) & ?[s]:((arg1(s)=y) & same(s) & present(s) & (arg2(s)=x))))))))};
: # United States
{(STRING "United States")}
{"United States"[index:sg]};
: # United States of America
{(STRING "United States of America")}
{"United States of America"[index:sg]};
: # US
{(STRING "US")}
{"US"[index:sg]};
: # USA
{(STRING "USA")}
{"USA"[index:sg]};
: # state
{(N "state"/"state")}
{state[index:sg]};
: # New York
{(STRING "New York")}
{"New York"[index:sg]};
: # New York City
{(STRING "New York City")}
{"New York City"[index:sg]};
: # NYC
{(STRING "NYC")}
{"NYC"[index:sg]};
: # thing
{(N "thing"/"thing")}
{object[index:sg]};
: # There are four gaseous planets.
{(S
(S':require_no_lambda,mark_wide_scope
(S'':try_add_plural,require_no_conjunction,try_remove_is_adjunct
(THERE "there")
(VP_R:try_remove_nullable_subject,try_remove_correlated,require_no_correlator,require_left_predicate_exist,require_no_subset_arg1,set_predicate_empty,has_arg2
(VP_R:remove_right_conjunct
(VP_L:require_no_be
(BE:require_no_future,require_no_perfect,require_no_progressive,require_no_inverse,require_no_req_subject,require_no_req_aux,require_no_to_infinitive,require_no_correlator,empty_and_tense "be"/"are")
)
)
(V_ADJUNCT:select_right_conjunct,try_remove_correlated,try_remove_correlator,try_remove_wh_minus,try_remove_number,try_remove_coordinated_be
(NP:require_no_preposition,require_no_passive,require_no_empty_verb,try_remove_req_subject,select_right_arg1_without_head_predicative,factor_predicative,has_arg2_in_set
(NP':try_add_plural,try_remove_adv,require_no_correlator,require_predicative_universal
(Q:try_remove_genitive,select_second_left_set_conjunct_root,size
(NUMBER:identity "four"/"four")
)
(NOMINAL_R:try_remove_correlated,remove_second_left_set_conjunct
(NOMINAL_L:identity
(ADJP_R:try_remove_genitive,try_remove_wh_minus,try_remove_measure,select_left_conjunct_in_set,select_right_arg1_of_without_head
(ADJP_L:try_remove_is_adjunct
(ADJ:require_no_correlator,remove_wide_scope "gaseous"/"gaseous")
)
)
(NOMINAL_L:try_remove_correlated,remove_left_conjunct_in_set,try_remove_superlative
(N:require_no_correlator,select_predicate_in_set "planet"/"planets")
)
)
)
)
)
)
)
)
)
(PERIOD ".")
)}
{?[X]:((X=^[x]:(?[l]:(gaseous(l) & (arg1_of(x)=l)) & planet(x))) & (size(X)=4) & ![x]:(X(x) => ?[e]:(exist(e) & present(e) & (arg1(e)=x))))};
: # Each cat is a mammal.
{(S
(S':require_no_lambda,mark_wide_scope
(S'':try_add_singular,require_no_conjunction,try_remove_is_adjunct
(V_ADJUNCT:try_remove_nullable_subject,require_no_subordinate,try_remove_correlator,try_remove_wh_minus,select_left_conjunct
(NP:require_no_preposition,require_no_passive,require_no_empty_verb,try_remove_req_subject,select_right_arg1_without_head_predicative,factor_predicative,has_arg2_in_set
(EACH "each")
(NOMINAL_R:try_add_singular,require_no_adv,try_remove_correlated,require_no_correlator,require_wide_scope,require_predicative_universal
(NOMINAL_L:identity
(N:require_no_correlator,select_predicate_in_set "cat"/"cat")
)
)
)
)
(VP_R:try_remove_nullable_subject,try_remove_correlated,remove_left_conjunct,require_no_predicate_empty,has_arg2
(VP_L:require_no_be
(BE:select_left_predicate_and_tense,try_remove_aspect "be"/"is")
(VP_R:try_remove_correlated,require_no_future,require_no_perfect,add_aux,add_be
(V_ADJUNCT:remove_be,require_no_head_array,require_left_predicate_same,require_no_progressive,require_no_inverse,require_no_req_subject,require_no_req_aux,require_no_to_infinitive,require_no_correlator,remove_second_left_conjunct,require_one_or_two_conjuncts,try_remove_number
(NP:require_no_preposition,require_no_passive,require_no_inverse,require_no_empty_verb,require_no_left_predicate_exist,select_right_arg2_without_head_predicative,factor_predicative,has_arg2_in_set
(A "a")
(NP':try_add_singular,try_remove_adv,require_no_correlator,require_predicative_existential,require_no_constant_in_set
(NOMINAL_R:identity
(NOMINAL_L:identity
(N:require_no_correlator,select_predicate_in_set "mammal"/"mammal")
)
)
)
)
)
)
)
)
)
)
(PERIOD ".")
)}
{![x]:(cat(x) => ?[m]:(mammal(m) & ?[s]:((arg1(s)=x) & same(s) & present(s) & (arg2(s)=m))))};
: # Each animal is vertebrate or invertebrate.
{(S
(S':require_no_lambda,mark_wide_scope
(S'':try_add_singular,require_no_conjunction,try_remove_is_adjunct
(V_ADJUNCT:try_remove_nullable_subject,require_no_subordinate,try_remove_correlator,try_remove_wh_minus,select_left_conjunct
(NP:require_no_preposition,require_no_passive,require_no_empty_verb,try_remove_req_subject,select_right_arg1_without_head_predicative,factor_predicative,has_arg2_in_set
(EACH "each")
(NOMINAL_R:try_add_singular,require_no_adv,try_remove_correlated,require_no_correlator,require_wide_scope,require_predicative_universal
(NOMINAL_L:identity
(N:require_no_correlator,select_predicate_in_set "animal"/"animal")
)
)
)
)
(VP_R:try_remove_nullable_subject,try_remove_correlated,remove_left_conjunct,require_no_predicate_empty,has_arg2
(VP_L:require_no_be
(BE:select_left_predicate_and_tense,try_remove_aspect "be"/"is")
(VP_R:try_remove_correlated,require_no_future,require_no_perfect,add_aux,add_be
(V_ADJUNCT:remove_be,require_no_progressive,require_no_inverse,require_no_req_subject,require_no_req_aux,require_no_to_infinitive,require_no_correlator,remove_second_left_conjunct,require_one_or_two_conjuncts,try_remove_number,add_empty_verb
(V_ADJUNCT:remove_wide_scope,require_disjunction,select_left_operand
(ADJP_R:remove_wide_scope,add_is_adjunct,require_no_preposition,remove_empty_verb
(ADJP_L:try_remove_is_adjunct
(ADJ:require_no_correlator,remove_wide_scope "vertebrate"/"vertebrate")
)
)
)
(V_ADJUNCT_COORDINATION:remove_wide_scope,try_remove_correlator,remove_left_operand,add_or
(OR "or")
(V_ADJUNCT:remove_or,require_no_comma
(ADJP_R:remove_wide_scope,add_is_adjunct,require_no_preposition,remove_empty_verb
(ADJP_L:try_remove_is_adjunct
(ADJ:require_no_correlator,remove_wide_scope "invertebrate"/"invertebrate")
)
)
)
)
)
)
)
)
)
)
(PERIOD ".")
)}
{![x]:(animal(x) => (?[v]:((arg1(v)=x) & vertebrate(v) & present(v)) | ?[i]:((arg1(i)=x) & invertebrate(i) & present(i))))};
: # One planet is Earth.
{(S
(S':require_no_lambda,mark_wide_scope
(S'':try_add_singular,require_no_conjunction,try_remove_is_adjunct
(V_ADJUNCT:try_remove_nullable_subject,require_no_subordinate,try_remove_correlator,try_remove_wh_minus,select_left_conjunct
(NP:require_no_preposition,require_no_passive,require_no_empty_verb,try_remove_req_subject,select_right_arg1_without_head_predicative,factor_predicative,has_arg2_in_set
(NP':try_add_singular,try_remove_adv,require_no_correlator,require_predicative_existential,require_singleton
(Q:try_remove_genitive,select_second_left_set_conjunct_root,size
(NUMBER:identity "one")
)
(NOMINAL_R:try_remove_correlated,remove_second_left_set_conjunct,replace_predicative_maximal_subset_with_equality
(NOMINAL_L:identity
(N:require_no_correlator,select_predicate_in_set "planet"/"planet")
)
)
)
)
)
(VP_R:try_remove_nullable_subject,try_remove_correlated,remove_left_conjunct,require_no_predicate_empty,has_arg2
(VP_L:require_no_be
(BE:select_left_predicate_and_tense,try_remove_aspect "be"/"is")
(VP_R:try_remove_correlated,require_no_future,require_no_perfect,add_aux,add_be
(V_ADJUNCT:remove_be,require_no_head_array,require_left_predicate_same,require_no_progressive,require_no_inverse,require_no_req_subject,require_no_req_aux,require_no_to_infinitive,require_no_correlator,remove_second_left_conjunct,require_one_or_two_conjuncts,try_remove_number
(NP:require_no_preposition,require_no_passive,require_no_inverse,require_no_empty_verb,require_no_left_predicate_exist,select_right_arg2_without_head_predicative,factor_predicative,has_arg2_in_set
(NP':try_add_singular,try_remove_adv,require_no_correlator,require_predicative_existential,require_name_in_set
(NOMINAL_R:identity
(NOMINAL_L:identity
(STRING:require_no_correlator,require_no_measure,require_predicative_existential,select_name_in_set,require_capitalized "Earth")
)
)
)
)
)
)
)
)
)
)
(PERIOD ".")
)}
{?[P]:(maximal_subset(P,^[p]:planet(p)) & (size(P)=1) & ?[x]:(P(x) & ?[e]:(?[n]:(name(n) & (arg1_of(e)=n) & (arg2(n)="Earth")) & ?[s]:((arg1(s)=x) & same(s) & present(s) & (arg2(s)=e)))))};
: # Jupiter is gaseous.
{(S
(S':require_no_lambda,mark_wide_scope
(S'':try_add_singular,require_no_conjunction,try_remove_is_adjunct
(V_ADJUNCT:try_remove_nullable_subject,require_no_subordinate,try_remove_correlator,try_remove_wh_minus,select_left_conjunct
(NP:require_no_preposition,require_no_passive,require_no_empty_verb,try_remove_req_subject,select_right_arg1_without_head_predicative,factor_predicative,has_arg2_in_set
(NP':try_add_singular,try_remove_adv,require_no_correlator,require_predicative_existential,require_name_in_set
(NOMINAL_R:identity
(NOMINAL_L:identity
(STRING:require_no_correlator,require_no_measure,require_predicative_existential,select_name_in_set,require_capitalized "Jupiter")
)
)
)
)
)
(VP_R:try_remove_nullable_subject,try_remove_correlated,remove_left_conjunct,require_no_predicate_empty,has_arg2
(VP_L:require_no_be
(BE:select_left_predicate_and_tense,try_remove_aspect "be"/"is")
(VP_R:try_remove_correlated,require_no_future,require_no_perfect,add_aux,add_be
(V_ADJUNCT:remove_be,require_no_progressive,require_no_inverse,require_no_req_subject,require_no_req_aux,require_no_to_infinitive,require_no_correlator,remove_second_left_conjunct,require_one_or_two_conjuncts,try_remove_number,add_empty_verb
(ADJP_R:remove_wide_scope,add_is_adjunct,require_no_preposition,remove_empty_verb
(ADJP_L:try_remove_is_adjunct
(ADJ:require_no_correlator,remove_wide_scope "gaseous"/"gaseous")
)
)
)
)
)
)
)
)
(PERIOD ".")
)}
{?[j]:(?[n]:(name(n) & (arg1_of(j)=n) & (arg2(n)="Jupiter")) & ?[l]:((arg1(l)=j) & gaseous(l) & present(l)))};
# TODO: add this is a training example; currently (as of Feb 7, 2019) our parser wants to parse this as ?[v]:(?[x]:(animal(x) & (arg1(v)=x)) & vertebrate(v) & present(v)) | ?[i]:(?[x]:(animal(x) & (arg1(i)=x)) & invertebrate(i) & present(i))
#: # A animal is vertebrate or invertebrate.
#{(S
# (S':require_no_lambda,mark_wide_scope
# (S'':try_add_singular,require_no_conjunction,try_remove_is_adjunct
# (V_ADJUNCT:try_remove_nullable_subject,require_no_subordinate,try_remove_correlator,try_remove_wh_minus,select_left_conjunct
# (NP:require_no_preposition,require_no_inverse,try_remove_req_aux,select_right_arg1_without_head_predicative,factor_predicative,has_arg2_in_set
# (A "a")
# (NP':try_add_singular,try_remove_adv,require_no_correlator,require_predicative_existential,require_no_constant_in_set
# (NOMINAL_R:identity
# (NOMINAL_L:identity
# (N:require_no_correlator,select_predicate_in_set "animal"/"animal")
# )
# )
# )
# )
# )
# (VP_R:try_remove_nullable_subject,try_remove_correlated,remove_left_conjunct,require_no_predicate_empty,has_arg2
# (VP_L:require_no_be
# (BE:select_left_predicate_and_tense,try_remove_aspect "be"/"is")
# (VP_R:try_remove_correlated,require_no_future,require_no_perfect,add_aux,add_be
# (V_ADJUNCT:remove_be,require_no_progressive,require_no_inverse,require_no_req_subject,require_no_req_aux,require_no_to_infinitive,require_no_correlator,remove_second_left_conjunct,require_one_or_two_conjuncts,try_remove_number,add_empty_verb
# (V_ADJUNCT:remove_wide_scope,require_conjunction,select_left_operand
# (ADJP_R:remove_wide_scope,add_is_adjunct,require_no_preposition,remove_empty_verb
# (ADJP_L:try_remove_is_adjunct
# (ADJ:require_no_correlator,remove_wide_scope "vertebrate"/"vertebrate")
# )
# )
# )
# (V_ADJUNCT_COORDINATION:remove_wide_scope,try_remove_correlator,remove_left_operand,add_or
# (OR "or")
# (V_ADJUNCT:remove_or,require_no_comma
# (ADJP_R:remove_wide_scope,add_is_adjunct,require_no_preposition,remove_empty_verb
# (ADJP_L:try_remove_is_adjunct
# (ADJ:require_no_correlator,remove_wide_scope "invertebrate"/"invertebrate")
# )
# )
# )
# )
# )
# )
# )
# )
# )
# )
# (PERIOD ".")
#)}
# {?[x]:(animal(x) & (?[f]:((arg1(f)=x) & vertebrate(f) & present(f)) | ?[i]:((arg1(i)=x) & invertebrate(i) & present(i))))};
: # river
{(N "river"/"river")}
{river[index:sg]};
: # mountain
{(N "mountain"/"mountain")}
{mountain[index:sg]};
: # peak
{(N "peak"/"peak")}
{mountain[index:sg]};
: # country
{(N "country"/"country")}
{country[index:sg]};
: # city
{(N "city"/"city")}
{city[index:sg]};
: # town
{(N "town"/"town")}
{town[index:sg]};
: # county
{(N "county"/"county")}
{county[index:sg]};
: # major
{(ADJ "major"/"major")}
{?[x]:major(x)};
: # minor
{(ADJ "minor"/"minor")}
{?[x]:minor(x)};
: # north
{(ADJ "north"/"north")}
{?[x]:north(x)};
: # northern
{(ADJ "northern"/"northern")}
{?[x]:north(x)};
: # south
{(ADJ "south"/"south")}
{?[x]:south(x)};
: # southern
{(ADJ "southern"/"southern")}
{?[x]:south(x)};
: # east
{(ADJ "east"/"east")}
{?[x]:east(x)};
: # eastern
{(ADJ "eastern"/"eastern")}
{?[x]:east(x)};
: # west
{(ADJ "west"/"west")}
{?[x]:west(x)};
: # western
{(ADJ "western"/"western")}
{?[x]:west(x)};
: # northeast
{(ADJ "northeast"/"northeast")}
{?[x]:northeast(x)};
: # northeastern
{(ADJ "northeastern"/"northeastern")}
{?[x]:northeast(x)};
: # southeast
{(ADJ "southeast"/"southeast")}
{?[x]:southeast(x)};
: # southeastern
{(ADJ "southeastern"/"southeastern")}
{?[x]:southeast(x)};
: # northwest
{(ADJ "northwest"/"northwest")}
{?[x]:northwest(x)};
: # northwestern
{(ADJ "northwestern"/"northwestern")}
{?[x]:northwest(x)};
: # southwest
{(ADJ "southwest"/"southwest")}
{?[x]:southwest(x)};
: # southwestern
{(ADJ "southwestern"/"southwestern")}
{?[x]:southwest(x)};
: # central
{(ADJ "central"/"central")}
{?[x]:central(x)};
: # population
{(N "population"/"population")}
{population[index:sg,arg2]};
: # area
{(N "area"/"area")}
{area[index:sg,arg2]};
: # height
{(N "height"/"height")}
{height[index:sg,arg2]};
: # capital
{(N "capital"/"capital")}
{capital[index:sg]};
: # mountain
{(N "mountain"/"mountain")}
{mountain[index:sg]};
: # river
{(N "river"/"river")}
{river[index:sg]};
: # Mercury is a planet and Jupiter is a planet and Neptune is a planet.
{(S
(S':require_no_lambda,mark_wide_scope
(S':require_conjunction,select_left_operand,mark_wide_scope
(S'':try_add_singular,require_no_conjunction,try_remove_is_adjunct
(V_ADJUNCT:try_remove_nullable_subject,require_no_subordinate,try_remove_correlator,try_remove_wh_minus,select_left_conjunct
(NP:require_no_preposition,require_no_passive,require_no_empty_verb,try_remove_req_subject,select_right_arg1_without_head_predicative,factor_predicative,has_arg2_in_set
(NP':try_add_singular,try_remove_adv,require_no_correlator,require_predicative_existential,require_name_in_set
(NOMINAL_R:identity
(NOMINAL_L:identity
(STRING:require_no_correlator,require_no_measure,require_predicative_existential,select_name_in_set,require_capitalized "Mercury")
)
)
)
)
)
(VP_R:try_remove_nullable_subject,try_remove_correlated,remove_left_conjunct,require_no_predicate_empty,has_arg2
(VP_L:require_no_be
(BE:select_left_predicate_and_tense,try_remove_aspect "be"/"is")
(VP_R:try_remove_correlated,require_no_future,require_no_perfect,add_aux,add_be
(V_ADJUNCT:remove_be,require_no_head_array,require_left_predicate_same,require_no_progressive,require_no_inverse,require_no_req_subject,require_no_req_aux,require_no_to_infinitive,require_no_correlator,remove_second_left_conjunct,require_one_or_two_conjuncts,try_remove_number
(NP:require_no_preposition,require_no_passive,require_no_inverse,require_no_empty_verb,require_no_left_predicate_exist,select_right_arg2_without_head_predicative,factor_predicative,has_arg2_in_set
(A "a")
(NP':try_add_singular,try_remove_adv,require_no_correlator,require_predicative_existential,require_no_constant_in_set
(NOMINAL_R:identity
(NOMINAL_L:identity
(N:require_no_correlator,select_predicate_in_set "planet"/"planet")
)
)
)
)
)
)
)
)
)
)
(S_COORDINATION:try_remove_correlator,remove_left_operand,add_and
(AND "and")
(S':require_no_comma,select_left_operand,remove_and,mark_wide_scope
(S'':try_add_singular,require_no_conjunction,try_remove_is_adjunct
(V_ADJUNCT:try_remove_nullable_subject,require_no_subordinate,try_remove_correlator,try_remove_wh_minus,select_left_conjunct
(NP:require_no_preposition,require_no_passive,require_no_empty_verb,try_remove_req_subject,select_right_arg1_without_head_predicative,factor_predicative,has_arg2_in_set
(NP':try_add_singular,try_remove_adv,require_no_correlator,require_predicative_existential,require_name_in_set
(NOMINAL_R:identity
(NOMINAL_L:identity
(STRING:require_no_correlator,require_no_measure,require_predicative_existential,select_name_in_set,require_capitalized "Jupiter")
)
)
)
)
)
(VP_R:try_remove_nullable_subject,try_remove_correlated,remove_left_conjunct,require_no_predicate_empty,has_arg2
(VP_L:require_no_be
(BE:select_left_predicate_and_tense,try_remove_aspect "be"/"is")
(VP_R:try_remove_correlated,require_no_future,require_no_perfect,add_aux,add_be
(V_ADJUNCT:remove_be,require_no_head_array,require_left_predicate_same,require_no_progressive,require_no_inverse,require_no_req_subject,require_no_req_aux,require_no_to_infinitive,require_no_correlator,remove_second_left_conjunct,require_one_or_two_conjuncts,try_remove_number
(NP:require_no_preposition,require_no_passive,require_no_inverse,require_no_empty_verb,require_no_left_predicate_exist,select_right_arg2_without_head_predicative,factor_predicative,has_arg2_in_set
(A "a")
(NP':try_add_singular,try_remove_adv,require_no_correlator,require_predicative_existential,require_no_constant_in_set
(NOMINAL_R:identity
(NOMINAL_L:identity
(N:require_no_correlator,select_predicate_in_set "planet"/"planet")
)
)
)
)
)
)
)
)
)
)
(S_COORDINATION:remove_left_operand
(AND "and")
(S':remove_and,require_no_comma
(S'':try_add_singular,require_no_conjunction,try_remove_is_adjunct
(V_ADJUNCT:try_remove_nullable_subject,require_no_subordinate,try_remove_correlator,try_remove_wh_minus,select_left_conjunct
(NP:require_no_preposition,require_no_passive,require_no_empty_verb,try_remove_req_subject,select_right_arg1_without_head_predicative,factor_predicative,has_arg2_in_set
(NP':try_add_singular,try_remove_adv,require_no_correlator,require_predicative_existential,require_name_in_set
(NOMINAL_R:identity
(NOMINAL_L:identity
(STRING:require_no_correlator,require_no_measure,require_predicative_existential,select_name_in_set,require_capitalized "Neptune")
)
)
)
)
)
(VP_R:try_remove_nullable_subject,try_remove_correlated,remove_left_conjunct,require_no_predicate_empty,has_arg2
(VP_L:require_no_be
(BE:select_left_predicate_and_tense,try_remove_aspect "be"/"is")
(VP_R:try_remove_correlated,require_no_future,require_no_perfect,add_aux,add_be
(V_ADJUNCT:remove_be,require_no_head_array,require_left_predicate_same,require_no_progressive,require_no_inverse,require_no_req_subject,require_no_req_aux,require_no_to_infinitive,require_no_correlator,remove_second_left_conjunct,require_one_or_two_conjuncts,try_remove_number
(NP:require_no_preposition,require_no_passive,require_no_inverse,require_no_empty_verb,require_no_left_predicate_exist,select_right_arg2_without_head_predicative,factor_predicative,has_arg2_in_set
(A "a")
(NP':try_add_singular,try_remove_adv,require_no_correlator,require_predicative_existential,require_no_constant_in_set
(NOMINAL_R:identity
(NOMINAL_L:identity
(N:require_no_correlator,select_predicate_in_set "planet"/"planet")
)
)
)
)
)
)
)
)
)
)
)
)
)
(PERIOD ".")
)}
{?[x]:(?[n]:(name(n) & (arg1_of(x)=n) & (arg2(n)="Mercury")) & ?[p]:(planet(p) & ?[s]:((arg1(s)=x) & same(s) & present(s) & (arg2(s)=p)))) & ?[x]:(?[n]:(name(n) & (arg1_of(x)=n) & (arg2(n)="Jupiter")) & ?[p]:(planet(p) & ?[s]:((arg1(s)=x) & same(s) & present(s) & (arg2(s)=p)))) & ?[x]:(?[n]:(name(n) & (arg1_of(x)=n) & (arg2(n)="Neptune")) & ?[p]:(planet(p) & ?[s]:((arg1(s)=x) & same(s) & present(s) & (arg2(s)=p))))};
: # No mammal is a fish.
{(S
(S':require_no_lambda,mark_wide_scope
(S'':try_add_singular,require_no_conjunction,try_remove_is_adjunct
(V_ADJUNCT:try_remove_nullable_subject,require_no_subordinate,try_remove_correlator,try_remove_wh_minus,select_left_conjunct
(NP:require_no_preposition,require_no_passive,require_no_empty_verb,try_remove_req_subject,select_right_arg1_without_head_predicative,factor_predicative,has_arg2_in_set
(NO "no")
(NOMINAL_R:try_remove_adv,try_remove_correlated,require_no_correlator,add_negative,remove_predicative_not,require_predicative_existential
(NOMINAL_L:identity
(N:require_no_correlator,select_predicate_in_set "mammal"/"mammal")
)
)
)
)
(VP_R:try_remove_nullable_subject,try_remove_correlated,remove_left_conjunct,require_no_predicate_empty,has_arg2
(VP_L:require_no_be
(BE:select_left_predicate_and_tense,try_remove_aspect "be"/"is")
(VP_R:try_remove_correlated,require_no_future,require_no_perfect,add_aux,add_be
(V_ADJUNCT:remove_be,require_no_head_array,require_left_predicate_same,require_no_progressive,require_no_inverse,require_no_req_subject,require_no_req_aux,require_no_to_infinitive,require_no_correlator,remove_second_left_conjunct,require_one_or_two_conjuncts,try_remove_number
(NP:require_no_preposition,require_no_passive,require_no_inverse,require_no_empty_verb,require_no_left_predicate_exist,select_right_arg2_without_head_predicative,factor_predicative,has_arg2_in_set
(A "a")
(NP':try_add_singular,try_remove_adv,require_no_correlator,require_predicative_existential,require_no_constant_in_set
(NOMINAL_R:identity
(NOMINAL_L:identity
(N:require_no_correlator,select_predicate_in_set "fish"/"fish")
)
)
)
)
)
)
)
)
)
)
(PERIOD ".")
)}
{~?[m]:(mammal(m) & ?[f]:(fish(f) & ?[s]:((arg1(s)=m) & same(s) & present(s) & (arg2(s)=f))))};
: # A nucleus inhabits every eukaryote.
{(S
(S':require_no_lambda,mark_wide_scope
(S'':try_add_singular,require_no_conjunction,try_remove_is_adjunct
(V_ADJUNCT:try_remove_nullable_subject,require_no_subordinate,try_remove_correlator,try_remove_wh_minus,select_left_conjunct
(NP:require_no_preposition,require_no_passive,require_no_empty_verb,try_remove_req_subject,select_right_arg1_without_head_predicative,factor_predicative,has_arg2_in_set
(A "a")
(NP':try_add_singular,try_remove_adv,require_no_correlator,require_predicative_existential,require_no_constant_in_set
(NOMINAL_R:identity
(NOMINAL_L:identity
(N:require_no_correlator,select_predicate_in_set "nucleus"/"nucleus")
)
)
)
)
)
(VP_R:try_remove_nullable_subject,try_remove_correlated,remove_left_conjunct,require_no_predicate_empty,has_arg2
(VP_R:remove_right_conjunct
(VP_L:require_no_be
(V:require_no_empty_ref,require_no_future,require_no_perfect,require_no_progressive,require_no_inverse,require_no_req_subject,require_no_req_aux,require_no_to_infinitive,require_no_correlator,predicate_and_tense "inhabit"/"inhabits")
)
)
(V_ADJUNCT:select_right_conjunct,try_remove_correlated,try_remove_correlator,try_remove_wh_minus,try_remove_number,try_remove_coordinated_be
(NP:require_no_preposition,require_no_passive,require_no_inverse,require_no_empty_verb,require_no_left_predicate_exist,select_right_arg2_without_head_predicative,factor_predicative,has_arg2_in_set
(EACH "every")
(NOMINAL_R:try_add_singular,require_no_adv,try_remove_correlated,require_no_correlator,require_wide_scope,require_predicative_universal
(NOMINAL_L:identity
(N:require_no_correlator,select_predicate_in_set "eukaryote"/"eukaryote")
)
)
)
)
)
)
)
(PERIOD ".")
)}
{?[n]:(nucleus(n) & ![e]:(eukaryote(e) => ?[l]:((arg1(l)=n) & locate(l) & present(l) & (arg2(l)=e))))};
: # No cell is both eukaryotic and prokaryotic.
{(S
(S':require_no_lambda,mark_wide_scope
(S'':try_add_singular,require_no_conjunction,try_remove_is_adjunct
(V_ADJUNCT:try_remove_nullable_subject,require_no_subordinate,try_remove_correlator,try_remove_wh_minus,select_left_conjunct
(NP:require_no_preposition,require_no_passive,require_no_empty_verb,try_remove_req_subject,select_right_arg1_without_head_predicative,factor_predicative,has_arg2_in_set
(NO "no")
(NOMINAL_R:try_remove_adv,try_remove_correlated,require_no_correlator,add_negative,remove_predicative_not,require_predicative_existential
(NOMINAL_L:identity
(N:require_no_correlator,select_predicate_in_set "cell"/"cell")
)
)
)
)
(VP_R:try_remove_nullable_subject,try_remove_correlated,remove_left_conjunct,require_no_predicate_empty,has_arg2
(VP_L:require_no_be
(BE:select_left_predicate_and_tense,try_remove_aspect "be"/"is")
(VP_R:try_remove_correlated,require_no_future,require_no_perfect,add_aux,add_be
(V_ADJUNCT:remove_be,require_no_progressive,require_no_inverse,require_no_req_subject,require_no_req_aux,require_no_to_infinitive,require_no_correlator,remove_second_left_conjunct,require_one_or_two_conjuncts,try_remove_number,add_empty_verb
(BOTH "both")
(V_ADJUNCT:require_binary_conjunction,require_not_correlated,add_correlated_by_both
(V_ADJUNCT:remove_wide_scope,require_conjunction,select_left_operand
(ADJP_R:remove_wide_scope,add_is_adjunct,require_no_preposition,remove_empty_verb
(ADJP_L:try_remove_is_adjunct
(ADJ:require_no_correlator,remove_wide_scope "eukaryotic"/"eukaryotic")
)
)
)
(V_ADJUNCT_COORDINATION:remove_wide_scope,try_remove_correlator,remove_left_operand,add_and
(AND "and")
(V_ADJUNCT:remove_and,require_no_comma
(ADJP_R:remove_wide_scope,add_is_adjunct,require_no_preposition,remove_empty_verb
(ADJP_L:try_remove_is_adjunct
(ADJ:require_no_correlator,remove_wide_scope "prokaryotic"/"prokaryotic")
)
)
)
)
)
)
)
)
)
)
)
(PERIOD ".")
)}
{~?[c]:(cell(c) & (?[x]:((arg1(x)=c) & eukaryote(x) & present(x)) & ?[x]:((arg1(x)=c) & prokaryote(x) & present(x))))};
: # There are 8 gaseous or terrestrial planets.
{(S
(S':require_no_lambda,mark_wide_scope
(S'':try_add_plural,require_no_conjunction,try_remove_is_adjunct
(THERE "there")
(VP_R:try_remove_nullable_subject,try_remove_correlated,require_no_correlator,require_left_predicate_exist,require_no_subset_arg1,set_predicate_empty,has_arg2
(VP_R:remove_right_conjunct
(VP_L:require_no_be
(BE:require_no_future,require_no_perfect,require_no_progressive,require_no_inverse,require_no_req_subject,require_no_req_aux,require_no_to_infinitive,require_no_correlator,empty_and_tense "be"/"are")
)
)
(V_ADJUNCT:select_right_conjunct,try_remove_correlated,try_remove_correlator,try_remove_wh_minus,try_remove_number,try_remove_coordinated_be
(NP:require_no_preposition,require_no_passive,require_no_empty_verb,try_remove_req_subject,select_right_arg1_without_head_predicative,factor_predicative,has_arg2_in_set
(NP':try_add_plural,try_remove_adv,require_no_correlator,require_predicative_universal
(Q:try_remove_genitive,select_second_left_set_conjunct_root,size
(NUMBER:identity "8"/"8")
)
(NOMINAL_R:try_remove_correlated,remove_second_left_set_conjunct
(NOMINAL_L:identity
(ADJP_R:try_remove_genitive,try_remove_wh_minus,try_remove_measure,select_left_conjunct_in_set,select_right_arg1_of_without_head
(ADJP_R:require_not_adjunct,require_disjunction,select_left_operand
(ADJP_L:try_remove_is_adjunct
(ADJ:require_no_correlator,remove_wide_scope "gaseous"/"gaseous")
)
)
(ADJP_COORDINATION:try_remove_correlator,remove_left_operand,add_or
(OR "or")
(ADJP_R:remove_or,require_no_comma
(ADJP_L:try_remove_is_adjunct
(ADJ:require_no_correlator,remove_wide_scope "terrestrial"/"terrestrial")
)
)
)
)
(NOMINAL_L:try_remove_correlated,remove_left_conjunct_in_set,try_remove_superlative
(N:require_no_correlator,select_predicate_in_set "planet"/"planets")
)
)
)
)
)
)
)
)
)
(PERIOD ".")
)}
{?[X]:((X=^[x]:((?[g]:(gaseous(g) & (arg1_of(x)=g)) | ?[t]:(terrestrial(t) & (arg1_of(x)=t))) & planet(x))) & (size(X)=8) & ![x]:(X(x) => ?[e]:(exist(e) & present(e) & (arg1(e)=x))))};
: # What is the mass of Jupiter?
{(S
(S':require_lambda,mark_wide_scope
(S'':try_add_singular,require_no_conjunction,try_remove_is_adjunct
(V_ADJUNCT:try_remove_nullable_subject,require_no_subordinate,try_remove_correlator,try_remove_wh_minus,select_left_conjunct
(NP:require_no_preposition,require_no_passive,require_no_empty_verb,try_remove_req_subject,select_right_arg1_without_head_predicative,factor_predicative,has_arg2_in_set
(PRO:try_remove_adv,require_no_correlator
(WHAT:require_no_wh_minus,require_predicate_of_lambda "what")
)
)
)
(VP_R:try_remove_nullable_subject,try_remove_correlated,remove_left_conjunct,require_no_predicate_empty,has_arg2
(VP_L:require_no_be
(BE:select_left_predicate_and_tense,try_remove_aspect "be"/"is")
(VP_R:try_remove_correlated,require_no_future,require_no_perfect,add_aux,add_be
(V_ADJUNCT:remove_be,require_no_head_array,require_left_predicate_same,require_no_progressive,require_no_inverse,require_no_req_subject,require_no_req_aux,require_no_to_infinitive,require_no_correlator,remove_second_left_conjunct,require_one_or_two_conjuncts,try_remove_number
(NP:require_no_preposition,require_no_passive,require_no_inverse,require_no_empty_verb,require_no_left_predicate_exist,select_right_arg2_without_head_predicative,factor_predicative,has_arg2_in_set
(DEF_NP:try_remove_adv,require_no_correlator,require_no_wh_minus
(THE "the")
(NP':try_remove_correlated,require_predicative_existential,require_singleton,remove_second_left_set_conjunct,try_add_singular
(NOMINAL_R:identity
(NOMINAL_R:try_remove_genitive,select_singleton_arg2_of_in_set_without_head_outer_scope_predicative,remove_right_conjunct_in_set,try_add_has_arg2
(NOMINAL_L:identity
(N:require_no_correlator,select_predicate_in_set "mass"/"mass")
)
)
(OF_FOR "of")
(NP:try_remove_correlated,try_remove_wh_minus,try_remove_measure,select_singleton_arg2_of_in_set_without_head_outer_scope_predicative,select_right_conjunct_in_set,select_right_arg1_without_head_predicative,try_remove_number,has_arg2_in_set
(NP':try_add_singular,try_remove_adv,require_no_correlator,require_predicative_existential,require_name_in_set
(NOMINAL_R:identity
(NOMINAL_L:identity
(STRING:require_no_correlator,require_no_measure,require_predicative_existential,select_name_in_set,require_capitalized "Jupiter"/"Jupiter")
)
)
)
)
)
)
)
)
)
)
)
)
)
)
(QUESTION "?")
)}
{^[x]:?[j]:(?[n]:(name(n) & (arg1_of(j)=n) & (arg2(n)="Jupiter")) & ?[V]:((V=^[v]:?[m]:(mass(m) & (arg1(m)=j) & (arg2_of(v)=m))) & (size(V)=1) & ?[v]:(V(v) & ?[s]:((arg1(s)=x) & same(s) & present(s) & (arg2(s)=v)))))};
: # Saturn is a name for a planet.
{(S
(S':require_no_lambda,mark_wide_scope
(S'':try_add_singular,require_no_conjunction,try_remove_is_adjunct
(V_ADJUNCT:try_remove_nullable_subject,require_no_subordinate,try_remove_correlator,try_remove_wh_minus,select_left_conjunct
(NP:require_no_preposition,require_no_passive,require_no_empty_verb,try_remove_req_subject,select_right_arg1_without_head_predicative,factor_predicative,has_arg2_in_set
(NP':try_add_singular,try_remove_adv,require_no_correlator,require_predicative_existential,require_string_or_number_in_set
(NOMINAL_R:identity
(NOMINAL_L:identity
(STRING:require_no_correlator,require_no_measure,require_predicative_existential,select_string_in_set,require_capitalized "Saturn")
)
)
)
)
)
(VP_R:try_remove_nullable_subject,try_remove_correlated,remove_left_conjunct,require_no_predicate_empty,has_arg2
(VP_L:require_no_be
(BE:select_left_predicate_and_tense,try_remove_aspect "be"/"is")
(VP_R:try_remove_correlated,require_no_future,require_no_perfect,add_aux,add_be
(V_ADJUNCT:remove_be,require_no_head_array,require_left_predicate_same,require_no_progressive,require_no_inverse,require_no_req_subject,require_no_req_aux,require_no_to_infinitive,require_no_correlator,remove_second_left_conjunct,require_one_or_two_conjuncts,try_remove_number
(NP:require_no_preposition,require_no_passive,require_no_inverse,require_no_empty_verb,require_no_left_predicate_exist,select_right_arg2_without_head_predicative,factor_predicative,has_arg2_in_set
(A "a")
(NP':try_add_singular,try_remove_adv,require_no_correlator,require_predicative_existential,require_no_constant_in_set
(NOMINAL_R:identity