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_0004_0009__OBJECTS,R_0004_0004__MICKEY,R_0004_0014__PATH,R_0004_0010__THAT_R_0004_0011__WERE,R_0004_0018__EYES,R_0004_0019__FORMED,R_0004_0021__BEGAN_R_0004_0022__TO_R_0004_0023__SEE,R_0004_0016__AS,R_0004_0002__BLIND,R_0004_0003__AT_FIRST,R_0004_0001__BEING,R_0004_0005__ALWAYS,R_0004_0006__KEPT_R_0004_0007__BUMPING,Z_000_4_A_STORIES_10_K58_4,R_0004_0015__BUT] :
      ( r_0004_0002__blind(R_0004_0002__BLIND)
      & r_0004_0003__at_first(R_0004_0003__AT_FIRST)
      & r_0004_0004__Mickey(R_0004_0004__MICKEY)
      & r_0004_0005__always(R_0004_0005__ALWAYS)
      & r_0004_0009__objects(R_0004_0009__OBJECTS)
      & r_0004_0015__but(R_0004_0015__BUT)
      & has_conj1(R_0004_0015__BUT,Z_000_4_A_STORIES_10_K58_4)
      & z_000_4_a_stories_10_k58_4(Z_000_4_A_STORIES_10_K58_4)
      & has_conj2(Z_000_4_A_STORIES_10_K58_4,R_0004_0006__KEPT_R_0004_0007__BUMPING)
      & r_0004_0006__kept_r_0004_0007__bumping(R_0004_0006__KEPT_R_0004_0007__BUMPING)
      & has_r_0004_0008__into_clr28(R_0004_0006__KEPT_R_0004_0007__BUMPING,R_0004_0009__OBJECTS)
      & has_arg0(R_0004_0006__KEPT_R_0004_0007__BUMPING,R_0004_0004__MICKEY)
      & has_nim17(R_0004_0006__KEPT_R_0004_0007__BUMPING,R_0004_0005__ALWAYS)
      & has_conj1(Z_000_4_A_STORIES_10_K58_4,R_0004_0001__BEING)
      & r_0004_0001__Being(R_0004_0001__BEING)
      & has_arg0(R_0004_0001__BEING,R_0004_0004__MICKEY)
      & has_nim11(R_0004_0001__BEING,R_0004_0003__AT_FIRST)
      & has_prd(R_0004_0001__BEING,R_0004_0002__BLIND)
      & has_conj2(R_0004_0015__BUT,R_0004_0016__AS)
      & r_0004_0016__as(R_0004_0016__AS)
      & has_conj2(R_0004_0016__AS,R_0004_0021__BEGAN_R_0004_0022__TO_R_0004_0023__SEE)
      & r_0004_0021__began_r_0004_0022__to_r_0004_0023__see(R_0004_0021__BEGAN_R_0004_0022__TO_R_0004_0023__SEE)
      & has_arg0(R_0004_0021__BEGAN_R_0004_0022__TO_R_0004_0023__SEE,R_0004_0004__MICKEY)
      & has_conj1(R_0004_0016__AS,R_0004_0019__FORMED)
      & r_0004_0019__formed(R_0004_0019__FORMED)
      & has_arg0(R_0004_0019__FORMED,R_0004_0018__EYES)
      & r_0004_0018__eyes(R_0004_0018__EYES)
      & has_gen(R_0004_0018__EYES,R_0004_0004__MICKEY)
      & r_0004_0010__that_r_0004_0011__were(R_0004_0010__THAT_R_0004_0011__WERE)
      & has_r_0004_0012__in_clr41(R_0004_0010__THAT_R_0004_0011__WERE,R_0004_0014__PATH)
      & r_0004_0014__path(R_0004_0014__PATH)
      & has_gen(R_0004_0014__PATH,R_0004_0004__MICKEY)
      & has_arg0(R_0004_0010__THAT_R_0004_0011__WERE,R_0004_0009__OBJECTS) ) ).

( (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))