typeside t schema s : t instance i : s ---------------------------------- command (export_rdf_instance_xml i )