40_a_wilde_1_1888
So he alighted just between the feet of the Happy Prince.
( (IP-MAT (ADVP-NIM (ADV So;{so}))
(NP-SBJ;{SWALLOW} (PRO he;{he}))
(VBD;_I_ alighted;{alight})
(PP-NIM (ADVP-NIM (ADV just;{just}))
(P-ROLE between;{between})
(NP (D the;{the})
(NS feet;{foot})
(PP (P-ROLE of;{of})
(NP;{PRINCE} (D the;{the})
(ADJP (ADJ Happy;{happy}))
(N Prince;{prince})))))
(PUNC .))
(ID 40_a_wilde_1_1888))
arc(r_0040_0003__alighted,r_0040_0001__So,nim).
arc(r_0040_0003__alighted,r_0040_0002__he,arg0).
arc(r_0040_0003__alighted,r_0040_0006__the_r_0040_0007__feet,r_0040_0004__just_r_0040_0005__between__nim).
arc(r_0040_0006__the_r_0040_0007__feet,r_0040_0009__the_r_0040_0011__Prince,r_0040_0008__of).
arc(r_0040_0009__the_r_0040_0011__Prince,r_0040_0010__Happy,attrib).
fof(formula,axiom,
? [R_0040_0001__SO,R_0040_0002__HE,R_0040_0010__HAPPY,R_0040_0009__THE_R_0040_0011__PRINCE,R_0040_0006__THE_R_0040_0007__FEET,R_0040_0003__ALIGHTED] :
( r_0040_0001__So(R_0040_0001__SO)
& r_0040_0002__he(R_0040_0002__HE)
& r_0040_0010__Happy(R_0040_0010__HAPPY)
& r_0040_0003__alighted(R_0040_0003__ALIGHTED)
& has_r_0040_0004__just_r_0040_0005__between__nim(R_0040_0003__ALIGHTED,R_0040_0006__THE_R_0040_0007__FEET)
& r_0040_0006__the_r_0040_0007__feet(R_0040_0006__THE_R_0040_0007__FEET)
& has_r_0040_0008__of(R_0040_0006__THE_R_0040_0007__FEET,R_0040_0009__THE_R_0040_0011__PRINCE)
& r_0040_0009__the_r_0040_0011__Prince(R_0040_0009__THE_R_0040_0011__PRINCE)
& has_attrib(R_0040_0009__THE_R_0040_0011__PRINCE,R_0040_0010__HAPPY)
& has_arg0(R_0040_0003__ALIGHTED,R_0040_0002__HE)
& has_nim(R_0040_0003__ALIGHTED,R_0040_0001__SO) ) ).