TSPC 4_a_stories_10

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.

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

arc(r_0004_0001__Being,r_0004_0002__blind,prd).
arc(r_0004_0001__Being,r_0004_0003__at_first,nim).
arc(r_0004_0001__Being,r_0004_0004__Mickey,arg0).
arc(r_0004_0006__kept,r_0004_0005__always,nim).
arc(r_0004_0006__kept,r_0004_0007__bumping_r_0004_0008__into,scope).
arc(r_0004_0007__bumping_r_0004_0008__into,r_0004_0004__Mickey,arg0).
arc(r_0004_0007__bumping_r_0004_0008__into,r_0004_0009__objects,arg1).
arc(r_0004_0011__were_r_0004_0012__in,r_0004_0009__objects,inv_arg0).
arc(r_0004_0011__were_r_0004_0012__in,r_0004_0014__path,arg1).
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_0004_5001,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_0023__see,scope).
arc(r_0004_0023__see,r_0004_0004__Mickey,arg0).
arc(z_0004_5001,r_0004_0001__Being,restriction).
arc(z_0004_5001,r_0004_0006__kept,scope).

fof(formula,axiom,
    ? [R_0004_0004__MICKEY,R_0004_0018__EYES,R_0004_0019__FORMED,R_0004_0021__BEGAN_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_0014__PATH,R_0004_0011__WERE_R_0004_0012__IN,R_0004_0009__OBJECTS,R_0004_0006__KEPT_R_0004_0007__BUMPING_R_0004_0008__INTO,Z_0004_5001,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_0015__but(R_0004_0015__BUT)
      & has_conj1(R_0004_0015__BUT,Z_0004_5001)
      & z_0004_5001(Z_0004_5001)
      & has_conj2(Z_0004_5001,R_0004_0006__KEPT_R_0004_0007__BUMPING_R_0004_0008__INTO)
      & r_0004_0006__kept_r_0004_0007__bumping_r_0004_0008__into(R_0004_0006__KEPT_R_0004_0007__BUMPING_R_0004_0008__INTO)
      & has_arg1(R_0004_0006__KEPT_R_0004_0007__BUMPING_R_0004_0008__INTO,R_0004_0009__OBJECTS)
      & r_0004_0009__objects(R_0004_0009__OBJECTS)
      & has_inv_arg0(R_0004_0009__OBJECTS,R_0004_0011__WERE_R_0004_0012__IN)
      & r_0004_0011__were_r_0004_0012__in(R_0004_0011__WERE_R_0004_0012__IN)
      & has_arg1(R_0004_0011__WERE_R_0004_0012__IN,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_0006__KEPT_R_0004_0007__BUMPING_R_0004_0008__INTO,R_0004_0004__MICKEY)
      & has_nim(R_0004_0006__KEPT_R_0004_0007__BUMPING_R_0004_0008__INTO,R_0004_0005__ALWAYS)
      & has_conj1(Z_0004_5001,R_0004_0001__BEING)
      & r_0004_0001__Being(R_0004_0001__BEING)
      & has_arg0(R_0004_0001__BEING,R_0004_0004__MICKEY)
      & has_nim(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_0023__SEE)
      & r_0004_0021__began_r_0004_0023__see(R_0004_0021__BEGAN_R_0004_0023__SEE)
      & has_arg0(R_0004_0021__BEGAN_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) ) ).