EXTRACREDIT Jeremy J. Carroll This shows a simple inconsistency depending on the datatype rdf:XMLLiteral. This file is inconsistent with a datatype theory which supports rdf:XMLLiteral, and consistent otherwise.