38_a_genieus
The king looked at the genie.
arc(r_0038_0003__looked, r_0038_0001__The_r_0038_0002__king, arg0).
arc(r_0038_0003__looked, r_0038_0005__the_r_0038_0006__genie, r_0038_0004__at_clr12).
fof(formula,axiom,
? [R_38_3_LOOKED,R_38_1_THE_KING,R_38_5_THE_GENIE] :
( the_king(R_38_1_THE_KING)
& the_genie(R_38_5_THE_GENIE)
& looked(R_38_3_LOOKED,R_38_1_THE_KING)
& at_clr12(R_38_3_LOOKED,R_38_5_THE_GENIE) ) ).
( (IP-MAT (NP-SBJ;{KING} (D The;{the})
(N king;{king}))
(VBD;_Ipr_ looked;{look[at]})
(PP-CLR (P-ROLE at;{at})
(NP;{GENIE} (D the;{the})
(N genie;{genie})))
(PUNC .))
(ID 38_a_genieus))