( (IP-MAT;{DISAPPOINTED} (PULQ <ldquo>)
                         (NP-SBJ;{PRIEST} (PRO He;{he}))
                         (BED;_Ln_ was;{be})
                         (NP-PRD (D a;{a})
                                 (IP-PPL (NP-LGS *)
                                         (VVN;_Tn_ disappointed;{disappoint}))
                                 (N man;{man}))
                         (PUNC .))
  (ID 172_a_joyce_1914))

arc(r_0172_0003__was,r_0172_0002__He,arg0).
arc(r_0172_0003__was,r_0172_0004__a_r_0172_0006__man,prd).
arc(r_0172_0005__disappointed,r_0172_0004__a_r_0172_0006__man,inv_arg1).
arc(r_0172_0005__disappointed,z_0172_5002___star_,arg0).

fof(formula,axiom,
    ? [R_0172_0002__HE,Z_0172_5002___STAR_,R_0172_0005__DISAPPOINTED,R_0172_0004__A_R_0172_0006__MAN,R_0172_0003__WAS] :
      ( r_0172_0002__He(R_0172_0002__HE)
      & z_0172_5002___star_(Z_0172_5002___STAR_)
      & r_0172_0003__was(R_0172_0003__WAS)
      & has_prd(R_0172_0003__WAS,R_0172_0004__A_R_0172_0006__MAN)
      & r_0172_0004__a_r_0172_0006__man(R_0172_0004__A_R_0172_0006__MAN)
      & has_inv_arg1(R_0172_0004__A_R_0172_0006__MAN,R_0172_0005__DISAPPOINTED)
      & r_0172_0005__disappointed(R_0172_0005__DISAPPOINTED)
      & has_arg0(R_0172_0005__DISAPPOINTED,Z_0172_5002___STAR_)
      & has_arg0(R_0172_0003__WAS,R_0172_0002__HE) ) ).