Context                Previous, Next                Top


110_a_lob_n01
Alastair came in very fast, but within less than half a mile the machine rolled to a halt.

%3 r_0110_0002__came came r_0110_0001__Alastair Alastair r_0110_0002__came->r_0110_0001__Alastair [arg0] r_0110_0003__in in r_0110_0002__came->r_0110_0003__in [clr] r_0110_0005__fast fast r_0110_0002__came->r_0110_0005__fast [nim] r_0110_0004__very very r_0110_0005__fast->r_0110_0004__very [qual] r_0110_0007__but but r_0110_0007__but->r_0110_0002__came [conj1] r_0110_0016__rolled rolled r_0110_0007__but->r_0110_0016__rolled [conj2] r_0110_0014__the_r_0110_0015__machine the machine r_0110_0016__rolled->r_0110_0014__the_r_0110_0015__machine [arg0] r_0110_0018__a_r_0110_0019__halt a halt r_0110_0016__rolled->r_0110_0018__a_r_0110_0019__halt to [nim] z_000_110_a_lob_n01_27 r_0110_0016__rolled->z_000_110_a_lob_n01_27 within [nim] r_0110_0009__less less r_0110_0012__a_r_0110_0013__mile a mile r_0110_0009__less->r_0110_0012__a_r_0110_0013__mile than r_0110_0011__half_quant half [quant] r_0110_0011__half_quant->r_0110_0009__less [scope] r_0110_0011__half_quant->r_0110_0012__a_r_0110_0013__mile [restriction] z_000_110_a_lob_n01_27->r_0110_0009__less [attrib] 
arc(r_0110_0002__came, r_0110_0001__Alastair, arg0).
arc(r_0110_0002__came, r_0110_0003__in, clr9).
arc(r_0110_0002__came, r_0110_0005__fast, nim12).
arc(r_0110_0005__fast, r_0110_0004__very, qual13).
arc(r_0110_0007__but, r_0110_0002__came, conj1).
arc(r_0110_0007__but, r_0110_0016__rolled, conj2).
arc(r_0110_0009__less, r_0110_0012__a_r_0110_0013__mile, r_0110_0010__than).
arc(r_0110_0011__half_quant, r_0110_0009__less, scope).
arc(r_0110_0011__half_quant, r_0110_0012__a_r_0110_0013__mile, restriction).
arc(r_0110_0016__rolled, r_0110_0014__the_r_0110_0015__machine, arg0).
arc(r_0110_0016__rolled, r_0110_0018__a_r_0110_0019__halt, r_0110_0017__to_nim51).
arc(r_0110_0016__rolled, z_000_110_a_lob_n01_27, r_0110_0008__within_nim27).
arc(z_000_110_a_lob_n01_27, r_0110_0009__less, attrib28).


