155_a_dick_1952
Do you suppose that they fought with each other?

%3 r_0155_0001__Do_r_0155_0003__suppose Do suppose r_0155_0002__you you r_0155_0001__Do_r_0155_0003__suppose->r_0155_0002__you [arg0] r_0155_0004__that_r_0155_0006__fought that fought r_0155_0001__Do_r_0155_0003__suppose->r_0155_0004__that_r_0155_0006__fought [arg1] r_0155_0005__they they r_0155_0004__that_r_0155_0006__fought->r_0155_0005__they [arg0] r_0155_0008__each_other each other r_0155_0004__that_r_0155_0006__fought->r_0155_0008__each_other with [nim]
arc(r_0155_0001__Do_r_0155_0003__suppose, r_0155_0002__you, arg0).
arc(r_0155_0001__Do_r_0155_0003__suppose, r_0155_0004__that_r_0155_0006__fought, arg1).
arc(r_0155_0004__that_r_0155_0006__fought, r_0155_0005__they, arg0).
arc(r_0155_0004__that_r_0155_0006__fought, r_0155_0008__each_other, r_0155_0007__with_nim22).



%3 r_0155_0001__Do_r_0155_0003__suppose Do suppose r_0155_0002__you you r_0155_0001__Do_r_0155_0003__suppose->r_0155_0002__you [arg0] r_0155_0004__that_r_0155_0006__fought that fought r_0155_0001__Do_r_0155_0003__suppose->r_0155_0004__that_r_0155_0006__fought [arg1] r_0155_0005__they they r_0155_0004__that_r_0155_0006__fought->r_0155_0005__they [arg0] r_0155_0008__each_other each other r_0155_0004__that_r_0155_0006__fought->r_0155_0008__each_other with [nim]
fof(formula,axiom,
    ? [R_155_1_DO_SUPPOSE,R_155_2_YOU,R_155_4_THAT_FOUGHT,R_155_5_THEY,R_155_8_EACH_OTHER] :
      ( you(R_155_2_YOU)
      & they(R_155_5_THEY)
      & each_other(R_155_8_EACH_OTHER)
      & do_suppose(R_155_1_DO_SUPPOSE,R_155_2_YOU,R_155_4_THAT_FOUGHT)
      & that_fought(R_155_4_THAT_FOUGHT,R_155_5_THEY)
      & with_nim22(R_155_4_THAT_FOUGHT,R_155_8_EACH_OTHER) ) ).



n155_a_dick_1952 n155_a_dick_1952_4 Do n155_a_dick_1952_7 you n155_a_dick_1952_9 suppose n155_a_dick_1952_13 that n155_a_dick_1952_16 they n155_a_dick_1952_18 fought n155_a_dick_1952_21 with n155_a_dick_1952_24 each_other n155_a_dick_1952_26 ? n155_a_dick_1952_1 CP-QUE-MAT n155_a_dick_1952_2 IP-SUB n155_a_dick_1952_1->n155_a_dick_1952_2 n155_a_dick_1952_25 PUNC n155_a_dick_1952_1->n155_a_dick_1952_25 n155_a_dick_1952_3 DOP n155_a_dick_1952_2->n155_a_dick_1952_3 n155_a_dick_1952_5 NP-SBJ n155_a_dick_1952_2->n155_a_dick_1952_5 n155_a_dick_1952_8 VB;_Tf_ n155_a_dick_1952_2->n155_a_dick_1952_8 n155_a_dick_1952_10 CP-THT-OB1 n155_a_dick_1952_2->n155_a_dick_1952_10 n155_a_dick_1952_3->n155_a_dick_1952_4 n155_a_dick_1952_6 PRO n155_a_dick_1952_5->n155_a_dick_1952_6 n155_a_dick_1952_6->n155_a_dick_1952_7 n155_a_dick_1952_8->n155_a_dick_1952_9 n155_a_dick_1952_11 IP-SUB n155_a_dick_1952_10->n155_a_dick_1952_11 n155_a_dick_1952_12 C n155_a_dick_1952_11->n155_a_dick_1952_12 n155_a_dick_1952_14 NP-SBJ n155_a_dick_1952_11->n155_a_dick_1952_14 n155_a_dick_1952_17 VBD;_I_ n155_a_dick_1952_11->n155_a_dick_1952_17 n155_a_dick_1952_19 PP-NIM n155_a_dick_1952_11->n155_a_dick_1952_19 n155_a_dick_1952_12->n155_a_dick_1952_13 n155_a_dick_1952_15 PRO n155_a_dick_1952_14->n155_a_dick_1952_15 n155_a_dick_1952_15->n155_a_dick_1952_16 n155_a_dick_1952_17->n155_a_dick_1952_18 n155_a_dick_1952_20 P-ROLE n155_a_dick_1952_19->n155_a_dick_1952_20 n155_a_dick_1952_22 NP n155_a_dick_1952_19->n155_a_dick_1952_22 n155_a_dick_1952_20->n155_a_dick_1952_21 n155_a_dick_1952_23 PNX n155_a_dick_1952_22->n155_a_dick_1952_23 n155_a_dick_1952_23->n155_a_dick_1952_24 n155_a_dick_1952_25->n155_a_dick_1952_26
( (CP-QUE-MAT (IP-SUB (DOP Do;{do})
                      (NP-SBJ;{TRESPASSERS} (PRO you;{you}))
                      (VB;_Tf_ suppose;{suppose})
                      (CP-THT-OB1 (IP-SUB (C that;{that})
                                          (NP-SBJ;{INHABITANTS} (PRO they;{they}))
                                          (VBD;_I_ fought;{fight})
                                          (PP-NIM (P-ROLE with;{with})
                                                  (NP (PNX each_other;{each_other}))))))
              (PUNC ?))
  (ID 155_a_dick_1952))