Context                Previous, Next                Top


51_a_lob_n01
It came to just over six hundred miles.

%3 r_0051_0002__came came r_0051_0001__It It r_0051_0002__came->r_0051_0001__It [arg0] r_0051_0006__six_r_0051_0007__hundred_r_0051_0008__miles six hundred miles r_0051_0002__came->r_0051_0006__six_r_0051_0007__hundred_r_0051_0008__miles to [clr] r_0051_0005__over over r_0051_0006__six_r_0051_0007__hundred_r_0051_0008__miles->r_0051_0005__over [qual] r_0051_0004__just just r_0051_0005__over->r_0051_0004__just [qual] 
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).


%3 r_0051_0006__six_r_0051_0007__hundred_r_0051_0008__miles six hundred miles r_0051_0005__over over r_0051_0006__six_r_0051_0007__hundred_r_0051_0008__miles->r_0051_0005__over [qual] r_0051_0004__just just r_0051_0005__over->r_0051_0004__just [qual] r_0051_0002__came came r_0051_0002__came->r_0051_0006__six_r_0051_0007__hundred_r_0051_0008__miles to [clr] r_0051_0001__It It r_0051_0002__came->r_0051_0001__It [arg0] 
fof(formula,axiom,
    ? [R_51_2_CAME,R_51_1_IT,R_51_6_SIX_HUNDRED_MILES,R_51_5_OVER,R_51_4_JUST] :
      ( it(R_51_1_IT)
      & just(R_51_4_JUST)
      & came(R_51_2_CAME,R_51_1_IT)
      & to_clr10(R_51_2_CAME,R_51_6_SIX_HUNDRED_MILES)
      & six_hundred_miles(R_51_6_SIX_HUNDRED_MILES)
      & qual11(R_51_6_SIX_HUNDRED_MILES,R_51_5_OVER)
      & over(R_51_5_OVER)
      & qual12(R_51_5_OVER,R_51_4_JUST) ) ).


n51_a_lob_n01 n51_a_lob_n01__1_1_1_1 It n51_a_lob_n01__1_2_1 came n51_a_lob_n01__1_3_1_1 to n51_a_lob_n01__1_3_2_1_1_1_1 just n51_a_lob_n01__1_3_2_1_2_1 over n51_a_lob_n01__1_3_2_2_1 six n51_a_lob_n01__1_3_2_3_1 hundred n51_a_lob_n01__1_3_2_4_1 miles n51_a_lob_n01__1_4_1 . n51_a_lob_n01__1 IP-MAT n51_a_lob_n01__1_1 NP-SBJ n51_a_lob_n01__1->n51_a_lob_n01__1_1 n51_a_lob_n01__1_2 VBD;_Ipr_ n51_a_lob_n01__1->n51_a_lob_n01__1_2 n51_a_lob_n01__1_3 PP-CLR n51_a_lob_n01__1->n51_a_lob_n01__1_3 n51_a_lob_n01__1_4 PUNC n51_a_lob_n01__1->n51_a_lob_n01__1_4 n51_a_lob_n01__1_1_1 PRO n51_a_lob_n01__1_1->n51_a_lob_n01__1_1_1 n51_a_lob_n01__1_1_1->n51_a_lob_n01__1_1_1_1 n51_a_lob_n01__1_2->n51_a_lob_n01__1_2_1 n51_a_lob_n01__1_3_1 P-ROLE n51_a_lob_n01__1_3->n51_a_lob_n01__1_3_1 n51_a_lob_n01__1_3_2 NP n51_a_lob_n01__1_3->n51_a_lob_n01__1_3_2 n51_a_lob_n01__1_3_1->n51_a_lob_n01__1_3_1_1 n51_a_lob_n01__1_3_2_1 ADVP n51_a_lob_n01__1_3_2->n51_a_lob_n01__1_3_2_1 n51_a_lob_n01__1_3_2_2 NUM n51_a_lob_n01__1_3_2->n51_a_lob_n01__1_3_2_2 n51_a_lob_n01__1_3_2_3 N n51_a_lob_n01__1_3_2->n51_a_lob_n01__1_3_2_3 n51_a_lob_n01__1_3_2_4 NS n51_a_lob_n01__1_3_2->n51_a_lob_n01__1_3_2_4 n51_a_lob_n01__1_3_2_1_1 ADVP n51_a_lob_n01__1_3_2_1->n51_a_lob_n01__1_3_2_1_1 n51_a_lob_n01__1_3_2_1_2 ADV n51_a_lob_n01__1_3_2_1->n51_a_lob_n01__1_3_2_1_2 n51_a_lob_n01__1_3_2_1_1_1 ADV n51_a_lob_n01__1_3_2_1_1->n51_a_lob_n01__1_3_2_1_1_1 n51_a_lob_n01__1_3_2_1_1_1->n51_a_lob_n01__1_3_2_1_1_1_1 n51_a_lob_n01__1_3_2_1_2->n51_a_lob_n01__1_3_2_1_2_1 n51_a_lob_n01__1_3_2_2->n51_a_lob_n01__1_3_2_2_1 n51_a_lob_n01__1_3_2_3->n51_a_lob_n01__1_3_2_3_1 n51_a_lob_n01__1_3_2_4->n51_a_lob_n01__1_3_2_4_1 n51_a_lob_n01__1_4->n51_a_lob_n01__1_4_1 
( (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))