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.

%3 r_0004_0001__Being Being r_0004_0002__blind blind r_0004_0001__Being->r_0004_0002__blind [prd] r_0004_0003__at_first at first r_0004_0001__Being->r_0004_0003__at_first [nim] r_0004_0004__Mickey Mickey r_0004_0001__Being->r_0004_0004__Mickey [arg0] r_0004_0006__kept kept r_0004_0005__always always r_0004_0006__kept->r_0004_0005__always [nim] r_0004_0007__bumping bumping r_0004_0006__kept->r_0004_0007__bumping [scope] r_0004_0007__bumping->r_0004_0004__Mickey [arg0] r_0004_0009__objects objects r_0004_0007__bumping->r_0004_0009__objects into [clr] r_0004_0010__that_r_0004_0011__were that were r_0004_0010__that_r_0004_0011__were->r_0004_0009__objects [arg0] r_0004_0014__path path r_0004_0010__that_r_0004_0011__were->r_0004_0014__path in [clr] r_0004_0014__path->r_0004_0004__Mickey [gen] r_0004_0015__but but r_0004_0016__as as r_0004_0015__but->r_0004_0016__as [conj2] z_000_4_a_stories_10_k58_4 r_0004_0015__but->z_000_4_a_stories_10_k58_4 [conj1] r_0004_0019__formed formed r_0004_0016__as->r_0004_0019__formed [restriction] r_0004_0021__began began r_0004_0016__as->r_0004_0021__began [scope] z_000_4_a_stories_10_k58_4->r_0004_0001__Being [restriction] z_000_4_a_stories_10_k58_4->r_0004_0006__kept [scope] r_0004_0018__eyes eyes r_0004_0019__formed->r_0004_0018__eyes [arg0] r_0004_0022__to_r_0004_0023__see to see r_0004_0021__began->r_0004_0022__to_r_0004_0023__see [scope] r_0004_0018__eyes->r_0004_0004__Mickey [gen] r_0004_0022__to_r_0004_0023__see->r_0004_0004__Mickey [arg0]
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).



%3 z_000_4_a_stories_10_k58_4 r_0004_0006__kept_r_0004_0007__bumping kept bumping z_000_4_a_stories_10_k58_4->r_0004_0006__kept_r_0004_0007__bumping [conj2] r_0004_0001__Being Being z_000_4_a_stories_10_k58_4->r_0004_0001__Being [conj1] r_0004_0004__Mickey Mickey r_0004_0006__kept_r_0004_0007__bumping->r_0004_0004__Mickey [arg0] r_0004_0009__objects objects r_0004_0006__kept_r_0004_0007__bumping->r_0004_0009__objects into [clr] r_0004_0005__always always r_0004_0006__kept_r_0004_0007__bumping->r_0004_0005__always [nim] r_0004_0001__Being->r_0004_0004__Mickey [arg0] r_0004_0003__at_first at first r_0004_0001__Being->r_0004_0003__at_first [nim] r_0004_0002__blind blind r_0004_0001__Being->r_0004_0002__blind [prd] r_0004_0021__began_r_0004_0022__to_r_0004_0023__see began to see r_0004_0021__began_r_0004_0022__to_r_0004_0023__see->r_0004_0004__Mickey [arg0] r_0004_0019__formed formed r_0004_0018__eyes eyes r_0004_0019__formed->r_0004_0018__eyes [arg0] r_0004_0018__eyes->r_0004_0004__Mickey [gen] r_0004_0016__as as r_0004_0016__as->r_0004_0021__began_r_0004_0022__to_r_0004_0023__see [conj2] r_0004_0016__as->r_0004_0019__formed [conj1] r_0004_0015__but but r_0004_0015__but->z_000_4_a_stories_10_k58_4 [conj1] r_0004_0015__but->r_0004_0016__as [conj2] r_0004_0014__path path r_0004_0014__path->r_0004_0004__Mickey [gen] r_0004_0010__that_r_0004_0011__were that were r_0004_0010__that_r_0004_0011__were->r_0004_0014__path in [clr] r_0004_0010__that_r_0004_0011__were->r_0004_0009__objects [arg0]
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) ) ).



