arc(r_0005_0005__said, r_0005_0002__the_r_0005_0003__book, r_0005_0001__In_nim5).
arc(r_0005_0005__said, r_0005_0004__it, arg0).
arc(r_0005_0005__said, utterance_5_a_saint_exupery_1943_19, arg1).
arc(r_0005_0010__swallow, r_0005_0008__Boa_r_0005_0009__constrictors, arg0).
arc(r_0005_0010__swallow, r_0005_0012__prey, arg1).
arc(r_0005_0010__swallow, r_0005_0013__whole, prd).
arc(r_0005_0012__prey, r_0005_0008__Boa_r_0005_0009__constrictors, gen).
arc(r_0005_0015__without, r_0005_0010__swallow, scope).
arc(r_0005_0015__without, r_0005_0016__chewing, restriction).
arc(r_0005_0016__chewing, r_0005_0008__Boa_r_0005_0009__constrictors, arg0).
arc(r_0005_0016__chewing, r_0005_0012__prey, arg1).
arc(r_0005_0022__are, r_0005_0008__Boa_r_0005_0009__constrictors, arg0).
arc(r_0005_0022__are, r_0005_0020__that, r_0005_0019__After_nim56).
arc(r_0005_0022__are, r_0005_0024__able, prd).
arc(r_0005_0023__not, r_0005_0022__are, keep_scope).
arc(r_0005_0024__able, r_0005_0025__to_r_0005_0026__move, emb69).
arc(r_0005_0025__to_r_0005_0026__move, z_000_5_a_saint_exupery_1943_69, arg0).
arc(r_0005_0028__and, r_0005_0023__not, conj1).
arc(r_0005_0028__and, r_0005_0030__sleep, conj2).
arc(r_0005_0030__sleep, r_0005_0008__Boa_r_0005_0009__constrictors, arg0).
arc(r_0005_0030__sleep, r_0005_0032__the_r_0005_0033__six_r_0005_0034__months, r_0005_0031__through_nim88).
arc(r_0005_0035__that_r_0005_0037__need, r_0005_0008__Boa_r_0005_0009__constrictors, arg0).
arc(r_0005_0035__that_r_0005_0037__need, r_0005_0032__the_r_0005_0033__six_r_0005_0034__months, arg1).
arc(r_0005_0035__that_r_0005_0037__need, r_0005_0039__digestion, r_0005_0038__for_nim108).
arc(utterance_5_a_saint_exupery_1943_19, r_0005_0015__without, part1).
arc(utterance_5_a_saint_exupery_1943_19, r_0005_0028__and, part2).

