54_a_lob_n01
Far more probable that they would travel more leisurely.
arc(r_0054_0002__more, r_0054_0001__Far, qual4).
arc(r_0054_0003__probable, r_0054_0002__more, qual3).
arc(r_0054_0004__that_r_0054_0006__would, r_0054_0007__travel, scope).
arc(r_0054_0007__travel, r_0054_0005__they, arg0).
arc(r_0054_0007__travel, r_0054_0009__leisurely, nim23).
arc(r_0054_0009__leisurely, r_0054_0008__more, qual24).
arc(z_000_54_a_lob_n01_1, r_0054_0003__probable, prd).
arc(z_000_54_a_lob_n01_1, r_0054_0004__that_r_0054_0006__would, arg0).
fof(formula,axiom,
? [Z_54_A_LOB_N01_1,R_54_4_THAT_WOULD_TRAVEL,R_54_5_THEY,R_54_9_LEISURELY,R_54_8_MORE,R_54_3_PROBABLE,R_54_2_MORE,R_54_1_FAR] :
( they(R_54_5_THEY)
& more(R_54_8_MORE)
& far(R_54_1_FAR)
& z_54_a_lob_n01_1(Z_54_A_LOB_N01_1,R_54_4_THAT_WOULD_TRAVEL,R_54_3_PROBABLE)
& that_would_travel(R_54_4_THAT_WOULD_TRAVEL,R_54_5_THEY)
& nim23(R_54_4_THAT_WOULD_TRAVEL,R_54_9_LEISURELY)
& leisurely(R_54_9_LEISURELY)
& qual24(R_54_9_LEISURELY,R_54_8_MORE)
& probable(R_54_3_PROBABLE)
& qual3(R_54_3_PROBABLE,R_54_2_MORE)
& more(R_54_2_MORE)
& qual4(R_54_2_MORE,R_54_1_FAR) ) ).
( (FRAG (ADJP-PRD (ADVP (ADVP (ADV Far;{far}))
(ADVR more;{more}))
(ADJ probable;{probable}))
(CP-THT-NSBJ (IP-SUB (C that;{that})
(NP-SBJ;{BENTLEY_RIDERS} (PRO they;{they}))
(MD;_cat_Vi_ would;{will})
(IP-INF-CAT (VB;__ travel;{travel})
(ADVP-NIM (ADVP (ADVR more;{more}))
(ADV leisurely;{leisurely})))))
(PUNC .))
(ID 54_a_lob_n01))