50_a_wilde_1_1888
and he determined to fly away.
( (IP-MAT (CONJ;_cl_ and;{and})
(NP-SBJ;{SWALLOW} (PRO he;{he}))
(VBD;_Tt_ determined;{determine})
(IP-INF-OB1 (TO to;{to})
(VB;_Ip_ fly;{fly[away]})
(ADVP-NIM (RP away;{away})))
(PUNC .))
(ID 50_a_wilde_1_1888))
arc(r_0050_0003__determined,r_0050_0002__he,arg0).
arc(r_0050_0003__determined,r_0050_0005__fly,arg1).
arc(r_0050_0005__fly,r_0050_0002__he,arg0).
arc(r_0050_0005__fly,r_0050_0006__away,nim).
fof(formula,axiom,
? [R_0050_0002__HE,R_0050_0006__AWAY,R_0050_0005__FLY,R_0050_0003__DETERMINED] :
( r_0050_0002__he(R_0050_0002__HE)
& r_0050_0006__away(R_0050_0006__AWAY)
& r_0050_0003__determined(R_0050_0003__DETERMINED)
& has_arg1(R_0050_0003__DETERMINED,R_0050_0005__FLY)
& r_0050_0005__fly(R_0050_0005__FLY)
& has_nim(R_0050_0005__FLY,R_0050_0006__AWAY)
& has_arg0(R_0050_0005__FLY,R_0050_0002__HE)
& has_arg0(R_0050_0003__DETERMINED,R_0050_0002__HE) ) ).