190_a_wilde_1_1888
and he slept at the Prince's feet.
arc(r_0190_0001__and_r_0190_0003__slept, r_0190_0002__he, arg0).
arc(r_0190_0001__and_r_0190_0003__slept, r_0190_0008__feet, r_0190_0004__at_nim12).
arc(r_0190_0008__feet, r_0190_0005__the_r_0190_0006__Prince_r_0190_0007___apos_s, gen).
fof(formula,axiom,
? [R_190_1_AND_SLEPT,R_190_2_HE,R_190_8_FEET,R_190_5_THE_PRINCE_APOS_S] :
( he(R_190_2_HE)
& the_Prince_apos_s(R_190_5_THE_PRINCE_APOS_S)
& and_slept(R_190_1_AND_SLEPT,R_190_2_HE)
& at_nim12(R_190_1_AND_SLEPT,R_190_8_FEET)
& feet(R_190_8_FEET)
& gen(R_190_8_FEET,R_190_5_THE_PRINCE_APOS_S) ) ).
( (IP-MAT (CONJ;_cl_ and;{and})
(NP-SBJ;{SWALLOW} (PRO he;{he}))
(VBD;_I_ slept;{sleep})
(PP-NIM (P-ROLE at;{at})
(NP (NP-GEN;{PRINCE} (D the;{the})
(N Prince;{prince})
(GENM <apos>s))
(NS feet;{foot})))
(PUNC .))
(ID 190_a_wilde_1_1888))