Context                Previous, Next                Top


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_0004__that_r_0155_0006__fought that fought r_0155_0008__each_other each other r_0155_0004__that_r_0155_0006__fought->r_0155_0008__each_other with [nim] r_0155_0005__they they r_0155_0004__that_r_0155_0006__fought->r_0155_0005__they [arg0] r_0155_0001__Do_r_0155_0003__suppose Do suppose r_0155_0001__Do_r_0155_0003__suppose->r_0155_0004__that_r_0155_0006__fought [arg1] r_0155_0002__you you r_0155_0001__Do_r_0155_0003__suppose->r_0155_0002__you [arg0] 
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__1_1_1_1 Do n155_a_dick_1952__1_1_2_1_1 you n155_a_dick_1952__1_1_3_1 suppose n155_a_dick_1952__1_1_4_1_1_1 that n155_a_dick_1952__1_1_4_1_2_1_1 they n155_a_dick_1952__1_1_4_1_3_1 fought n155_a_dick_1952__1_1_4_1_4_1_1 with n155_a_dick_1952__1_1_4_1_4_2_1_1 each_other n155_a_dick_1952__1_2_1 ? n155_a_dick_1952__1 CP-QUE-MAT n155_a_dick_1952__1_1 IP-SUB n155_a_dick_1952__1->n155_a_dick_1952__1_1 n155_a_dick_1952__1_2 PUNC n155_a_dick_1952__1->n155_a_dick_1952__1_2 n155_a_dick_1952__1_1_1 DOP n155_a_dick_1952__1_1->n155_a_dick_1952__1_1_1 n155_a_dick_1952__1_1_2 NP-SBJ n155_a_dick_1952__1_1->n155_a_dick_1952__1_1_2 n155_a_dick_1952__1_1_3 VB;_Tf_ n155_a_dick_1952__1_1->n155_a_dick_1952__1_1_3 n155_a_dick_1952__1_1_4 CP-THT-OB1 n155_a_dick_1952__1_1->n155_a_dick_1952__1_1_4 n155_a_dick_1952__1_1_1->n155_a_dick_1952__1_1_1_1 n155_a_dick_1952__1_1_2_1 PRO n155_a_dick_1952__1_1_2->n155_a_dick_1952__1_1_2_1 n155_a_dick_1952__1_1_2_1->n155_a_dick_1952__1_1_2_1_1 n155_a_dick_1952__1_1_3->n155_a_dick_1952__1_1_3_1 n155_a_dick_1952__1_1_4_1 IP-SUB n155_a_dick_1952__1_1_4->n155_a_dick_1952__1_1_4_1 n155_a_dick_1952__1_1_4_1_1 C n155_a_dick_1952__1_1_4_1->n155_a_dick_1952__1_1_4_1_1 n155_a_dick_1952__1_1_4_1_2 NP-SBJ n155_a_dick_1952__1_1_4_1->n155_a_dick_1952__1_1_4_1_2 n155_a_dick_1952__1_1_4_1_3 VBD;_I_ n155_a_dick_1952__1_1_4_1->n155_a_dick_1952__1_1_4_1_3 n155_a_dick_1952__1_1_4_1_4 PP-NIM n155_a_dick_1952__1_1_4_1->n155_a_dick_1952__1_1_4_1_4 n155_a_dick_1952__1_1_4_1_1->n155_a_dick_1952__1_1_4_1_1_1 n155_a_dick_1952__1_1_4_1_2_1 PRO n155_a_dick_1952__1_1_4_1_2->n155_a_dick_1952__1_1_4_1_2_1 n155_a_dick_1952__1_1_4_1_2_1->n155_a_dick_1952__1_1_4_1_2_1_1 n155_a_dick_1952__1_1_4_1_3->n155_a_dick_1952__1_1_4_1_3_1 n155_a_dick_1952__1_1_4_1_4_1 P-ROLE n155_a_dick_1952__1_1_4_1_4->n155_a_dick_1952__1_1_4_1_4_1 n155_a_dick_1952__1_1_4_1_4_2 NP n155_a_dick_1952__1_1_4_1_4->n155_a_dick_1952__1_1_4_1_4_2 n155_a_dick_1952__1_1_4_1_4_1->n155_a_dick_1952__1_1_4_1_4_1_1 n155_a_dick_1952__1_1_4_1_4_2_1 PNX n155_a_dick_1952__1_1_4_1_4_2->n155_a_dick_1952__1_1_4_1_4_2_1 n155_a_dick_1952__1_1_4_1_4_2_1->n155_a_dick_1952__1_1_4_1_4_2_1_1 n155_a_dick_1952__1_2->n155_a_dick_1952__1_2_1 
( (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))