-
Notifications
You must be signed in to change notification settings - Fork 13
/
spinn_preds_heur.txt
30001 lines (30001 loc) · 550 KB
/
spinn_preds_heur.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
pairID,gold_label
ex26939,entailment
ex26921,entailment
ex26856,entailment
ex26843,entailment
ex26820,entailment
ex26794,contradiction
ex26782,entailment
ex26779,entailment
ex26732,entailment
ex26680,entailment
ex26654,entailment
ex26586,entailment
ex26582,entailment
ex26578,entailment
ex26556,entailment
ex26430,contradiction
ex26427,entailment
ex26426,entailment
ex26399,entailment
ex26391,entailment
ex26388,entailment
ex26329,entailment
ex26314,entailment
ex26295,entailment
ex26263,entailment
ex26250,entailment
ex26212,entailment
ex26172,entailment
ex26167,entailment
ex26166,entailment
ex26164,entailment
ex26077,entailment
ex26046,entailment
ex20991,contradiction
ex20989,contradiction
ex20988,contradiction
ex20970,contradiction
ex20959,contradiction
ex20943,contradiction
ex20939,contradiction
ex20934,neutral
ex20930,contradiction
ex20906,neutral
ex20904,entailment
ex20895,contradiction
ex20889,contradiction
ex20873,entailment
ex20872,entailment
ex20852,contradiction
ex20848,contradiction
ex20839,contradiction
ex20836,entailment
ex20834,entailment
ex20832,contradiction
ex20827,entailment
ex20806,contradiction
ex20757,neutral
ex20735,entailment
ex20696,entailment
ex20688,contradiction
ex20675,entailment
ex20671,contradiction
ex20665,contradiction
ex20651,entailment
ex20645,entailment
ex20633,entailment
ex20630,entailment
ex20607,entailment
ex20594,entailment
ex20588,contradiction
ex20576,entailment
ex20567,entailment
ex20565,neutral
ex20562,contradiction
ex20560,entailment
ex20550,entailment
ex20541,contradiction
ex20513,entailment
ex20509,contradiction
ex20490,contradiction
ex20486,entailment
ex20478,contradiction
ex20474,entailment
ex20469,entailment
ex20459,entailment
ex20444,entailment
ex20443,entailment
ex20434,entailment
ex20432,entailment
ex20430,entailment
ex20420,neutral
ex20417,entailment
ex20412,entailment
ex20411,contradiction
ex20410,entailment
ex20408,entailment
ex20406,contradiction
ex20399,contradiction
ex20391,entailment
ex20363,entailment
ex20356,contradiction
ex20341,neutral
ex20338,contradiction
ex20332,entailment
ex20316,entailment
ex20310,entailment
ex20289,contradiction
ex20285,contradiction
ex20280,contradiction
ex20253,contradiction
ex20234,contradiction
ex20229,entailment
ex20228,entailment
ex20221,entailment
ex20211,contradiction
ex20196,contradiction
ex20183,contradiction
ex20150,contradiction
ex20142,entailment
ex20113,entailment
ex20105,contradiction
ex20090,contradiction
ex20084,contradiction
ex20083,entailment
ex20080,contradiction
ex20079,contradiction
ex20059,contradiction
ex20048,contradiction
ex20023,entailment
ex20015,entailment
ex20012,entailment
ex20009,entailment
ex26995,entailment
ex26991,entailment
ex26982,entailment
ex26944,entailment
ex26935,entailment
ex26928,entailment
ex26923,entailment
ex26914,entailment
ex26897,entailment
ex26896,entailment
ex26844,entailment
ex26833,entailment
ex26831,entailment
ex26828,entailment
ex26821,entailment
ex26806,entailment
ex26798,entailment
ex26781,entailment
ex26773,entailment
ex26765,entailment
ex26730,entailment
ex26721,entailment
ex26676,entailment
ex26671,entailment
ex26650,entailment
ex26636,entailment
ex26626,entailment
ex26565,entailment
ex26553,entailment
ex26549,entailment
ex26515,entailment
ex26513,entailment
ex26493,entailment
ex26446,entailment
ex26443,entailment
ex26439,entailment
ex26397,entailment
ex26332,entailment
ex26312,entailment
ex26294,entailment
ex26287,entailment
ex26254,entailment
ex26236,entailment
ex26214,entailment
ex26203,entailment
ex26184,entailment
ex26159,entailment
ex26158,entailment
ex26150,entailment
ex26082,entailment
ex26068,entailment
ex26058,entailment
ex26053,entailment
ex26003,entailment
ex20996,entailment
ex20975,entailment
ex20966,entailment
ex20962,entailment
ex20946,contradiction
ex20940,entailment
ex20927,entailment
ex20918,entailment
ex20908,entailment
ex20901,entailment
ex20899,entailment
ex20897,entailment
ex20869,entailment
ex20854,entailment
ex20850,entailment
ex20847,entailment
ex20826,entailment
ex20821,entailment
ex20815,entailment
ex20795,entailment
ex20791,entailment
ex20787,entailment
ex20785,entailment
ex20779,entailment
ex20775,entailment
ex20773,entailment
ex20772,entailment
ex20761,entailment
ex20760,entailment
ex20750,entailment
ex20748,contradiction
ex20729,entailment
ex20716,entailment
ex20710,entailment
ex20678,entailment
ex20673,entailment
ex20670,entailment
ex20669,entailment
ex20664,entailment
ex20661,entailment
ex20643,entailment
ex20623,entailment
ex20606,entailment
ex20604,contradiction
ex20603,entailment
ex20601,entailment
ex20600,contradiction
ex20599,contradiction
ex20597,entailment
ex20593,entailment
ex20590,entailment
ex20581,entailment
ex20564,entailment
ex20518,contradiction
ex20517,entailment
ex20505,entailment
ex20500,entailment
ex20494,entailment
ex20473,entailment
ex20458,contradiction
ex20455,entailment
ex20435,neutral
ex20395,entailment
ex20383,entailment
ex20380,contradiction
ex20370,entailment
ex20369,entailment
ex20366,entailment
ex20333,entailment
ex20328,entailment
ex20297,entailment
ex20278,entailment
ex20264,entailment
ex20259,entailment
ex20258,entailment
ex20250,entailment
ex20246,entailment
ex20239,entailment
ex20222,entailment
ex20214,contradiction
ex20213,entailment
ex20208,entailment
ex20180,entailment
ex20177,entailment
ex20154,entailment
ex20152,entailment
ex20137,entailment
ex20118,entailment
ex20098,entailment
ex20096,entailment
ex20095,entailment
ex20089,contradiction
ex20088,entailment
ex20085,contradiction
ex20075,entailment
ex20062,entailment
ex20057,entailment
ex20051,entailment
ex20038,entailment
ex20037,entailment
ex20032,entailment
ex20025,entailment
ex20018,entailment
ex20016,entailment
ex20011,contradiction
ex20006,entailment
ex20000,contradiction
ex28994,entailment
ex28992,entailment
ex28989,entailment
ex28985,entailment
ex28983,entailment
ex28982,entailment
ex28981,entailment
ex28979,entailment
ex28978,contradiction
ex28975,entailment
ex28972,entailment
ex28971,entailment
ex28969,entailment
ex28968,entailment
ex28966,entailment
ex28960,entailment
ex28959,entailment
ex28958,entailment
ex28956,entailment
ex28955,entailment
ex28953,entailment
ex28947,contradiction
ex28938,entailment
ex28935,entailment
ex28934,entailment
ex28933,entailment
ex28926,entailment
ex28924,entailment
ex28921,entailment
ex28920,entailment
ex28913,entailment
ex28912,entailment
ex28909,entailment
ex28905,entailment
ex28904,entailment
ex28900,entailment
ex28899,entailment
ex28895,entailment
ex28893,entailment
ex28884,entailment
ex28876,entailment
ex28875,entailment
ex28874,entailment
ex28872,entailment
ex28871,entailment
ex28870,entailment
ex28868,entailment
ex28867,contradiction
ex28866,entailment
ex28865,contradiction
ex28863,entailment
ex28861,entailment
ex28859,entailment
ex28857,entailment
ex28854,entailment
ex28851,entailment
ex28850,entailment
ex28849,entailment
ex28846,entailment
ex28842,entailment
ex28840,entailment
ex28836,entailment
ex28834,entailment
ex28828,entailment
ex28826,entailment
ex28824,entailment
ex28821,entailment
ex28818,entailment
ex28815,entailment
ex28808,entailment
ex28807,entailment
ex28805,entailment
ex28803,entailment
ex28801,entailment
ex28800,entailment
ex28784,entailment
ex28781,entailment
ex28780,entailment
ex28778,entailment
ex28768,entailment
ex28766,entailment
ex28765,entailment
ex28763,entailment
ex28760,entailment
ex28758,entailment
ex28757,entailment
ex28755,entailment
ex28754,entailment
ex28751,entailment
ex28750,entailment
ex28747,entailment
ex28745,contradiction
ex28744,entailment
ex28742,entailment
ex28741,entailment
ex28740,entailment
ex28738,contradiction
ex28737,contradiction
ex28736,entailment
ex28734,entailment
ex28729,entailment
ex28728,contradiction
ex28724,entailment
ex28722,entailment
ex28718,entailment
ex28707,entailment
ex28706,entailment
ex28704,entailment
ex28698,contradiction
ex28697,entailment
ex28692,entailment
ex28691,entailment
ex28688,entailment
ex28685,entailment
ex28682,entailment
ex28681,entailment
ex28678,entailment
ex28672,contradiction
ex28669,entailment
ex28665,entailment
ex28662,entailment
ex28657,entailment
ex28652,contradiction
ex28650,entailment
ex28648,entailment
ex28647,entailment
ex28645,entailment
ex28643,entailment
ex28642,entailment
ex28641,entailment
ex28639,entailment
ex28638,contradiction
ex28636,entailment
ex28634,entailment
ex28632,entailment
ex28630,entailment
ex28623,entailment
ex28622,entailment
ex28621,entailment
ex28616,entailment
ex28611,entailment
ex28610,entailment
ex28609,entailment
ex28603,entailment
ex28602,entailment
ex28593,entailment
ex28590,entailment
ex28589,entailment
ex28588,entailment
ex28587,entailment
ex28583,entailment
ex28582,entailment
ex28581,entailment
ex28577,entailment
ex28575,entailment
ex28569,entailment
ex28563,entailment
ex28561,entailment
ex28560,entailment
ex28557,entailment
ex28555,entailment
ex28550,entailment
ex28549,entailment
ex28544,entailment
ex28543,entailment
ex28542,entailment
ex28541,entailment
ex28538,entailment
ex28537,entailment
ex28532,entailment
ex28530,entailment
ex28526,entailment
ex28524,entailment
ex28519,entailment
ex28517,entailment
ex28515,entailment
ex28512,entailment
ex28507,entailment
ex28506,entailment
ex28505,entailment
ex28504,entailment
ex28497,entailment
ex28496,entailment
ex28495,entailment
ex28492,entailment
ex28491,entailment
ex28490,entailment
ex28489,entailment
ex28487,entailment
ex28485,entailment
ex28482,contradiction
ex28481,entailment
ex28480,entailment
ex28478,entailment
ex28477,contradiction
ex28475,entailment
ex28474,entailment
ex28473,entailment
ex28470,entailment
ex28461,entailment
ex28453,entailment
ex28452,entailment
ex28438,entailment
ex28435,entailment
ex28433,entailment
ex28432,contradiction
ex28431,entailment
ex28429,entailment
ex28424,entailment
ex28421,entailment
ex28419,contradiction
ex28415,entailment
ex28414,entailment
ex28411,entailment
ex28398,entailment
ex28397,entailment
ex28394,entailment
ex28392,entailment
ex28390,entailment
ex28388,entailment
ex28387,entailment
ex28386,entailment
ex28385,entailment
ex28375,entailment
ex28374,entailment
ex28370,contradiction
ex28369,entailment
ex28363,entailment
ex28361,entailment
ex28359,entailment
ex28358,entailment
ex28356,entailment
ex28355,entailment
ex28354,entailment
ex28351,entailment
ex28346,entailment
ex28345,entailment
ex28341,entailment
ex28340,entailment
ex28336,contradiction
ex28333,entailment
ex28330,entailment
ex28324,entailment
ex28321,entailment
ex28320,entailment
ex28319,entailment
ex28314,entailment
ex28312,entailment
ex28309,entailment
ex28300,entailment
ex28299,entailment
ex28296,entailment
ex28293,entailment
ex28290,entailment
ex28289,entailment
ex28286,entailment
ex28285,entailment
ex28284,entailment
ex28283,entailment
ex28282,entailment
ex28279,entailment
ex28276,contradiction
ex28272,entailment
ex28270,entailment
ex28267,entailment
ex28266,entailment
ex28260,entailment
ex28256,entailment
ex28252,entailment
ex28251,entailment
ex28250,entailment
ex28249,entailment
ex28247,entailment
ex28245,entailment
ex28241,entailment
ex28232,entailment
ex28230,entailment
ex28229,entailment
ex28226,entailment
ex28223,entailment
ex28221,entailment
ex28218,entailment
ex28216,entailment
ex28213,entailment
ex28212,entailment
ex28210,entailment
ex28204,entailment
ex28201,entailment
ex28200,entailment
ex28193,entailment
ex28188,entailment
ex28187,entailment
ex28183,entailment
ex28181,entailment
ex28180,entailment
ex28179,entailment
ex28174,entailment
ex28171,entailment
ex28167,entailment
ex28165,entailment
ex28163,entailment
ex28160,entailment
ex28157,entailment
ex28155,entailment
ex28153,entailment
ex28150,entailment
ex28149,entailment
ex28147,entailment
ex28146,entailment
ex28144,contradiction
ex28143,entailment
ex28137,entailment
ex28134,entailment
ex28124,entailment
ex28123,entailment
ex28122,entailment
ex28121,entailment
ex28117,entailment
ex28115,entailment
ex28114,entailment
ex28109,entailment
ex28108,entailment
ex28107,entailment
ex28102,entailment
ex28100,entailment
ex28097,entailment
ex28095,entailment
ex28094,entailment
ex28093,entailment
ex28092,entailment
ex28090,entailment
ex28089,entailment
ex28088,entailment
ex28086,entailment
ex28085,entailment
ex28079,entailment
ex28077,contradiction
ex28073,entailment
ex28069,entailment
ex28064,entailment
ex28062,contradiction
ex28060,entailment
ex28057,entailment
ex28056,entailment
ex28055,entailment
ex28043,entailment
ex28042,contradiction
ex28041,contradiction
ex28039,entailment
ex28036,entailment
ex28035,entailment
ex28033,entailment
ex28031,entailment
ex28030,entailment
ex28029,entailment
ex28028,entailment
ex28027,entailment
ex28023,entailment
ex28022,entailment
ex28021,entailment
ex28020,entailment
ex28015,contradiction
ex28010,entailment
ex28007,entailment
ex28005,entailment
ex28000,entailment
ex26996,entailment
ex26994,entailment
ex26990,entailment
ex26989,entailment
ex26985,entailment
ex26983,entailment
ex26973,entailment
ex26965,entailment
ex26956,entailment
ex26951,entailment
ex26950,entailment
ex26947,entailment
ex26945,entailment
ex26941,entailment
ex26932,entailment
ex26931,entailment
ex26930,entailment
ex26926,entailment
ex26915,entailment
ex26911,entailment
ex26910,entailment
ex26909,entailment
ex26907,entailment
ex26905,entailment
ex26904,entailment
ex26898,entailment
ex26893,entailment
ex26892,entailment
ex26891,entailment
ex26885,entailment
ex26883,entailment
ex26877,entailment
ex26874,entailment
ex26871,entailment
ex26870,entailment
ex26863,entailment
ex26862,entailment
ex26861,entailment
ex26857,entailment
ex26853,entailment
ex26848,entailment
ex26845,entailment
ex26842,entailment
ex26840,entailment
ex26834,entailment
ex26826,entailment
ex26819,entailment
ex26818,entailment
ex26815,contradiction
ex26814,entailment
ex26811,entailment
ex26807,entailment
ex26805,entailment
ex26793,entailment
ex26790,entailment
ex26777,entailment
ex26776,entailment
ex26775,entailment
ex26774,entailment
ex26770,entailment
ex26767,entailment
ex26766,entailment
ex26764,entailment
ex26763,entailment
ex26762,entailment
ex26758,entailment
ex26754,entailment
ex26753,entailment
ex26751,entailment
ex26750,entailment
ex26737,entailment
ex26735,entailment
ex26726,entailment
ex26724,entailment
ex26718,entailment
ex26714,entailment
ex26713,entailment
ex26712,entailment
ex26710,entailment
ex26707,entailment
ex26703,entailment
ex26694,entailment
ex26693,entailment
ex26690,entailment
ex26687,entailment
ex26686,entailment
ex26685,entailment
ex26682,entailment
ex26674,entailment
ex26673,entailment
ex26669,entailment
ex26668,entailment
ex26667,entailment
ex26666,entailment
ex26665,entailment
ex26663,entailment
ex26661,entailment
ex26658,entailment
ex26653,entailment
ex26646,entailment
ex26643,entailment
ex26638,entailment
ex26632,entailment
ex26630,entailment
ex26629,entailment
ex26627,entailment
ex26625,entailment
ex26623,entailment
ex26621,entailment
ex26615,entailment
ex26614,entailment
ex26613,entailment
ex26612,entailment
ex26611,entailment
ex26607,entailment
ex26605,entailment
ex26604,entailment
ex26601,entailment
ex26594,entailment
ex26588,entailment
ex26584,entailment
ex26583,entailment
ex26581,entailment
ex26579,entailment
ex26576,entailment
ex26573,entailment
ex26571,entailment
ex26570,entailment
ex26569,entailment
ex26568,entailment
ex26566,entailment
ex26559,entailment
ex26554,contradiction
ex26552,entailment
ex26551,entailment
ex26550,entailment
ex26548,entailment
ex26541,entailment
ex26538,entailment
ex26537,entailment
ex26532,entailment
ex26530,entailment
ex26526,entailment
ex26524,entailment
ex26523,entailment
ex26519,entailment
ex26516,entailment
ex26510,entailment
ex26506,entailment
ex26505,entailment
ex26504,entailment
ex26497,entailment
ex26494,entailment
ex26489,entailment
ex26484,entailment
ex26478,entailment
ex26477,entailment
ex26476,entailment
ex26475,entailment
ex26471,entailment
ex26469,entailment
ex26467,entailment
ex26464,entailment
ex26463,entailment
ex26457,entailment
ex26456,entailment
ex26454,entailment
ex26447,entailment
ex26441,entailment
ex26436,entailment
ex26432,entailment
ex26428,entailment
ex26423,entailment
ex26421,entailment
ex26420,entailment
ex26418,entailment
ex26412,entailment
ex26409,entailment
ex26405,entailment
ex26404,entailment
ex26395,entailment
ex26394,entailment
ex26393,entailment
ex26392,entailment
ex26390,entailment
ex26384,entailment
ex26381,entailment
ex26379,entailment
ex26378,entailment
ex26377,entailment
ex26376,entailment
ex26366,entailment
ex26364,entailment
ex26360,entailment
ex26359,entailment
ex26357,entailment
ex26352,entailment
ex26348,entailment
ex26347,entailment
ex26344,entailment
ex26339,entailment
ex26338,entailment
ex26336,entailment
ex26334,entailment
ex26330,entailment
ex26328,entailment
ex26320,entailment
ex26319,entailment
ex26317,entailment
ex26316,entailment
ex26315,entailment
ex26307,entailment
ex26305,entailment
ex26303,entailment
ex26299,entailment
ex26298,entailment
ex26293,entailment
ex26291,entailment
ex26290,entailment
ex26289,entailment
ex26288,entailment
ex26286,entailment
ex26285,entailment
ex26284,entailment
ex26283,entailment
ex26280,entailment
ex26279,entailment
ex26272,entailment
ex26268,entailment
ex26265,entailment
ex26262,entailment
ex26257,entailment
ex26255,entailment
ex26253,entailment
ex26247,entailment
ex26243,entailment
ex26233,entailment
ex26228,entailment
ex26227,entailment
ex26224,entailment
ex26222,entailment
ex26220,entailment
ex26218,entailment
ex26217,entailment
ex26215,entailment
ex26207,entailment
ex26205,entailment
ex26202,entailment
ex26200,entailment
ex26198,entailment
ex26197,entailment
ex26196,entailment
ex26195,entailment
ex26190,entailment
ex26185,entailment
ex26183,entailment
ex26182,entailment
ex26178,entailment
ex26177,entailment
ex26174,entailment
ex26170,entailment
ex26165,entailment
ex26163,entailment
ex26162,entailment
ex26161,entailment
ex26156,entailment
ex26155,entailment
ex26154,entailment
ex26149,entailment
ex26148,entailment
ex26144,entailment
ex26141,entailment
ex26137,entailment
ex26135,entailment
ex26134,entailment
ex26132,entailment
ex26131,entailment
ex26127,entailment
ex26124,entailment
ex26122,entailment
ex26121,entailment
ex26115,entailment
ex26113,entailment
ex26112,entailment
ex26111,entailment
ex26110,entailment
ex26109,entailment
ex26108,entailment
ex26096,entailment
ex26095,entailment
ex26094,entailment
ex26091,entailment
ex26090,entailment
ex26087,entailment
ex26084,entailment
ex26081,entailment
ex26078,entailment
ex26076,entailment
ex26073,entailment
ex26071,entailment
ex26069,entailment
ex26067,contradiction
ex26065,entailment
ex26064,entailment
ex26061,entailment
ex26059,entailment
ex26056,entailment
ex26055,entailment
ex26051,entailment
ex26047,entailment
ex26045,entailment
ex26043,entailment
ex26042,entailment
ex26041,entailment
ex26040,entailment
ex26038,entailment
ex26037,entailment
ex26035,entailment
ex26034,entailment
ex26032,entailment
ex26027,entailment
ex26026,entailment
ex26025,entailment
ex26022,entailment
ex26021,entailment
ex26015,entailment
ex26013,entailment
ex26012,entailment
ex26011,entailment
ex26008,entailment
ex26006,entailment
ex25999,entailment
ex25997,contradiction
ex25996,entailment
ex25992,entailment
ex25990,entailment
ex25989,entailment
ex25988,entailment
ex25987,contradiction
ex25983,entailment