arc(r_0051_0002__came, r_0051_0001__It, arg0).
arc(r_0051_0002__came, r_0051_0006__six_r_0051_0007__hundred_r_0051_0008__miles, r_0051_0003__to_clr10).
arc(r_0051_0005__over, r_0051_0004__just, qual12).
arc(r_0051_0006__six_r_0051_0007__hundred_r_0051_0008__miles, r_0051_0005__over, qual11).

fof(formula,axiom,
    ? [R_0051_0001__IT,R_0051_0004__JUST,R_0051_0005__OVER,R_0051_0006__SIX_R_0051_0007__HUNDRED_R_0051_0008__MILES,R_0051_0002__CAME] :
      ( r_0051_0001__It(R_0051_0001__IT)
      & r_0051_0004__just(R_0051_0004__JUST)
      & r_0051_0002__came(R_0051_0002__CAME)
      & has_r_0051_0003__to_clr10(R_0051_0002__CAME,R_0051_0006__SIX_R_0051_0007__HUNDRED_R_0051_0008__MILES)
      & r_0051_0006__six_r_0051_0007__hundred_r_0051_0008__miles(R_0051_0006__SIX_R_0051_0007__HUNDRED_R_0051_0008__MILES)
      & has_qual11(R_0051_0006__SIX_R_0051_0007__HUNDRED_R_0051_0008__MILES,R_0051_0005__OVER)
      & r_0051_0005__over(R_0051_0005__OVER)
      & has_qual12(R_0051_0005__OVER,R_0051_0004__JUST)
      & has_arg0(R_0051_0002__CAME,R_0051_0001__IT) ) ).

( (IP-MAT (NP-SBJ;{DISTANCE} (PRO It;{it}))
          (VBD;_Ipr_ came;{come[to]})
          (PP-CLR (P-ROLE to;{to})
                  (NP (ADVP (ADVP (ADV just;{just}))
                            (ADV over;{over}))
                      (NUM six;{six})
                      (N hundred;{hundred})
                      (NS miles;{mile})))
          (PUNC .))
  (ID 51_a_lob_n01))