78_a_saint_exupery_1943
So I made another drawing.
arc(r_0078_0003__made, r_0078_0001__So, nim2).
arc(r_0078_0003__made, r_0078_0002__I, arg0).
arc(r_0078_0003__made, r_0078_0004__another_r_0078_0005__drawing, arg1).
fof(formula,axiom,
? [R_0078_0001__SO,R_0078_0002__I,R_0078_0004__ANOTHER_R_0078_0005__DRAWING,R_0078_0003__MADE] :
( r_0078_0001__So(R_0078_0001__SO)
& r_0078_0002__I(R_0078_0002__I)
& r_0078_0004__another_r_0078_0005__drawing(R_0078_0004__ANOTHER_R_0078_0005__DRAWING)
& r_0078_0003__made(R_0078_0003__MADE)
& has_arg1(R_0078_0003__MADE,R_0078_0004__ANOTHER_R_0078_0005__DRAWING)
& has_arg0(R_0078_0003__MADE,R_0078_0002__I)
& has_nim2(R_0078_0003__MADE,R_0078_0001__SO) ) ).
( (IP-MAT (ADVP-NIM (ADV So;{so}))
(NP-SBJ (PRO I;{I}))
(VBD;__ made;{make})
(NP-OB1;{ARTWORK} (D another;{another})
(N drawing;{drawing}))
(PUNC .))
(ID 78_a_saint_exupery_1943))