6_a_stories_discourse_1
Taking care so as not to fall down, he started walking over the sand.
( (IP-MAT (PP-SCON (IP-PPL2 (VAG;_Tn_ Taking;{take})
(NP-OB1 (N care;{care}))
(PP-SCON (P-CONN so_as;{so_as})
(IP-INF2 (NEG not;{not})
(TO to;{to})
(VB;_Ip_ fall;{fall[down]})
(ADVP-CLR (RP down;{down}))))))
(PUNC ,)
(NP-SBJ;{TEACHER} (PRO he;{he}))
(VBD;_cat_Vg_ started;{start})
(IP-PPL-CAT (VAG;_Ipr_ walking;{walk[over]})
(PP-CLR (P-ROLE over;{over})
(NP (D the;{the})
(N sand;{sand}))))
(PUNC .))
(ID 6_a_stories_discourse_1))
arc(r_0006_0001__Taking,r_0006_0002__care,arg1).
arc(r_0006_0001__Taking,r_0006_0009__he,arg0).
arc(r_0006_0003__so_as,r_0006_0001__Taking,scope).
arc(r_0006_0003__so_as,r_0006_0004__not,restriction).
arc(r_0006_0004__not,r_0006_0006__fall_r_0006_0007__down,keep_scope).
arc(r_0006_0006__fall_r_0006_0007__down,r_0006_0009__he,arg0).
arc(r_0006_0010__started,r_0006_0011__walking_r_0006_0012__over,scope).
arc(r_0006_0011__walking_r_0006_0012__over,r_0006_0009__he,arg0).
arc(r_0006_0011__walking_r_0006_0012__over,r_0006_0013__the_r_0006_0014__sand,arg1).
arc(z_0006_5001,r_0006_0003__so_as,restriction).
arc(z_0006_5001,r_0006_0010__started,scope).
fof(formula,axiom,
? [R_0006_0002__CARE,R_0006_0009__HE,R_0006_0001__TAKING,R_0006_0003__SO_AS,R_0006_0013__THE_R_0006_0014__SAND,R_0006_0010__STARTED_R_0006_0011__WALKING_R_0006_0012__OVER,Z_0006_5001] :
( r_0006_0002__care(R_0006_0002__CARE)
& r_0006_0009__he(R_0006_0009__HE)
& r_0006_0013__the_r_0006_0014__sand(R_0006_0013__THE_R_0006_0014__SAND)
& z_0006_5001(Z_0006_5001)
& has_conj2(Z_0006_5001,R_0006_0010__STARTED_R_0006_0011__WALKING_R_0006_0012__OVER)
& r_0006_0010__started_r_0006_0011__walking_r_0006_0012__over(R_0006_0010__STARTED_R_0006_0011__WALKING_R_0006_0012__OVER)
& has_arg1(R_0006_0010__STARTED_R_0006_0011__WALKING_R_0006_0012__OVER,R_0006_0013__THE_R_0006_0014__SAND)
& has_arg0(R_0006_0010__STARTED_R_0006_0011__WALKING_R_0006_0012__OVER,R_0006_0009__HE)
& has_conj1(Z_0006_5001,R_0006_0003__SO_AS)
& r_0006_0003__so_as(R_0006_0003__SO_AS)
& has_conj1(R_0006_0003__SO_AS,R_0006_0004__NOT)
& ~ ? [R_0006_0006__FALL_R_0006_0007__DOWN] :
( r_0006_0006__fall_r_0006_0007__down(R_0006_0006__FALL_R_0006_0007__DOWN)
& has_arg0(R_0006_0006__FALL_R_0006_0007__DOWN,R_0006_0009__HE) )
& has_conj2(R_0006_0003__SO_AS,R_0006_0001__TAKING)
& r_0006_0001__Taking(R_0006_0001__TAKING)
& has_arg0(R_0006_0001__TAKING,R_0006_0009__HE)
& has_arg1(R_0006_0001__TAKING,R_0006_0002__CARE) ) ).