%3 r_0110_0002__came came r_0110_0001__Alastair Alastair r_0110_0002__came->r_0110_0001__Alastair [arg0] r_0110_0003__in in r_0110_0002__came->r_0110_0003__in [clr] r_0110_0005__fast fast r_0110_0002__came->r_0110_0005__fast [nim] r_0110_0004__very very r_0110_0005__fast->r_0110_0004__very [qual] r_0110_0007__but but r_0110_0007__but->r_0110_0002__came [conj1] r_0110_0016__rolled rolled r_0110_0007__but->r_0110_0016__rolled [conj2] r_0110_0014__the_r_0110_0015__machine the machine r_0110_0016__rolled->r_0110_0014__the_r_0110_0015__machine [arg0] r_0110_0018__a_r_0110_0019__halt a halt r_0110_0016__rolled->r_0110_0018__a_r_0110_0019__halt to [nim] z_000_110_a_lob_n01_27 r_0110_0016__rolled->z_000_110_a_lob_n01_27 within [nim] r_0110_0009__less less r_0110_0012__a_r_0110_0013__mile a mile r_0110_0009__less->r_0110_0012__a_r_0110_0013__mile than r_0110_0011__half_quant half [quant] r_0110_0011__half_quant->r_0110_0016__rolled [scope] r_0110_0011__half_quant->r_0110_0012__a_r_0110_0013__mile [restriction] z_000_110_a_lob_n01_27->r_0110_0009__less [attrib] 
fof(formula,axiom,
    ? [R_110_7_BUT,R_110_2_CAME,R_110_1_ALASTAIR,R_110_3_IN,R_110_5_FAST,R_110_4_VERY,R_110_16_ROLLED,R_110_14_THE_MACHINE,Z_110_A_LOB_N01_27,R_110_9_LESS,R_110_12_A_MILE,R_110_18_A_HALT] :
      ( alastair(R_110_1_ALASTAIR)
      & in(R_110_3_IN)
      & very(R_110_4_VERY)
      & the_machine(R_110_14_THE_MACHINE)
      & a_mile(R_110_12_A_MILE)
      & a_halt(R_110_18_A_HALT)
      & but(R_110_7_BUT)
      & conj1(R_110_7_BUT,R_110_2_CAME)
      & came(R_110_2_CAME,R_110_1_ALASTAIR)
      & clr9(R_110_2_CAME,R_110_3_IN)
      & nim12(R_110_2_CAME,R_110_5_FAST)
      & fast(R_110_5_FAST)
      & qual13(R_110_5_FAST,R_110_4_VERY)
      & conj2(R_110_7_BUT,R_110_16_ROLLED)
      & rolled(R_110_16_ROLLED,R_110_14_THE_MACHINE)
      & within_nim27(R_110_16_ROLLED,Z_110_A_LOB_N01_27)
      & z_110_a_lob_n01_27(Z_110_A_LOB_N01_27)
      & attrib28(Z_110_A_LOB_N01_27,R_110_9_LESS)
      & less(R_110_9_LESS)
      & than(R_110_9_LESS,R_110_12_A_MILE)
      & to_nim51(R_110_16_ROLLED,R_110_18_A_HALT)
      & ( true
       => true ) ) ).