fof(formula,axiom,
    ? [R_5_5_SAID,R_5_4_IT,UTTERANCE_5_A_SAINT_EXUPERY_1943_19,R_5_15_WITHOUT,R_5_16_CHEWING,R_5_10_SWALLOW,R_5_12_PREY,R_5_13_WHOLE,R_5_28_AND,R_5_30_SLEEP,R_5_2_THE_BOOK,R_5_35_THAT_NEED,R_5_8_BOA_CONSTRICTORS,R_5_32_THE_SIX_MONTHS,R_5_39_DIGESTION] :
      ( it(R_5_4_IT)
      & whole(R_5_13_WHOLE)
      & the_book(R_5_2_THE_BOOK)
      & boa_constrictors(R_5_8_BOA_CONSTRICTORS)
      & the_six_months(R_5_32_THE_SIX_MONTHS)
      & digestion(R_5_39_DIGESTION)
      & said(R_5_5_SAID,R_5_4_IT,UTTERANCE_5_A_SAINT_EXUPERY_1943_19)
      & utterance_5_a_saint_exupery_1943_19(UTTERANCE_5_A_SAINT_EXUPERY_1943_19)
      & part1(UTTERANCE_5_A_SAINT_EXUPERY_1943_19,R_5_15_WITHOUT)
      & without(R_5_15_WITHOUT)
      & conj1(R_5_15_WITHOUT,R_5_16_CHEWING)
      & chewing(R_5_16_CHEWING,R_5_8_BOA_CONSTRICTORS,R_5_12_PREY)
      & prey(R_5_12_PREY)
      & gen(R_5_12_PREY,R_5_8_BOA_CONSTRICTORS)
      & conj2(R_5_15_WITHOUT,R_5_10_SWALLOW)
      & swallow(R_5_10_SWALLOW,R_5_8_BOA_CONSTRICTORS,R_5_12_PREY,R_5_13_WHOLE)
      & part2(UTTERANCE_5_A_SAINT_EXUPERY_1943_19,R_5_28_AND)
      & and(R_5_28_AND)
      & conj1(R_5_28_AND,R_5_23_NOT)
      & ~ ? [R_5_22_ARE,R_5_24_ABLE,R_5_25_TO_MOVE,Z_5_A_SAINT_EXUPERY_1943_69,R_5_20_THAT] :
            ( that(R_5_20_THAT)
            & are(R_5_22_ARE,R_5_8_BOA_CONSTRICTORS,R_5_24_ABLE)
            & able(R_5_24_ABLE)
            & emb69(R_5_24_ABLE,R_5_25_TO_MOVE)
            & to_move(R_5_25_TO_MOVE,Z_5_A_SAINT_EXUPERY_1943_69)
            & after_nim56(R_5_22_ARE,R_5_20_THAT) )
      & conj2(R_5_28_AND,R_5_30_SLEEP)
      & sleep(R_5_30_SLEEP,R_5_8_BOA_CONSTRICTORS)
      & through_nim88(R_5_30_SLEEP,R_5_32_THE_SIX_MONTHS)
      & in_nim5(R_5_5_SAID,R_5_2_THE_BOOK)
      & that_need(R_5_35_THAT_NEED,R_5_8_BOA_CONSTRICTORS,R_5_32_THE_SIX_MONTHS)
      & for_nim108(R_5_35_THAT_NEED,R_5_39_DIGESTION) ) ).

( (IP-MAT (PP-NIM (P-ROLE In;{in})
                  (NP (D the;{the})
                      (N book;{book})))
          (NP-SBJ (PRO it;{it}))
          (VBD;_Tr_ said;{say})
          (PUNC :)
          (PULQ <ldquo>)
          (utterance-OB1 (IP-MAT (NP-SBJ;{BOAS} (N Boa;{boa})
                                                (NS constrictors;{constrictor}))
                                 (VBP;_Tn_ swallow;{swallow})
                                 (NP-OB1;{PREY} (NP-GEN;{BOAS} (PRO;_genm_ their;{their}))
                                                (N prey;{prey}))
                                 (ADJP-PRD (ADJ whole;{whole}))
                                 (PUNC ,)
                                 (PP-SCON (P-CONN without;{without})
                                          (IP-PPL2 (VAG;_Tn_ chewing;{chew})
                                                   (NP-OB1;{PREY} (PRO it;{it}))))
                                 (PUNC .))
                         (IP-MAT (ILYR (ILYR (PP-NIM (P-ROLE After;{after})
                                                     (NP (D;_nphd_ that;{that})))
                                             (NP-SBJ;{BOAS} (PRO they;{they}))
                                             (BEP;_La_ are;{be})
                                             (NEG not;{not})
                                             (ADJP-PRD (ADJ;_cat_ able;{able})
                                                       (IP-INF (TO to;{to})
                                                               (VB;_I_ move;{move}))))
                                       (PUNC ,)
                                       (CONJP (CONJ and;{and})
                                              (ILYR (NP-SBJ;{BOAS} (PRO they;{they}))
                                                    (VBP;_I_ sleep;{sleep})
                                                    (PP-NIM (P-ROLE through;{through})
                                                            (NP (D the;{the})
                                                                (NUM six;{six})
                                                                (NS months;{month})
                                                                (IP-REL (C that;{that})
                                                                        (NP-OB1 *T*)
                                                                        (NP-SBJ;{BOAS} (PRO they;{they}))
                                                                        (VBP;_Tn_ need;{need})
                                                                        (PP-NIM (P-ROLE for;{for})
                                                                                (NP (N digestion;{digestion})))))))))
                                 (PUNC .)))
          (PURQ <rdquo>))
  (ID 5_a_saint_exupery_1943))