69_a_saint_exupery_1943
It was that of the boa constrictor from the outside.
( (IP-MAT (NP-SBJ;{ARTWORK} (PRO It;{it}))
(BED;_Ln_ was;{be})
(NP-PRD (D;_nphd_ that;{that})
(PP (P-ROLE of;{of})
(NP (D the;{the})
(N boa;{boa})
(N constrictor;{constrictor})
(PP (P-ROLE from;{from})
(NP (D the;{the})
(N outside;{outside}))))))
(PUNC .))
(ID 69_a_saint_exupery_1943))
arc(r_0069_0002__was,r_0069_0001__It,arg0).
arc(r_0069_0002__was,r_0069_0003__that,prd).
arc(r_0069_0003__that,r_0069_0005__the_r_0069_0006__boa_r_0069_0007__constrictor,r_0069_0004__of).
arc(r_0069_0005__the_r_0069_0006__boa_r_0069_0007__constrictor,r_0069_0009__the_r_0069_0010__outside,r_0069_0008__from).
fof(formula,axiom,
? [R_0069_0001__IT,R_0069_0009__THE_R_0069_0010__OUTSIDE,R_0069_0005__THE_R_0069_0006__BOA_R_0069_0007__CONSTRICTOR,R_0069_0003__THAT,R_0069_0002__WAS] :
( r_0069_0001__It(R_0069_0001__IT)
& r_0069_0009__the_r_0069_0010__outside(R_0069_0009__THE_R_0069_0010__OUTSIDE)
& r_0069_0002__was(R_0069_0002__WAS)
& has_prd(R_0069_0002__WAS,R_0069_0003__THAT)
& r_0069_0003__that(R_0069_0003__THAT)
& has_r_0069_0004__of(R_0069_0003__THAT,R_0069_0005__THE_R_0069_0006__BOA_R_0069_0007__CONSTRICTOR)
& r_0069_0005__the_r_0069_0006__boa_r_0069_0007__constrictor(R_0069_0005__THE_R_0069_0006__BOA_R_0069_0007__CONSTRICTOR)
& has_r_0069_0008__from(R_0069_0005__THE_R_0069_0006__BOA_R_0069_0007__CONSTRICTOR,R_0069_0009__THE_R_0069_0010__OUTSIDE)
& has_arg0(R_0069_0002__WAS,R_0069_0001__IT) ) ).