TSPC 166_a_joyce

166_a_joyce_1914
Eliza took out her handkerchief and wiped her eyes with it.

( (IP-MAT (NP-SBJ;{ELIZA} (NPR Eliza;{Eliza}))
          (ILYR (ILYR (VBD;_phr_Vn<=>p_ took;{take[out]})
                      (RP out;{out})
                      (NP-OB1;{HANDKERCHIEF} (NP-GEN;{ELIZA} (PRO;_genm_ her;{her}))
                                             (N handkerchief;{handkerchief})))
                (CONJP (CONJ and;{and})
                       (ILYR (VBD;_Tn_ wiped;{wipe})
                             (NP-OB1 (NP-GEN;{ELIZA} (PRO;_genm_ her;{her}))
                                     (NS eyes;{eye}))
                             (PP-NIM (P-ROLE with;{with})
                                     (NP;{HANDKERCHIEF} (PRO it;{it}))))))
          (PUNC .))
  (ID 166_a_joyce_1914))

arc(r_0166_0002__took_r_0166_0003__out,r_0166_0001__Eliza,arg0).
arc(r_0166_0002__took_r_0166_0003__out,r_0166_0005__handkerchief,arg1).
arc(r_0166_0005__handkerchief,r_0166_0001__Eliza,gen).
arc(r_0166_0006__and,r_0166_0002__took_r_0166_0003__out,conj1).
arc(r_0166_0006__and,r_0166_0007__wiped,conj2).
arc(r_0166_0007__wiped,r_0166_0001__Eliza,arg0).
arc(r_0166_0007__wiped,r_0166_0005__handkerchief,r_0166_0010__with__nim).
arc(r_0166_0007__wiped,r_0166_0009__eyes,arg1).
arc(r_0166_0009__eyes,r_0166_0001__Eliza,gen).

fof(formula,axiom,
    ? [R_0166_0001__ELIZA,R_0166_0005__HANDKERCHIEF,R_0166_0002__TOOK_R_0166_0003__OUT,R_0166_0009__EYES,R_0166_0007__WIPED,R_0166_0006__AND] :
      ( r_0166_0001__Eliza(R_0166_0001__ELIZA)
      & r_0166_0006__and(R_0166_0006__AND)
      & has_conj2(R_0166_0006__AND,R_0166_0007__WIPED)
      & r_0166_0007__wiped(R_0166_0007__WIPED)
      & has_arg1(R_0166_0007__WIPED,R_0166_0009__EYES)
      & r_0166_0009__eyes(R_0166_0009__EYES)
      & has_gen(R_0166_0009__EYES,R_0166_0001__ELIZA)
      & has_r_0166_0010__with__nim(R_0166_0007__WIPED,R_0166_0005__HANDKERCHIEF)
      & r_0166_0005__handkerchief(R_0166_0005__HANDKERCHIEF)
      & has_gen(R_0166_0005__HANDKERCHIEF,R_0166_0001__ELIZA)
      & has_arg0(R_0166_0007__WIPED,R_0166_0001__ELIZA)
      & has_conj1(R_0166_0006__AND,R_0166_0002__TOOK_R_0166_0003__OUT)
      & r_0166_0002__took_r_0166_0003__out(R_0166_0002__TOOK_R_0166_0003__OUT)
      & has_arg1(R_0166_0002__TOOK_R_0166_0003__OUT,R_0166_0005__HANDKERCHIEF)
      & has_arg0(R_0166_0002__TOOK_R_0166_0003__OUT,R_0166_0001__ELIZA) ) ).