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

arc(r_0077_0002__looked,r_0077_0001__He,arg0).
arc(r_0077_0002__looked,r_0077_0004__it,r_0077_0003__at__clr).
arc(r_0077_0002__looked,r_0077_0005__carefully,nim).
arc(r_0077_0009__said,r_0077_0001__He,arg0).
arc(r_0077_0009__said,r_0077_0007__then,nim).
arc(r_0077_0009__said,z_0077_5007__utterance,arg1).
arc(r_0077_0016__is,r_0077_0014__This_r_0077_0015__sheep,arg0).
arc(r_0077_0016__is,r_0077_0017__already,nim).
arc(r_0077_0016__is,r_0077_0019__sickly,prd).
arc(r_0077_0019__sickly,r_0077_0018__very,qual).
arc(r_0077_0021__Make,r_0077_0001__He,arg2).
arc(r_0077_0021__Make,r_0077_0004__it,arg1).
arc(r_0077_0021__Make,z_0077_5018,arg0).
arc(z_0077_5001,r_0077_0002__looked,conj1).
arc(z_0077_5001,r_0077_0009__said,conj2).
arc(z_0077_5007__utterance,r_0077_0016__is,part2).
arc(z_0077_5007__utterance,r_0077_0021__Make,part3).
arc(z_0077_5007__utterance,z_0077_5010,part1).
arc(z_0077_5010,z_0077_5009,arg0).

fof(formula,axiom,
    ? [R_0077_0001__HE,R_0077_0004__IT,R_0077_0005__CAREFULLY,R_0077_0002__LOOKED,R_0077_0007__THEN,R_0077_0014__THIS_R_0077_0015__SHEEP,R_0077_0017__ALREADY,R_0077_0018__VERY,R_0077_0019__SICKLY,R_0077_0016__IS,Z_0077_5018,R_0077_0021__MAKE,Z_0077_5009,Z_0077_5010,Z_0077_5007__UTTERANCE,R_0077_0009__SAID,Z_0077_5001] :
      ( 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_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)
      & z_0077_5009(Z_0077_5009)
      & z_0077_5018(Z_0077_5018)
      & z_0077_5001(Z_0077_5001)
      & has_conj2(Z_0077_5001,R_0077_0009__SAID)
      & r_0077_0009__said(R_0077_0009__SAID)
      & has_arg1(R_0077_0009__SAID,Z_0077_5007__UTTERANCE)
      & z_0077_5007__utterance(Z_0077_5007__UTTERANCE)
      & has_part1(Z_0077_5007__UTTERANCE,Z_0077_5010)
      & z_0077_5010(Z_0077_5010)
      & has_arg0(Z_0077_5010,Z_0077_5009)
      & has_part3(Z_0077_5007__UTTERANCE,R_0077_0021__MAKE)
      & r_0077_0021__Make(R_0077_0021__MAKE)
      & has_arg0(R_0077_0021__MAKE,Z_0077_5018)
      & has_arg1(R_0077_0021__MAKE,R_0077_0004__IT)
      & has_arg2(R_0077_0021__MAKE,R_0077_0001__HE)
      & has_part2(Z_0077_5007__UTTERANCE,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_qual(R_0077_0019__SICKLY,R_0077_0018__VERY)
      & has_nim(R_0077_0016__IS,R_0077_0017__ALREADY)
      & has_arg0(R_0077_0016__IS,R_0077_0014__THIS_R_0077_0015__SHEEP)
      & has_nim(R_0077_0009__SAID,R_0077_0007__THEN)
      & has_arg0(R_0077_0009__SAID,R_0077_0001__HE)
      & has_conj1(Z_0077_5001,R_0077_0002__LOOKED)
      & r_0077_0002__looked(R_0077_0002__LOOKED)
      & has_nim(R_0077_0002__LOOKED,R_0077_0005__CAREFULLY)
      & has_r_0077_0003__at__clr(R_0077_0002__LOOKED,R_0077_0004__IT)
      & has_arg0(R_0077_0002__LOOKED,R_0077_0001__HE) ) ).