4_a_stories_10_k58
Being blind at first Mickey always kept bumping into objects that were in his path but as his eyes formed he began to see.
arc(r_0004_0001__Being, r_0004_0002__blind, prd).
arc(r_0004_0001__Being, r_0004_0003__at_first, nim11).
arc(r_0004_0001__Being, r_0004_0004__Mickey, arg0).
arc(r_0004_0006__kept, r_0004_0005__always, nim17).
arc(r_0004_0006__kept, r_0004_0007__bumping, scope).
arc(r_0004_0007__bumping, r_0004_0004__Mickey, arg0).
arc(r_0004_0007__bumping, r_0004_0009__objects, r_0004_0008__into_clr28).
arc(r_0004_0010__that_r_0004_0011__were, r_0004_0009__objects, arg0).
arc(r_0004_0010__that_r_0004_0011__were, r_0004_0014__path, r_0004_0012__in_clr41).
arc(r_0004_0014__path, r_0004_0004__Mickey, gen).
arc(r_0004_0015__but, r_0004_0016__as, conj2).
arc(r_0004_0015__but, z_000_4_a_stories_10_k58_4, conj1).
arc(r_0004_0016__as, r_0004_0019__formed, restriction).
arc(r_0004_0016__as, r_0004_0021__began, scope).
arc(r_0004_0018__eyes, r_0004_0004__Mickey, gen).
arc(r_0004_0019__formed, r_0004_0018__eyes, arg0).
arc(r_0004_0021__began, r_0004_0022__to_r_0004_0023__see, scope).
arc(r_0004_0022__to_r_0004_0023__see, r_0004_0004__Mickey, arg0).
arc(z_000_4_a_stories_10_k58_4, r_0004_0001__Being, restriction).
arc(z_000_4_a_stories_10_k58_4, r_0004_0006__kept, scope).
fof(formula,axiom,
? [R_4_10_THAT_WERE,R_4_14_PATH,R_4_15_BUT,Z_4_A_STORIES_10_K58_4,R_4_1_BEING,R_4_3_AT_FIRST,R_4_2_BLIND,R_4_6_KEPT_BUMPING,R_4_5_ALWAYS,R_4_9_OBJECTS,R_4_16_AS,R_4_19_FORMED,R_4_18_EYES,R_4_21_BEGAN_TO_SEE,R_4_4_MICKEY] :
( at_first(R_4_3_AT_FIRST)
& blind(R_4_2_BLIND)
& always(R_4_5_ALWAYS)
& objects(R_4_9_OBJECTS)
& mickey(R_4_4_MICKEY)
& that_were(R_4_10_THAT_WERE,R_4_9_OBJECTS)
& in_clr41(R_4_10_THAT_WERE,R_4_14_PATH)
& path(R_4_14_PATH)
& gen(R_4_14_PATH,R_4_4_MICKEY)
& but(R_4_15_BUT)
& conj1(R_4_15_BUT,Z_4_A_STORIES_10_K58_4)
& z_4_a_stories_10_k58_4(Z_4_A_STORIES_10_K58_4)
& conj1(Z_4_A_STORIES_10_K58_4,R_4_1_BEING)
& being(R_4_1_BEING,R_4_4_MICKEY,R_4_2_BLIND)
& nim11(R_4_1_BEING,R_4_3_AT_FIRST)
& conj2(Z_4_A_STORIES_10_K58_4,R_4_6_KEPT_BUMPING)
& kept_bumping(R_4_6_KEPT_BUMPING,R_4_4_MICKEY)
& nim17(R_4_6_KEPT_BUMPING,R_4_5_ALWAYS)
& into_clr28(R_4_6_KEPT_BUMPING,R_4_9_OBJECTS)
& conj2(R_4_15_BUT,R_4_16_AS)
& as(R_4_16_AS)
& conj1(R_4_16_AS,R_4_19_FORMED)
& formed(R_4_19_FORMED,R_4_18_EYES)
& eyes(R_4_18_EYES)
& gen(R_4_18_EYES,R_4_4_MICKEY)
& conj2(R_4_16_AS,R_4_21_BEGAN_TO_SEE)
& began_to_see(R_4_21_BEGAN_TO_SEE,R_4_4_MICKEY) ) ).
( (IP-MAT (ILYR (ILYR (PP-SCON (IP-PPL2 (BAG;_La_ Being;{be})
(ADJP-PRD (ADJ blind;{blind}))
(ADVP-NIM (ADV at_first;{at_first}))))
(NP-SBJ;{MICKEY} (NPR Mickey;{Mickey}))
(ADVP-NIM (ADV always;{always}))
(VBD;_cat_Vg_ kept;{keep})
(IP-PPL-CAT (VAG;_Ipr_ bumping;{bump[into]})
(PP-CLR (P-ROLE into;{into})
(NP (NS objects;{object})
(IP-REL (C that;{that})
(NP-SBJ *T*)
(BED;_Ipr_ were;{be[in]})
(PP-CLR (P-ROLE in;{in})
(NP (NP-GEN;{MICKEY} (PRO;_genm_ his;{his}))
(N path;{path}))))))))
(CONJP (CONJ but;{but})
(ILYR (PP-SCON (P-CONN as;{as})
(IP-ADV (NP-SBJ (NP-GEN;{MICKEY} (PRO;_genm_ his;{his}))
(NS eyes;{eye}))
(VBD;_I_ formed;{form})))
(NP-SBJ;{MICKEY} (PRO he;{he}))
(VBD;_cat_Vt_ began;{begin})
(IP-INF-CAT (TO to;{to})
(VB;_I_ see;{see})))))
(PUNC .))
(ID 4_a_stories_10_k58))