TSPC 110_a_lob

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

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

fof(formula,axiom,
    ? [R_0110_0001__ALASTAIR,R_0110_0003__IN,R_0110_0004__VERY,R_0110_0005__FAST,R_0110_0002__CAME,R_0110_0014__THE_R_0110_0015__MACHINE,R_0110_0018__A_R_0110_0019__HALT,R_0110_0012__A_R_0110_0013__MILE,R_0110_0009__LESS,Z_000_110_A_LOB_N01_27,R_0110_0016__ROLLED,R_0110_0007__BUT] :
      ( r_0110_0001__Alastair(R_0110_0001__ALASTAIR)
      & r_0110_0003__in(R_0110_0003__IN)
      & r_0110_0004__very(R_0110_0004__VERY)
      & r_0110_0012__a_r_0110_0013__mile(R_0110_0012__A_R_0110_0013__MILE)
      & r_0110_0014__the_r_0110_0015__machine(R_0110_0014__THE_R_0110_0015__MACHINE)
      & r_0110_0018__a_r_0110_0019__halt(R_0110_0018__A_R_0110_0019__HALT)
      & ( r_0110_0012__a_r_0110_0013__mile(R_0110_0012__A_R_0110_0013__MILE)
       => r_0110_0016__rolled(R_0110_0016__ROLLED) )
      & r_0110_0007__but(R_0110_0007__BUT)
      & has_conj2(R_0110_0007__BUT,R_0110_0016__ROLLED)
      & r_0110_0016__rolled(R_0110_0016__ROLLED)
      & has_r_0110_0008__within_nim27(R_0110_0016__ROLLED,Z_000_110_A_LOB_N01_27)
      & z_000_110_a_lob_n01_27(Z_000_110_A_LOB_N01_27)
      & has_attrib28(Z_000_110_A_LOB_N01_27,R_0110_0009__LESS)
      & r_0110_0009__less(R_0110_0009__LESS)
      & has_r_0110_0010__than(R_0110_0009__LESS,R_0110_0012__A_R_0110_0013__MILE)
      & has_r_0110_0017__to_nim51(R_0110_0016__ROLLED,R_0110_0018__A_R_0110_0019__HALT)
      & has_arg0(R_0110_0016__ROLLED,R_0110_0014__THE_R_0110_0015__MACHINE)
      & has_conj1(R_0110_0007__BUT,R_0110_0002__CAME)
      & r_0110_0002__came(R_0110_0002__CAME)
      & has_nim12(R_0110_0002__CAME,R_0110_0005__FAST)
      & r_0110_0005__fast(R_0110_0005__FAST)
      & has_qual13(R_0110_0005__FAST,R_0110_0004__VERY)
      & has_clr9(R_0110_0002__CAME,R_0110_0003__IN)
      & has_arg0(R_0110_0002__CAME,R_0110_0001__ALASTAIR) ) ).

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