<?xml version="1.0" encoding="UTF-8"?>
<PositiveEntailmentTest id="Builtins_XMLLiteral"
    src="http://www.w3.org/2005/rules/test/repository/tc/Builtins_XMLLiteral" xmlns="http://www.w3.org/2009/10/rif-test#">
    <status>Approved</status>
    <dialect>Core</dialect>
    <dialect>BLD</dialect>
    <dialect>PRD</dialect>
    <purpose>Test built-in predicates for RDF XMLLiteral datatype</purpose>
    <description>Note that the lexical space only allows for canonical XML, so use of "&lt;br /&gt;"^^rdf:XMLLiteral is a RIF syntax error.</description>
    <PremiseDocument>
        <Normative syntax="RIF/XML">
            <name>Builtins_XMLLiteral-premise.rif</name>
            <remote>http://www.w3.org/2005/rules/test/repository/tc/Builtins_XMLLiteral/Builtins_XMLLiteral-premise.rif</remote>
        </Normative>
        <Presentation syntax="RIFBLD-PS"><![CDATA[
Document( 
 Prefix(xs <http://www.w3.org/2001/XMLSchema#>)
 Prefix(rdf <http://www.w3.org/1999/02/22-rdf-syntax-ns#>) 
 Prefix(ex <http://example.org/example#>) 
 Prefix(pred <http://www.w3.org/2007/rif-builtin-predicate#>) 

 Group ( 
  ex:ok() :- 
    And (
     External( pred:is-literal-XMLLiteral ( "<br></br>"^^rdf:XMLLiteral ) )
     External( pred:is-literal-not-XMLLiteral ( "1"^^xs:integer ) )
     External( pred:is-literal-XMLLiteral (  External ( rdf:XMLLiteral( "<br></br>"^^xs:string ) ) ) )
    )
   )
)
]]></Presentation>
    </PremiseDocument>
    <ConclusionDocument>
        <Normative syntax="RIF/XML">
            <name>Builtins_XMLLiteral-conclusion.rif</name>
            <remote>http://www.w3.org/2005/rules/test/repository/tc/Builtins_XMLLiteral/Builtins_XMLLiteral-conclusion.rif</remote>
        </Normative>
        <Presentation syntax="RIFBLD-PS"><![CDATA[
ex:ok()
]]></Presentation>
    </ConclusionDocument>
</PositiveEntailmentTest>
