arc(utterance_77_a_saint_exupery_1943_34, r_0077_0012__No, part1).
arc(utterance_77_a_saint_exupery_1943_34, r_0077_0016__is, part2).
arc(utterance_77_a_saint_exupery_1943_34, r_0077_0021__Make, part3).
arc(r_0077_0002__looked, r_0077_0001__He, arg0).
arc(r_0077_0002__looked, r_0077_0004__it, r_0077_0003__at_clr12).
arc(r_0077_0002__looked, r_0077_0005__carefully, nim15).
arc(r_0077_0009__said, utterance_77_a_saint_exupery_1943_34, arg1).
arc(r_0077_0009__said, r_0077_0007__then, nim22).
arc(r_0077_0009__said, r_0077_0008__he, arg0).
arc(r_0077_0016__is, r_0077_0014__This_r_0077_0015__sheep, arg0).
arc(r_0077_0016__is, r_0077_0017__already, nim48).
arc(r_0077_0016__is, r_0077_0019__sickly, prd).
arc(r_0077_0019__sickly, r_0077_0018__very, qual52).
arc(r_0077_0021__Make, r_0077_0008__he, arg2).
arc(r_0077_0021__Make, r_0077_0023__another, arg1).
arc(r_0077_0021__Make, z_000_77_a_saint_exupery_1943_59, arg0).
arc(z_000_77_a_saint_exupery_1943_2, r_0077_0002__looked, conj1).
arc(z_000_77_a_saint_exupery_1943_2, r_0077_0009__said, conj2).

fof(formula,axiom,
    ? [R_0077_0001__HE,R_0077_0004__IT,R_0077_0005__CAREFULLY,R_0077_0002__LOOKED,R_0077_0012__NO,R_0077_0014__THIS_R_0077_0015__SHEEP,R_0077_0017__ALREADY,R_0077_0018__VERY,R_0077_0019__SICKLY,R_0077_0016__IS,R_0077_0008__HE,R_0077_0023__ANOTHER,Z_000_77_A_SAINT_EXUPERY_1943_59,R_0077_0021__MAKE,UTTERANCE_77_A_SAINT_EXUPERY_1943_34,R_0077_0007__THEN,R_0077_0009__SAID,Z_000_77_A_SAINT_EXUPERY_1943_2] :
      ( r_0077_0001__He(R_0077_0001__HE)
      & r_0077_0004__it(R_0077_0004__IT)
      & r_0077_0005__carefully(R_0077_0005__CAREFULLY)
      & r_0077_0007__then(R_0077_0007__THEN)
      & r_0077_0008__he(R_0077_0008__HE)
      & r_0077_0012__No(R_0077_0012__NO)
      & r_0077_0014__This_r_0077_0015__sheep(R_0077_0014__THIS_R_0077_0015__SHEEP)
      & r_0077_0017__already(R_0077_0017__ALREADY)
      & r_0077_0018__very(R_0077_0018__VERY)
      & r_0077_0023__another(R_0077_0023__ANOTHER)
      & z_000_77_a_saint_exupery_1943_59(Z_000_77_A_SAINT_EXUPERY_1943_59)
      & z_000_77_a_saint_exupery_1943_2(Z_000_77_A_SAINT_EXUPERY_1943_2)
      & has_conj2(Z_000_77_A_SAINT_EXUPERY_1943_2,R_0077_0009__SAID)
      & r_0077_0009__said(R_0077_0009__SAID)
      & has_arg0(R_0077_0009__SAID,R_0077_0008__HE)
      & has_nim22(R_0077_0009__SAID,R_0077_0007__THEN)
      & has_arg1(R_0077_0009__SAID,UTTERANCE_77_A_SAINT_EXUPERY_1943_34)
      & utterance_77_a_saint_exupery_1943_34(UTTERANCE_77_A_SAINT_EXUPERY_1943_34)
      & has_part3(UTTERANCE_77_A_SAINT_EXUPERY_1943_34,R_0077_0021__MAKE)
      & r_0077_0021__Make(R_0077_0021__MAKE)
      & has_arg0(R_0077_0021__MAKE,Z_000_77_A_SAINT_EXUPERY_1943_59)
      & has_arg1(R_0077_0021__MAKE,R_0077_0023__ANOTHER)
      & has_arg2(R_0077_0021__MAKE,R_0077_0008__HE)
      & has_part2(UTTERANCE_77_A_SAINT_EXUPERY_1943_34,R_0077_0016__IS)
      & r_0077_0016__is(R_0077_0016__IS)
      & has_prd(R_0077_0016__IS,R_0077_0019__SICKLY)
      & r_0077_0019__sickly(R_0077_0019__SICKLY)
      & has_qual52(R_0077_0019__SICKLY,R_0077_0018__VERY)
      & has_nim48(R_0077_0016__IS,R_0077_0017__ALREADY)
      & has_arg0(R_0077_0016__IS,R_0077_0014__THIS_R_0077_0015__SHEEP)
      & has_part1(UTTERANCE_77_A_SAINT_EXUPERY_1943_34,R_0077_0012__NO)
      & has_conj1(Z_000_77_A_SAINT_EXUPERY_1943_2,R_0077_0002__LOOKED)
      & r_0077_0002__looked(R_0077_0002__LOOKED)
      & has_nim15(R_0077_0002__LOOKED,R_0077_0005__CAREFULLY)
      & has_r_0077_0003__at_clr12(R_0077_0002__LOOKED,R_0077_0004__IT)
      & has_arg0(R_0077_0002__LOOKED,R_0077_0001__HE) ) ).

( (IP-MAT (ILYR (ILYR (NP-SBJ;{PRINCE} (PRO He;{he}))
                      (VBD;__ looked;{look})
                      (PP-CLR (P-ROLE at;{at})
                              (NP;{ARTWORK} (PRO it;{it})))
                      (ADVP-NIM (ADV carefully;{carefully})))
                (PUNC ,)
                (CONJP (ILYR (ADVP-NIM (ADV then;{then}))
                             (NP-SBJ;{PRINCE} (PRO he;{he}))
                             (VBD;_Tr_ said;{say})
                             (PUNC :)
                             (PULQ <ldquo>)
                             (utterance-OB1 (FRAG (REACT No)
                                                  (PUNC .))
                                            (IP-MAT (NP-SBJ;{SHEEP} (D This;{this})
                                                                    (NS sheep;{sheep}))
                                                    (BEP;_La_ is;{be})
                                                    (ADVP-NIM (ADV already;{already}))
                                                    (ADJP-PRD (ADVP (ADV very;{very}))
                                                              (ADJ sickly;{sickly}))
                                                    (PUNC .))
                                            (IP-IMP (VB;__ Make;{make})
                                                    (NP-OB2;{PRINCE} (PRO me;{I}))
                                                    (NP-OB1;{ARTWORK} (D;_nphd_ another;{another}))
                                                    (PUNC .)))
                             (PURQ <rdquo>)))))
  (ID 77_a_saint_exupery_1943))