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

arc(r_0052_0003__saw,r_0052_0002__I,arg0).
arc(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,attrib).
arc(r_0052_0004__a_r_0052_0008__person,r_0052_0007__small,attrib).
arc(r_0052_0006__extraordinary,r_0052_0005__most,qual).
arc(r_0052_0011__stood,r_0052_0004__a_r_0052_0008__person,arg0).
arc(r_0052_0011__stood,r_0052_0012__there,nim).
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__nim).
arc(r_0052_0017__seriousness,r_0052_0016__great,attrib).
arc(z_0052_5005,r_0052_0011__stood,scope).
arc(z_0052_5005,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_0003__SAW,R_0052_0012__THERE,R_0052_0011__STOOD,R_0052_0016__GREAT,R_0052_0017__SERIOUSNESS,R_0052_0013__EXAMINING,Z_0052_5005] :
      ( 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_0052_5005(Z_0052_5005)
      & has_conj1(Z_0052_5005,R_0052_0013__EXAMINING)
      & r_0052_0013__examining(R_0052_0013__EXAMINING)
      & has_r_0052_0015__with__nim(R_0052_0013__EXAMINING,R_0052_0017__SERIOUSNESS)
      & r_0052_0017__seriousness(R_0052_0017__SERIOUSNESS)
      & has_attrib(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_attrib(R_0052_0004__A_R_0052_0008__PERSON,R_0052_0007__SMALL)
      & has_attrib(R_0052_0004__A_R_0052_0008__PERSON,R_0052_0006__EXTRAORDINARY)
      & r_0052_0006__extraordinary(R_0052_0006__EXTRAORDINARY)
      & has_qual(R_0052_0006__EXTRAORDINARY,R_0052_0005__MOST)
      & has_arg1(R_0052_0013__EXAMINING,R_0052_0002__I)
      & has_conj2(Z_0052_5005,R_0052_0011__STOOD)
      & r_0052_0011__stood(R_0052_0011__STOOD)
      & has_nim(R_0052_0011__STOOD,R_0052_0012__THERE)
      & has_arg0(R_0052_0011__STOOD,R_0052_0004__A_R_0052_0008__PERSON)
      & r_0052_0003__saw(R_0052_0003__SAW)
      & has_arg1(R_0052_0003__SAW,R_0052_0004__A_R_0052_0008__PERSON)
      & has_arg0(R_0052_0003__SAW,R_0052_0002__I) ) ).