( (IP-MAT (ILYR (ILYR (NP-SBJ (D A;{a})
                              (N boa;{boa})
                              (N constrictor;{constrictor}))
                      (BEP;_Ln_ is;{be})
                      (NP-PRD (D a;{a})
                              (ADJP (ADVP (ADV very;{very}))
                                    (ADJ dangerous;{dangerous}))
                              (N creature;{creature})))
                (PUNC ,)
                (CONJP (CONJ and;{and})
                       (ILYR (NP-SBJ (D an;{an})
                                     (N elephant;{elephant}))
                             (BEP;_La_ is;{be})
                             (ADJP-PRD (ADVP (ADV very;{very}))
                                       (ADJ cumbersome;{cumbersome})))))
          (PUNC .))
  (ID 72_a_saint_exupery_1943))

arc(r_0072_0004__is,r_0072_0001__A_r_0072_0002__boa_r_0072_0003__constrictor,arg0).
arc(r_0072_0004__is,r_0072_0005__a_r_0072_0008__creature,prd).
arc(r_0072_0005__a_r_0072_0008__creature,r_0072_0007__dangerous,attrib).
arc(r_0072_0007__dangerous,r_0072_0006__very,qual).
arc(r_0072_0010__and,r_0072_0004__is,conj1).
arc(r_0072_0010__and,r_0072_0013__is,conj2).
arc(r_0072_0013__is,r_0072_0011__an_r_0072_0012__elephant,arg0).
arc(r_0072_0013__is,r_0072_0015__cumbersome,prd).
arc(r_0072_0015__cumbersome,r_0072_0014__very,qual).

fof(formula,axiom,
    ? [R_0072_0001__A_R_0072_0002__BOA_R_0072_0003__CONSTRICTOR,R_0072_0006__VERY,R_0072_0007__DANGEROUS,R_0072_0005__A_R_0072_0008__CREATURE,R_0072_0004__IS,R_0072_0011__AN_R_0072_0012__ELEPHANT,R_0072_0014__VERY,R_0072_0015__CUMBERSOME,R_0072_0013__IS,R_0072_0010__AND] :
      ( r_0072_0001__A_r_0072_0002__boa_r_0072_0003__constrictor(R_0072_0001__A_R_0072_0002__BOA_R_0072_0003__CONSTRICTOR)
      & r_0072_0006__very(R_0072_0006__VERY)
      & r_0072_0011__an_r_0072_0012__elephant(R_0072_0011__AN_R_0072_0012__ELEPHANT)
      & r_0072_0014__very(R_0072_0014__VERY)
      & r_0072_0010__and(R_0072_0010__AND)
      & has_conj2(R_0072_0010__AND,R_0072_0013__IS)
      & r_0072_0013__is(R_0072_0013__IS)
      & has_prd(R_0072_0013__IS,R_0072_0015__CUMBERSOME)
      & r_0072_0015__cumbersome(R_0072_0015__CUMBERSOME)
      & has_qual(R_0072_0015__CUMBERSOME,R_0072_0014__VERY)
      & has_arg0(R_0072_0013__IS,R_0072_0011__AN_R_0072_0012__ELEPHANT)
      & has_conj1(R_0072_0010__AND,R_0072_0004__IS)
      & r_0072_0004__is(R_0072_0004__IS)
      & has_prd(R_0072_0004__IS,R_0072_0005__A_R_0072_0008__CREATURE)
      & r_0072_0005__a_r_0072_0008__creature(R_0072_0005__A_R_0072_0008__CREATURE)
      & has_attrib(R_0072_0005__A_R_0072_0008__CREATURE,R_0072_0007__DANGEROUS)
      & r_0072_0007__dangerous(R_0072_0007__DANGEROUS)
      & has_qual(R_0072_0007__DANGEROUS,R_0072_0006__VERY)
      & has_arg0(R_0072_0004__IS,R_0072_0001__A_R_0072_0002__BOA_R_0072_0003__CONSTRICTOR) ) ).