( (IP-MAT (PULQ <ldquo>)
          (utterance-OB1 (IP-MAT (NP-SBJ;{PRIEST} (PRO He;{he}))
                                 (VBP;_La_ looks;{look})
                                 (ADJP-PRD (ADVP (ADV quite;{quite}))
                                           (ADJ resigned;{resigned}))))
          (PUNC ,)
          (PURQ <rdquo>)
          (VBD;_Tr_ said;{say})
          (NP-SBJ;{AUNT} (NP-GEN (PRO;_genm_ my;{my}))
                         (N aunt;{aunt}))
          (PUNC .))
  (ID 129_a_joyce_1914))

arc(r_0129_0003__looks,r_0129_0002__He,arg0).
arc(r_0129_0003__looks,r_0129_0005__resigned,prd).
arc(r_0129_0005__resigned,r_0129_0004__quite,qual).
arc(r_0129_0008__said,r_0129_0010__aunt,arg0).
arc(r_0129_0008__said,z_0129_5002__utterance,arg1).
arc(r_0129_0010__aunt,r_0129_0009__my,gen).
arc(z_0129_5002__utterance,r_0129_0003__looks,part1).

fof(formula,axiom,
    ? [R_0129_0009__MY,R_0129_0010__AUNT,R_0129_0002__HE,R_0129_0004__QUITE,R_0129_0005__RESIGNED,R_0129_0003__LOOKS,Z_0129_5002__UTTERANCE,R_0129_0008__SAID] :
      ( r_0129_0002__He(R_0129_0002__HE)
      & r_0129_0004__quite(R_0129_0004__QUITE)
      & r_0129_0009__my(R_0129_0009__MY)
      & r_0129_0008__said(R_0129_0008__SAID)
      & has_arg1(R_0129_0008__SAID,Z_0129_5002__UTTERANCE)
      & z_0129_5002__utterance(Z_0129_5002__UTTERANCE)
      & has_part1(Z_0129_5002__UTTERANCE,R_0129_0003__LOOKS)
      & r_0129_0003__looks(R_0129_0003__LOOKS)
      & has_prd(R_0129_0003__LOOKS,R_0129_0005__RESIGNED)
      & r_0129_0005__resigned(R_0129_0005__RESIGNED)
      & has_qual(R_0129_0005__RESIGNED,R_0129_0004__QUITE)
      & has_arg0(R_0129_0003__LOOKS,R_0129_0002__HE)
      & has_arg0(R_0129_0008__SAID,R_0129_0010__AUNT)
      & r_0129_0010__aunt(R_0129_0010__AUNT)
      & has_gen(R_0129_0010__AUNT,R_0129_0009__MY) ) ).