( (IP-MAT (PP-SCON (P-CONN Whenever;{whenever})
                   (IP-ADV (NP-SBJ (PRO I;{I}))
                           (VBD;__ met;{meet})
                           (NP-OB1;{PERSON} (NUM one;{one})
                                            (PP (P-ROLE of;{of})
                                                (NP;{PERSONS} (PRO them;{they})))
                                            (IP-REL (NP-SBJ (RPRO who;{who}))
                                                    (VBD;_La_ seemed;{seem})
                                                    (PP-NIM (P-ROLE to;{to})
                                                            (NP (PRO me;{I})))
                                                    (ADJP-PRD (ADVP (ADV at_all;{at_all}))
                                                              (ADJ clear_<hyphen>_sighted;{clear_sighted}))))))
          (PUNC ,)
          (NP-SBJ (PRO I;{I}))
          (VBD;__ tried;{try})
          (NP-OB1 (D the;{the})
                  (N experiment;{experiment})
                  (PP (P-ROLE of;{of})
                      (IP-PPL (VAG;__ showing;{show})
                              (NP-OB2;{PERSON} (PRO him;{he}))
                              (NP-OB1;{ARTWORK} (NP-GEN (PRO;_genm_ my;{my}))
                                                (N Drawing;{drawing})
                                                (N Number;{number})
                                                (N One;{one})
                                                (IP-REL (NP-132 (RPRO which;{which}))
                                                        (PUNC ,)
                                                        (NP-SBJ (PRO I;{I}))
                                                        (HVP;_cat_Ve_ have;{have})
                                                        (IP-PPL-CAT (NP-OB1 *ICH*-132)
                                                                    (ADVP-NIM (ADV always;{always}))
                                                                    (VVN;__ kept;{keep})))))))
          (PUNC .))
  (ID 31_a_saint_exupery_1943))

arc(r_0031_0001__Whenever,r_0031_0003__met,restriction).
arc(r_0031_0001__Whenever,r_0031_0015__tried,scope).
arc(r_0031_0003__met,r_0031_0002__I,arg0).
arc(r_0031_0003__met,r_0031_0004__one,arg1).
arc(r_0031_0004__one,r_0031_0006__them,r_0031_0005__of).
arc(r_0031_0008__seemed,r_0031_0002__I,r_0031_0009__to__nim).
arc(r_0031_0008__seemed,r_0031_0004__one,arg0).
arc(r_0031_0008__seemed,r_0031_0012__clear__hyphen__sighted,prd).
arc(r_0031_0012__clear__hyphen__sighted,r_0031_0011__at_all,qual).
arc(r_0031_0015__tried,r_0031_0002__I,arg0).
arc(r_0031_0015__tried,r_0031_0016__the_r_0031_0017__experiment,arg1).
arc(r_0031_0016__the_r_0031_0017__experiment,r_0031_0019__showing,r_0031_0018__of).
arc(r_0031_0019__showing,r_0031_0004__one,arg2).
arc(r_0031_0019__showing,r_0031_0022__Drawing_r_0031_0023__Number_r_0031_0024__One,arg1).
arc(r_0031_0019__showing,z_0031_5012,arg0).
arc(r_0031_0022__Drawing_r_0031_0023__Number_r_0031_0024__One,r_0031_0002__I,gen).
arc(r_0031_0028__have,r_0031_0030__kept,scope).
arc(r_0031_0030__kept,r_0031_0002__I,arg0).
arc(r_0031_0030__kept,r_0031_0022__Drawing_r_0031_0023__Number_r_0031_0024__One,arg1).
arc(r_0031_0030__kept,r_0031_0029__always,nim).

fof(formula,axiom,
    ? [R_0031_0002__I,R_0031_0006__THEM,R_0031_0004__ONE,R_0031_0011__AT_ALL,R_0031_0012__CLEAR__HYPHEN__SIGHTED,R_0031_0008__SEEMED,R_0031_0022__DRAWING_R_0031_0023__NUMBER_R_0031_0024__ONE,R_0031_0029__ALWAYS,R_0031_0028__HAVE_R_0031_0030__KEPT] :
      ( r_0031_0002__I(R_0031_0002__I)
      & r_0031_0006__them(R_0031_0006__THEM)
      & r_0031_0011__at_all(R_0031_0011__AT_ALL)
      & r_0031_0029__always(R_0031_0029__ALWAYS)
      & r_0031_0028__have_r_0031_0030__kept(R_0031_0028__HAVE_R_0031_0030__KEPT)
      & has_nim(R_0031_0028__HAVE_R_0031_0030__KEPT,R_0031_0029__ALWAYS)
      & has_arg1(R_0031_0028__HAVE_R_0031_0030__KEPT,R_0031_0022__DRAWING_R_0031_0023__NUMBER_R_0031_0024__ONE)
      & r_0031_0022__Drawing_r_0031_0023__Number_r_0031_0024__One(R_0031_0022__DRAWING_R_0031_0023__NUMBER_R_0031_0024__ONE)
      & has_gen(R_0031_0022__DRAWING_R_0031_0023__NUMBER_R_0031_0024__ONE,R_0031_0002__I)
      & has_arg0(R_0031_0028__HAVE_R_0031_0030__KEPT,R_0031_0002__I)
      & r_0031_0008__seemed(R_0031_0008__SEEMED)
      & has_prd(R_0031_0008__SEEMED,R_0031_0012__CLEAR__HYPHEN__SIGHTED)
      & r_0031_0012__clear__hyphen__sighted(R_0031_0012__CLEAR__HYPHEN__SIGHTED)
      & has_qual(R_0031_0012__CLEAR__HYPHEN__SIGHTED,R_0031_0011__AT_ALL)
      & has_arg0(R_0031_0008__SEEMED,R_0031_0004__ONE)
      & r_0031_0004__one(R_0031_0004__ONE)
      & has_r_0031_0005__of(R_0031_0004__ONE,R_0031_0006__THEM)
      & has_r_0031_0009__to__nim(R_0031_0008__SEEMED,R_0031_0002__I)
      & ! [R_0031_0003__MET] :
          ( ( r_0031_0003__met(R_0031_0003__MET)
            & has_arg1(R_0031_0003__MET,R_0031_0004__ONE)
            & has_arg0(R_0031_0003__MET,R_0031_0002__I) )
         => ? [Z_0031_5012,R_0031_0019__SHOWING,R_0031_0016__THE_R_0031_0017__EXPERIMENT,R_0031_0015__TRIED] :
              ( z_0031_5012(Z_0031_5012)
              & r_0031_0015__tried(R_0031_0015__TRIED)
              & has_arg1(R_0031_0015__TRIED,R_0031_0016__THE_R_0031_0017__EXPERIMENT)
              & r_0031_0016__the_r_0031_0017__experiment(R_0031_0016__THE_R_0031_0017__EXPERIMENT)
              & has_r_0031_0018__of(R_0031_0016__THE_R_0031_0017__EXPERIMENT,R_0031_0019__SHOWING)
              & r_0031_0019__showing(R_0031_0019__SHOWING)
              & has_arg0(R_0031_0019__SHOWING,Z_0031_5012)
              & has_arg1(R_0031_0019__SHOWING,R_0031_0022__DRAWING_R_0031_0023__NUMBER_R_0031_0024__ONE)
              & has_arg2(R_0031_0019__SHOWING,R_0031_0004__ONE)
              & has_arg0(R_0031_0015__TRIED,R_0031_0002__I) ) ) ) ).