213_a_wilde_1_1888
He had just strength to fly up to the Prince's shoulder once more.
( (IP-MAT (NP-SBJ;{SWALLOW} (PRO He;{he}))
(HVD;_Tn_ had;{have})
(ADVP-NIM (ADV just;{just}))
(NP-OB1 (N strength;{strength}))
(PP-SCON (IP-INF2 (TO to;{to})
(VB;__ fly;{fly})
(RP up;{up})
(PP-NIM (P-ROLE to;{to})
(NP (NP-GEN (D the;{the})
(N Prince;{prince})
(GENM <apos>s))
(N shoulder;{shoulder})))
(ADVP-NIM (ADV once_more;{once_more}))))
(PUNC .))
(ID 213_a_wilde_1_1888))
arc(r_0213_0002__had,r_0213_0001__He,arg0).
arc(r_0213_0002__had,r_0213_0003__just,nim).
arc(r_0213_0002__had,r_0213_0004__strength,arg1).
arc(r_0213_0006__fly_r_0213_0007__up,r_0213_0001__He,arg0).
arc(r_0213_0006__fly_r_0213_0007__up,r_0213_0012__shoulder,r_0213_0008__to__nim).
arc(r_0213_0006__fly_r_0213_0007__up,r_0213_0013__once_more,nim).
arc(r_0213_0012__shoulder,r_0213_0009__the_r_0213_0010__Prince,gen).
arc(z_0213_5002,r_0213_0002__had,scope).
arc(z_0213_5002,r_0213_0006__fly_r_0213_0007__up,restriction).
fof(formula,axiom,
? [R_0213_0001__HE,R_0213_0003__JUST,R_0213_0004__STRENGTH,R_0213_0002__HAD,R_0213_0009__THE_R_0213_0010__PRINCE,R_0213_0012__SHOULDER,R_0213_0013__ONCE_MORE,R_0213_0006__FLY_R_0213_0007__UP,Z_0213_5002] :
( r_0213_0001__He(R_0213_0001__HE)
& r_0213_0003__just(R_0213_0003__JUST)
& r_0213_0004__strength(R_0213_0004__STRENGTH)
& r_0213_0009__the_r_0213_0010__Prince(R_0213_0009__THE_R_0213_0010__PRINCE)
& r_0213_0013__once_more(R_0213_0013__ONCE_MORE)
& z_0213_5002(Z_0213_5002)
& has_conj1(Z_0213_5002,R_0213_0006__FLY_R_0213_0007__UP)
& r_0213_0006__fly_r_0213_0007__up(R_0213_0006__FLY_R_0213_0007__UP)
& has_nim(R_0213_0006__FLY_R_0213_0007__UP,R_0213_0013__ONCE_MORE)
& has_r_0213_0008__to__nim(R_0213_0006__FLY_R_0213_0007__UP,R_0213_0012__SHOULDER)
& r_0213_0012__shoulder(R_0213_0012__SHOULDER)
& has_gen(R_0213_0012__SHOULDER,R_0213_0009__THE_R_0213_0010__PRINCE)
& has_arg0(R_0213_0006__FLY_R_0213_0007__UP,R_0213_0001__HE)
& has_conj2(Z_0213_5002,R_0213_0002__HAD)
& r_0213_0002__had(R_0213_0002__HAD)
& has_arg1(R_0213_0002__HAD,R_0213_0004__STRENGTH)
& has_nim(R_0213_0002__HAD,R_0213_0003__JUST)
& has_arg0(R_0213_0002__HAD,R_0213_0001__HE) ) ).