n110_a_lob_n01 n110_a_lob_n01_6 Alastair n110_a_lob_n01_8 came n110_a_lob_n01_11 in n110_a_lob_n01_15 very n110_a_lob_n01_17 fast n110_a_lob_n01_19 , n110_a_lob_n01_22 but n110_a_lob_n01_26 within n110_a_lob_n01_30 less n110_a_lob_n01_33 than n110_a_lob_n01_36 half n110_a_lob_n01_38 a n110_a_lob_n01_40 mile n110_a_lob_n01_43 the n110_a_lob_n01_45 machine n110_a_lob_n01_47 rolled n110_a_lob_n01_50 to n110_a_lob_n01_53 a n110_a_lob_n01_55 halt n110_a_lob_n01_57 . n110_a_lob_n01_1 IP-MAT n110_a_lob_n01_2 ILYR n110_a_lob_n01_1->n110_a_lob_n01_2 n110_a_lob_n01_56 PUNC n110_a_lob_n01_1->n110_a_lob_n01_56 n110_a_lob_n01_3 ILYR n110_a_lob_n01_2->n110_a_lob_n01_3 n110_a_lob_n01_18 PUNC n110_a_lob_n01_2->n110_a_lob_n01_18 n110_a_lob_n01_20 CONJP n110_a_lob_n01_2->n110_a_lob_n01_20 n110_a_lob_n01_4 NP-SBJ n110_a_lob_n01_3->n110_a_lob_n01_4 n110_a_lob_n01_7 VBD;_Ip_ n110_a_lob_n01_3->n110_a_lob_n01_7 n110_a_lob_n01_9 ADVP-CLR n110_a_lob_n01_3->n110_a_lob_n01_9 n110_a_lob_n01_12 ADVP-NIM n110_a_lob_n01_3->n110_a_lob_n01_12 n110_a_lob_n01_5 NPR n110_a_lob_n01_4->n110_a_lob_n01_5 n110_a_lob_n01_5->n110_a_lob_n01_6 n110_a_lob_n01_7->n110_a_lob_n01_8 n110_a_lob_n01_10 RP n110_a_lob_n01_9->n110_a_lob_n01_10 n110_a_lob_n01_10->n110_a_lob_n01_11 n110_a_lob_n01_13 ADVP n110_a_lob_n01_12->n110_a_lob_n01_13 n110_a_lob_n01_16 ADV n110_a_lob_n01_12->n110_a_lob_n01_16 n110_a_lob_n01_14 ADV n110_a_lob_n01_13->n110_a_lob_n01_14 n110_a_lob_n01_14->n110_a_lob_n01_15 n110_a_lob_n01_16->n110_a_lob_n01_17 n110_a_lob_n01_18->n110_a_lob_n01_19 n110_a_lob_n01_21 CONJ n110_a_lob_n01_20->n110_a_lob_n01_21 n110_a_lob_n01_23 ILYR n110_a_lob_n01_20->n110_a_lob_n01_23 n110_a_lob_n01_21->n110_a_lob_n01_22 n110_a_lob_n01_24 PP-NIM n110_a_lob_n01_23->n110_a_lob_n01_24 n110_a_lob_n01_41 NP-SBJ n110_a_lob_n01_23->n110_a_lob_n01_41 n110_a_lob_n01_46 VBD;_I_ n110_a_lob_n01_23->n110_a_lob_n01_46 n110_a_lob_n01_48 PP-NIM n110_a_lob_n01_23->n110_a_lob_n01_48 n110_a_lob_n01_25 P-ROLE n110_a_lob_n01_24->n110_a_lob_n01_25 n110_a_lob_n01_27 NP n110_a_lob_n01_24->n110_a_lob_n01_27 n110_a_lob_n01_25->n110_a_lob_n01_26 n110_a_lob_n01_28 ADJP n110_a_lob_n01_27->n110_a_lob_n01_28 n110_a_lob_n01_29 ADJ n110_a_lob_n01_28->n110_a_lob_n01_29 n110_a_lob_n01_31 PP n110_a_lob_n01_28->n110_a_lob_n01_31 n110_a_lob_n01_29->n110_a_lob_n01_30 n110_a_lob_n01_32 P-ROLE n110_a_lob_n01_31->n110_a_lob_n01_32 n110_a_lob_n01_34 NP n110_a_lob_n01_31->n110_a_lob_n01_34 n110_a_lob_n01_32->n110_a_lob_n01_33 n110_a_lob_n01_35 Q;_nphd_ n110_a_lob_n01_34->n110_a_lob_n01_35 n110_a_lob_n01_37 D n110_a_lob_n01_34->n110_a_lob_n01_37 n110_a_lob_n01_39 N n110_a_lob_n01_34->n110_a_lob_n01_39 n110_a_lob_n01_35->n110_a_lob_n01_36 n110_a_lob_n01_37->n110_a_lob_n01_38 n110_a_lob_n01_39->n110_a_lob_n01_40 n110_a_lob_n01_42 D n110_a_lob_n01_41->n110_a_lob_n01_42 n110_a_lob_n01_44 N n110_a_lob_n01_41->n110_a_lob_n01_44 n110_a_lob_n01_42->n110_a_lob_n01_43 n110_a_lob_n01_44->n110_a_lob_n01_45 n110_a_lob_n01_46->n110_a_lob_n01_47 n110_a_lob_n01_49 P-ROLE n110_a_lob_n01_48->n110_a_lob_n01_49 n110_a_lob_n01_51 NP n110_a_lob_n01_48->n110_a_lob_n01_51 n110_a_lob_n01_49->n110_a_lob_n01_50 n110_a_lob_n01_52 D n110_a_lob_n01_51->n110_a_lob_n01_52 n110_a_lob_n01_54 N n110_a_lob_n01_51->n110_a_lob_n01_54 n110_a_lob_n01_52->n110_a_lob_n01_53 n110_a_lob_n01_54->n110_a_lob_n01_55 n110_a_lob_n01_56->n110_a_lob_n01_57 
( (IP-MAT (ILYR (ILYR (NP-SBJ;{ALASTAIR} (NPR Alastair;{Alastair}))
                      (VBD;_Ip_ came;{come[in]})
                      (ADVP-CLR (RP in;{in}))
                      (ADVP-NIM (ADVP (ADV very;{very}))
                                (ADV fast;{fast})))
                (PUNC ,)
                (CONJP (CONJ but;{but})
                       (ILYR (PP-NIM (P-ROLE within;{within})
                                     (NP (ADJP (ADJ less;{less})
                                               (PP (P-ROLE than;{than})
                                                   (NP (Q;_nphd_ half;{half})
                                                       (D a;{a})
                                                       (N mile;{mile}))))))
                             (NP-SBJ (D the;{the})
                                     (N machine;{machine}))
                             (VBD;_I_ rolled;{roll})
                             (PP-NIM (P-ROLE to;{to})
                                     (NP (D a;{a})
                                         (N halt;{halt}))))))
          (PUNC .))
  (ID 110_a_lob_n01))