12_a_genieus
The princess was still crying.
( (IP-MAT (NP-SBJ;{PRINCESS} (D The;{the})
(N princess;{princess}))
(BED;_cat_Vg_ was;{be})
(ADVP-NIM (ADV still;{still}))
(IP-PPL-CAT (VAG;_I_ crying;{cry}))
(PUNC .))
(ID 12_a_genieus))
arc(r_0012_0003__was,r_0012_0004__still,nim).
arc(r_0012_0003__was,r_0012_0005__crying,scope).
arc(r_0012_0005__crying,r_0012_0001__The_r_0012_0002__princess,arg0).
fof(formula,axiom,
? [R_0012_0004__STILL,R_0012_0001__THE_R_0012_0002__PRINCESS,R_0012_0003__WAS_R_0012_0005__CRYING] :
( r_0012_0001__The_r_0012_0002__princess(R_0012_0001__THE_R_0012_0002__PRINCESS)
& r_0012_0004__still(R_0012_0004__STILL)
& r_0012_0003__was_r_0012_0005__crying(R_0012_0003__WAS_R_0012_0005__CRYING)
& has_arg0(R_0012_0003__WAS_R_0012_0005__CRYING,R_0012_0001__THE_R_0012_0002__PRINCESS)
& has_nim(R_0012_0003__WAS_R_0012_0005__CRYING,R_0012_0004__STILL) ) ).