72_a_saint_exupery_1943
A boa constrictor is a very dangerous creature, and an elephant is very cumbersome.
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, attrib16).
arc(r_0072_0007__dangerous, r_0072_0006__very, qual17).
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, qual38).
fof(formula,axiom,
? [R_72_10_AND,R_72_4_IS,R_72_1_A_BOA_CONSTRICTOR,R_72_5_A_CREATURE,R_72_7_DANGEROUS,R_72_6_VERY,R_72_13_IS,R_72_11_AN_ELEPHANT,R_72_15_CUMBERSOME,R_72_14_VERY] :
( a_boa_constrictor(R_72_1_A_BOA_CONSTRICTOR)
& very(R_72_6_VERY)
& an_elephant(R_72_11_AN_ELEPHANT)
& very(R_72_14_VERY)
& and(R_72_10_AND)
& conj1(R_72_10_AND,R_72_4_IS)
& is(R_72_4_IS,R_72_1_A_BOA_CONSTRICTOR,R_72_5_A_CREATURE)
& a_creature(R_72_5_A_CREATURE)
& attrib16(R_72_5_A_CREATURE,R_72_7_DANGEROUS)
& dangerous(R_72_7_DANGEROUS)
& qual17(R_72_7_DANGEROUS,R_72_6_VERY)
& conj2(R_72_10_AND,R_72_13_IS)
& is(R_72_13_IS,R_72_11_AN_ELEPHANT,R_72_15_CUMBERSOME)
& cumbersome(R_72_15_CUMBERSOME)
& qual38(R_72_15_CUMBERSOME,R_72_14_VERY) ) ).
( (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))