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_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_qual38(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_attrib16(R_0072_0005__A_R_0072_0008__CREATURE,R_0072_0007__DANGEROUS)
& r_0072_0007__dangerous(R_0072_0007__DANGEROUS)
& has_qual17(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) ) ).
( (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))