Context                Previous, Next                Top


54_a_lob_n01
Far more probable that they would travel more leisurely.

%3 r_0054_0002__more more r_0054_0001__Far Far r_0054_0002__more->r_0054_0001__Far [qual] r_0054_0003__probable probable r_0054_0003__probable->r_0054_0002__more [qual] r_0054_0004__that_r_0054_0006__would that would r_0054_0007__travel travel r_0054_0004__that_r_0054_0006__would->r_0054_0007__travel [scope] r_0054_0005__they they r_0054_0007__travel->r_0054_0005__they [arg0] r_0054_0009__leisurely leisurely r_0054_0007__travel->r_0054_0009__leisurely [nim] r_0054_0008__more more r_0054_0009__leisurely->r_0054_0008__more [qual] z_000_54_a_lob_n01_1 z_000_54_a_lob_n01_1->r_0054_0003__probable [prd] z_000_54_a_lob_n01_1->r_0054_0004__that_r_0054_0006__would [arg0] 
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).


%3 z_000_54_a_lob_n01_1 r_0054_0004__that_r_0054_0006__would_r_0054_0007__travel that would travel z_000_54_a_lob_n01_1->r_0054_0004__that_r_0054_0006__would_r_0054_0007__travel [arg0] r_0054_0003__probable probable z_000_54_a_lob_n01_1->r_0054_0003__probable [prd] r_0054_0009__leisurely leisurely r_0054_0004__that_r_0054_0006__would_r_0054_0007__travel->r_0054_0009__leisurely [nim] r_0054_0005__they they r_0054_0004__that_r_0054_0006__would_r_0054_0007__travel->r_0054_0005__they [arg0] r_0054_0002__more more r_0054_0003__probable->r_0054_0002__more [qual] r_0054_0008__more more r_0054_0009__leisurely->r_0054_0008__more [qual] r_0054_0001__Far Far r_0054_0002__more->r_0054_0001__Far [qual] 
fof(formula,axiom,
    ? [R_0054_0001__FAR,R_0054_0002__MORE,R_0054_0003__PROBABLE,R_0054_0005__THEY,R_0054_0008__MORE,R_0054_0009__LEISURELY,R_0054_0004__THAT_R_0054_0006__WOULD_R_0054_0007__TRAVEL,Z_000_54_A_LOB_N01_1] :
      ( r_0054_0001__Far(R_0054_0001__FAR)
      & r_0054_0005__they(R_0054_0005__THEY)
      & r_0054_0008__more(R_0054_0008__MORE)
      & z_000_54_a_lob_n01_1(Z_000_54_A_LOB_N01_1)
      & has_arg0(Z_000_54_A_LOB_N01_1,R_0054_0004__THAT_R_0054_0006__WOULD_R_0054_0007__TRAVEL)
      & r_0054_0004__that_r_0054_0006__would_r_0054_0007__travel(R_0054_0004__THAT_R_0054_0006__WOULD_R_0054_0007__TRAVEL)
      & has_nim23(R_0054_0004__THAT_R_0054_0006__WOULD_R_0054_0007__TRAVEL,R_0054_0009__LEISURELY)
      & r_0054_0009__leisurely(R_0054_0009__LEISURELY)
      & has_qual24(R_0054_0009__LEISURELY,R_0054_0008__MORE)
      & has_arg0(R_0054_0004__THAT_R_0054_0006__WOULD_R_0054_0007__TRAVEL,R_0054_0005__THEY)
      & has_prd(Z_000_54_A_LOB_N01_1,R_0054_0003__PROBABLE)
      & r_0054_0003__probable(R_0054_0003__PROBABLE)
      & has_qual3(R_0054_0003__PROBABLE,R_0054_0002__MORE)
      & r_0054_0002__more(R_0054_0002__MORE)
      & has_qual4(R_0054_0002__MORE,R_0054_0001__FAR) ) ).


