90_a_saint_exupery_1943
“This is only his box.
arc(r_0090_0003__is, r_0090_0002__This, arg0).
arc(r_0090_0003__is, r_0090_0004__only, nim9).
arc(r_0090_0003__is, r_0090_0006__box, prd).
arc(r_0090_0006__box, r_0090_0005__his, gen).
fof(formula,axiom,
? [R_90_3_IS,R_90_2_THIS,R_90_4_ONLY,R_90_6_BOX,R_90_5_HIS] :
( this(R_90_2_THIS)
& only(R_90_4_ONLY)
& his(R_90_5_HIS)
& is(R_90_3_IS,R_90_2_THIS,R_90_6_BOX)
& box(R_90_6_BOX)
& gen(R_90_6_BOX,R_90_5_HIS)
& nim9(R_90_3_IS,R_90_4_ONLY) ) ).
( (IP-MAT (PULQ <ldquo>)
(NP-SBJ;{ARTWORK} (D;_nphd_ This;{this}))
(BEP;_Ln_ is;{be})
(ADVP-NIM (ADV only;{only}))
(NP-PRD (NP-GEN;{SHEEP} (PRO;_genm_ his;{his}))
(N box;{box}))
(PUNC .))
(ID 90_a_saint_exupery_1943))