Document( Prefix(xs ) Prefix(ex ) Prefix(pred ) Group ( ex:ok() :- And ( External( pred:is-literal-anyURI( "http://www.example.org"^^xs:anyURI ) ) External( pred:is-literal-not-anyURI("1"^^xs:integer ) ) External( pred:is-literal-anyURI( External ( xs:anyURI ( "http://www.example.org"^^xs:string ) ) ) ) ) ) )