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