TSPC 57_a_saint_exupery

57_a_saint_exupery_1943
Now I stared at this sudden apparition with my eyes fairly starting out of my head in astonishment.

( (IP-MAT (ADVP-NIM (ADV Now;{now}))
          (NP-SBJ (PRO I;{I}))
          (VBD;__ stared;{stare})
          (PP-NIM (P-ROLE at;{at})
                  (NP (D this;{this})
                      (ADJP (ADJ sudden;{sudden}))
                      (N apparition;{apparition})))
          (PP-NIM (P-ROLE with;{with})
                  (NP (NP-GEN (PRO;_genm_ my;{my}))
                      (NS eyes;{eye})
                      (IP-PPL (ADVP-NIM (ADV fairly;{fairly}))
                              (VAG;__ starting;{start})
                              (PP-NIM (P-ROLE out_of;{out_of})
                                      (NP (NP-GEN (PRO;_genm_ my;{my}))
                                          (N head;{head})))
                              (PP-NIM (P-ROLE in;{in})
                                      (NP (N astonishment;{astonishment}))))))
          (PUNC .))
  (ID 57_a_saint_exupery_1943))

arc(r_0057_0003__stared,r_0057_0001__Now,nim).
arc(r_0057_0003__stared,r_0057_0002__I,arg0).
arc(r_0057_0003__stared,r_0057_0005__this_r_0057_0007__apparition,r_0057_0004__at__nim).
arc(r_0057_0003__stared,r_0057_0010__eyes,r_0057_0008__with__nim).
arc(r_0057_0005__this_r_0057_0007__apparition,r_0057_0006__sudden,attrib).
arc(r_0057_0010__eyes,r_0057_0002__I,gen).
arc(r_0057_0012__starting,r_0057_0010__eyes,inv_arg0).
arc(r_0057_0012__starting,r_0057_0011__fairly,nim).
arc(r_0057_0012__starting,r_0057_0015__head,r_0057_0013__out_of__nim).
arc(r_0057_0012__starting,r_0057_0017__astonishment,r_0057_0016__in__nim).
arc(r_0057_0015__head,r_0057_0002__I,gen).

fof(formula,axiom,
    ? [R_0057_0001__NOW,R_0057_0002__I,R_0057_0006__SUDDEN,R_0057_0005__THIS_R_0057_0007__APPARITION,R_0057_0011__FAIRLY,R_0057_0015__HEAD,R_0057_0017__ASTONISHMENT,R_0057_0012__STARTING,R_0057_0010__EYES,R_0057_0003__STARED] :
      ( r_0057_0001__Now(R_0057_0001__NOW)
      & r_0057_0002__I(R_0057_0002__I)
      & r_0057_0006__sudden(R_0057_0006__SUDDEN)
      & r_0057_0011__fairly(R_0057_0011__FAIRLY)
      & r_0057_0017__astonishment(R_0057_0017__ASTONISHMENT)
      & r_0057_0003__stared(R_0057_0003__STARED)
      & has_r_0057_0008__with__nim(R_0057_0003__STARED,R_0057_0010__EYES)
      & r_0057_0010__eyes(R_0057_0010__EYES)
      & has_inv_arg0(R_0057_0010__EYES,R_0057_0012__STARTING)
      & r_0057_0012__starting(R_0057_0012__STARTING)
      & has_r_0057_0016__in__nim(R_0057_0012__STARTING,R_0057_0017__ASTONISHMENT)
      & has_r_0057_0013__out_of__nim(R_0057_0012__STARTING,R_0057_0015__HEAD)
      & r_0057_0015__head(R_0057_0015__HEAD)
      & has_gen(R_0057_0015__HEAD,R_0057_0002__I)
      & has_nim(R_0057_0012__STARTING,R_0057_0011__FAIRLY)
      & has_gen(R_0057_0010__EYES,R_0057_0002__I)
      & has_r_0057_0004__at__nim(R_0057_0003__STARED,R_0057_0005__THIS_R_0057_0007__APPARITION)
      & r_0057_0005__this_r_0057_0007__apparition(R_0057_0005__THIS_R_0057_0007__APPARITION)
      & has_attrib(R_0057_0005__THIS_R_0057_0007__APPARITION,R_0057_0006__SUDDEN)
      & has_arg0(R_0057_0003__STARED,R_0057_0002__I)
      & has_nim(R_0057_0003__STARED,R_0057_0001__NOW) ) ).