180_a_joyce_1914
Eliza nodded.
arc(r_0180_0002__nodded, r_0180_0001__Eliza, arg0).
fof(formula,axiom,
? [R_180_2_NODDED,R_180_1_ELIZA] :
( eliza(R_180_1_ELIZA)
& nodded(R_180_2_NODDED,R_180_1_ELIZA) ) ).
( (IP-MAT (NP-SBJ;{ELIZA} (NPR Eliza;{Eliza}))
(VBD;_I_ nodded;{nod})
(PUNC .))
(ID 180_a_joyce_1914))