n4_a_stories_10_k58 n4_a_stories_10_k58__1_1_1_1_1_1_1 Being n4_a_stories_10_k58__1_1_1_1_1_2_1_1 blind n4_a_stories_10_k58__1_1_1_1_1_3_1_1 at_first n4_a_stories_10_k58__1_1_1_2_1_1 Mickey n4_a_stories_10_k58__1_1_1_3_1_1 always n4_a_stories_10_k58__1_1_1_4_1 kept n4_a_stories_10_k58__1_1_1_5_1_1 bumping n4_a_stories_10_k58__1_1_1_5_2_1_1 into n4_a_stories_10_k58__1_1_1_5_2_2_1_1 objects n4_a_stories_10_k58__1_1_1_5_2_2_2_1_1 that n4_a_stories_10_k58__1_1_1_5_2_2_2_2_1 *T* n4_a_stories_10_k58__1_1_1_5_2_2_2_3_1 were n4_a_stories_10_k58__1_1_1_5_2_2_2_4_1_1 in n4_a_stories_10_k58__1_1_1_5_2_2_2_4_2_1_1_1 his n4_a_stories_10_k58__1_1_1_5_2_2_2_4_2_2_1 path n4_a_stories_10_k58__1_1_2_1_1 but n4_a_stories_10_k58__1_1_2_2_1_1_1 as n4_a_stories_10_k58__1_1_2_2_1_2_1_1_1_1 his n4_a_stories_10_k58__1_1_2_2_1_2_1_2_1 eyes n4_a_stories_10_k58__1_1_2_2_1_2_2_1 formed n4_a_stories_10_k58__1_1_2_2_2_1_1 he n4_a_stories_10_k58__1_1_2_2_3_1 began n4_a_stories_10_k58__1_1_2_2_4_1_1 to n4_a_stories_10_k58__1_1_2_2_4_2_1 see n4_a_stories_10_k58__1_2_1 . n4_a_stories_10_k58__1 IP-MAT n4_a_stories_10_k58__1_1 ILYR n4_a_stories_10_k58__1->n4_a_stories_10_k58__1_1 n4_a_stories_10_k58__1_2 PUNC n4_a_stories_10_k58__1->n4_a_stories_10_k58__1_2 n4_a_stories_10_k58__1_1_1 ILYR n4_a_stories_10_k58__1_1->n4_a_stories_10_k58__1_1_1 n4_a_stories_10_k58__1_1_2 CONJP n4_a_stories_10_k58__1_1->n4_a_stories_10_k58__1_1_2 n4_a_stories_10_k58__1_1_1_1 PP-SCON n4_a_stories_10_k58__1_1_1->n4_a_stories_10_k58__1_1_1_1 n4_a_stories_10_k58__1_1_1_2 NP-SBJ n4_a_stories_10_k58__1_1_1->n4_a_stories_10_k58__1_1_1_2 n4_a_stories_10_k58__1_1_1_3 ADVP-NIM n4_a_stories_10_k58__1_1_1->n4_a_stories_10_k58__1_1_1_3 n4_a_stories_10_k58__1_1_1_4 VBD;_cat_Vg_ n4_a_stories_10_k58__1_1_1->n4_a_stories_10_k58__1_1_1_4 n4_a_stories_10_k58__1_1_1_5 IP-PPL-CAT n4_a_stories_10_k58__1_1_1->n4_a_stories_10_k58__1_1_1_5 n4_a_stories_10_k58__1_1_1_1_1 IP-PPL2 n4_a_stories_10_k58__1_1_1_1->n4_a_stories_10_k58__1_1_1_1_1 n4_a_stories_10_k58__1_1_1_1_1_1 BAG;_La_ n4_a_stories_10_k58__1_1_1_1_1->n4_a_stories_10_k58__1_1_1_1_1_1 n4_a_stories_10_k58__1_1_1_1_1_2 ADJP-PRD n4_a_stories_10_k58__1_1_1_1_1->n4_a_stories_10_k58__1_1_1_1_1_2 n4_a_stories_10_k58__1_1_1_1_1_3 ADVP-NIM n4_a_stories_10_k58__1_1_1_1_1->n4_a_stories_10_k58__1_1_1_1_1_3 n4_a_stories_10_k58__1_1_1_1_1_1->n4_a_stories_10_k58__1_1_1_1_1_1_1 n4_a_stories_10_k58__1_1_1_1_1_2_1 ADJ n4_a_stories_10_k58__1_1_1_1_1_2->n4_a_stories_10_k58__1_1_1_1_1_2_1 n4_a_stories_10_k58__1_1_1_1_1_2_1->n4_a_stories_10_k58__1_1_1_1_1_2_1_1 n4_a_stories_10_k58__1_1_1_1_1_3_1 ADV n4_a_stories_10_k58__1_1_1_1_1_3->n4_a_stories_10_k58__1_1_1_1_1_3_1 n4_a_stories_10_k58__1_1_1_1_1_3_1->n4_a_stories_10_k58__1_1_1_1_1_3_1_1 n4_a_stories_10_k58__1_1_1_2_1 NPR n4_a_stories_10_k58__1_1_1_2->n4_a_stories_10_k58__1_1_1_2_1 n4_a_stories_10_k58__1_1_1_2_1->n4_a_stories_10_k58__1_1_1_2_1_1 n4_a_stories_10_k58__1_1_1_3_1 ADV n4_a_stories_10_k58__1_1_1_3->n4_a_stories_10_k58__1_1_1_3_1 n4_a_stories_10_k58__1_1_1_3_1->n4_a_stories_10_k58__1_1_1_3_1_1 n4_a_stories_10_k58__1_1_1_4->n4_a_stories_10_k58__1_1_1_4_1 n4_a_stories_10_k58__1_1_1_5_1 VAG;_Ipr_ n4_a_stories_10_k58__1_1_1_5->n4_a_stories_10_k58__1_1_1_5_1 n4_a_stories_10_k58__1_1_1_5_2 PP-CLR n4_a_stories_10_k58__1_1_1_5->n4_a_stories_10_k58__1_1_1_5_2 n4_a_stories_10_k58__1_1_1_5_1->n4_a_stories_10_k58__1_1_1_5_1_1 n4_a_stories_10_k58__1_1_1_5_2_1 P-ROLE n4_a_stories_10_k58__1_1_1_5_2->n4_a_stories_10_k58__1_1_1_5_2_1 n4_a_stories_10_k58__1_1_1_5_2_2 NP n4_a_stories_10_k58__1_1_1_5_2->n4_a_stories_10_k58__1_1_1_5_2_2 n4_a_stories_10_k58__1_1_1_5_2_1->n4_a_stories_10_k58__1_1_1_5_2_1_1 n4_a_stories_10_k58__1_1_1_5_2_2_1 NS n4_a_stories_10_k58__1_1_1_5_2_2->n4_a_stories_10_k58__1_1_1_5_2_2_1 n4_a_stories_10_k58__1_1_1_5_2_2_2 IP-REL n4_a_stories_10_k58__1_1_1_5_2_2->n4_a_stories_10_k58__1_1_1_5_2_2_2 n4_a_stories_10_k58__1_1_1_5_2_2_1->n4_a_stories_10_k58__1_1_1_5_2_2_1_1 n4_a_stories_10_k58__1_1_1_5_2_2_2_1 C n4_a_stories_10_k58__1_1_1_5_2_2_2->n4_a_stories_10_k58__1_1_1_5_2_2_2_1 n4_a_stories_10_k58__1_1_1_5_2_2_2_2 NP-SBJ n4_a_stories_10_k58__1_1_1_5_2_2_2->n4_a_stories_10_k58__1_1_1_5_2_2_2_2 n4_a_stories_10_k58__1_1_1_5_2_2_2_3 BED;_Ipr_ n4_a_stories_10_k58__1_1_1_5_2_2_2->n4_a_stories_10_k58__1_1_1_5_2_2_2_3 n4_a_stories_10_k58__1_1_1_5_2_2_2_4 PP-CLR n4_a_stories_10_k58__1_1_1_5_2_2_2->n4_a_stories_10_k58__1_1_1_5_2_2_2_4 n4_a_stories_10_k58__1_1_1_5_2_2_2_1->n4_a_stories_10_k58__1_1_1_5_2_2_2_1_1 n4_a_stories_10_k58__1_1_1_5_2_2_2_2->n4_a_stories_10_k58__1_1_1_5_2_2_2_2_1 n4_a_stories_10_k58__1_1_1_5_2_2_2_3->n4_a_stories_10_k58__1_1_1_5_2_2_2_3_1 n4_a_stories_10_k58__1_1_1_5_2_2_2_4_1 P-ROLE n4_a_stories_10_k58__1_1_1_5_2_2_2_4->n4_a_stories_10_k58__1_1_1_5_2_2_2_4_1 n4_a_stories_10_k58__1_1_1_5_2_2_2_4_2 NP n4_a_stories_10_k58__1_1_1_5_2_2_2_4->n4_a_stories_10_k58__1_1_1_5_2_2_2_4_2 n4_a_stories_10_k58__1_1_1_5_2_2_2_4_1->n4_a_stories_10_k58__1_1_1_5_2_2_2_4_1_1 n4_a_stories_10_k58__1_1_1_5_2_2_2_4_2_1 NP-GEN n4_a_stories_10_k58__1_1_1_5_2_2_2_4_2->n4_a_stories_10_k58__1_1_1_5_2_2_2_4_2_1 n4_a_stories_10_k58__1_1_1_5_2_2_2_4_2_2 N n4_a_stories_10_k58__1_1_1_5_2_2_2_4_2->n4_a_stories_10_k58__1_1_1_5_2_2_2_4_2_2 n4_a_stories_10_k58__1_1_1_5_2_2_2_4_2_1_1 PRO;_genm_ n4_a_stories_10_k58__1_1_1_5_2_2_2_4_2_1->n4_a_stories_10_k58__1_1_1_5_2_2_2_4_2_1_1 n4_a_stories_10_k58__1_1_1_5_2_2_2_4_2_1_1->n4_a_stories_10_k58__1_1_1_5_2_2_2_4_2_1_1_1 n4_a_stories_10_k58__1_1_1_5_2_2_2_4_2_2->n4_a_stories_10_k58__1_1_1_5_2_2_2_4_2_2_1 n4_a_stories_10_k58__1_1_2_1 CONJ n4_a_stories_10_k58__1_1_2->n4_a_stories_10_k58__1_1_2_1 n4_a_stories_10_k58__1_1_2_2 ILYR n4_a_stories_10_k58__1_1_2->n4_a_stories_10_k58__1_1_2_2 n4_a_stories_10_k58__1_1_2_1->n4_a_stories_10_k58__1_1_2_1_1 n4_a_stories_10_k58__1_1_2_2_1 PP-SCON n4_a_stories_10_k58__1_1_2_2->n4_a_stories_10_k58__1_1_2_2_1 n4_a_stories_10_k58__1_1_2_2_2 NP-SBJ n4_a_stories_10_k58__1_1_2_2->n4_a_stories_10_k58__1_1_2_2_2 n4_a_stories_10_k58__1_1_2_2_3 VBD;_cat_Vt_ n4_a_stories_10_k58__1_1_2_2->n4_a_stories_10_k58__1_1_2_2_3 n4_a_stories_10_k58__1_1_2_2_4 IP-INF-CAT n4_a_stories_10_k58__1_1_2_2->n4_a_stories_10_k58__1_1_2_2_4 n4_a_stories_10_k58__1_1_2_2_1_1 P-CONN n4_a_stories_10_k58__1_1_2_2_1->n4_a_stories_10_k58__1_1_2_2_1_1 n4_a_stories_10_k58__1_1_2_2_1_2 IP-ADV n4_a_stories_10_k58__1_1_2_2_1->n4_a_stories_10_k58__1_1_2_2_1_2 n4_a_stories_10_k58__1_1_2_2_1_1->n4_a_stories_10_k58__1_1_2_2_1_1_1 n4_a_stories_10_k58__1_1_2_2_1_2_1 NP-SBJ n4_a_stories_10_k58__1_1_2_2_1_2->n4_a_stories_10_k58__1_1_2_2_1_2_1 n4_a_stories_10_k58__1_1_2_2_1_2_2 VBD;_I_ n4_a_stories_10_k58__1_1_2_2_1_2->n4_a_stories_10_k58__1_1_2_2_1_2_2 n4_a_stories_10_k58__1_1_2_2_1_2_1_1 NP-GEN n4_a_stories_10_k58__1_1_2_2_1_2_1->n4_a_stories_10_k58__1_1_2_2_1_2_1_1 n4_a_stories_10_k58__1_1_2_2_1_2_1_2 NS n4_a_stories_10_k58__1_1_2_2_1_2_1->n4_a_stories_10_k58__1_1_2_2_1_2_1_2 n4_a_stories_10_k58__1_1_2_2_1_2_1_1_1 PRO;_genm_ n4_a_stories_10_k58__1_1_2_2_1_2_1_1->n4_a_stories_10_k58__1_1_2_2_1_2_1_1_1 n4_a_stories_10_k58__1_1_2_2_1_2_1_1_1->n4_a_stories_10_k58__1_1_2_2_1_2_1_1_1_1 n4_a_stories_10_k58__1_1_2_2_1_2_1_2->n4_a_stories_10_k58__1_1_2_2_1_2_1_2_1 n4_a_stories_10_k58__1_1_2_2_1_2_2->n4_a_stories_10_k58__1_1_2_2_1_2_2_1 n4_a_stories_10_k58__1_1_2_2_2_1 PRO n4_a_stories_10_k58__1_1_2_2_2->n4_a_stories_10_k58__1_1_2_2_2_1 n4_a_stories_10_k58__1_1_2_2_2_1->n4_a_stories_10_k58__1_1_2_2_2_1_1 n4_a_stories_10_k58__1_1_2_2_3->n4_a_stories_10_k58__1_1_2_2_3_1 n4_a_stories_10_k58__1_1_2_2_4_1 TO n4_a_stories_10_k58__1_1_2_2_4->n4_a_stories_10_k58__1_1_2_2_4_1 n4_a_stories_10_k58__1_1_2_2_4_2 VB;_I_ n4_a_stories_10_k58__1_1_2_2_4->n4_a_stories_10_k58__1_1_2_2_4_2 n4_a_stories_10_k58__1_1_2_2_4_1->n4_a_stories_10_k58__1_1_2_2_4_1_1 n4_a_stories_10_k58__1_1_2_2_4_2->n4_a_stories_10_k58__1_1_2_2_4_2_1 n4_a_stories_10_k58__1_2->n4_a_stories_10_k58__1_2_1
( (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))