( (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})
                                     (ADJP (ADJ less;{less})
                                           (PP (P-ROLE than;{than})
                                               (NP (Q;_nphd_ half;{half})
                                                   (NLYR (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))

arc(r_0110_0002__came_r_0110_0003__in,r_0110_0001__Alastair,arg0).
arc(r_0110_0002__came_r_0110_0003__in,r_0110_0005__fast,nim).
arc(r_0110_0005__fast,r_0110_0004__very,qual).
arc(r_0110_0007__but,r_0110_0002__came_r_0110_0003__in,conj1).
arc(r_0110_0007__but,r_0110_0016__rolled,conj2).
arc(r_0110_0009__less,z_0110_5008,r_0110_0010__than).
arc(r_0110_0011__half__quant,r_0110_0009__less,scope).
arc(r_0110_0011__half__quant,z_0110_5008,restriction).
arc(r_0110_0016__rolled,r_0110_0009__less,r_0110_0008__within__nim).
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__nim).
arc(z_0110_5008,r_0110_0012__a_r_0110_0013__mile,nim).

fof(formula,axiom,
    ? [R_0110_0001__ALASTAIR,R_0110_0004__VERY,R_0110_0005__FAST,R_0110_0002__CAME_R_0110_0003__IN,R_0110_0012__A_R_0110_0013__MILE,Z_0110_5008,R_0110_0009__LESS,R_0110_0014__THE_R_0110_0015__MACHINE,R_0110_0018__A_R_0110_0019__HALT,R_0110_0016__ROLLED,R_0110_0007__BUT] :
      ( r_0110_0001__Alastair(R_0110_0001__ALASTAIR)
      & 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)
      & ( z_0110_5008(Z_0110_5008)
       => 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_0017__to__nim(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_r_0110_0008__within__nim(R_0110_0016__ROLLED,R_0110_0009__LESS)
      & r_0110_0009__less(R_0110_0009__LESS)
      & has_r_0110_0010__than(R_0110_0009__LESS,Z_0110_5008)
      & z_0110_5008(Z_0110_5008)
      & has_nim(Z_0110_5008,R_0110_0012__A_R_0110_0013__MILE)
      & has_conj1(R_0110_0007__BUT,R_0110_0002__CAME_R_0110_0003__IN)
      & r_0110_0002__came_r_0110_0003__in(R_0110_0002__CAME_R_0110_0003__IN)
      & has_nim(R_0110_0002__CAME_R_0110_0003__IN,R_0110_0005__FAST)
      & r_0110_0005__fast(R_0110_0005__FAST)
      & has_qual(R_0110_0005__FAST,R_0110_0004__VERY)
      & has_arg0(R_0110_0002__CAME_R_0110_0003__IN,R_0110_0001__ALASTAIR) ) ).