155_a_dick_1952
Do you suppose that they fought with each other?
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).
fof(formula,axiom,
? [R_0155_0002__YOU,R_0155_0005__THEY,R_0155_0008__EACH_OTHER,R_0155_0004__THAT_R_0155_0006__FOUGHT,R_0155_0001__DO_R_0155_0003__SUPPOSE] :
( r_0155_0002__you(R_0155_0002__YOU)
& r_0155_0005__they(R_0155_0005__THEY)
& r_0155_0008__each_other(R_0155_0008__EACH_OTHER)
& r_0155_0001__Do_r_0155_0003__suppose(R_0155_0001__DO_R_0155_0003__SUPPOSE)
& has_arg1(R_0155_0001__DO_R_0155_0003__SUPPOSE,R_0155_0004__THAT_R_0155_0006__FOUGHT)
& r_0155_0004__that_r_0155_0006__fought(R_0155_0004__THAT_R_0155_0006__FOUGHT)
& has_r_0155_0007__with_nim22(R_0155_0004__THAT_R_0155_0006__FOUGHT,R_0155_0008__EACH_OTHER)
& has_arg0(R_0155_0004__THAT_R_0155_0006__FOUGHT,R_0155_0005__THEY)
& has_arg0(R_0155_0001__DO_R_0155_0003__SUPPOSE,R_0155_0002__YOU) ) ).
( (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))