6_a_stories_discourse_1
Taking care so as not to fall down, he started walking over the sand.
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_0005__to_r_0006_0006__fall, keep_scope).
arc(r_0006_0005__to_r_0006_0006__fall, r_0006_0007__down, clr19).
arc(r_0006_0005__to_r_0006_0006__fall, r_0006_0009__he, arg0).
arc(r_0006_0010__started, r_0006_0011__walking, scope).
arc(r_0006_0011__walking, r_0006_0009__he, arg0).
arc(r_0006_0011__walking, r_0006_0013__the_r_0006_0014__sand, r_0006_0012__over_clr35).
arc(z_000_6_a_stories_discourse_1_2, r_0006_0003__so_as, restriction).
arc(z_000_6_a_stories_discourse_1_2, r_0006_0010__started, scope).
fof(formula,axiom,
? [Z_6_A_STORIES_DISCOURSE_1_2,R_6_3_SO_AS,R_6_1_TAKING,R_6_2_CARE,R_6_10_STARTED_WALKING,R_6_9_HE,R_6_13_THE_SAND] :
( care(R_6_2_CARE)
& he(R_6_9_HE)
& the_sand(R_6_13_THE_SAND)
& z_6_a_stories_discourse_1_2(Z_6_A_STORIES_DISCOURSE_1_2)
& conj1(Z_6_A_STORIES_DISCOURSE_1_2,R_6_3_SO_AS)
& so_as(R_6_3_SO_AS)
& conj1(R_6_3_SO_AS,R_6_4_NOT)
& ~ ? [R_6_5_TO_FALL,R_6_7_DOWN] :
( down(R_6_7_DOWN)
& to_fall(R_6_5_TO_FALL,R_6_9_HE)
& clr19(R_6_5_TO_FALL,R_6_7_DOWN) )
& conj2(R_6_3_SO_AS,R_6_1_TAKING)
& taking(R_6_1_TAKING,R_6_9_HE,R_6_2_CARE)
& conj2(Z_6_A_STORIES_DISCOURSE_1_2,R_6_10_STARTED_WALKING)
& started_walking(R_6_10_STARTED_WALKING,R_6_9_HE)
& over_clr35(R_6_10_STARTED_WALKING,R_6_13_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))