( (IP-MAT (NP-SBJ;{DORLE} (PRO I;{I}))
          (HVP;_Tn_ have;{have})
          (NP-OB1 (D a;{a})
                  (ADJP (ADJ great;{great}))
                  (N deal;{deal})
                  (PP (P-ROLE of;{of})
                      (NP (N respect;{respect})
                          (PP (P-ROLE for;{for})
                              (NP;{CAPTAIN} (PRO him;{he}))))))
          (PUNC .))
  (ID 181_a_dick_1952))

arc(r_0181_0002__have,r_0181_0001__I,arg0).
arc(r_0181_0002__have,r_0181_0003__a_r_0181_0005__deal,arg1).
arc(r_0181_0003__a_r_0181_0005__deal,r_0181_0004__great,attrib).
arc(r_0181_0003__a_r_0181_0005__deal,r_0181_0007__respect,r_0181_0006__of).
arc(r_0181_0007__respect,r_0181_0009__him,r_0181_0008__for).

fof(formula,axiom,
    ? [R_0181_0001__I,R_0181_0004__GREAT,R_0181_0009__HIM,R_0181_0007__RESPECT,R_0181_0003__A_R_0181_0005__DEAL,R_0181_0002__HAVE] :
      ( r_0181_0001__I(R_0181_0001__I)
      & r_0181_0004__great(R_0181_0004__GREAT)
      & r_0181_0009__him(R_0181_0009__HIM)
      & r_0181_0002__have(R_0181_0002__HAVE)
      & has_arg1(R_0181_0002__HAVE,R_0181_0003__A_R_0181_0005__DEAL)
      & r_0181_0003__a_r_0181_0005__deal(R_0181_0003__A_R_0181_0005__DEAL)
      & has_r_0181_0006__of(R_0181_0003__A_R_0181_0005__DEAL,R_0181_0007__RESPECT)
      & r_0181_0007__respect(R_0181_0007__RESPECT)
      & has_r_0181_0008__for(R_0181_0007__RESPECT,R_0181_0009__HIM)
      & has_attrib(R_0181_0003__A_R_0181_0005__DEAL,R_0181_0004__GREAT)
      & has_arg0(R_0181_0002__HAVE,R_0181_0001__I) ) ).