136_a_joyce_1914
Eliza smoothed her dress over her knees.
( (IP-MAT (NP-SBJ;{ELIZA} (NPR Eliza;{Eliza}))
(VBD;_Tn_ smoothed;{smooth})
(NP-OB1 (NP-GEN;{ELIZA} (PRO;_genm_ her;{her}))
(N dress;{dress}))
(PP-NIM (P-ROLE over;{over})
(NP (NP-GEN;{ELIZA} (PRO;_genm_ her;{her}))
(NS knees;{knee})))
(PUNC .))
(ID 136_a_joyce_1914))
arc(r_0136_0002__smoothed,r_0136_0001__Eliza,arg0).
arc(r_0136_0002__smoothed,r_0136_0004__dress,arg1).
arc(r_0136_0002__smoothed,r_0136_0007__knees,r_0136_0005__over__nim).
arc(r_0136_0004__dress,r_0136_0001__Eliza,gen).
arc(r_0136_0007__knees,r_0136_0001__Eliza,gen).
fof(formula,axiom,
? [R_0136_0001__ELIZA,R_0136_0004__DRESS,R_0136_0007__KNEES,R_0136_0002__SMOOTHED] :
( r_0136_0001__Eliza(R_0136_0001__ELIZA)
& r_0136_0002__smoothed(R_0136_0002__SMOOTHED)
& has_r_0136_0005__over__nim(R_0136_0002__SMOOTHED,R_0136_0007__KNEES)
& r_0136_0007__knees(R_0136_0007__KNEES)
& has_gen(R_0136_0007__KNEES,R_0136_0001__ELIZA)
& has_arg1(R_0136_0002__SMOOTHED,R_0136_0004__DRESS)
& r_0136_0004__dress(R_0136_0004__DRESS)
& has_gen(R_0136_0004__DRESS,R_0136_0001__ELIZA)
& has_arg0(R_0136_0002__SMOOTHED,R_0136_0001__ELIZA) ) ).