n54_a_lob_n01 n54_a_lob_n01__1_1_1_1_1_1 Far n54_a_lob_n01__1_1_1_2_1 more n54_a_lob_n01__1_1_2_1 probable n54_a_lob_n01__1_2_1_1_1 that n54_a_lob_n01__1_2_1_2_1_1 they n54_a_lob_n01__1_2_1_3_1 would n54_a_lob_n01__1_2_1_4_1_1 travel n54_a_lob_n01__1_2_1_4_2_1_1_1 more n54_a_lob_n01__1_2_1_4_2_2_1 leisurely n54_a_lob_n01__1_3_1 . n54_a_lob_n01__1 FRAG n54_a_lob_n01__1_1 ADJP-PRD n54_a_lob_n01__1->n54_a_lob_n01__1_1 n54_a_lob_n01__1_2 CP-THT-NSBJ n54_a_lob_n01__1->n54_a_lob_n01__1_2 n54_a_lob_n01__1_3 PUNC n54_a_lob_n01__1->n54_a_lob_n01__1_3 n54_a_lob_n01__1_1_1 ADVP n54_a_lob_n01__1_1->n54_a_lob_n01__1_1_1 n54_a_lob_n01__1_1_2 ADJ n54_a_lob_n01__1_1->n54_a_lob_n01__1_1_2 n54_a_lob_n01__1_1_1_1 ADVP n54_a_lob_n01__1_1_1->n54_a_lob_n01__1_1_1_1 n54_a_lob_n01__1_1_1_2 ADVR n54_a_lob_n01__1_1_1->n54_a_lob_n01__1_1_1_2 n54_a_lob_n01__1_1_1_1_1 ADV n54_a_lob_n01__1_1_1_1->n54_a_lob_n01__1_1_1_1_1 n54_a_lob_n01__1_1_1_1_1->n54_a_lob_n01__1_1_1_1_1_1 n54_a_lob_n01__1_1_1_2->n54_a_lob_n01__1_1_1_2_1 n54_a_lob_n01__1_1_2->n54_a_lob_n01__1_1_2_1 n54_a_lob_n01__1_2_1 IP-SUB n54_a_lob_n01__1_2->n54_a_lob_n01__1_2_1 n54_a_lob_n01__1_2_1_1 C n54_a_lob_n01__1_2_1->n54_a_lob_n01__1_2_1_1 n54_a_lob_n01__1_2_1_2 NP-SBJ n54_a_lob_n01__1_2_1->n54_a_lob_n01__1_2_1_2 n54_a_lob_n01__1_2_1_3 MD;_cat_Vi_ n54_a_lob_n01__1_2_1->n54_a_lob_n01__1_2_1_3 n54_a_lob_n01__1_2_1_4 IP-INF-CAT n54_a_lob_n01__1_2_1->n54_a_lob_n01__1_2_1_4 n54_a_lob_n01__1_2_1_1->n54_a_lob_n01__1_2_1_1_1 n54_a_lob_n01__1_2_1_2_1 PRO n54_a_lob_n01__1_2_1_2->n54_a_lob_n01__1_2_1_2_1 n54_a_lob_n01__1_2_1_2_1->n54_a_lob_n01__1_2_1_2_1_1 n54_a_lob_n01__1_2_1_3->n54_a_lob_n01__1_2_1_3_1 n54_a_lob_n01__1_2_1_4_1 VB;__ n54_a_lob_n01__1_2_1_4->n54_a_lob_n01__1_2_1_4_1 n54_a_lob_n01__1_2_1_4_2 ADVP-NIM n54_a_lob_n01__1_2_1_4->n54_a_lob_n01__1_2_1_4_2 n54_a_lob_n01__1_2_1_4_1->n54_a_lob_n01__1_2_1_4_1_1 n54_a_lob_n01__1_2_1_4_2_1 ADVP n54_a_lob_n01__1_2_1_4_2->n54_a_lob_n01__1_2_1_4_2_1 n54_a_lob_n01__1_2_1_4_2_2 ADV n54_a_lob_n01__1_2_1_4_2->n54_a_lob_n01__1_2_1_4_2_2 n54_a_lob_n01__1_2_1_4_2_1_1 ADVR n54_a_lob_n01__1_2_1_4_2_1->n54_a_lob_n01__1_2_1_4_2_1_1 n54_a_lob_n01__1_2_1_4_2_1_1->n54_a_lob_n01__1_2_1_4_2_1_1_1 n54_a_lob_n01__1_2_1_4_2_2->n54_a_lob_n01__1_2_1_4_2_2_1 n54_a_lob_n01__1_3->n54_a_lob_n01__1_3_1 
( (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))