Entailment: typos

I have found some typos in Entailment document.

Regards,

Olivier




3.1 Inconsistencies (Informative)


Here we can to derive


(6) "<"^^rdf:XMLLiteral a ex:a.
(7) "<"^^rdf:XMLLiteral rdf:type rdfs:Literal

-- perhaps use rdf:type in both triples as "a" is concrete syntax



4 D-Entailment Regime


graph are are relativized



dt is the RDF plain literal datatype [RDFPlainLiteral] if prefix:dt is 
rdf:XMLLiteral.
->
if prefix:dt is rdf:PlainLiteral.