( (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))

arc(r_0054_0002__more,r_0054_0001__Far,qual).
arc(r_0054_0003__probable,r_0054_0002__more,qual).
arc(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,nim).
arc(r_0054_0009__leisurely,r_0054_0008__more,qual).
arc(z_0054_5010,r_0054_0003__probable,prd).
arc(z_0054_5010,r_0054_0006__would,arg0).

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_0006__WOULD_R_0054_0007__TRAVEL,Z_0054_5010] :
      ( 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_0054_5010(Z_0054_5010)
      & has_arg0(Z_0054_5010,R_0054_0006__WOULD_R_0054_0007__TRAVEL)
      & r_0054_0006__would_r_0054_0007__travel(R_0054_0006__WOULD_R_0054_0007__TRAVEL)
      & has_nim(R_0054_0006__WOULD_R_0054_0007__TRAVEL,R_0054_0009__LEISURELY)
      & r_0054_0009__leisurely(R_0054_0009__LEISURELY)
      & has_qual(R_0054_0009__LEISURELY,R_0054_0008__MORE)
      & has_arg0(R_0054_0006__WOULD_R_0054_0007__TRAVEL,R_0054_0005__THEY)
      & has_prd(Z_0054_5010,R_0054_0003__PROBABLE)
      & r_0054_0003__probable(R_0054_0003__PROBABLE)
      & has_qual(R_0054_0003__PROBABLE,R_0054_0002__MORE)
      & r_0054_0002__more(R_0054_0002__MORE)
      & has_qual(R_0054_0002__MORE,R_0054_0001__FAR) ) ).