( (IP-MAT (CONJ;_cl_ But;{but})
          (PUNC ,)
          (NP-SBJ (PRN (NP (IP-REL (NP-PRD (RPRO whoever;{whoever}))
                                   (NP-SBJ (PRO it;{it}))
                                   (BED;_Ln_ was;{be}))))
                  (PUNC ,)
                  (NLYR (NLYR;{PERSON} (PRO he;{he}))
                        (PUNC ,)
                        (CONJP (CONJ or;{or})
                               (NLYR;{PERSON} (PRO she;{she})))))
          (PUNC ,)
          (MD;_cat_Vi_ would;{will})
          (IP-INF-CAT (ADVP-NIM (ADV always;{always}))
                      (VB;_Tr_ say;{say})
                      (PUNC :)
                      (PULQ <ldquo>)
                      (utterance-OB1 (IP-MAT (NP-SBJ (D;_nphd_ That;{that}))
                                             (BEP;_Ln_ is;{be})
                                             (NP-PRD (D a;{a})
                                                     (N hat;{hat})))))
          (PUNC .)
          (PURQ <rdquo>))
  (ID 33_a_saint_exupery_1943))

arc(r_0033_0005__was,r_0033_0003__whoever,prd).
arc(r_0033_0005__was,r_0033_0004__it,arg0).
arc(r_0033_0009__or,r_0033_0007__he,conj1).
arc(r_0033_0009__or,r_0033_0010__she,conj2).
arc(r_0033_0012__would,r_0033_0014__say,scope).
arc(r_0033_0014__say,r_0033_0009__or,arg0).
arc(r_0033_0014__say,r_0033_0013__always,nim).
arc(r_0033_0014__say,z_0033_5008__utterance,arg1).
arc(r_0033_0018__is,r_0033_0017__That,arg0).
arc(r_0033_0018__is,r_0033_0019__a_r_0033_0020__hat,prd).
arc(z_0033_5004,r_0033_0003__whoever,prd).
arc(z_0033_5004,r_0033_0009__or,arg0).
arc(z_0033_5008__utterance,r_0033_0018__is,part1).

fof(formula,axiom,
    ? [R_0033_0003__WHOEVER,R_0033_0004__IT,R_0033_0005__WAS,R_0033_0007__HE,R_0033_0010__SHE,R_0033_0009__OR,R_0033_0013__ALWAYS,R_0033_0017__THAT,R_0033_0019__A_R_0033_0020__HAT,R_0033_0018__IS,Z_0033_5008__UTTERANCE,R_0033_0012__WOULD_R_0033_0014__SAY,Z_0033_5004] :
      ( r_0033_0003__whoever(R_0033_0003__WHOEVER)
      & r_0033_0004__it(R_0033_0004__IT)
      & r_0033_0007__he(R_0033_0007__HE)
      & r_0033_0010__she(R_0033_0010__SHE)
      & r_0033_0013__always(R_0033_0013__ALWAYS)
      & r_0033_0017__That(R_0033_0017__THAT)
      & r_0033_0019__a_r_0033_0020__hat(R_0033_0019__A_R_0033_0020__HAT)
      & z_0033_5004(Z_0033_5004)
      & has_arg0(Z_0033_5004,R_0033_0009__OR)
      & r_0033_0009__or(R_0033_0009__OR)
      & has_conj2(R_0033_0009__OR,R_0033_0010__SHE)
      & has_conj1(R_0033_0009__OR,R_0033_0007__HE)
      & has_prd(Z_0033_5004,R_0033_0003__WHOEVER)
      & r_0033_0012__would_r_0033_0014__say(R_0033_0012__WOULD_R_0033_0014__SAY)
      & has_arg1(R_0033_0012__WOULD_R_0033_0014__SAY,Z_0033_5008__UTTERANCE)
      & z_0033_5008__utterance(Z_0033_5008__UTTERANCE)
      & has_part1(Z_0033_5008__UTTERANCE,R_0033_0018__IS)
      & r_0033_0018__is(R_0033_0018__IS)
      & has_prd(R_0033_0018__IS,R_0033_0019__A_R_0033_0020__HAT)
      & has_arg0(R_0033_0018__IS,R_0033_0017__THAT)
      & has_nim(R_0033_0012__WOULD_R_0033_0014__SAY,R_0033_0013__ALWAYS)
      & has_arg0(R_0033_0012__WOULD_R_0033_0014__SAY,R_0033_0009__OR)
      & r_0033_0005__was(R_0033_0005__WAS)
      & has_arg0(R_0033_0005__WAS,R_0033_0004__IT)
      & has_prd(R_0033_0005__WAS,R_0033_0003__WHOEVER) ) ).