13_a_saint_exupery_1943
My drawing was not a picture of a hat.
arc(r_0013_0002__drawing, r_0013_0001__My, gen).
arc(r_0013_0003__was, r_0013_0002__drawing, arg0).
arc(r_0013_0003__was, r_0013_0005__a_r_0013_0006__picture, prd).
arc(r_0013_0004__not, r_0013_0003__was, keep_scope).
arc(r_0013_0005__a_r_0013_0006__picture, r_0013_0008__a_r_0013_0009__hat, r_0013_0007__of).
fof(formula,axiom,
~ ? [R_13_3_WAS,R_13_2_DRAWING,R_13_1_MY,R_13_5_A_PICTURE,R_13_8_A_HAT] :
( my(R_13_1_MY)
& a_hat(R_13_8_A_HAT)
& was(R_13_3_WAS,R_13_2_DRAWING,R_13_5_A_PICTURE)
& drawing(R_13_2_DRAWING)
& gen(R_13_2_DRAWING,R_13_1_MY)
& a_picture(R_13_5_A_PICTURE)
& of(R_13_5_A_PICTURE,R_13_8_A_HAT) ) ).
( (IP-MAT (NP-SBJ;{ARTWORK} (NP-GEN (PRO;_genm_ My;{my}))
(N drawing;{drawing}))
(BED;_Ln_ was;{be})
(NEG not;{not})
(NP-PRD (D a;{a})
(N picture;{picture})
(PP (P-ROLE of;{of})
(NP (D a;{a})
(N hat;{hat}))))
(PUNC .))
(ID 13_a_saint_exupery_1943))