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_0190_0002__HE,R_0190_0005__THE_R_0190_0006__PRINCE_R_0190_0007___APOS_S,R_0190_0008__FEET,R_0190_0001__AND_R_0190_0003__SLEPT] :
( r_0190_0002__he(R_0190_0002__HE)
& r_0190_0005__the_r_0190_0006__Prince_r_0190_0007___apos_s(R_0190_0005__THE_R_0190_0006__PRINCE_R_0190_0007___APOS_S)
& r_0190_0001__and_r_0190_0003__slept(R_0190_0001__AND_R_0190_0003__SLEPT)
& has_r_0190_0004__at_nim12(R_0190_0001__AND_R_0190_0003__SLEPT,R_0190_0008__FEET)
& r_0190_0008__feet(R_0190_0008__FEET)
& has_gen(R_0190_0008__FEET,R_0190_0005__THE_R_0190_0006__PRINCE_R_0190_0007___APOS_S)
& has_arg0(R_0190_0001__AND_R_0190_0003__SLEPT,R_0190_0002__HE) ) ).
( (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))