95_a_lob_n01
Now the N.F.E 67 was losing height more rapidly.
( (IP-MAT (ADVP-NIM (ADV Now;{now}))
(NP-SBJ (D the;{the})
(NPR N<dot>F<dot>E;{N<dot>F<dot>E})
(NUM 67))
(BED;_cat_Vg_ was;{be})
(IP-PPL-CAT (VAG;__ losing;{lose})
(NP-OB1 (N height;{height}))
(ADVP-NIM (ADVP (ADVR more;{more}))
(ADV rapidly;{rapidly})))
(PUNC .))
(ID 95_a_lob_n01))
arc(r_0095_0005__was,r_0095_0001__Now,nim).
arc(r_0095_0005__was,r_0095_0006__losing,scope).
arc(r_0095_0006__losing,r_0095_0002__the_r_0095_0003__N_dot_F_dot_E_r_0095_0004__67,arg0).
arc(r_0095_0006__losing,r_0095_0007__height,arg1).
arc(r_0095_0006__losing,r_0095_0009__rapidly,nim).
arc(r_0095_0009__rapidly,r_0095_0008__more,qual).
fof(formula,axiom,
? [R_0095_0001__NOW,R_0095_0002__THE_R_0095_0003__N_DOT_F_DOT_E_R_0095_0004__67,R_0095_0007__HEIGHT,R_0095_0008__MORE,R_0095_0009__RAPIDLY,R_0095_0005__WAS_R_0095_0006__LOSING] :
( r_0095_0001__Now(R_0095_0001__NOW)
& r_0095_0002__the_r_0095_0003__N_dot_F_dot_E_r_0095_0004__67(R_0095_0002__THE_R_0095_0003__N_DOT_F_DOT_E_R_0095_0004__67)
& r_0095_0007__height(R_0095_0007__HEIGHT)
& r_0095_0008__more(R_0095_0008__MORE)
& r_0095_0005__was_r_0095_0006__losing(R_0095_0005__WAS_R_0095_0006__LOSING)
& has_nim(R_0095_0005__WAS_R_0095_0006__LOSING,R_0095_0009__RAPIDLY)
& r_0095_0009__rapidly(R_0095_0009__RAPIDLY)
& has_qual(R_0095_0009__RAPIDLY,R_0095_0008__MORE)
& has_arg1(R_0095_0005__WAS_R_0095_0006__LOSING,R_0095_0007__HEIGHT)
& has_arg0(R_0095_0005__WAS_R_0095_0006__LOSING,R_0095_0002__THE_R_0095_0003__N_DOT_F_DOT_E_R_0095_0004__67)
& has_nim(R_0095_0005__WAS_R_0095_0006__LOSING,R_0095_0001__NOW) ) ).