18_a_saint_exupery_1943
My Drawing Number Two looked like this:
( (IP-MAT (NP-SBJ (NP-GEN (PRO;_genm_ My;{my}))
(N Drawing;{drawing})
(N Number;{number})
(N Two;{two}))
(VBD;_Ipr_ looked;{look[like]})
(PP-CLR (P-ROLE like;{like})
(NP (D;_nphd_ this;{this})))
(PUNC :))
(ID 18_a_saint_exupery_1943))
arc(r_0018_0002__Drawing_r_0018_0003__Number_r_0018_0004__Two,r_0018_0001__My,gen).
arc(r_0018_0005__looked_r_0018_0006__like,r_0018_0002__Drawing_r_0018_0003__Number_r_0018_0004__Two,arg0).
arc(r_0018_0005__looked_r_0018_0006__like,r_0018_0007__this,arg1).
fof(formula,axiom,
? [R_0018_0001__MY,R_0018_0002__DRAWING_R_0018_0003__NUMBER_R_0018_0004__TWO,R_0018_0007__THIS,R_0018_0005__LOOKED_R_0018_0006__LIKE] :
( r_0018_0001__My(R_0018_0001__MY)
& r_0018_0007__this(R_0018_0007__THIS)
& r_0018_0005__looked_r_0018_0006__like(R_0018_0005__LOOKED_R_0018_0006__LIKE)
& has_arg1(R_0018_0005__LOOKED_R_0018_0006__LIKE,R_0018_0007__THIS)
& has_arg0(R_0018_0005__LOOKED_R_0018_0006__LIKE,R_0018_0002__DRAWING_R_0018_0003__NUMBER_R_0018_0004__TWO)
& r_0018_0002__Drawing_r_0018_0003__Number_r_0018_0004__Two(R_0018_0002__DRAWING_R_0018_0003__NUMBER_R_0018_0004__TWO)
& has_gen(R_0018_0002__DRAWING_R_0018_0003__NUMBER_R_0018_0004__TWO,R_0018_0001__MY) ) ).