95_a_lob_n01
Now the N.F.E 67 was losing height more rapidly.
arc(r_0095_0005__was, r_0095_0001__Now, nim2).
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, nim20).
arc(r_0095_0009__rapidly, r_0095_0008__more, qual21).
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_nim20(R_0095_0005__WAS_R_0095_0006__LOSING,R_0095_0009__RAPIDLY)
& r_0095_0009__rapidly(R_0095_0009__RAPIDLY)
& has_qual21(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_nim2(R_0095_0005__WAS_R_0095_0006__LOSING,R_0095_0001__NOW) ) ).
( (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))