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_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] 
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_4 It n51_a_lob_n01_6 came n51_a_lob_n01_9 to n51_a_lob_n01_14 just n51_a_lob_n01_16 over n51_a_lob_n01_18 six n51_a_lob_n01_20 hundred n51_a_lob_n01_22 miles n51_a_lob_n01_24 . n51_a_lob_n01_1 IP-MAT n51_a_lob_n01_2 NP-SBJ n51_a_lob_n01_1->n51_a_lob_n01_2 n51_a_lob_n01_5 VBD;_Ipr_ n51_a_lob_n01_1->n51_a_lob_n01_5 n51_a_lob_n01_7 PP-CLR n51_a_lob_n01_1->n51_a_lob_n01_7 n51_a_lob_n01_23 PUNC n51_a_lob_n01_1->n51_a_lob_n01_23 n51_a_lob_n01_3 PRO n51_a_lob_n01_2->n51_a_lob_n01_3 n51_a_lob_n01_3->n51_a_lob_n01_4 n51_a_lob_n01_5->n51_a_lob_n01_6 n51_a_lob_n01_8 P-ROLE n51_a_lob_n01_7->n51_a_lob_n01_8 n51_a_lob_n01_10 NP n51_a_lob_n01_7->n51_a_lob_n01_10 n51_a_lob_n01_8->n51_a_lob_n01_9 n51_a_lob_n01_11 ADVP n51_a_lob_n01_10->n51_a_lob_n01_11 n51_a_lob_n01_17 NUM n51_a_lob_n01_10->n51_a_lob_n01_17 n51_a_lob_n01_19 N n51_a_lob_n01_10->n51_a_lob_n01_19 n51_a_lob_n01_21 NS n51_a_lob_n01_10->n51_a_lob_n01_21 n51_a_lob_n01_12 ADVP n51_a_lob_n01_11->n51_a_lob_n01_12 n51_a_lob_n01_15 ADV n51_a_lob_n01_11->n51_a_lob_n01_15 n51_a_lob_n01_13 ADV n51_a_lob_n01_12->n51_a_lob_n01_13 n51_a_lob_n01_13->n51_a_lob_n01_14 n51_a_lob_n01_15->n51_a_lob_n01_16 n51_a_lob_n01_17->n51_a_lob_n01_18 n51_a_lob_n01_19->n51_a_lob_n01_20 n51_a_lob_n01_21->n51_a_lob_n01_22 n51_a_lob_n01_23->n51_a_lob_n01_24 
( (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))