9_a_saint_exupery_1943
It looked like this:
( (IP-MAT (NP-SBJ;{ARTWORK} (PRO It;{it}))
(VBD;_Ipr_ looked;{look[like]})
(PP-CLR (P-ROLE like;{like})
(NP (D;_nphd_ this;{this})))
(PUNC :))
(ID 9_a_saint_exupery_1943))
arc(r_0009_0002__looked_r_0009_0003__like,r_0009_0001__It,arg0).
arc(r_0009_0002__looked_r_0009_0003__like,r_0009_0004__this,arg1).
fof(formula,axiom,
? [R_0009_0001__IT,R_0009_0004__THIS,R_0009_0002__LOOKED_R_0009_0003__LIKE] :
( r_0009_0001__It(R_0009_0001__IT)
& r_0009_0004__this(R_0009_0004__THIS)
& r_0009_0002__looked_r_0009_0003__like(R_0009_0002__LOOKED_R_0009_0003__LIKE)
& has_arg1(R_0009_0002__LOOKED_R_0009_0003__LIKE,R_0009_0004__THIS)
& has_arg0(R_0009_0002__LOOKED_R_0009_0003__LIKE,R_0009_0001__IT) ) ).