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 z_000_110_a_lob_n01_27 r_0110_0009__less less z_000_110_a_lob_n01_27->r_0110_0009__less [attrib] 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_0016__rolled rolled r_0110_0016__rolled->z_000_110_a_lob_n01_27 within [nim] r_0110_0018__a_r_0110_0019__halt a halt r_0110_0016__rolled->r_0110_0018__a_r_0110_0019__halt to [nim] 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_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] r_0110_0007__but but r_0110_0007__but->r_0110_0016__rolled [conj2] r_0110_0002__came came r_0110_0007__but->r_0110_0002__came [conj1] r_0110_0005__fast fast r_0110_0002__came->r_0110_0005__fast [nim] r_0110_0003__in in r_0110_0002__came->r_0110_0003__in [clr] r_0110_0001__Alastair Alastair r_0110_0002__came->r_0110_0001__Alastair [arg0] r_0110_0004__very very r_0110_0005__fast->r_0110_0004__very [qual] 
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__1_1_1_1_1_1 Alastair n110_a_lob_n01__1_1_1_2_1 came n110_a_lob_n01__1_1_1_3_1_1 in n110_a_lob_n01__1_1_1_4_1_1_1 very n110_a_lob_n01__1_1_1_4_2_1 fast n110_a_lob_n01__1_1_2_1 , n110_a_lob_n01__1_1_3_1_1 but n110_a_lob_n01__1_1_3_2_1_1_1 within n110_a_lob_n01__1_1_3_2_1_2_1_1_1 less n110_a_lob_n01__1_1_3_2_1_2_1_2_1_1 than n110_a_lob_n01__1_1_3_2_1_2_1_2_2_1_1 half n110_a_lob_n01__1_1_3_2_1_2_1_2_2_2_1 a n110_a_lob_n01__1_1_3_2_1_2_1_2_2_3_1 mile n110_a_lob_n01__1_1_3_2_2_1_1 the n110_a_lob_n01__1_1_3_2_2_2_1 machine n110_a_lob_n01__1_1_3_2_3_1 rolled n110_a_lob_n01__1_1_3_2_4_1_1 to n110_a_lob_n01__1_1_3_2_4_2_1_1 a n110_a_lob_n01__1_1_3_2_4_2_2_1 halt n110_a_lob_n01__1_2_1 . n110_a_lob_n01__1 IP-MAT n110_a_lob_n01__1_1 ILYR n110_a_lob_n01__1->n110_a_lob_n01__1_1 n110_a_lob_n01__1_2 PUNC n110_a_lob_n01__1->n110_a_lob_n01__1_2 n110_a_lob_n01__1_1_1 ILYR n110_a_lob_n01__1_1->n110_a_lob_n01__1_1_1 n110_a_lob_n01__1_1_2 PUNC n110_a_lob_n01__1_1->n110_a_lob_n01__1_1_2 n110_a_lob_n01__1_1_3 CONJP n110_a_lob_n01__1_1->n110_a_lob_n01__1_1_3 n110_a_lob_n01__1_1_1_1 NP-SBJ n110_a_lob_n01__1_1_1->n110_a_lob_n01__1_1_1_1 n110_a_lob_n01__1_1_1_2 VBD;_Ip_ n110_a_lob_n01__1_1_1->n110_a_lob_n01__1_1_1_2 n110_a_lob_n01__1_1_1_3 ADVP-CLR n110_a_lob_n01__1_1_1->n110_a_lob_n01__1_1_1_3 n110_a_lob_n01__1_1_1_4 ADVP-NIM n110_a_lob_n01__1_1_1->n110_a_lob_n01__1_1_1_4 n110_a_lob_n01__1_1_1_1_1 NPR n110_a_lob_n01__1_1_1_1->n110_a_lob_n01__1_1_1_1_1 n110_a_lob_n01__1_1_1_1_1->n110_a_lob_n01__1_1_1_1_1_1 n110_a_lob_n01__1_1_1_2->n110_a_lob_n01__1_1_1_2_1 n110_a_lob_n01__1_1_1_3_1 RP n110_a_lob_n01__1_1_1_3->n110_a_lob_n01__1_1_1_3_1 n110_a_lob_n01__1_1_1_3_1->n110_a_lob_n01__1_1_1_3_1_1 n110_a_lob_n01__1_1_1_4_1 ADVP n110_a_lob_n01__1_1_1_4->n110_a_lob_n01__1_1_1_4_1 n110_a_lob_n01__1_1_1_4_2 ADV n110_a_lob_n01__1_1_1_4->n110_a_lob_n01__1_1_1_4_2 n110_a_lob_n01__1_1_1_4_1_1 ADV n110_a_lob_n01__1_1_1_4_1->n110_a_lob_n01__1_1_1_4_1_1 n110_a_lob_n01__1_1_1_4_1_1->n110_a_lob_n01__1_1_1_4_1_1_1 n110_a_lob_n01__1_1_1_4_2->n110_a_lob_n01__1_1_1_4_2_1 n110_a_lob_n01__1_1_2->n110_a_lob_n01__1_1_2_1 n110_a_lob_n01__1_1_3_1 CONJ n110_a_lob_n01__1_1_3->n110_a_lob_n01__1_1_3_1 n110_a_lob_n01__1_1_3_2 ILYR n110_a_lob_n01__1_1_3->n110_a_lob_n01__1_1_3_2 n110_a_lob_n01__1_1_3_1->n110_a_lob_n01__1_1_3_1_1 n110_a_lob_n01__1_1_3_2_1 PP-NIM n110_a_lob_n01__1_1_3_2->n110_a_lob_n01__1_1_3_2_1 n110_a_lob_n01__1_1_3_2_2 NP-SBJ n110_a_lob_n01__1_1_3_2->n110_a_lob_n01__1_1_3_2_2 n110_a_lob_n01__1_1_3_2_3 VBD;_I_ n110_a_lob_n01__1_1_3_2->n110_a_lob_n01__1_1_3_2_3 n110_a_lob_n01__1_1_3_2_4 PP-NIM n110_a_lob_n01__1_1_3_2->n110_a_lob_n01__1_1_3_2_4 n110_a_lob_n01__1_1_3_2_1_1 P-ROLE n110_a_lob_n01__1_1_3_2_1->n110_a_lob_n01__1_1_3_2_1_1 n110_a_lob_n01__1_1_3_2_1_2 NP n110_a_lob_n01__1_1_3_2_1->n110_a_lob_n01__1_1_3_2_1_2 n110_a_lob_n01__1_1_3_2_1_1->n110_a_lob_n01__1_1_3_2_1_1_1 n110_a_lob_n01__1_1_3_2_1_2_1 ADJP n110_a_lob_n01__1_1_3_2_1_2->n110_a_lob_n01__1_1_3_2_1_2_1 n110_a_lob_n01__1_1_3_2_1_2_1_1 ADJ n110_a_lob_n01__1_1_3_2_1_2_1->n110_a_lob_n01__1_1_3_2_1_2_1_1 n110_a_lob_n01__1_1_3_2_1_2_1_2 PP n110_a_lob_n01__1_1_3_2_1_2_1->n110_a_lob_n01__1_1_3_2_1_2_1_2 n110_a_lob_n01__1_1_3_2_1_2_1_1->n110_a_lob_n01__1_1_3_2_1_2_1_1_1 n110_a_lob_n01__1_1_3_2_1_2_1_2_1 P-ROLE n110_a_lob_n01__1_1_3_2_1_2_1_2->n110_a_lob_n01__1_1_3_2_1_2_1_2_1 n110_a_lob_n01__1_1_3_2_1_2_1_2_2 NP n110_a_lob_n01__1_1_3_2_1_2_1_2->n110_a_lob_n01__1_1_3_2_1_2_1_2_2 n110_a_lob_n01__1_1_3_2_1_2_1_2_1->n110_a_lob_n01__1_1_3_2_1_2_1_2_1_1 n110_a_lob_n01__1_1_3_2_1_2_1_2_2_1 Q;_nphd_ n110_a_lob_n01__1_1_3_2_1_2_1_2_2->n110_a_lob_n01__1_1_3_2_1_2_1_2_2_1 n110_a_lob_n01__1_1_3_2_1_2_1_2_2_2 D n110_a_lob_n01__1_1_3_2_1_2_1_2_2->n110_a_lob_n01__1_1_3_2_1_2_1_2_2_2 n110_a_lob_n01__1_1_3_2_1_2_1_2_2_3 N n110_a_lob_n01__1_1_3_2_1_2_1_2_2->n110_a_lob_n01__1_1_3_2_1_2_1_2_2_3 n110_a_lob_n01__1_1_3_2_1_2_1_2_2_1->n110_a_lob_n01__1_1_3_2_1_2_1_2_2_1_1 n110_a_lob_n01__1_1_3_2_1_2_1_2_2_2->n110_a_lob_n01__1_1_3_2_1_2_1_2_2_2_1 n110_a_lob_n01__1_1_3_2_1_2_1_2_2_3->n110_a_lob_n01__1_1_3_2_1_2_1_2_2_3_1 n110_a_lob_n01__1_1_3_2_2_1 D n110_a_lob_n01__1_1_3_2_2->n110_a_lob_n01__1_1_3_2_2_1 n110_a_lob_n01__1_1_3_2_2_2 N n110_a_lob_n01__1_1_3_2_2->n110_a_lob_n01__1_1_3_2_2_2 n110_a_lob_n01__1_1_3_2_2_1->n110_a_lob_n01__1_1_3_2_2_1_1 n110_a_lob_n01__1_1_3_2_2_2->n110_a_lob_n01__1_1_3_2_2_2_1 n110_a_lob_n01__1_1_3_2_3->n110_a_lob_n01__1_1_3_2_3_1 n110_a_lob_n01__1_1_3_2_4_1 P-ROLE n110_a_lob_n01__1_1_3_2_4->n110_a_lob_n01__1_1_3_2_4_1 n110_a_lob_n01__1_1_3_2_4_2 NP n110_a_lob_n01__1_1_3_2_4->n110_a_lob_n01__1_1_3_2_4_2 n110_a_lob_n01__1_1_3_2_4_1->n110_a_lob_n01__1_1_3_2_4_1_1 n110_a_lob_n01__1_1_3_2_4_2_1 D n110_a_lob_n01__1_1_3_2_4_2->n110_a_lob_n01__1_1_3_2_4_2_1 n110_a_lob_n01__1_1_3_2_4_2_2 N n110_a_lob_n01__1_1_3_2_4_2->n110_a_lob_n01__1_1_3_2_4_2_2 n110_a_lob_n01__1_1_3_2_4_2_1->n110_a_lob_n01__1_1_3_2_4_2_1_1 n110_a_lob_n01__1_1_3_2_4_2_2->n110_a_lob_n01__1_1_3_2_4_2_2_1 n110_a_lob_n01__1_2->n110_a_lob_n01__1_2_1 
( (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))