14_a_saint_exupery_1943
It was a picture of a boa constrictor digesting an elephant.
( (IP-MAT (NP-SBJ;{ARTWORK} (PRO It;{it}))
(BED;_Ln_ was;{be})
(NP-PRD (D a;{a})
(N picture;{picture})
(PP (P-ROLE of;{of})
(NP;{BOA} (D a;{a})
(N boa;{boa})
(N constrictor;{constrictor})
(IP-PPL (VAG;_Tn_ digesting;{digest})
(NP-OB1 (D an;{an})
(N elephant;{elephant}))))))
(PUNC .))
(ID 14_a_saint_exupery_1943))
arc(r_0014_0002__was,r_0014_0001__It,arg0).
arc(r_0014_0002__was,r_0014_0003__a_r_0014_0004__picture,prd).
arc(r_0014_0003__a_r_0014_0004__picture,r_0014_0006__a_r_0014_0007__boa_r_0014_0008__constrictor,r_0014_0005__of).
arc(r_0014_0009__digesting,r_0014_0006__a_r_0014_0007__boa_r_0014_0008__constrictor,inv_arg0).
arc(r_0014_0009__digesting,r_0014_0010__an_r_0014_0011__elephant,arg1).
fof(formula,axiom,
? [R_0014_0001__IT,R_0014_0010__AN_R_0014_0011__ELEPHANT,R_0014_0009__DIGESTING,R_0014_0006__A_R_0014_0007__BOA_R_0014_0008__CONSTRICTOR,R_0014_0003__A_R_0014_0004__PICTURE,R_0014_0002__WAS] :
( r_0014_0001__It(R_0014_0001__IT)
& r_0014_0010__an_r_0014_0011__elephant(R_0014_0010__AN_R_0014_0011__ELEPHANT)
& r_0014_0002__was(R_0014_0002__WAS)
& has_prd(R_0014_0002__WAS,R_0014_0003__A_R_0014_0004__PICTURE)
& r_0014_0003__a_r_0014_0004__picture(R_0014_0003__A_R_0014_0004__PICTURE)
& has_r_0014_0005__of(R_0014_0003__A_R_0014_0004__PICTURE,R_0014_0006__A_R_0014_0007__BOA_R_0014_0008__CONSTRICTOR)
& r_0014_0006__a_r_0014_0007__boa_r_0014_0008__constrictor(R_0014_0006__A_R_0014_0007__BOA_R_0014_0008__CONSTRICTOR)
& has_inv_arg0(R_0014_0006__A_R_0014_0007__BOA_R_0014_0008__CONSTRICTOR,R_0014_0009__DIGESTING)
& r_0014_0009__digesting(R_0014_0009__DIGESTING)
& has_arg1(R_0014_0009__DIGESTING,R_0014_0010__AN_R_0014_0011__ELEPHANT)
& has_arg0(R_0014_0002__WAS,R_0014_0001__IT) ) ).