30_a_lob_n01
Geoffrey turned the scale slowly to cover the ground immediately ahead.
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, nim12).
arc(r_0030_0006__to_r_0030_0007__cover, r_0030_0001__Geoffrey, arg0).
arc(r_0030_0006__to_r_0030_0007__cover, r_0030_0008__the_r_0030_0009__ground, arg1).
arc(r_0030_0006__to_r_0030_0007__cover, r_0030_0010__immediately, nim26).
arc(r_0030_0006__to_r_0030_0007__cover, r_0030_0011__ahead, nim29).
arc(z_000_30_a_lob_n01_15, r_0030_0002__turned, scope).
arc(z_000_30_a_lob_n01_15, r_0030_0006__to_r_0030_0007__cover, restriction).
fof(formula,axiom,
? [Z_30_A_LOB_N01_15,R_30_6_TO_COVER,R_30_8_THE_GROUND,R_30_10_IMMEDIATELY,R_30_11_AHEAD,R_30_2_TURNED,R_30_1_GEOFFREY,R_30_3_THE_SCALE,R_30_5_SLOWLY] :
( the_ground(R_30_8_THE_GROUND)
& immediately(R_30_10_IMMEDIATELY)
& ahead(R_30_11_AHEAD)
& geoffrey(R_30_1_GEOFFREY)
& the_scale(R_30_3_THE_SCALE)
& slowly(R_30_5_SLOWLY)
& z_30_a_lob_n01_15(Z_30_A_LOB_N01_15)
& conj1(Z_30_A_LOB_N01_15,R_30_6_TO_COVER)
& to_cover(R_30_6_TO_COVER,R_30_1_GEOFFREY,R_30_8_THE_GROUND)
& nim26(R_30_6_TO_COVER,R_30_10_IMMEDIATELY)
& nim29(R_30_6_TO_COVER,R_30_11_AHEAD)
& conj2(Z_30_A_LOB_N01_15,R_30_2_TURNED)
& turned(R_30_2_TURNED,R_30_1_GEOFFREY,R_30_3_THE_SCALE)
& nim12(R_30_2_TURNED,R_30_5_SLOWLY) ) ).
( (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))