arc(r_0052_0001__And_r_0052_0003__saw, r_0052_0002__I, arg0).
arc(r_0052_0001__And_r_0052_0003__saw, r_0052_0004__a_r_0052_0008__person, arg1).
arc(r_0052_0004__a_r_0052_0008__person, r_0052_0006__extraordinary, attrib12).
arc(r_0052_0004__a_r_0052_0008__person, r_0052_0007__small, attrib18).
arc(r_0052_0006__extraordinary, r_0052_0005__most, qual13).
arc(r_0052_0011__stood, r_0052_0004__a_r_0052_0008__person, arg0).
arc(r_0052_0011__stood, r_0052_0012__there, nim31).
arc(r_0052_0013__examining, r_0052_0002__I, arg1).
arc(r_0052_0013__examining, r_0052_0004__a_r_0052_0008__person, arg0).
arc(r_0052_0013__examining, r_0052_0017__seriousness, r_0052_0015__with_nim44).
arc(r_0052_0017__seriousness, r_0052_0016__great, attrib45).
arc(z_000_52_a_saint_exupery_1943_34, r_0052_0011__stood, scope).
arc(z_000_52_a_saint_exupery_1943_34, r_0052_0013__examining, restriction).

fof(formula,axiom,
    ? [R_0052_0002__I,R_0052_0005__MOST,R_0052_0006__EXTRAORDINARY,R_0052_0007__SMALL,R_0052_0004__A_R_0052_0008__PERSON,R_0052_0001__AND_R_0052_0003__SAW,R_0052_0012__THERE,R_0052_0011__STOOD,R_0052_0016__GREAT,R_0052_0017__SERIOUSNESS,R_0052_0013__EXAMINING,Z_000_52_A_SAINT_EXUPERY_1943_34] :
      ( r_0052_0002__I(R_0052_0002__I)
      & r_0052_0005__most(R_0052_0005__MOST)
      & r_0052_0007__small(R_0052_0007__SMALL)
      & r_0052_0012__there(R_0052_0012__THERE)
      & r_0052_0016__great(R_0052_0016__GREAT)
      & z_000_52_a_saint_exupery_1943_34(Z_000_52_A_SAINT_EXUPERY_1943_34)
      & has_conj1(Z_000_52_A_SAINT_EXUPERY_1943_34,R_0052_0013__EXAMINING)
      & r_0052_0013__examining(R_0052_0013__EXAMINING)
      & has_r_0052_0015__with_nim44(R_0052_0013__EXAMINING,R_0052_0017__SERIOUSNESS)
      & r_0052_0017__seriousness(R_0052_0017__SERIOUSNESS)
      & has_attrib45(R_0052_0017__SERIOUSNESS,R_0052_0016__GREAT)
      & has_arg0(R_0052_0013__EXAMINING,R_0052_0004__A_R_0052_0008__PERSON)
      & r_0052_0004__a_r_0052_0008__person(R_0052_0004__A_R_0052_0008__PERSON)
      & has_attrib18(R_0052_0004__A_R_0052_0008__PERSON,R_0052_0007__SMALL)
      & has_attrib12(R_0052_0004__A_R_0052_0008__PERSON,R_0052_0006__EXTRAORDINARY)
      & r_0052_0006__extraordinary(R_0052_0006__EXTRAORDINARY)
      & has_qual13(R_0052_0006__EXTRAORDINARY,R_0052_0005__MOST)
      & has_arg1(R_0052_0013__EXAMINING,R_0052_0002__I)
      & has_conj2(Z_000_52_A_SAINT_EXUPERY_1943_34,R_0052_0011__STOOD)
      & r_0052_0011__stood(R_0052_0011__STOOD)
      & has_nim31(R_0052_0011__STOOD,R_0052_0012__THERE)
      & has_arg0(R_0052_0011__STOOD,R_0052_0004__A_R_0052_0008__PERSON)
      & r_0052_0001__And_r_0052_0003__saw(R_0052_0001__AND_R_0052_0003__SAW)
      & has_arg1(R_0052_0001__AND_R_0052_0003__SAW,R_0052_0004__A_R_0052_0008__PERSON)
      & has_arg0(R_0052_0001__AND_R_0052_0003__SAW,R_0052_0002__I) ) ).

( (IP-MAT (CONJ;_cl_ And;{and})
          (NP-SBJ (PRO I;{I}))
          (VBD;__ saw;{see})
          (NP-OB1 (D a;{a})
                  (ADJP (ADVP (ADVS most;{most}))
                        (ADJ extraordinary;{extraordinary}))
                  (ADJP (ADJ small;{small}))
                  (N person;{person})
                  (PUNC ,)
                  (IP-REL (NP-SBJ (RPRO who;{who}))
                          (VBD;__ stood;{stand})
                          (ADVP-NIM (ADV there;{there}))
                          (PP-SCON (IP-PPL (VAG;__ examining;{examine})
                                           (NP-OB1 (PRO me;{I}))
                                           (PP-NIM (P-ROLE with;{with})
                                                   (NP (ADJP (ADJ great;{great}))
                                                       (N seriousness;{seriousness})))))))
          (PUNC .))
  (ID 52_a_saint_exupery_1943))