125_a_wilde_1_1888
so he enjoyed himself very much.
( (IP-MAT (ADVP-NIM (ADV so;{so}))
(NP-SBJ;{SWALLOW} (PRO he;{he}))
(VBD;_Tn_ enjoyed;{enjoy})
(NP-OB1;{SWALLOW} (PNX himself;{himself}))
(NP-NIM (ADJP (ADVP (ADV very;{very}))
(ADJ much;{much})))
(PUNC .))
(ID 125_a_wilde_1_1888))
arc(r_0125_0003__enjoyed,r_0125_0001__so,nim).
arc(r_0125_0003__enjoyed,r_0125_0002__he,arg0).
arc(r_0125_0003__enjoyed,r_0125_0002__he,arg1).
arc(r_0125_0003__enjoyed,z_0125_5006,nim).
arc(r_0125_0006__much,r_0125_0005__very,qual).
arc(z_0125_5006,r_0125_0006__much,attrib).
fof(formula,axiom,
? [R_0125_0001__SO,R_0125_0002__HE,R_0125_0005__VERY,R_0125_0006__MUCH,Z_0125_5006,R_0125_0003__ENJOYED] :
( r_0125_0001__so(R_0125_0001__SO)
& r_0125_0002__he(R_0125_0002__HE)
& r_0125_0005__very(R_0125_0005__VERY)
& r_0125_0003__enjoyed(R_0125_0003__ENJOYED)
& has_nim(R_0125_0003__ENJOYED,Z_0125_5006)
& z_0125_5006(Z_0125_5006)
& has_attrib(Z_0125_5006,R_0125_0006__MUCH)
& r_0125_0006__much(R_0125_0006__MUCH)
& has_qual(R_0125_0006__MUCH,R_0125_0005__VERY)
& has_arg1(R_0125_0003__ENJOYED,R_0125_0002__HE)
& has_arg0(R_0125_0003__ENJOYED,R_0125_0002__HE)
& has_nim(R_0125_0003__ENJOYED,R_0125_0001__SO) ) ).