TSPC 30_a_lob

30_a_lob_n01
Geoffrey turned the scale slowly to cover the ground immediately ahead.

( (IP-MAT (NP-SBJ;{GEOFFREY} (NPR Geoffrey;{Geoffrey}))
          (VBD;_Tn_ turned;{turn})
          (NP-OB1 (D the;{the})
                  (N scale;{scale}))
          (ADVP-NIM (ADV slowly;{slowly}))
          (PP-SCON (IP-INF (TO to;{to})
                           (VB;_Tn_ cover;{cover})
                           (NP-OB1 (D the;{the})
                                   (N ground;{ground}))
                           (ADVP-NIM (ADV immediately;{immediately}))
                           (ADVP-NIM (ADV ahead;{ahead}))))
          (PUNC .))
  (ID 30_a_lob_n01))

arc(r_0030_0002__turned,r_0030_0001__Geoffrey,arg0).
arc(r_0030_0002__turned,r_0030_0003__the_r_0030_0004__scale,arg1).
arc(r_0030_0002__turned,r_0030_0005__slowly,nim).
arc(r_0030_0007__cover,r_0030_0003__the_r_0030_0004__scale,arg0).
arc(r_0030_0007__cover,r_0030_0008__the_r_0030_0009__ground,arg1).
arc(r_0030_0007__cover,r_0030_0010__immediately,nim).
arc(r_0030_0007__cover,r_0030_0011__ahead,nim).
arc(z_0030_5002,r_0030_0002__turned,scope).
arc(z_0030_5002,r_0030_0007__cover,restriction).

fof(formula,axiom,
    ? [R_0030_0001__GEOFFREY,R_0030_0003__THE_R_0030_0004__SCALE,R_0030_0005__SLOWLY,R_0030_0002__TURNED,R_0030_0008__THE_R_0030_0009__GROUND,R_0030_0010__IMMEDIATELY,R_0030_0011__AHEAD,R_0030_0007__COVER,Z_0030_5002] :
      ( r_0030_0001__Geoffrey(R_0030_0001__GEOFFREY)
      & r_0030_0003__the_r_0030_0004__scale(R_0030_0003__THE_R_0030_0004__SCALE)
      & r_0030_0005__slowly(R_0030_0005__SLOWLY)
      & r_0030_0008__the_r_0030_0009__ground(R_0030_0008__THE_R_0030_0009__GROUND)
      & r_0030_0010__immediately(R_0030_0010__IMMEDIATELY)
      & r_0030_0011__ahead(R_0030_0011__AHEAD)
      & z_0030_5002(Z_0030_5002)
      & has_conj1(Z_0030_5002,R_0030_0007__COVER)
      & r_0030_0007__cover(R_0030_0007__COVER)
      & has_nim(R_0030_0007__COVER,R_0030_0011__AHEAD)
      & has_nim(R_0030_0007__COVER,R_0030_0010__IMMEDIATELY)
      & has_arg1(R_0030_0007__COVER,R_0030_0008__THE_R_0030_0009__GROUND)
      & has_arg0(R_0030_0007__COVER,R_0030_0003__THE_R_0030_0004__SCALE)
      & has_conj2(Z_0030_5002,R_0030_0002__TURNED)
      & r_0030_0002__turned(R_0030_0002__TURNED)
      & has_nim(R_0030_0002__TURNED,R_0030_0005__SLOWLY)
      & has_arg1(R_0030_0002__TURNED,R_0030_0003__THE_R_0030_0004__SCALE)
      & has_arg0(R_0030_0002__TURNED,R_0030_0001__GEOFFREY) ) ).