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

arc(r_0051_0002__came_r_0051_0003__to,r_0051_0001__It,arg0).
arc(r_0051_0002__came_r_0051_0003__to,r_0051_0006__six_r_0051_0007__hundred_r_0051_0008__miles,arg1).
arc(r_0051_0005__over,r_0051_0004__just,qual).
arc(r_0051_0006__six_r_0051_0007__hundred_r_0051_0008__miles,r_0051_0005__over,qual).

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_0003__TO] :
      ( r_0051_0001__It(R_0051_0001__IT)
      & r_0051_0004__just(R_0051_0004__JUST)
      & r_0051_0002__came_r_0051_0003__to(R_0051_0002__CAME_R_0051_0003__TO)
      & has_arg1(R_0051_0002__CAME_R_0051_0003__TO,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_qual(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_qual(R_0051_0005__OVER,R_0051_0004__JUST)
      & has_arg0(R_0051_0002__CAME_R_0051_0003__TO,R_0051_0001__IT) ) ).