13_a_genieus
The princess was still crying.
arc(r_0013_0003__was, r_0013_0005__crying, scope).
arc(r_0013_0005__crying, r_0013_0001__The_r_0013_0002__princess, arg0).
arc(r_0013_0005__crying, r_0013_0004__still, nim10).
fof(formula,axiom,
? [R_0013_0001__THE_R_0013_0002__PRINCESS,R_0013_0004__STILL,R_0013_0003__WAS_R_0013_0005__CRYING] :
( r_0013_0001__The_r_0013_0002__princess(R_0013_0001__THE_R_0013_0002__PRINCESS)
& r_0013_0004__still(R_0013_0004__STILL)
& r_0013_0003__was_r_0013_0005__crying(R_0013_0003__WAS_R_0013_0005__CRYING)
& has_nim10(R_0013_0003__WAS_R_0013_0005__CRYING,R_0013_0004__STILL)
& has_arg0(R_0013_0003__WAS_R_0013_0005__CRYING,R_0013_0001__THE_R_0013_0002__PRINCESS) ) ).
( (IP-MAT (NP-SBJ;{PRINCESS} (D The;{the})
(N princess;{princess}))
(BED;_cat_Vg_ was;{be})
(IP-PPL-CAT (ADVP-NIM (ADV still;{still}))
(VAG;_I_ crying;{cry}))
(PUNC .))
(ID 13_a_genieus))