PREFIX ex: <http://a.example/> ex:S1 { ex:p1 . } on { <s1> <p1> <o1> }
PREFIX S1: <http://a.example/S1> PREFIX p1: <http://a.example/p1> S1: { p1: . } on { <s1> <p1> <o1> }
PREFIX S1: <http://a.example/S1> PREFIX p1: <http://a.example/p1> S1: { p1:/*comment*/ . } on { <s1> <p1> <o1> }
PREFIX ex: <http://a.example/> ex:S1 { ex:p1/*comment*/ . } on { <s1> <p1> <o1> }
PREFIX ex: <http://a.example/> ex:S1 { ex:p1- . } on { <s1> <p1-> <o1> }
<S1> NONLITERAL LENGTH 19 { <p1> NONLITERAL LENGTH 19 } on { <s1> <p1> <o> }
<S1> NONLITERAL LENGTH 19 { <p1> NONLITERAL LENGTH 19 } on { <s1> <p1> <o1> }
<S1> { <p1> NONLITERAL } on { <s1> <p1> _:ab }
<S1> { <p1> NONLITERAL } on { <s1> <p1> "ab" }
{ <p1> rdf:langString } on in { <s1> <p1> 'ab'@en }
{ xsd:integer} / { '-1'^^xsd:integer }
{ xsd:integer} / { '0'^^xsd:integer }
{ xsd:integer} / { '1'^^xsd:integer }
{ xsd:integer} / { '+1'^^xsd:integer }
{ xsd:integer} / { ''^^xsd:integer }
{ xsd:integer} / { '-1.0'^^xsd:integer }
{ xsd:integer} / { '+1.0'^^xsd:integer }
{ xsd:integer} / { '1E0'^^xsd:integer }
{ xsd:integer} / { 'NaN'^^xsd:integer }
{ xsd:integer} / { 'INF'^^xsd:integer }
{ xsd:decimal} / { '-1'^^xsd:decimal }
{ xsd:decimal} / { '0'^^xsd:decimal }
{ xsd:decimal} / { '1'^^xsd:decimal }
{ xsd:decimal} / { '+1'^^xsd:decimal }
{ xsd:decimal} / { '-1.0'^^xsd:decimal }
{ xsd:decimal} / { '+1.0'^^xsd:decimal }
{ xsd:decimal} / { ''^^xsd:decimal }
{ xsd:decimal} / { '1E0'^^xsd:decimal }
{ xsd:decimal} / { 'NaN'^^xsd:decimal }
{ xsd:decimal} / { 'INF'^^xsd:decimal }
{ xsd:float} / { '0'^^xsd:float }
{ xsd:float} / { '1'^^xsd:float }
{ xsd:float} / { '1e0'^^xsd:float }
{ xsd:float} / { '1E0'^^xsd:float }
{ xsd:float} / { 'NaN'^^xsd:float }
{ xsd:float} / { 'INF'^^xsd:float }
{ xsd:float} / { '-INF'^^xsd:float }
{ xsd:float} / { ''^^xsd:float }
{ xsd:float} / { '+INF'^^xsd:float }
{ xsd:double} / { '-1'^^xsd:double }
{ xsd:double} / { '0'^^xsd:double }
{ xsd:double} / { '1'^^xsd:double }
{ xsd:double} / { '+1'^^xsd:double }
{ xsd:double} / { '1E0'^^xsd:double }
{ xsd:double} / { '1e0'^^xsd:double }
{ xsd:double} / { 'NaN'^^xsd:double }
{ xsd:double} / { 'INF'^^xsd:double }
{ xsd:double} / { '-INF'^^xsd:double }
{ xsd:double} / { ''^^xsd:double }
{ xsd:double} / { '+INF'^^xsd:double }
{ xsd:nonPositiveInteger} / { '-1'^^xsd:nonPositiveInteger }
{ xsd:nonPositiveInteger} / { '0'^^xsd:nonPositiveInteger }
{ xsd:nonPositiveInteger} / { '+0'^^xsd:nonPositiveInteger }
{ xsd:nonPositiveInteger} / { '-0'^^xsd:nonPositiveInteger }
{ xsd:nonPositiveInteger} / { '1'^^xsd:nonPositiveInteger }
{ xsd:nonPositiveInteger} / { '+1'^^xsd:nonPositiveInteger }
{ xsd:nonPositiveInteger} / { '1a'^^xsd:nonPositiveInteger }
{ xsd:nonPositiveInteger} / { 'a1'^^xsd:nonPositiveInteger }
{ xsd:negativeInteger} / { '-1'^^xsd:negativeInteger }
{ xsd:negativeInteger} / { '0'^^xsd:negativeInteger }
{ xsd:negativeInteger} / { '+0'^^xsd:negativeInteger }
{ xsd:negativeInteger} / { '-0'^^xsd:negativeInteger }
{ xsd:negativeInteger} / { '1'^^xsd:negativeInteger }
{ xsd:short} / { '0'^^xsd:short }
{ xsd:nonNegativeInteger} / { '0'^^xsd:nonNegativeInteger }
{ xsd:nonNegativeInteger} / { '-0'^^xsd:nonNegativeInteger }
{ xsd:nonNegativeInteger} / { '+0'^^xsd:nonNegativeInteger }
{ xsd:nonNegativeInteger} / { '1'^^xsd:nonNegativeInteger }
{ xsd:nonNegativeInteger} / { '+1'^^xsd:nonNegativeInteger }
{ xsd:nonNegativeInteger} / { '-1'^^xsd:nonNegativeInteger }
{ xsd:unsignedLong} / { '0'^^xsd:unsignedLong }
{ xsd:unsignedLong} / { '1'^^xsd:unsignedLong }
{ xsd:unsignedLong} / { '-1'^^xsd:unsignedLong }
{ xsd:unsignedInt} / { '0'^^xsd:unsignedInt }
{ xsd:unsignedInt} / { '1'^^xsd:unsignedInt }
{ xsd:unsignedInt} / { '-1'^^xsd:unsignedInt }
{ xsd:unsignedShort} / { '0'^^xsd:unsignedShort }
{ xsd:unsignedShort} / { '65535'^^xsd:unsignedShort }
{ xsd:unsignedShort} / { '-1'^^xsd:unsignedShort }
{ xsd:unsignedShort} / { '65536'^^xsd:unsignedShort }
{ xsd:unsignedByte} / { '0'^^xsd:unsignedByte }
{ xsd:unsignedByte} / { '255'^^xsd:unsignedByte }
{ xsd:unsignedByte} / { '-1'^^xsd:unsignedByte }
{ xsd:unsignedByte} / { '256'^^xsd:unsignedByte }
{ xsd:positiveInteger} / { '1'^^xsd:positiveInteger }
{ xsd:positiveInteger} / { '-1'^^xsd:positiveInteger }
{ xsd:positiveInteger} / { '0'^^xsd:positiveInteger }
{ xsd:string} / { ''^^xsd:string }
{ xsd:string} / { 'a'^^xsd:string }
{ xsd:string} / { '0'^^xsd:string }
{ xsd:boolean} / { 'true'^^xsd:boolean }
{ xsd:boolean} / { 'false'^^xsd:boolean }
{ xsd:boolean} / { '0'^^xsd:boolean }
{ xsd:boolean} / { '1'^^xsd:boolean }
{ xsd:boolean} / { ''^^xsd:boolean }
{ xsd:boolean} / { 'TRUE'^^xsd:boolean }
{ xsd:boolean} / { 'FALSE'^^xsd:boolean }
{ xsd:boolean} / { 'tRuE'^^xsd:boolean }
{ xsd:boolean} / { 'fAlSe'^^xsd:boolean }
{ xsd:boolean} / { '-1'^^xsd:boolean }
{ xsd:boolean} / { '2'^^xsd:boolean }
{ xsd:boolean} / { '10'^^xsd:boolean }
{ xsd:boolean} / { '01'^^xsd:boolean }
{ xsd:dateTime} / { ''^^xsd:dateTime }
{ <p1> ['STRING_LITERAL1'] } on { <s1> <p1> 'STRING_LITERAL1' }
{ <p1> ['STRING_LITERAL1'] } on { <s1> <p1> 'STRING_LITERAL1999' }
{ <p1> ['ab'^^my:bloodType] } on { <s1> <p1> 'ab'^^my:bloodType }
{ <p1> ['ab'^^my:bloodType] } on { <s1> <p1> 'ab'^^my:bloodType999 }
{ <p1> ['ab'^^my:bloodType] } on { <s1> <p1> 'a'^^my:bloodType }
{ <p1> xs:integer LENGTH 5 } on in { <s1> <p2> 'ab' }
{ <p1> xs:integer LENGTH 5 } on in { <s1> <p1> 1.234 }
{ <p1> xs:integer LENGTH 5 } on in { <s1> <p1> 1234 }
{ <p1> xs:integer LENGTH 5 } on in { <s1> <p1> 12345 }
<S1> { <p1> LITERAL FRACTIONDIGITS 5 } / { <s1> <p1> 1.2345 }
<S1> { <p1> LITERAL FRACTIONDIGITS 5 } / { <s1> <p1> 1.23456 }
<S1> { <p1> LITERAL FRACTIONDIGITS 4 } / { <s1> <p1> 01.2345 }
<S1> { <p1> LITERAL FRACTIONDIGITS 4 } / { <s1> <p1> 1.23450 }
<S1> { <p1> LITERAL FRACTIONDIGITS 5 } / { <s1> <p1> 12345 }
<S1> { <p1> LITERAL FRACTIONDIGITS 5 } / { <s1> <p1> "12345"^^xsd:integer }
<S1> { <p1> LITERAL FRACTIONDIGITS 5 } / { <s1> <p1> "1.23456"^^xsd:float }
<S1> { <p1> LITERAL FRACTIONDIGITS 5 } / { <s1> <p1> 4.5e0 }
<S1> { <p1> LITERAL FRACTIONDIGITS 5 } / { <s1> <p1> "1.23ab"^^xsd:decimal }
<S1> { <p1> LITERAL FRACTIONDIGITS 5 } / { <s1> <p1> "1.2345ab"^^xsd:decimal }
<S1> { <p1> LITERAL FRACTIONDIGITS 5 } / { <s1> <p1> "1.2345"^^xsd:integer }
<S1> { <p1> LITERAL FRACTIONDIGITS 5 } / BASE <http://a.example/> { <s1> <p1> <1.2345> }
<S1> { <p1> LITERAL FRACTIONDIGITS 5 } / BASE <http://a.example/> { <s1> <p1> _:12345 }
<S1> { <p1> LITERAL TOTALDIGITS 5 } / { <s1> <p1> "1234"^^xsd:integer }
<S1> { <p1> LITERAL TOTALDIGITS 2 } / { <s1> <p1> 5^^xsd:byte }
<S1> { <p1> LITERAL TOTALDIGITS 2 } / { <s1> <p1> 64^^xsd:byte }
<S1> { <p1> LITERAL TOTALDIGITS 2 } / { <s1> <p1> 128^^xsd:byte }
<S1> { <p1> LITERAL TOTALDIGITS 5 } / { <s1> <p1> "1.2345"^^xsd:float }
<S1> { <p1> LITERAL TOTALDIGITS 5 } / { <s1> <p1> 4.5e0 }
<S1> { <p1> LITERAL TOTALDIGITS 5 } / { <s1> <p1> "1.23ab"^^xsd:decimal }
<S1> { <p1> LITERAL TOTALDIGITS 5 } / { <s1> <p1> "1.2345ab"^^xsd:decimal }
<S1> { <p1> LITERAL TOTALDIGITS 5 } / { <s1> <p1> "1.2345"^^xsd:integer }
<S1> { <p1> LITERAL TOTALDIGITS 5 } / BASE <http://a.example/> { <s1> <p1> <1.2345> }
<S1> { <p1> LITERAL TOTALDIGITS 5 } / BASE <http://a.example/> { <s1> <p1> _:12345 }
<S1> { <p1> LITERAL MINEXCLUSIVE 5 } / { <s1> <p1> '4'^^xsd:integer }
<S1> { <p1> LITERAL MINEXCLUSIVE 5 } / { <s1> <p1> '5'^^xsd:integer }
<S1> { <p1> LITERAL MINEXCLUSIVE 5 } / { <s1> <p1> '6'^^xsd:integer }
<S1> { <p1> LITERAL MININCLUSIVE 5 } / { <s1> <p1> '4'^^xsd:integer }
<S1> { <p1> LITERAL MININCLUSIVE 5 } / { <s1> <p1> '5'^^xsd:integer }
<S1> { <p1> LITERAL MININCLUSIVE 5 } / { <s1> <p1> '6'^^xsd:integer }
<S1> { <p1> LITERAL MAXEXCLUSIVE 5 } / { <s1> <p1> '4'^^xsd:integer }
<S1> { <p1> LITERAL MAXEXCLUSIVE 5 } / { <s1> <p1> '5'^^xsd:integer }
<S1> { <p1> LITERAL MAXEXCLUSIVE 5 } / { <s1> <p1> '6'^^xsd:integer }
<S1> { <p1> LITERAL MAXINCLUSIVE 5 } / { <s1> <p1> '4'^^xsd:integer }
<S1> { <p1> LITERAL MAXINCLUSIVE 5 } / { <s1> <p1> '5'^^xsd:integer }
<S1> { <p1> LITERAL MAXINCLUSIVE 5 } / { <s1> <p1> '6'^^xsd:integer }
<S1> { <p1> xsd:float MININCLUSIVE 5 } / { <s1> <p1> '4.9'^^xsd:float }
<S1> { <p1> xsd:float MININCLUSIVE 5 } / { <s1> <p1> '05'^^xsd:float }
<S1> { <p1> xsd:float MININCLUSIVE 5 } / { <s1> <p1> '5.0'^^xsd:float }
<S1> { <p1> xsd:float MININCLUSIVE 5 } / { <s1> <p1> '5.1'^^xsd:float }
<S1> { <p1> xsd:integer MININCLUSIVE 5 } / { <s1> <p1> '4'^^xsd:integer }
<S1> { <p1> xsd:integer MININCLUSIVE 5 } / { <s1> <p1> '5'^^xsd:integer }
<S1> { <p1> xsd:integer MININCLUSIVE 5 } / { <s1> <p1> '05'^^xsd:integer }
<S1> { <p1> xsd:integer MININCLUSIVE 5 } / { <s1> <p1> '6'^^xsd:integer }
<S1> { <p1> xsd:float MININCLUSIVE 5 } / { <s1> <p1> '5'^^xsd:float }
<S1> { <p1> xsd:integer MININCLUSIVE 5 } / { <s1> <p1> 4 }
<S1> { <p1> xsd:integer MININCLUSIVE 5 } / { <s1> <p1> 5 }
<S1> { <p1> xsd:integer MININCLUSIVE 5 } / { <s1> <p1> 6 }
<S1> { <p1> xsd:integer MININCLUSIVE 05 } / { <s1> <p1> 4 }
<S1> { <p1> xsd:integer MININCLUSIVE 05 } / { <s1> <p1> 5 }
<S1> { <p1> xsd:integer MININCLUSIVE 05 } / { <s1> <p1> 05 }
<S1> { <p1> xsd:integer MININCLUSIVE 05 } / { <s1> <p1> 6 }
<S1> { <p1> xsd:integer MININCLUSIVE 4.5 } / { <s1> <p1> 5 }
<S1> { <p1> xsd:integer MININCLUSIVE 04.50 } / { <s1> <p1> 4 }
<S1> { <p1> xsd:integer MININCLUSIVE 04.50 } / { <s1> <p1> 5 }
<S1> { <p1> xsd:integer MININCLUSIVE 04.50 } / { <s1> <p1> 05 }
<S1> { <p1> xsd:integer MININCLUSIVE 04.50 } / { <s1> <p1> 6 }
<S1> { <p1> xsd:integer MININCLUSIVE 5.0 } / { <s1> <p1> 4 }
<S1> { <p1> xsd:integer MININCLUSIVE 5.0 } / { <s1> <p1> 5 }
<S1> { <p1> xsd:integer MININCLUSIVE 5.0 } / { <s1> <p1> 6 }
<S1> { <p1> xsd:integer MININCLUSIVE 05.00 } / { <s1> <p1> 4 }
<S1> { <p1> xsd:integer MININCLUSIVE 05.00 } / { <s1> <p1> 5 }
<S1> { <p1> xsd:integer MININCLUSIVE 05.00 } / { <s1> <p1> 05 }
<S1> { <p1> xsd:integer MININCLUSIVE 05.00 } / { <s1> <p1> 6 }
<S1> { <p1> xsd:integer MININCLUSIVE 4.5e0 } / { <s1> <p1> 5 }
<S1> { <p1> xsd:integer MININCLUSIVE 04.50e0 } / { <s1> <p1> 4 }
<S1> { <p1> xsd:integer MININCLUSIVE 04.50e0 } / { <s1> <p1> 5 }
<S1> { <p1> xsd:integer MININCLUSIVE 04.50e0 } / { <s1> <p1> 05 }
<S1> { <p1> xsd:integer MININCLUSIVE 04.50e0 } / { <s1> <p1> 6 }
<S1> { <p1> xsd:integer MININCLUSIVE 5.0e0 } / { <s1> <p1> 5 }
<S1> { <p1> xsd:integer MININCLUSIVE 05.00e0 } / { <s1> <p1> 4 }
<S1> { <p1> xsd:integer MININCLUSIVE 05.00e0 } / { <s1> <p1> 5 }
<S1> { <p1> xsd:integer MININCLUSIVE 05.00e0 } / { <s1> <p1> 05 }
<S1> { <p1> xsd:integer MININCLUSIVE 05.00e0 } / { <s1> <p1> 6 }
<S1> { <p1> xsd:integer MININCLUSIVE 5 } / { <s1> <p1> 4.5 }
<S1> { <p1> xsd:integer MININCLUSIVE 5 } / { <s1> <p1> '4.5'^^<http://www.w3.org/2001/XMLSchema#float> }
<S1> { <p1> xsd:integer MININCLUSIVE 5 } / { <s1> <p1> 4.5e0 }
<S1> { <p1> xsd:integer MININCLUSIVE 5 } / { <s1> <p1> '2015-12-25T01:23:45Z'^^<http://www.w3.org/2001/XMLSchema#dateTime> }
<S1> { <p1> xsd:integer MININCLUSIVE 5 } / { <s1> <p1> 'ab'^^<http://www.w3.org/2001/XMLSchema#string> }
<S1> { <p1> xsd:integer MININCLUSIVE 5 } / { <s1> <p1> '5'^^<http://www.w3.org/2001/XMLSchema#byte> }
<S1> { <p1> xsd:decimal MININCLUSIVE 5 } / { <s1> <p1> 4.4 }
<S1> { <p1> xsd:decimal MININCLUSIVE 5 } / { <s1> <p1> 5.6 }
<S1> { <p1> xsd:decimal MININCLUSIVE 05 } / { <s1> <p1> 4.4 }
<S1> { <p1> xsd:decimal MININCLUSIVE 05 } / { <s1> <p1> 5.6 }
<S1> { <p1> xsd:decimal MININCLUSIVE 4.5 } / { <s1> <p1> 4.4 }
<S1> { <p1> xsd:decimal MININCLUSIVE 4.5 } / { <s1> <p1> 4.5 }
<S1> { <p1> xsd:decimal MININCLUSIVE 4.5 } / { <s1> <p1> 04.50 }
<S1> { <p1> xsd:decimal MININCLUSIVE 4.5 } / { <s1> <p1> 5.6 }
<S1> { <p1> xsd:decimal MININCLUSIVE 04.50 } / { <s1> <p1> 4.4 }
<S1> { <p1> xsd:decimal MININCLUSIVE 04.50 } / { <s1> <p1> 4.5 }
<S1> { <p1> xsd:decimal MININCLUSIVE 04.50 } / { <s1> <p1> 5.6 }
<S1> { <p1> xsd:decimal MININCLUSIVE 05.00 } / { <s1> <p1> 4.4 }
<S1> { <p1> xsd:decimal MININCLUSIVE 05.00 } / { <s1> <p1> 5.6 }
<S1> { <p1> xsd:decimal MININCLUSIVE 4.5e0 } / { <s1> <p1> 4.4 }
<S1> { <p1> xsd:decimal MININCLUSIVE 4.5e0 } / { <s1> <p1> 4.5 }
<S1> { <p1> xsd:decimal MININCLUSIVE 4.5e0 } / { <s1> <p1> 04.50 }
<S1> { <p1> xsd:decimal MININCLUSIVE 04.50e0 } / { <s1> <p1> 4.4 }
<S1> { <p1> xsd:decimal MININCLUSIVE 04.50e0 } / { <s1> <p1> 4.5 }
<S1> { <p1> xsd:decimal MININCLUSIVE 04.50e0 } / { <s1> <p1> 5.6 }
<S1> { <p1> xsd:decimal MININCLUSIVE 05.00e0 } / { <s1> <p1> 4.4 }
<S1> { <p1> xsd:decimal MININCLUSIVE 05.00e0 } / { <s1> <p1> 5.6 }
<S1> { <p1> xsd:decimal MININCLUSIVE 4.5 } / { <s1> <p1> '4.5'^^<http://www.w3.org/2001/XMLSchema#float> }
<S1> { <p1> xsd:decimal MININCLUSIVE 4.5 } / { <s1> <p1> 4.5e0 }
<S1> { <p1> xsd:float MININCLUSIVE 05 } / { <s1> <p1> '4.4'^^<http://www.w3.org/2001/XMLSchema#float> }
<S1> { <p1> xsd:float MININCLUSIVE 05 } / { <s1> <p1> '5.6'^^<http://www.w3.org/2001/XMLSchema#float> }
<S1> { <p1> xsd:float MININCLUSIVE 4.5 } / { <s1> <p1> '4.5'^^<http://www.w3.org/2001/XMLSchema#float> }
<S1> { <p1> xsd:float MININCLUSIVE 4.5 } / { <s1> <p1> '04.50'^^<http://www.w3.org/2001/XMLSchema#float> }
<S1> { <p1> xsd:float MININCLUSIVE 04.50 } / { <s1> <p1> '4.4'^^<http://www.w3.org/2001/XMLSchema#float> }
<S1> { <p1> xsd:float MININCLUSIVE 04.50 } / { <s1> <p1> '4.5'^^<http://www.w3.org/2001/XMLSchema#float> }
<S1> { <p1> xsd:float MININCLUSIVE 04.50 } / { <s1> <p1> '04.50'^^<http://www.w3.org/2001/XMLSchema#float> }
<S1> { <p1> xsd:float MININCLUSIVE 04.50 } / { <s1> <p1> '5.6'^^<http://www.w3.org/2001/XMLSchema#float> }
<S1> { <p1> xsd:float MININCLUSIVE 05.00 } / { <s1> <p1> '4.4'^^<http://www.w3.org/2001/XMLSchema#float> }
<S1> { <p1> xsd:float MININCLUSIVE 05.00 } / { <s1> <p1> '5.6'^^<http://www.w3.org/2001/XMLSchema#float> }
<S1> { <p1> xsd:float MININCLUSIVE 4.5e0 } / { <s1> <p1> '4.5'^^<http://www.w3.org/2001/XMLSchema#float> }
<S1> { <p1> xsd:float MININCLUSIVE 4.5e0 } / { <s1> <p1> '04.50'^^<http://www.w3.org/2001/XMLSchema#float> }
<S1> { <p1> xsd:float MININCLUSIVE 04.50e0 } / { <s1> <p1> '4.4'^^<http://www.w3.org/2001/XMLSchema#float> }
<S1> { <p1> xsd:float MININCLUSIVE 04.50e0 } / { <s1> <p1> '4.5'^^<http://www.w3.org/2001/XMLSchema#float> }
<S1> { <p1> xsd:float MININCLUSIVE 04.50e0 } / { <s1> <p1> '04.50'^^<http://www.w3.org/2001/XMLSchema#float> }
<S1> { <p1> xsd:float MININCLUSIVE 04.50e0 } / { <s1> <p1> '5.6'^^<http://www.w3.org/2001/XMLSchema#float> }
<S1> { <p1> xsd:float MININCLUSIVE 05.00e0 } / { <s1> <p1> '4.4'^^<http://www.w3.org/2001/XMLSchema#float> }
<S1> { <p1> xsd:float MININCLUSIVE 05.00e0 } / { <s1> <p1> '5.6'^^<http://www.w3.org/2001/XMLSchema#float> }
<S1> { <p1> xsd:double MININCLUSIVE 05 } / { <s1> <p1> 4.4e0 }
<S1> { <p1> xsd:double MININCLUSIVE 05 } / { <s1> <p1> 5.6e0 }
<S1> { <p1> xsd:double MININCLUSIVE 4.5 } / { <s1> <p1> 4.5e0 }
<S1> { <p1> xsd:double MININCLUSIVE 4.5e0 } / { <s1> <p1> 4.5e0 }
<S1> { <p1> xsd:integer MINEXCLUSIVE 5 } / { <s1> <p1> 4 }
<S1> { <p1> xsd:integer MINEXCLUSIVE 5 } / { <s1> <p1> 5 }
<S1> { <p1> xsd:integer MINEXCLUSIVE 5 } / { <s1> <p1> 6 }
<S1> { <p1> xsd:integer MINEXCLUSIVE 5.0 } / { <s1> <p1> 4 }
<S1> { <p1> xsd:integer MINEXCLUSIVE 5.0 } / { <s1> <p1> 5 }
<S1> { <p1> xsd:integer MINEXCLUSIVE 5.0 } / { <s1> <p1> 6 }
<S1> { <p1> xsd:integer MINEXCLUSIVE 5.0e0 } / { <s1> <p1> 4 }
<S1> { <p1> xsd:integer MINEXCLUSIVE 5.0e0 } / { <s1> <p1> 5 }
<S1> { <p1> xsd:integer MINEXCLUSIVE 5.0e0 } / { <s1> <p1> 6 }
<S1> { <p1> xsd:decimal MINEXCLUSIVE 5 } / { <s1> <p1> 4.4 }
<S1> { <p1> xsd:decimal MINEXCLUSIVE 5 } / { <s1> <p1> 5.6 }
<S1> { <p1> xsd:decimal MINEXCLUSIVE 4.5 } / { <s1> <p1> 4.4 }
<S1> { <p1> xsd:decimal MINEXCLUSIVE 4.5 } / { <s1> <p1> 4.5 }
<S1> { <p1> xsd:decimal MINEXCLUSIVE 4.5 } / { <s1> <p1> 5.6 }
<S1> { <p1> xsd:decimal MINEXCLUSIVE 4.5e0 } / { <s1> <p1> 4.4 }
<S1> { <p1> xsd:decimal MINEXCLUSIVE 4.5e0 } / { <s1> <p1> 4.5 }
<S1> { <p1> xsd:decimal MINEXCLUSIVE 4.5e0 } / { <s1> <p1> 5.6 }
<S1> { <p1> xsd:decimal MINEXCLUSIVE 4.5 } / { <s1> <p1> '4.5'^^<http://www.w3.org/2001/XMLSchema#float> }
<S1> { <p1> xsd:decimal MINEXCLUSIVE 4.5 } / { <s1> <p1> 4.5e0 }
<S1> { <p1> xsd:float MINEXCLUSIVE 5 } / { <s1> <p1> '4.4'^^<http://www.w3.org/2001/XMLSchema#float> }
<S1> { <p1> xsd:float MINEXCLUSIVE 5 } / { <s1> <p1> '5.6'^^<http://www.w3.org/2001/XMLSchema#float> }
<S1> { <p1> xsd:float MINEXCLUSIVE 4.5 } / { <s1> <p1> '4.4'^^<http://www.w3.org/2001/XMLSchema#float> }
<S1> { <p1> xsd:float MINEXCLUSIVE 4.5 } / { <s1> <p1> '4.5'^^<http://www.w3.org/2001/XMLSchema#float> }
<S1> { <p1> xsd:float MINEXCLUSIVE 4.5 } / { <s1> <p1> '5.6'^^<http://www.w3.org/2001/XMLSchema#float> }
<S1> { <p1> xsd:float MINEXCLUSIVE 4.5e0 } / { <s1> <p1> '4.4'^^<http://www.w3.org/2001/XMLSchema#float> }
<S1> { <p1> xsd:float MINEXCLUSIVE 4.5e0 } / { <s1> <p1> '4.5'^^<http://www.w3.org/2001/XMLSchema#float> }
<S1> { <p1> xsd:float MINEXCLUSIVE 4.5e0 } / { <s1> <p1> '5.6'^^<http://www.w3.org/2001/XMLSchema#float> }
<S1> { <p1> xsd:double MINEXCLUSIVE 5 } / { <s1> <p1> 4.4e0 }
<S1> { <p1> xsd:double MINEXCLUSIVE 5 } / { <s1> <p1> 5.6e0 }
<S1> { <p1> xsd:double MINEXCLUSIVE 4.5 } / { <s1> <p1> 4.4e0 }
<S1> { <p1> xsd:double MINEXCLUSIVE 4.5 } / { <s1> <p1> 4.5e0 }
<S1> { <p1> xsd:double MINEXCLUSIVE 4.5 } / { <s1> <p1> 5.6e0 }
<S1> { <p1> xsd:double MINEXCLUSIVE 4.5e0 } / { <s1> <p1> 4.4e0 }
<S1> { <p1> xsd:double MINEXCLUSIVE 4.5e0 } / { <s1> <p1> 4.5e0 }
<S1> { <p1> xsd:double MINEXCLUSIVE 4.5e0 } / { <s1> <p1> 5.6e0 }
<S1> { <p1> xsd:double MINEXCLUSIVE 4.5 } / { <s1> <p1> '4.5'^^<http://www.w3.org/2001/XMLSchema#float> }
<S1> { <p1> xsd:integer MAXINCLUSIVE 5 } / { <s1> <p1> 4 }
<S1> { <p1> xsd:integer MAXINCLUSIVE 5 } / { <s1> <p1> 5 }
<S1> { <p1> xsd:integer MAXINCLUSIVE 5 } / { <s1> <p1> 6 }
<S1> { <p1> xsd:integer MAXINCLUSIVE 5.0 } / { <s1> <p1> 4 }
<S1> { <p1> xsd:integer MAXINCLUSIVE 5.0 } / { <s1> <p1> 5 }
<S1> { <p1> xsd:integer MAXINCLUSIVE 5.0 } / { <s1> <p1> 6 }
<S1> { <p1> xsd:integer MAXINCLUSIVE 5.0e0 } / { <s1> <p1> 4 }
<S1> { <p1> xsd:integer MAXINCLUSIVE 5.0e0 } / { <s1> <p1> 5 }
<S1> { <p1> xsd:integer MAXINCLUSIVE 5.0e0 } / { <s1> <p1> 6 }
<S1> { <p1> xsd:decimal MAXINCLUSIVE 5 } / { <s1> <p1> 4.4 }
<S1> { <p1> xsd:decimal MAXINCLUSIVE 5 } / { <s1> <p1> 5.6 }
<S1> { <p1> xsd:decimal MAXINCLUSIVE 5.5 } / { <s1> <p1> 4.4 }
<S1> { <p1> xsd:decimal MAXINCLUSIVE 5.5 } / { <s1> <p1> 5.5 }
<S1> { <p1> xsd:decimal MAXINCLUSIVE 5.5 } / { <s1> <p1> 5.6 }
<S1> { <p1> xsd:decimal MAXINCLUSIVE 5.5e0 } / { <s1> <p1> 4.4 }
<S1> { <p1> xsd:decimal MAXINCLUSIVE 5.5e0 } / { <s1> <p1> 5.5 }
<S1> { <p1> xsd:decimal MAXINCLUSIVE 5.5e0 } / { <s1> <p1> 5.6 }
<S1> { <p1> xsd:decimal MAXINCLUSIVE 5.5 } / { <s1> <p1> '5.5'^^<http://www.w3.org/2001/XMLSchema#float> }
<S1> { <p1> xsd:decimal MAXINCLUSIVE 5.5 } / { <s1> <p1> 5.5e0 }
<S1> { <p1> xsd:float MAXINCLUSIVE 5 } / { <s1> <p1> '4.4'^^<http://www.w3.org/2001/XMLSchema#float> }
<S1> { <p1> xsd:float MAXINCLUSIVE 5 } / { <s1> <p1> '5.6'^^<http://www.w3.org/2001/XMLSchema#float> }
<S1> { <p1> xsd:float MAXINCLUSIVE 5.5 } / { <s1> <p1> '4.4'^^<http://www.w3.org/2001/XMLSchema#float> }
<S1> { <p1> xsd:float MAXINCLUSIVE 5.5 } / { <s1> <p1> '5.5'^^<http://www.w3.org/2001/XMLSchema#float> }
<S1> { <p1> xsd:float MAXINCLUSIVE 5.5 } / { <s1> <p1> '5.6'^^<http://www.w3.org/2001/XMLSchema#float> }
<S1> { <p1> xsd:float MAXINCLUSIVE 5.5e0 } / { <s1> <p1> '4.4'^^<http://www.w3.org/2001/XMLSchema#float> }
<S1> { <p1> xsd:float MAXINCLUSIVE 5.5e0 } / { <s1> <p1> '5.5'^^<http://www.w3.org/2001/XMLSchema#float> }
<S1> { <p1> xsd:float MAXINCLUSIVE 5.5e0 } / { <s1> <p1> '5.6'^^<http://www.w3.org/2001/XMLSchema#float> }
<S1> { <p1> xsd:double MAXINCLUSIVE 5 } / { <s1> <p1> 4.4e0 }
<S1> { <p1> xsd:double MAXINCLUSIVE 5 } / { <s1> <p1> 5.6e0 }
<S1> { <p1> xsd:double MAXINCLUSIVE 5.5 } / { <s1> <p1> 4.4e0 }
<S1> { <p1> xsd:double MAXINCLUSIVE 5.5 } / { <s1> <p1> 5.5e0 }
<S1> { <p1> xsd:double MAXINCLUSIVE 5.5 } / { <s1> <p1> 5.6e0 }
<S1> { <p1> xsd:double MAXINCLUSIVE 5.5e0 } / { <s1> <p1> 4.4e0 }
<S1> { <p1> xsd:double MAXINCLUSIVE 5.5e0 } / { <s1> <p1> 5.5e0 }
<S1> { <p1> xsd:double MAXINCLUSIVE 5.5e0 } / { <s1> <p1> 5.6e0 }
<S1> { <p1> xsd:double MAXINCLUSIVE 5.5 } / { <s1> <p1> '5.5'^^<http://www.w3.org/2001/XMLSchema#float> }
<S1> { <p1> xsd:integer MAXEXCLUSIVE 5 } / { <s1> <p1> 4 }
<S1> { <p1> xsd:integer MAXEXCLUSIVE 5 } / { <s1> <p1> 5 }
<S1> { <p1> xsd:integer MAXEXCLUSIVE 5 } / { <s1> <p1> 6 }
<S1> { <p1> xsd:integer MAXEXCLUSIVE 5.0 } / { <s1> <p1> 4 }
<S1> { <p1> xsd:integer MAXEXCLUSIVE 5.0 } / { <s1> <p1> 5 }
<S1> { <p1> xsd:integer MAXEXCLUSIVE 5.0 } / { <s1> <p1> 6 }
<S1> { <p1> xsd:integer MAXEXCLUSIVE 5.0e0 } / { <s1> <p1> 4 }
<S1> { <p1> xsd:integer MAXEXCLUSIVE 5.0e0 } / { <s1> <p1> 5 }
<S1> { <p1> xsd:integer MAXEXCLUSIVE 5.0e0 } / { <s1> <p1> 6 }
<S1> { <p1> xsd:decimal MAXEXCLUSIVE 5 } / { <s1> <p1> 4.4 }
<S1> { <p1> xsd:decimal MAXEXCLUSIVE 5 } / { <s1> <p1> 5.6 }
<S1> { <p1> xsd:decimal MAXEXCLUSIVE 5.5 } / { <s1> <p1> 4.4 }
<S1> { <p1> xsd:decimal MAXEXCLUSIVE 5.5 } / { <s1> <p1> 5.5 }
<S1> { <p1> xsd:decimal MAXEXCLUSIVE 5.5 } / { <s1> <p1> 5.6 }
<S1> { <p1> xsd:decimal MAXEXCLUSIVE 5.5e0 } / { <s1> <p1> 4.4 }
<S1> { <p1> xsd:decimal MAXEXCLUSIVE 5.5e0 } / { <s1> <p1> 5.5 }
<S1> { <p1> xsd:decimal MAXEXCLUSIVE 5.5e0 } / { <s1> <p1> 5.6 }
<S1> { <p1> xsd:decimal MAXEXCLUSIVE 5.5 } / { <s1> <p1> '5.5'^^<http://www.w3.org/2001/XMLSchema#float> }
<S1> { <p1> xsd:decimal MAXEXCLUSIVE 5.5 } / { <s1> <p1> 5.5e0 }
<S1> { <p1> xsd:decimal MAXEXCLUSIVE 5 } / { <s1> <p1> '5'^^<http://www.w3.org/2001/XMLSchema#byte> }
<S1> { <p1> xsd:float MAXEXCLUSIVE 5 } / { <s1> <p1> '4.4'^^<http://www.w3.org/2001/XMLSchema#float> }
<S1> { <p1> xsd:float MAXEXCLUSIVE 5 } / { <s1> <p1> '5.6'^^<http://www.w3.org/2001/XMLSchema#float> }
<S1> { <p1> xsd:float MAXEXCLUSIVE 5.5 } / { <s1> <p1> '4.4'^^<http://www.w3.org/2001/XMLSchema#float> }
<S1> { <p1> xsd:float MAXEXCLUSIVE 5.5 } / { <s1> <p1> '5.6'^^<http://www.w3.org/2001/XMLSchema#float> }
<S1> { <p1> xsd:float MAXEXCLUSIVE 5.5e0 } / { <s1> <p1> '4.4'^^<http://www.w3.org/2001/XMLSchema#float> }
<S1> { <p1> xsd:float MAXEXCLUSIVE 5.5e0 } / { <s1> <p1> '5.6'^^<http://www.w3.org/2001/XMLSchema#float> }
<S1> { <p1> xsd:double MAXEXCLUSIVE 5 } / { <s1> <p1> 4.4e0 }
<S1> { <p1> xsd:double MAXEXCLUSIVE 5 } / { <s1> <p1> 5.5e0 }
<S1> { <p1> xsd:double MAXEXCLUSIVE 5 } / { <s1> <p1> 5.6e0 }
<S1> { <p1> xsd:double MAXEXCLUSIVE 05 } / { <s1> <p1> 5.5e0 }
<S1> { <p1> xsd:double MAXEXCLUSIVE 5.5 } / { <s1> <p1> 4.4e0 }
<S1> { <p1> xsd:double MAXEXCLUSIVE 5.5 } / { <s1> <p1> 5.5e0 }
<S1> { <p1> xsd:double MAXEXCLUSIVE 5.5 } / { <s1> <p1> 5.6e0 }
<S1> { <p1> xsd:double MAXEXCLUSIVE 5.0 } / { <s1> <p1> 5.5e0 }
<S1> { <p1> xsd:double MAXEXCLUSIVE 5.5e0 } / { <s1> <p1> 4.4e0 }
<S1> { <p1> xsd:double MAXEXCLUSIVE 5.5e0 } / { <s1> <p1> 5.5e0 }
<S1> { <p1> xsd:double MAXEXCLUSIVE 5.5e0 } / { <s1> <p1> 5.6e0 }
<S1> { <p1> xsd:double MAXEXCLUSIVE 5.0e0 } / { <s1> <p1> 5.5e0 }
<S1> { <p1> LITERAL LENGTH 5 } on { <s1> <p1> "abcd" }
<S1> { <p1> LITERAL LENGTH 5 } on { <s1> <p1> "abcde" }
<S1> { <p1> LITERAL LENGTH 5 } on { <s1> <p1> "abcdef" }
<S1> { <p1> LITERAL LENGTH 5 } on { <s1> <p1> _:abcde }
<S1> { <p1> IRI LENGTH 19 } on { <s1> <p1> "abcde" }
<S1> { <p1> IRI LENGTH 19 } on { <s1> <p1> _:abcde }
<S1> { <p1> BNODE LENGTH 5 } on { <s1> <p1> _:abcd }
<S1> { <p1> BNODE LENGTH 5 } on { <s1> <p1> _:abcde }
<S1> { <p1> BNODE LENGTH 5 } on { <s1> <p1> _:abcdef }
<S1> { <p1> BNODE LENGTH 19 } on { <s1> <p1> "abcde" }
<S1> { <p1> NONLITERAL LENGTH 19 } on { <s1> <p1> <o> }
<S1> { <p1> NONLITERAL LENGTH 19 } on { <s1> <p1> <o1> }
<S1> { <p1> NONLITERAL LENGTH 19 } on { <s1> <p1> <o1a> }
<S1> { <p1> NONLITERAL LENGTH 19 } on { <s1> <p1> "abcde" }
<S1> { <p1> NONLITERAL LENGTH 19 } on { <s1> <p1> _:abcd }
<S1> { <p1> NONLITERAL LENGTH 19 } on { <s1> <p1> _:abcdefghijklmnopqrs }
<S1> { <p1> NONLITERAL LENGTH 19 } on { <s1> <p1> _:abcdefghijklmnopqrst }
<S1> { <p1> LITERAL MINLENGTH 5 } on { <s1> <p1> "abcd" }
<S1> { <p1> LITERAL MINLENGTH 5 } on { <s1> <p1> "abcde" }
<S1> { <p1> LITERAL MINLENGTH 5 } on { <s1> <p1> "abcdef" }
<S1> { <p1> BNODE MINLENGTH 5 } on { <s1> <p1> _:abcd }
<S1> { <p1> BNODE MINLENGTH 5 } on { <s1> <p1> _:abcde }
<S1> { <p1> BNODE MINLENGTH 5 } on { <s1> <p1> _:abcdef }
<S1> { <p1> NONLITERAL MINLENGTH 19 } on { <s1> <p1> <o> }
<S1> { <p1> NONLITERAL MINLENGTH 19 } on { <s1> <p1> <o1> }
<S1> { <p1> NONLITERAL MINLENGTH 19 } on { <s1> <p1> <o1a> }
<S1> { <p1> NONLITERAL MINLENGTH 19 } on { <s1> <p1> _:abcd }
<S1> { <p1> NONLITERAL MINLENGTH 19 } on { <s1> <p1> _:abcdefghijklmnopqrs }
<S1> { <p1> NONLITERAL MINLENGTH 19 } on { <s1> <p1> _:abcdefghijklmnopqrst }
<S1> { <p1> LITERAL MAXLENGTH 5 } on { <s1> <p1> "abcd" }
<S1> { <p1> LITERAL MAXLENGTH 5 } on { <s1> <p1> "abcde" }
<S1> { <p1> LITERAL MAXLENGTH 5 } on { <s1> <p1> "abcdef" }
<S1> { <p1> BNODE MAXLENGTH 5 } on { <s1> <p1> _:abcd }
<S1> { <p1> BNODE MAXLENGTH 5 } on { <s1> <p1> _:abcde }
<S1> { <p1> BNODE MAXLENGTH 5 } on { <s1> <p1> _:abcdef }
<S1> { <p1> NONLITERAL MAXLENGTH 19 } on { <s1> <p1> <o> }
<S1> { <p1> NONLITERAL MAXLENGTH 19 } on { <s1> <p1> <o1> }
<S1> { <p1> NONLITERAL MAXLENGTH 19 } on { <s1> <p1> <o1a> }
<S1> { <p1> NONLITERAL MAXLENGTH 19 } on { <s1> <p1> _:abcd }
<S1> { <p1> NONLITERAL MAXLENGTH 19 } on { <s1> <p1> _:abcdefghijklmnopqrs }
<S1> { <p1> NONLITERAL MAXLENGTH 5 } on { <s1> <p1> _:abcdefghijklmnopqrst }
<S1> { <p1> LITERAL PATTERN "bc" } on { <s1> <p1> "bc" }
<S1> { <p1> LITERAL PATTERN "bc" } on { <s1> <p1> "a" }
<S1> { <p1> LITERAL PATTERN "bc" } on { <s1> <p1> "ab" }
<S1> { <p1> LITERAL PATTERN "bc" } on { <s1> <p1> "cd" }
<S1> { <p1> LITERAL PATTERN "bc" } on { <s1> <p1> "abc" }
<S1> { <p1> LITERAL PATTERN "http://a.example/o1" } on { <s1> <p1> <o1> }
<S1> { <p1> LITERAL PATTERN "bc" } on { <s1> <p1> _:ab }
<S1> { <p1> LITERAL PATTERN "bc$" } on { <s1> <p1> "bc$" }
<S1> { <p1> LITERAL PATTERN "bc\$" } on { <s1> <p1> "bc$" }
<S1> { <p1> LITERAL PATTERN "^bc$" } on { <s1> <p1> "^bc$" }
<S1> { <p1> LITERAL PATTERN "\^bc\$" } on { <s1> <p1> "bc" }
<S1> { <p1> LITERAL PATTERN "bc$" } on { <s1> <p1> _:bc }
<S1> { <p1> LITERAL PATTERN "^bc" } on { <s1> <p1> "bc" }
<S1> { <p1> LITERAL PATTERN "^bc" } on { <s1> <p1> "^bc$" }
<S1> { <p1> LITERAL PATTERN "bc$" } on { <s1> <p1> "bc" }
<S1> { <p1> LITERAL PATTERN "bc$" } on { <s1> <p1> "^bc$" }
<S1> { <p1> LITERAL PATTERN "bc" } on { <s1> <p1> "bc$" }
<S1> { <p1> LITERAL PATTERN "^bc$" } on { <s1> <p1> "bc" }
<S1> { <p1> LITERAL PATTERN "bc" } on { <s1> <p1> "^bc$" }
<S1> { <p1> IRI PATTERN "http://a.example/o1" } on { <s1> <p1> <o1> }
<S1> { <p1> IRI PATTERN "http://a.example/o1" } on { <s1> <p1> <o> }
<S1> { <p1> IRI PATTERN "http://a.example/o1" } on { <s1> <p1> <o1a> }
<S1> { <p1> IRI PATTERN "http://a.example/o1" } on { <s1> <p1> "o1" }
<S1> { <p1> BNODE PATTERN "bc" } on { <s1> <p1> _:bc }
<S1> { <p1> BNODE PATTERN "bc" } on { <s1> <p1> _:a }
<S1> { <p1> BNODE PATTERN "bc" } on { <s1> <p1> _:abc }
<S1> { <p1> BNODE PATTERN "bc" } on { <s1> <p1> "ab" }
<S1> { <p1> BNODE PATTERN "bc" } on { BASE <http://a.example/> <s1> <p1> <bc> }
<S1> { <p1> NONLITERAL PATTERN "bc$" } on { <s1> <p1> <bc> }
<S1> { <p1> NONLITERAL PATTERN "bc$" } on { <s1> <p1> }
<S1> { <p1> NONLITERAL PATTERN "bc$" } on { <s1> <p1> <abc> }
<S1> { <p1> NONLITERAL PATTERN "bc$" } on { <s1> <p1> "ab" }
<S1> { <p1> NONLITERAL PATTERN "bc$" } on { <s1> <p1> _:bc }
<S1> { <p1> NONLITERAL PATTERN "bc$" } on { <s1> <p1> _:a }
<S1> { <p1> NONLITERAL PATTERN "bc$" } on { <s1> <p1> _:abc }
{ <p1> [@~-@fr-be-@fr-cd-@fr-ch] } on { <s1> <p1> 'septante'@fr-be-fbcl }
{ <p1> [@fr~] } on { <s1> <p1> 'septante'@fr-be-fbcl }
{ <p1> [@fr~-@fr-be-@fr-cd-@fr-ch] } on { <s1> <p1> 'septante'@fr-FR }
{ <p1> [@fr~-@fr-be-@fr-cd-@fr-ch] } on { <s1> <p1> 'septante'@fr-be }
{ <p1> [@fr~-@fr-be-@fr-cd-@fr-ch] } on { <s1> <p1> 'septante'@fr-cd }
{ <p1> [@fr~-@fr-be-@fr-cd-@fr-ch] } on { <s1> <p1> 'septante'@fr-ch }
{ <p1> [@fr~-@fr-be-@fr-cd-@fr-ch] } on { <s1> <p1> 'septante'@fr-be-fbcl }
{ <p1> [@fr~-@fr-be~-@fr-cd~-@fr-ch~] } on { <s1> <p1> 'septante'@fr-be-fbcl }
<vc1> = LITERAL MINLENGTH 5 <S1> { <p1> @<vc1> } on { <s1> <p1> "abcd" }
<vc1> = LITERAL MINLENGTH 5 <S1> { <p1> @<vc1> } on { <s1> <p1> "abcde" }
_:vc1 = LITERAL MINLENGTH 5 <S1> { <p1> @_:vc1 } on { <s1> <p1> "abcd" }
_:vc1 = LITERAL MINLENGTH 5 <S1> { <p1> @_:vc1 } on { <s1> <p1> "abcde" }
{ <p1> MINLENGTH 4 AND MAXLENGTH 5 AND ~ '(ab)+' } on { <s1> <p1> 'abab' }
{ <p1> MINLENGTH 4 AND MAXLENGTH 5 AND ~ '(ab)+' } on { <s1> <p1> 'ab' }
{ <p1> MINLENGTH 4 AND MAXLENGTH 5 AND ~ '(ab)+' } on { <s1> <p1> 'ababab' }
{ <p1> MINLENGTH 4 AND MAXLENGTH 5 AND ~ '(ab)+' } on { <s1> <p1> 'baba' }
<S1> { <p1> minlength 4 } AND { <p1> maxlength 5 } AND { <p1> pattern '(ab)+' } on { <s1> <p1> 'abab' }
%<Test>{print('startAct 1')%} %<Test>{print('startAct 2')%} %<Test>{print('startAct 3')%} { <p1> . } on { <s1> <p1> <o1> }
%<Test>{print('startAct 1')%} %<Test>{ fail('startAct 2') %} %<Test>{print('startAct 3')%} { <p1> . } on { <s1> <p1> <o1> }
BNODE { <p1> . } on in { _:abcdefghijklmnopqrs <p1> <o1> }
<dt1> on { <s1> <p1> 'ab'^^my:bloodType }
<dt1> on 'ab'^^<bloodType999> in { }
<S1> LENGTH 19 { <p1> . } on { _:abcdefghijklmnopqrs <p1> <o1> }
<S1> LENGTH 19 { <p1> . } on { _:abcdefghijklmnopqrst <p1> <o1> }
<S1> MINLENGTH 19 { <p1> . } on { _:abcdefghijklmnopqrs <p1> <o1> }
<S1> MINLENGTH 19 { <p1> . } on { _:abcdefghijklmnopqrst <p1> <o1> }
<S1> MAXLENGTH 19 { <p1> . } on { _:abcdefghijklmnopqrs <p1> <o1> }
<S1> MAXLENGTH 19 { <p1> . } on { _:abcdefghijklmnopqrst <p1> <o1> }
<S1> PATTERN 'http://a.example/s1' { <p1> } on { <s1> <p1> <o1> }
<S1> PATTERN 'abcdefghijklmnopqrs' { <p1> } on { <s2> <p1> <o> }
<S1> PATTERN 'abcdefghijklmnopqrs' { <p1> } on { _:abcd <p1> <o1> }
<S1> PATTERN 'abcdefghijklmnopqrs' { <p1> } on { _:abcdefghijklmnopqrs <p1> <o1> }
<S1> PATTERN 'abcdefghijklmnopqrs' { <p1> } on { _:abcdefghijklmnopqrst <p1> <o1> }
IRI LENGTH 19 { <p1> . } on in { _:abcdefghijklmnopqrs <p1> <o1> }
BNODE LENGTH 19 { <p1> . } on in { _:abcd <p1> <o1> }
BNODE LENGTH 19 { <p1> . } on in { _:abcdefghijklmnopqrs <p1> <o1> }
BNODE LENGTH 19 { <p1> . } on in { _:abcdefghijklmnopqrst <p1> <o1> }
<S1> NONLITERAL LENGTH 19 { <p1> . } on { <s1> <p1> <o1> }
<vc1> = LITERAL MINLENGTH 5 <S1> { <p1> <vc1> } on { <s1> <p1> "abcd" }
<vc1> = LITERAL MINLENGTH 5 <S1> { <p1> <vc1> } on { <s1> <p1> "abcde" }
_:vc1 = LITERAL MINLENGTH 5 <S1> { <p1> _:vc1 } on { <s1> <p1> "abcd" }
_:vc1 = LITERAL MINLENGTH 5 <S1> { <p1> _:vc1 } on { <s1> <p1> "abcde" }
<Issue> C { ... @<Person> ... @<Employee> } ABS <Person> <User> EXT @<Person> ABS <Rep> <Employee> EXT @<Person> EXT @<Rep> on { <Issue1> ... - @<Person> <User2> f:name; f:givenName; f:familyName. <Thompson.J> ... }
<Issue> C { ... @<Person> ... @<Employee> } ABS <Person> <User> EXT @<Person> ABS <Rep> <Employee> EXT @<Person> EXT @<Rep> on { <Issue1> ... - @<Person> <User2> ... <Thompson.J> ... }
<Issue> C { ... @<Person> ... @<Employee> } ABS <Person> <User> EXT @<Person> ABS <Rep> <Employee> EXT @<Person> EXT @<Rep> on { <Issue1> ... - @<Employee> <User2> ... <Thompson.J> ... }
<Issue> C { ... @<Person> ... @<Employee> } ABS <Person> <User> EXT @<Person> ABS <Rep> <Employee> EXT @<Person> EXT @<Rep> on { <Issue1> ... <User2> ... <Thompson.J> ... }
ABSTRACT /sA/ AND {:p} @ AND /s B/ {:p} on { <sABxxxxxxxxx> 0 }
ABSTRACT /sA/ AND {:p} @ AND /s B/ {:p} on { <sAxxxxxxxxxx> 0 }
ABSTRACT /sA/ AND {:p} @ AND /s B/ {:p} on { <sxBxxxxxxxxx> 0 }
ABS ABS @ <C> <D> @ AND @ on { <sABCDxxxxxxx> 0 }
ABS ABS @ <C> <D> @ AND @ on { <sAxxxxxxxxxx> 0 }
ABS ABS @ <C> <D> @ AND @ on { <sxxCxxxxxxxx> 0 }
<E> EXTENDS @<D> {:p [2]} on { <sABCDExxxxxx> 0, 2 }
<E> EXTENDS @<D> {:p [2]} on { <sABCDExxxxxx> 2 }
<E> EXTENDS @<D> {:p [2]} on { <sABCDExxxxxx> 0, 2, 3 }
<E> EXTENDS @<D> {:p [2]} on { <sxBCDExxxxxx> 0, 2 }
<E> EXTENDS @<D> {:p [2]} on { <sABxDExxxxxx> 0, 2 }
<E> EXTENDS @<D> {:p [2]} on { <sABCxExxxxxx> 0, 2 }
<E> EXTENDS @<D> {:p [2]} on { <sABCDxxxxxxx> 0, 2 }