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))