( (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))

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_0006__fought,arg1).
arc(r_0155_0006__fought,r_0155_0005__they,arg0).
arc(r_0155_0006__fought,r_0155_0008__each_other,r_0155_0007__with__nim).

fof(formula,axiom,
    ? [R_0155_0002__YOU,R_0155_0005__THEY,R_0155_0008__EACH_OTHER,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_0006__FOUGHT)
      & r_0155_0006__fought(R_0155_0006__FOUGHT)
      & has_r_0155_0007__with__nim(R_0155_0006__FOUGHT,R_0155_0008__EACH_OTHER)
      & has_arg0(R_0155_0006__FOUGHT,R_0155_0005__THEY)
      & has_arg0(R_0155_0001__DO_R_0155_0003__SUPPOSE,R_0155_0002__YOU) ) ).