TSPC 70_a_saint_exupery

70_a_saint_exupery_1943
And I was astounded to hear the little fellow greet it with, “No, no, no!

arc(r_0070_0001__And_r_0070_0003__was, r_0070_0004__astounded, scope).
arc(r_0070_0004__astounded, r_0070_0002__I, arg2).
arc(r_0070_0004__astounded, r_0070_0005__to_r_0070_0006__hear, arg1).
arc(r_0070_0004__astounded, z_000_70_a_saint_exupery_1943_10, arg0).
arc(r_0070_0005__to_r_0070_0006__hear, r_0070_0002__I, arg0).
arc(r_0070_0005__to_r_0070_0006__hear, r_0070_0010__greet, arg1).
arc(r_0070_0007__the_r_0070_0009__fellow, r_0070_0008__little, attrib22).
arc(r_0070_0010__greet, r_0070_0007__the_r_0070_0009__fellow, arg0).
arc(r_0070_0010__greet, r_0070_0011__it, arg1).
arc(r_0070_0010__greet, r_0070_0015__No_r_0070_0017__no_r_0070_0019__no, r_0070_0012__with_nim38).

fof(formula,axiom,
    ? [R_0070_0002__I,R_0070_0008__LITTLE,R_0070_0007__THE_R_0070_0009__FELLOW,R_0070_0011__IT,R_0070_0015__NO_R_0070_0017__NO_R_0070_0019__NO,R_0070_0010__GREET,R_0070_0005__TO_R_0070_0006__HEAR,Z_000_70_A_SAINT_EXUPERY_1943_10,R_0070_0001__AND_R_0070_0003__WAS_R_0070_0004__ASTOUNDED] :
      ( r_0070_0002__I(R_0070_0002__I)
      & r_0070_0008__little(R_0070_0008__LITTLE)
      & r_0070_0011__it(R_0070_0011__IT)
      & r_0070_0015__No_r_0070_0017__no_r_0070_0019__no(R_0070_0015__NO_R_0070_0017__NO_R_0070_0019__NO)
      & z_000_70_a_saint_exupery_1943_10(Z_000_70_A_SAINT_EXUPERY_1943_10)
      & r_0070_0001__And_r_0070_0003__was_r_0070_0004__astounded(R_0070_0001__AND_R_0070_0003__WAS_R_0070_0004__ASTOUNDED)
      & has_arg0(R_0070_0001__AND_R_0070_0003__WAS_R_0070_0004__ASTOUNDED,Z_000_70_A_SAINT_EXUPERY_1943_10)
      & has_arg1(R_0070_0001__AND_R_0070_0003__WAS_R_0070_0004__ASTOUNDED,R_0070_0005__TO_R_0070_0006__HEAR)
      & r_0070_0005__to_r_0070_0006__hear(R_0070_0005__TO_R_0070_0006__HEAR)
      & has_arg1(R_0070_0005__TO_R_0070_0006__HEAR,R_0070_0010__GREET)
      & r_0070_0010__greet(R_0070_0010__GREET)
      & has_r_0070_0012__with_nim38(R_0070_0010__GREET,R_0070_0015__NO_R_0070_0017__NO_R_0070_0019__NO)
      & has_arg1(R_0070_0010__GREET,R_0070_0011__IT)
      & has_arg0(R_0070_0010__GREET,R_0070_0007__THE_R_0070_0009__FELLOW)
      & r_0070_0007__the_r_0070_0009__fellow(R_0070_0007__THE_R_0070_0009__FELLOW)
      & has_attrib22(R_0070_0007__THE_R_0070_0009__FELLOW,R_0070_0008__LITTLE)
      & has_arg0(R_0070_0005__TO_R_0070_0006__HEAR,R_0070_0002__I)
      & has_arg2(R_0070_0001__AND_R_0070_0003__WAS_R_0070_0004__ASTOUNDED,R_0070_0002__I) ) ).

( (IP-MAT (CONJ;_cl_ And;{and})
          (NP-SBJ (PRO I;{I}))
          (BED;_cat_VePASS_ was;{be})
          (IP-PPL-CAT (NP-LGS *)
                      (VVN;__ astounded;{astound})
                      (IP-INF-OB1 (TO to;{to})
                                  (VB;_Tni_ hear;{hear})
                                  (NP-DOB1;{PRINCE} (D the;{the})
                                                    (ADJP (ADJ little;{little}))
                                                    (N fellow;{fellow}))
                                  (IP-INF-OB1 (VB;__ greet;{greet})
                                              (NP-OB1;{ARTWORK} (PRO it;{it}))
                                              (PP-NIM (P-ROLE with;{with})
                                                      (PUNC ,)
                                                      (NP (PULQ <ldquo>)
                                                          (INTJ No)
                                                          (PUNC ,)
                                                          (REACT no)
                                                          (PUNC ,)
                                                          (REACT no))))))
          (PUNC !))
  (ID 70_a_saint_exupery_1943))