ADDED: rdf_isntance/3.