arc(utterance_33_a_saint_exupery_1943_46, r_0033_0018__is, part1).
arc(r_0033_0001__But_r_0033_0012__would, r_0033_0014__say, scope).
arc(r_0033_0005__was, r_0033_0009__or, arg0).
arc(r_0033_0005__was, z_000_33_a_saint_exupery_1943_8, prd).
arc(r_0033_0009__or, r_0033_0007__he, conj1).
arc(r_0033_0009__or, r_0033_0010__she, conj2).
arc(r_0033_0014__say, utterance_33_a_saint_exupery_1943_46, arg1).
arc(r_0033_0014__say, r_0033_0009__or, arg0).
arc(r_0033_0014__say, r_0033_0013__always, nim37).
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_000_33_a_saint_exupery_1943_7, r_0033_0009__or, arg0).
arc(z_000_33_a_saint_exupery_1943_7, z_000_33_a_saint_exupery_1943_8, prd).

fof(formula,axiom,
    ? [R_0033_0007__HE,R_0033_0010__SHE,R_0033_0009__OR,Z_000_33_A_SAINT_EXUPERY_1943_8,R_0033_0005__WAS,R_0033_0017__THAT,R_0033_0019__A_R_0033_0020__HAT,R_0033_0018__IS,UTTERANCE_33_A_SAINT_EXUPERY_1943_46,R_0033_0013__ALWAYS,R_0033_0001__BUT_R_0033_0012__WOULD_R_0033_0014__SAY,Z_000_33_A_SAINT_EXUPERY_1943_7] :
      ( 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_000_33_a_saint_exupery_1943_8(Z_000_33_A_SAINT_EXUPERY_1943_8)
      & z_000_33_a_saint_exupery_1943_7(Z_000_33_A_SAINT_EXUPERY_1943_7)
      & has_prd(Z_000_33_A_SAINT_EXUPERY_1943_7,Z_000_33_A_SAINT_EXUPERY_1943_8)
      & has_arg0(Z_000_33_A_SAINT_EXUPERY_1943_7,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)
      & r_0033_0001__But_r_0033_0012__would_r_0033_0014__say(R_0033_0001__BUT_R_0033_0012__WOULD_R_0033_0014__SAY)
      & has_nim37(R_0033_0001__BUT_R_0033_0012__WOULD_R_0033_0014__SAY,R_0033_0013__ALWAYS)
      & has_arg0(R_0033_0001__BUT_R_0033_0012__WOULD_R_0033_0014__SAY,R_0033_0009__OR)
      & has_arg1(R_0033_0001__BUT_R_0033_0012__WOULD_R_0033_0014__SAY,UTTERANCE_33_A_SAINT_EXUPERY_1943_46)
      & utterance_33_a_saint_exupery_1943_46(UTTERANCE_33_A_SAINT_EXUPERY_1943_46)
      & has_part1(UTTERANCE_33_A_SAINT_EXUPERY_1943_46,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)
      & r_0033_0005__was(R_0033_0005__WAS)
      & has_prd(R_0033_0005__WAS,Z_000_33_A_SAINT_EXUPERY_1943_8)
      & has_arg0(R_0033_0005__WAS,R_0033_0009__OR) ) ).

( (IP-MAT (CONJ;_cl_ But;{but})
          (PUNC ,)
          (NP-SBJ (IP-PPL (NP-PRD (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))