schema.spin-full.ttl Maven / Gradle / Ivy
Go to download
Show more of this group Show more artifacts with this name
Show all versions of rdf4j-spin Show documentation
Show all versions of rdf4j-spin Show documentation
SPARQL input notation interfaces and implementations
@prefix owl: .
@prefix rdf: .
@prefix spin: .
@prefix arg: .
@prefix xsd: .
@prefix afn: .
@prefix fn: .
@prefix rdfs: .
@prefix sp: .
@prefix spl: .
rdf:Alt a rdfs:Class , rdfs:Resource ;
rdfs:subClassOf rdf:Alt , rdfs:Container , rdfs:Resource .
rdf:Bag a rdfs:Class , rdfs:Resource ;
rdfs:subClassOf rdf:Bag , rdfs:Container , rdfs:Resource .
rdf:List a rdfs:Class , rdfs:Resource ;
rdfs:subClassOf rdf:List , rdfs:Resource .
rdf:Property a rdfs:Class , rdfs:Resource ;
rdfs:subClassOf rdf:Property , rdfs:Resource .
rdf:Seq a rdfs:Class , rdfs:Resource ;
rdfs:subClassOf rdf:Seq , rdfs:Container , rdfs:Resource .
rdf:Statement a rdfs:Class , rdfs:Resource ;
rdfs:subClassOf rdf:Statement , rdfs:Resource .
rdf:XMLLiteral a rdfs:Class , rdfs:Datatype , rdfs:Resource ;
rdfs:subClassOf rdf:XMLLiteral , rdfs:Literal , rdfs:Resource .
rdf:first a rdf:Property , rdfs:Resource ;
rdfs:domain rdf:List ;
rdfs:range rdfs:Resource ;
rdfs:subPropertyOf rdf:first .
rdf:nil a rdf:List , rdfs:Resource .
rdf:object a rdf:Property , rdfs:Resource ;
rdfs:domain rdf:Statement ;
rdfs:range rdfs:Resource ;
rdfs:subPropertyOf rdf:object .
rdf:predicate a rdf:Property , rdfs:Resource ;
rdfs:domain rdf:Statement ;
rdfs:range rdfs:Resource ;
rdfs:subPropertyOf rdf:predicate .
rdf:rest a rdf:Property , rdfs:Resource ;
rdfs:domain rdf:List ;
rdfs:range rdf:List ;
rdfs:subPropertyOf rdf:rest .
rdf:subject a rdf:Property , rdfs:Resource ;
rdfs:domain rdf:Statement ;
rdfs:range rdfs:Resource ;
rdfs:subPropertyOf rdf:subject .
rdf:type a rdf:Property , rdfs:Resource ;
rdfs:domain rdfs:Resource ;
rdfs:range rdfs:Class ;
rdfs:subPropertyOf rdf:type .
rdf:value a rdf:Property , rdfs:Resource ;
rdfs:domain rdfs:Resource ;
rdfs:range rdfs:Resource ;
rdfs:subPropertyOf rdf:value .
rdfs:Class a rdfs:Class , rdfs:Resource ;
rdfs:subClassOf rdfs:Class , rdfs:Resource .
rdfs:Container a rdfs:Class , rdfs:Resource ;
rdfs:subClassOf rdfs:Container , rdfs:Resource .
rdfs:ContainerMembershipProperty a rdfs:Class , rdfs:Resource ;
rdfs:subClassOf rdf:Property , rdfs:ContainerMembershipProperty , rdfs:Resource .
rdfs:Datatype a rdfs:Class , rdfs:Resource ;
rdfs:subClassOf rdfs:Class , rdfs:Datatype , rdfs:Resource .
rdfs:Literal a rdfs:Class , rdfs:Resource ;
rdfs:subClassOf rdfs:Literal , rdfs:Resource .
rdfs:Resource a rdfs:Class , rdfs:Resource ;
rdfs:subClassOf rdfs:Resource .
rdfs:comment a rdf:Property , rdfs:Resource ;
rdfs:domain rdfs:Resource ;
rdfs:range rdfs:Literal ;
rdfs:subPropertyOf rdfs:comment .
rdfs:domain a rdf:Property , rdfs:Resource ;
rdfs:domain rdf:Property ;
rdfs:range rdfs:Class ;
rdfs:subPropertyOf rdfs:domain .
rdfs:isDefinedBy a rdf:Property , rdfs:Resource ;
rdfs:domain rdfs:Resource ;
rdfs:range rdfs:Resource ;
rdfs:subPropertyOf rdfs:isDefinedBy , rdfs:seeAlso .
rdfs:label a rdf:Property , rdfs:Resource ;
rdfs:domain rdfs:Resource ;
rdfs:range rdfs:Literal ;
rdfs:subPropertyOf rdfs:label .
rdfs:member a rdf:Property , rdfs:Resource ;
rdfs:domain rdfs:Resource ;
rdfs:range rdfs:Resource ;
rdfs:subPropertyOf rdfs:member .
rdfs:range a rdf:Property , rdfs:Resource ;
rdfs:domain rdf:Property ;
rdfs:range rdfs:Class ;
rdfs:subPropertyOf rdfs:range .
rdfs:seeAlso a rdf:Property , rdfs:Resource ;
rdfs:domain rdfs:Resource ;
rdfs:range rdfs:Resource ;
rdfs:subPropertyOf rdfs:seeAlso .
rdfs:subClassOf a rdf:Property , rdfs:Resource ;
rdfs:domain rdfs:Class ;
rdfs:range rdfs:Class ;
rdfs:subPropertyOf rdfs:subClassOf .
rdfs:subPropertyOf a rdf:Property , rdfs:Resource ;
rdfs:domain rdf:Property ;
rdfs:range rdf:Property ;
rdfs:subPropertyOf rdfs:subPropertyOf .
_:genid-7bb79f7e268a4347b7dfcbf1a9c65a80-b11396 a rdfs:Resource .
_:genid-7bb79f7e268a4347b7dfcbf1a9c65a80-b14277 a rdfs:Resource .
_:genid-7bb79f7e268a4347b7dfcbf1a9c65a80-b28065 a rdfs:Resource .
_:genid-7bb79f7e268a4347b7dfcbf1a9c65a80-b30331 a rdfs:Resource .
_:genid-7bb79f7e268a4347b7dfcbf1a9c65a80-b46843 a rdfs:Resource .
_:genid-7bb79f7e268a4347b7dfcbf1a9c65a80-b47159 a rdfs:Resource .
_:genid-7bb79f7e268a4347b7dfcbf1a9c65a80-b70470 a rdfs:Resource .
_:genid-7bb79f7e268a4347b7dfcbf1a9c65a80-b76881 a rdfs:Resource .
_:node1a5jqhf0ux1 sp:arg sp:Ask , spin:body , 0 , 1 ;
spl:count 0 , 1 ;
spl:maxCount 1 ;
spl:minCount 0 ;
spl:predicate spin:body ;
spl:valueType sp:Ask ;
_:node1a5jqhf0ux4 ;
a sp:Command , sp:Query , sp:SystemClass , spin:ConstructTemplates , spin:Modules , spin:Templates , spl:Attribute , rdfs:Resource ;
rdfs:comment "The ASK query wrapped by this template." .
_:node1a5jqhf0ux10 sp:arg sp:arg2 , rdfs:Resource ;
spl:predicate sp:arg2 ;
spl:valueType rdfs:Resource ;
_:node1a5jqhf0ux4 ;
a sp:Command , sp:Query , sp:SystemClass , spin:ConstructTemplates , spin:Modules , spin:Templates , spl:Argument , rdfs:Resource ;
rdfs:comment "the second number" .
_:node1a5jqhf0ux100 sp:arg sp:arg1 ;
spl:predicate sp:arg1 ;
_:node1a5jqhf0ux4 ;
a sp:Command , sp:Query , sp:SystemClass , spin:ConstructTemplates , spin:Modules , spin:Templates , spl:Argument , rdfs:Resource ;
rdfs:comment "The expression to evaluate. Should be a sp:Select, sp:Ask, a sp:Variable or an instance of a SPARQL function class, but may also be a simple RDF value." .
_:node1a5jqhf0ux101 sp:resultVariables _:node1a5jqhf0ux102 ;
sp:systemProperty _:node1a5jqhf0ux102 , _:node1a5jqhf0ux106 ;
sp:where _:node1a5jqhf0ux106 ;
a sp:Command , sp:Query , sp:Select , sp:SystemClass , rdfs:Resource .
_:node1a5jqhf0ux102 rdf:first _:node1a5jqhf0ux103 ;
rdf:rest _:node1a5jqhf0ux104 ;
a rdf:List , rdfs:Resource .
_:node1a5jqhf0ux103 sp:systemProperty "arg" ;
sp:varName "arg" ;
a sp:SystemClass , sp:Variable , rdfs:Resource .
_:node1a5jqhf0ux104 rdf:first _:node1a5jqhf0ux105 ;
rdf:rest rdf:nil ;
a rdf:List , rdfs:Resource .
_:node1a5jqhf0ux105 sp:systemProperty "atClass" ;
sp:varName "atClass" ;
a sp:SystemClass , sp:Variable , rdfs:Resource .
_:node1a5jqhf0ux106 rdf:first _:node1a5jqhf0ux107 ;
rdf:rest _:node1a5jqhf0ux111 ;
a sp:Element , sp:ElementGroup , sp:ElementList , sp:SystemClass , rdf:List , rdfs:Resource .
_:node1a5jqhf0ux107 sp:object _:node1a5jqhf0ux108 ;
sp:path _:node1a5jqhf0ux109 ;
sp:subject _:node1a5jqhf0ux110 ;
sp:systemProperty _:node1a5jqhf0ux108 , _:node1a5jqhf0ux109 , _:node1a5jqhf0ux110 ;
a sp:Element , sp:SystemClass , sp:TriplePath , sp:Tuple , rdfs:Resource .
_:node1a5jqhf0ux108 sp:systemProperty "atClass" ;
sp:varName "atClass" ;
a sp:SystemClass , sp:Variable , rdfs:Resource .
_:node1a5jqhf0ux109 sp:modMax -2 ;
sp:modMin 0 ;
sp:subPath rdfs:subClassOf ;
sp:systemProperty rdfs:subClassOf , -2 , 0 ;
a sp:ModPath , sp:Path , sp:SystemClass , rdfs:Resource .
_:node1a5jqhf0ux11 sp:arg sp:arg1 , xsd:boolean ;
spl:predicate sp:arg1 ;
spl:valueType xsd:boolean ;
_:node1a5jqhf0ux4 ;
a sp:Command , sp:Query , sp:SystemClass , spin:ConstructTemplates , spin:Modules , spin:Templates , spl:Argument , rdfs:Resource ;
rdfs:comment "the first operand of the intersection" .
_:node1a5jqhf0ux110 sp:systemProperty "class" ;
sp:varName "class" ;
a sp:SystemClass , sp:Variable , rdfs:Resource .
_:node1a5jqhf0ux111 rdf:first _:node1a5jqhf0ux112 ;
rdf:rest _:node1a5jqhf0ux115 ;
a rdf:List , rdfs:Resource .
_:node1a5jqhf0ux112 sp:object _:node1a5jqhf0ux113 ;
sp:predicate spin:constraint ;
sp:subject _:node1a5jqhf0ux114 ;
sp:systemProperty _:node1a5jqhf0ux113 , _:node1a5jqhf0ux114 , spin:constraint ;
a sp:SystemClass , sp:Triple , sp:Tuple , rdfs:Resource .
_:node1a5jqhf0ux113 sp:systemProperty "arg" ;
sp:varName "arg" ;
a sp:SystemClass , sp:Variable , rdfs:Resource .
_:node1a5jqhf0ux114 sp:systemProperty "atClass" ;
sp:varName "atClass" ;
a sp:SystemClass , sp:Variable , rdfs:Resource .
_:node1a5jqhf0ux115 rdf:first _:node1a5jqhf0ux116 ;
rdf:rest rdf:nil ;
a rdf:List , rdfs:Resource .
_:node1a5jqhf0ux116 sp:object spl:Argument ;
sp:predicate rdf:type ;
sp:subject _:node1a5jqhf0ux117 ;
sp:systemProperty _:node1a5jqhf0ux117 , spl:Argument , rdf:type ;
a sp:SystemClass , sp:Triple , sp:Tuple , rdfs:Resource .
_:node1a5jqhf0ux117 sp:systemProperty "arg" ;
sp:varName "arg" ;
a sp:SystemClass , sp:Variable , rdfs:Resource .
_:node1a5jqhf0ux118 sp:arg spl:class , rdfs:Class ;
spl:predicate spl:class ;
spl:valueType rdfs:Class ;
_:node1a5jqhf0ux4 ;
a sp:Command , sp:Query , sp:SystemClass , spin:ConstructTemplates , spin:Modules , spin:Templates , spl:Argument , rdfs:Resource ;
rdfs:comment "The class to get the arguments of." .
_:node1a5jqhf0ux119 sp:systemProperty _:node1a5jqhf0ux120 , _:node1a5jqhf0ux130 ;
sp:templates _:node1a5jqhf0ux120 ;
sp:where _:node1a5jqhf0ux130 ;
a sp:Command , sp:Construct , sp:Query , sp:SystemClass , spin:Rule , rdfs:Resource .
_:node1a5jqhf0ux12 sp:arg sp:arg2 , xsd:boolean ;
spl:predicate sp:arg2 ;
spl:valueType xsd:boolean ;
_:node1a5jqhf0ux4 ;
a sp:Command , sp:Query , sp:SystemClass , spin:ConstructTemplates , spin:Modules , spin:Templates , spl:Argument , rdfs:Resource ;
rdfs:comment "the second operand of the intersection" .
_:node1a5jqhf0ux120 rdf:first _:node1a5jqhf0ux121 ;
rdf:rest _:node1a5jqhf0ux122 ;
a rdf:List , rdfs:Resource .
_:node1a5jqhf0ux121 sp:object spin:ConstraintViolation ;
sp:predicate rdf:type ;
sp:subject _:genid-7bb79f7e268a4347b7dfcbf1a9c65a80-b14277 ;
sp:systemProperty _:genid-7bb79f7e268a4347b7dfcbf1a9c65a80-b14277 , spin:ConstraintViolation , rdf:type ;
a sp:SystemClass , sp:Triple , sp:Tuple , rdfs:Resource .
_:node1a5jqhf0ux122 rdf:first _:node1a5jqhf0ux123 ;
rdf:rest _:node1a5jqhf0ux124 ;
a rdf:List , rdfs:Resource .
_:node1a5jqhf0ux123 sp:object spin:_this ;
sp:predicate spin:violationRoot ;
sp:subject _:genid-7bb79f7e268a4347b7dfcbf1a9c65a80-b14277 ;
sp:systemProperty _:genid-7bb79f7e268a4347b7dfcbf1a9c65a80-b14277 , spin:_this , spin:violationRoot ;
a sp:SystemClass , sp:Triple , sp:Tuple , rdfs:Resource .
_:node1a5jqhf0ux124 rdf:first _:node1a5jqhf0ux125 ;
rdf:rest _:node1a5jqhf0ux127 ;
a rdf:List , rdfs:Resource .
_:node1a5jqhf0ux125 sp:object _:node1a5jqhf0ux126 ;
sp:predicate spin:violationPath ;
sp:subject _:genid-7bb79f7e268a4347b7dfcbf1a9c65a80-b14277 ;
sp:systemProperty _:genid-7bb79f7e268a4347b7dfcbf1a9c65a80-b14277 , _:node1a5jqhf0ux126 , spin:violationPath ;
a sp:SystemClass , sp:Triple , sp:Tuple , rdfs:Resource .
_:node1a5jqhf0ux126 sp:systemProperty "predicate" ;
sp:varName "predicate" ;
a sp:SystemClass , sp:Variable , rdfs:Resource .
_:node1a5jqhf0ux127 rdf:first _:node1a5jqhf0ux128 ;
rdf:rest rdf:nil ;
a rdf:List , rdfs:Resource .
_:node1a5jqhf0ux128 sp:object _:node1a5jqhf0ux129 ;
sp:predicate rdfs:label ;
sp:subject _:genid-7bb79f7e268a4347b7dfcbf1a9c65a80-b14277 ;
sp:systemProperty _:genid-7bb79f7e268a4347b7dfcbf1a9c65a80-b14277 , _:node1a5jqhf0ux129 , rdfs:label ;
a sp:SystemClass , sp:Triple , sp:Tuple , rdfs:Resource .
_:node1a5jqhf0ux129 sp:systemProperty "label" ;
sp:varName "label" ;
a sp:SystemClass , sp:Variable , rdfs:Resource .
_:node1a5jqhf0ux13 sp:arg sp:arg1 , true ;
spl:optional true ;
spl:predicate sp:arg1 ;
_:node1a5jqhf0ux4 ;
a sp:Command , sp:Query , sp:SystemClass , spin:ConstructTemplates , spin:Modules , spin:Templates , spl:Argument , rdfs:Resource ;
rdfs:comment "A literal input node." .
_:node1a5jqhf0ux130 rdf:first _:node1a5jqhf0ux131 ;
rdf:rest _:node1a5jqhf0ux134 ;
a sp:Element , sp:ElementGroup , sp:ElementList , sp:SystemClass , rdf:List , rdfs:Resource .
_:node1a5jqhf0ux131 rdf:first _:node1a5jqhf0ux132 ;
rdf:rest rdf:nil ;
a rdf:List , rdfs:Resource .
_:node1a5jqhf0ux132 sp:expression _:node1a5jqhf0ux133 ;
sp:systemProperty _:node1a5jqhf0ux133 ;
a sp:Element , sp:Filter , sp:SystemClass , rdfs:Resource .
_:node1a5jqhf0ux133 sp:arg spin:_this ;
sp:arg1 spin:_this ;
_:node1a5jqhf0ux4 ;
a sp:isIRI , spin:Functions , spin:Modules , spl:BooleanFunctions , rdfs:Resource .
_:node1a5jqhf0ux134 rdf:first _:node1a5jqhf0ux135 ;
rdf:rest rdf:nil ;
a rdf:List , rdfs:Resource .
_:node1a5jqhf0ux135 sp:elements _:node1a5jqhf0ux136 ;
sp:systemProperty _:node1a5jqhf0ux136 ;
a sp:Element , sp:ElementGroup , sp:SystemClass , sp:Union , rdfs:Resource .
_:node1a5jqhf0ux136 rdf:first _:node1a5jqhf0ux137 ;
rdf:rest _:node1a5jqhf0ux170 ;
a sp:Element , sp:ElementGroup , sp:ElementList , sp:SystemClass , rdf:List , rdfs:Resource .
_:node1a5jqhf0ux137 rdf:first _:node1a5jqhf0ux138 ;
rdf:rest _:node1a5jqhf0ux164 ;
a rdf:List , rdfs:Resource .
_:node1a5jqhf0ux138 rdf:first _:node1a5jqhf0ux139 ;
rdf:rest _:node1a5jqhf0ux147 ;
a rdf:List , rdfs:Resource .
_:node1a5jqhf0ux139 rdf:first _:node1a5jqhf0ux140 ;
rdf:rest rdf:nil ;
a rdf:List , rdfs:Resource .
_:node1a5jqhf0ux14 sp:arg sp:arg1 ;
spl:predicate sp:arg1 ;
_:node1a5jqhf0ux4 ;
a sp:Command , sp:Query , sp:SystemClass , spin:ConstructTemplates , spin:Modules , spin:Templates , spl:Argument , rdfs:Resource ;
rdfs:comment "the variable or expression that is checked" .
_:node1a5jqhf0ux140 sp:expression _:node1a5jqhf0ux141 ;
sp:systemProperty _:node1a5jqhf0ux141 ;
a sp:Element , sp:Filter , sp:SystemClass , rdfs:Resource .
_:node1a5jqhf0ux141 sp:arg _:node1a5jqhf0ux142 , _:node1a5jqhf0ux145 ;
sp:arg1 _:node1a5jqhf0ux142 ;
sp:arg2 _:node1a5jqhf0ux145 ;
_:node1a5jqhf0ux4 ;
a sp:or , spin:Functions , spin:Modules , spl:BooleanFunctions , rdfs:Resource .
_:node1a5jqhf0ux142 sp:arg _:node1a5jqhf0ux143 ;
sp:arg1 _:node1a5jqhf0ux143 ;
_:node1a5jqhf0ux4 ;
a sp:not , spin:Functions , spin:Modules , spl:BooleanFunctions , rdfs:Resource .
_:node1a5jqhf0ux143 sp:arg _:node1a5jqhf0ux144 ;
sp:arg1 _:node1a5jqhf0ux144 ;
_:node1a5jqhf0ux4 ;
a sp:bound , spin:Functions , spin:Modules , spl:BooleanFunctions , rdfs:Resource .
_:node1a5jqhf0ux144 sp:systemProperty "optional" ;
sp:varName "optional" ;
a sp:SystemClass , sp:Variable , rdfs:Resource .
_:node1a5jqhf0ux145 sp:arg _:node1a5jqhf0ux146 , false ;
sp:arg1 _:node1a5jqhf0ux146 ;
sp:arg2 false ;
_:node1a5jqhf0ux4 ;
a sp:eq , spin:Functions , spin:Modules , spl:BooleanFunctions , rdfs:Resource .
_:node1a5jqhf0ux146 sp:systemProperty "optional" ;
sp:varName "optional" ;
a sp:SystemClass , sp:Variable , rdfs:Resource .
_:node1a5jqhf0ux147 rdf:first _:node1a5jqhf0ux148 ;
rdf:rest _:node1a5jqhf0ux154 ;
a rdf:List , rdfs:Resource .
_:node1a5jqhf0ux148 sp:expression _:node1a5jqhf0ux149 ;
sp:systemProperty _:node1a5jqhf0ux149 ;
a sp:Element , sp:Filter , sp:SystemClass , rdfs:Resource .
_:node1a5jqhf0ux149 sp:elements _:node1a5jqhf0ux150 ;
sp:systemProperty _:node1a5jqhf0ux150 ;
_:node1a5jqhf0ux4 ;
a sp:notExists , spin:Functions , spin:Modules , spl:BooleanFunctions , rdfs:Resource .
_:node1a5jqhf0ux15 sp:arg sp:arg1 ;
spl:predicate sp:arg1 ;
_:node1a5jqhf0ux4 ;
a sp:Command , sp:Query , sp:SystemClass , spin:ConstructTemplates , spin:Modules , spin:Templates , spl:Argument , rdfs:Resource ;
rdfs:comment "The number to get the ceiling of." .
_:node1a5jqhf0ux150 rdf:first _:node1a5jqhf0ux151 ;
rdf:rest rdf:nil ;
a sp:Element , sp:ElementGroup , sp:ElementList , sp:SystemClass , rdf:List , rdfs:Resource .
_:node1a5jqhf0ux151 sp:object _:node1a5jqhf0ux152 ;
sp:predicate _:node1a5jqhf0ux153 ;
sp:subject spin:_this ;
sp:systemProperty _:node1a5jqhf0ux152 , _:node1a5jqhf0ux153 , spin:_this ;
a sp:SystemClass , sp:Triple , sp:Tuple , rdfs:Resource .
_:node1a5jqhf0ux152 sp:systemProperty "value" ;
sp:varName "value" ;
a sp:SystemClass , sp:Variable , rdfs:Resource .
_:node1a5jqhf0ux153 sp:systemProperty "predicate" ;
sp:varName "predicate" ;
a sp:SystemClass , sp:Variable , rdfs:Resource .
_:node1a5jqhf0ux154 rdf:first _:node1a5jqhf0ux155 ;
rdf:rest rdf:nil ;
a rdf:List , rdfs:Resource .
_:node1a5jqhf0ux155 sp:expression _:node1a5jqhf0ux156 ;
sp:systemProperty _:node1a5jqhf0ux156 ;
a sp:Element , sp:Filter , sp:SystemClass , rdfs:Resource .
_:node1a5jqhf0ux156 sp:elements _:node1a5jqhf0ux157 ;
sp:systemProperty _:node1a5jqhf0ux157 ;
_:node1a5jqhf0ux4 ;
a sp:notExists , spin:Functions , spin:Modules , spl:BooleanFunctions , rdfs:Resource .
_:node1a5jqhf0ux157 rdf:first _:node1a5jqhf0ux158 ;
rdf:rest _:node1a5jqhf0ux160 ;
a sp:Element , sp:ElementGroup , sp:ElementList , sp:SystemClass , rdf:List , rdfs:Resource .
_:node1a5jqhf0ux158 sp:object _:node1a5jqhf0ux159 ;
sp:predicate rdf:type ;
sp:subject spin:_this ;
sp:systemProperty _:node1a5jqhf0ux159 , spin:_this , rdf:type ;
a sp:SystemClass , sp:Triple , sp:Tuple , rdfs:Resource .
_:node1a5jqhf0ux159 sp:systemProperty "template" ;
sp:varName "template" ;
a sp:SystemClass , sp:Variable , rdfs:Resource .
_:node1a5jqhf0ux16 sp:arg sp:arg1 , xsd:string ;
spl:predicate sp:arg1 ;
spl:valueType xsd:string ;
_:node1a5jqhf0ux4 ;
a sp:Command , sp:Query , sp:SystemClass , spin:ConstructTemplates , spin:Modules , spin:Templates , spl:Argument , rdfs:Resource ;
rdfs:comment "The input string." .
_:node1a5jqhf0ux160 rdf:first _:node1a5jqhf0ux161 ;
rdf:rest rdf:nil ;
a rdf:List , rdfs:Resource .
_:node1a5jqhf0ux161 sp:expression _:node1a5jqhf0ux162 ;
sp:systemProperty _:node1a5jqhf0ux162 ;
a sp:Element , sp:Filter , sp:SystemClass , rdfs:Resource .
_:node1a5jqhf0ux162 sp:arg _:node1a5jqhf0ux163 , spl:UnionTemplate ;
sp:arg1 _:node1a5jqhf0ux163 ;
sp:arg2 spl:UnionTemplate ;
_:node1a5jqhf0ux4 ;
a spin:Functions , spin:Modules , spl:BooleanFunctions , spl:instanceOf , rdfs:Resource .
_:node1a5jqhf0ux163 sp:systemProperty "template" ;
sp:varName "template" ;
a sp:SystemClass , sp:Variable , rdfs:Resource .
_:node1a5jqhf0ux164 rdf:first _:node1a5jqhf0ux165 ;
rdf:rest rdf:nil ;
a rdf:List , rdfs:Resource .
_:node1a5jqhf0ux165 sp:expression _:node1a5jqhf0ux166 ;
sp:systemProperty _:node1a5jqhf0ux166 , _:node1a5jqhf0ux169 ;
sp:variable _:node1a5jqhf0ux169 ;
a sp:Bind , sp:Element , sp:SystemClass , rdfs:Resource .
_:node1a5jqhf0ux166 sp:arg _:node1a5jqhf0ux167 , "Missing value for argument " ;
sp:arg1 "Missing value for argument " ;
sp:arg2 _:node1a5jqhf0ux167 ;
_:node1a5jqhf0ux4 ;
a sp:concat , spin:Functions , spin:Modules , spl:StringFunctions , rdfs:Resource .
_:node1a5jqhf0ux167 sp:arg _:node1a5jqhf0ux168 ;
sp:arg1 _:node1a5jqhf0ux168 ;
a afn:localname , rdfs:Resource .
_:node1a5jqhf0ux168 sp:systemProperty "predicate" ;
sp:varName "predicate" ;
a sp:SystemClass , sp:Variable , rdfs:Resource .
_:node1a5jqhf0ux169 sp:systemProperty "label" ;
sp:varName "label" ;
a sp:SystemClass , sp:Variable , rdfs:Resource .
_:node1a5jqhf0ux17 sp:arg sp:arg2 , xsd:string ;
spl:predicate sp:arg2 ;
spl:valueType xsd:string ;
_:node1a5jqhf0ux4 ;
a sp:Command , sp:Query , sp:SystemClass , spin:ConstructTemplates , spin:Modules , spin:Templates , spl:Argument , rdfs:Resource ;
rdfs:comment "The sub-string to search for in the input string." .
_:node1a5jqhf0ux170 rdf:first _:node1a5jqhf0ux171 ;
rdf:rest rdf:nil ;
a rdf:List , rdfs:Resource .
_:node1a5jqhf0ux171 rdf:first _:node1a5jqhf0ux172 ;
rdf:rest _:node1a5jqhf0ux193 ;
a rdf:List , rdfs:Resource .
_:node1a5jqhf0ux172 rdf:first _:node1a5jqhf0ux173 ;
rdf:rest _:node1a5jqhf0ux177 ;
a rdf:List , rdfs:Resource .
_:node1a5jqhf0ux173 rdf:first _:node1a5jqhf0ux174 ;
rdf:rest rdf:nil ;
a rdf:List , rdfs:Resource .
_:node1a5jqhf0ux174 sp:expression _:node1a5jqhf0ux175 ;
sp:systemProperty _:node1a5jqhf0ux175 ;
a sp:Element , sp:Filter , sp:SystemClass , rdfs:Resource .
_:node1a5jqhf0ux175 sp:arg _:node1a5jqhf0ux176 ;
sp:arg1 _:node1a5jqhf0ux176 ;
_:node1a5jqhf0ux4 ;
a sp:bound , spin:Functions , spin:Modules , spl:BooleanFunctions , rdfs:Resource .
_:node1a5jqhf0ux176 sp:systemProperty "valueType" ;
sp:varName "valueType" ;
a sp:SystemClass , sp:Variable , rdfs:Resource .
_:node1a5jqhf0ux177 rdf:first _:node1a5jqhf0ux178 ;
rdf:rest _:node1a5jqhf0ux181 ;
a rdf:List , rdfs:Resource .
_:node1a5jqhf0ux178 sp:object _:node1a5jqhf0ux179 ;
sp:predicate _:node1a5jqhf0ux180 ;
sp:subject spin:_this ;
sp:systemProperty _:node1a5jqhf0ux179 , _:node1a5jqhf0ux180 , spin:_this ;
a sp:SystemClass , sp:Triple , sp:Tuple , rdfs:Resource .
_:node1a5jqhf0ux179 sp:systemProperty "value" ;
sp:varName "value" ;
a sp:SystemClass , sp:Variable , rdfs:Resource .
_:node1a5jqhf0ux18 sp:arg sp:arg1 , rdfs:Literal ;
spl:predicate sp:arg1 ;
spl:valueType rdfs:Literal ;
_:node1a5jqhf0ux4 ;
a sp:Command , sp:Query , sp:SystemClass , spin:ConstructTemplates , spin:Modules , spin:Templates , spl:Argument , rdfs:Resource ;
rdfs:comment "the literal to get the datatype of" .
_:node1a5jqhf0ux180 sp:systemProperty "predicate" ;
sp:varName "predicate" ;
a sp:SystemClass , sp:Variable , rdfs:Resource .
_:node1a5jqhf0ux181 rdf:first _:node1a5jqhf0ux182 ;
rdf:rest rdf:nil ;
a rdf:List , rdfs:Resource .
_:node1a5jqhf0ux182 sp:expression _:node1a5jqhf0ux183 ;
sp:systemProperty _:node1a5jqhf0ux183 ;
a sp:Element , sp:Filter , sp:SystemClass , rdfs:Resource .
_:node1a5jqhf0ux183 sp:arg _:node1a5jqhf0ux184 , _:node1a5jqhf0ux188 ;
sp:arg1 _:node1a5jqhf0ux184 ;
sp:arg2 _:node1a5jqhf0ux188 ;
_:node1a5jqhf0ux4 ;
a sp:and , spin:Functions , spin:Modules , spl:BooleanFunctions , rdfs:Resource .
_:node1a5jqhf0ux184 sp:arg _:node1a5jqhf0ux185 ;
sp:arg1 _:node1a5jqhf0ux185 ;
_:node1a5jqhf0ux4 ;
a sp:not , spin:Functions , spin:Modules , spl:BooleanFunctions , rdfs:Resource .
_:node1a5jqhf0ux185 sp:arg _:node1a5jqhf0ux186 , _:node1a5jqhf0ux187 ;
sp:arg1 _:node1a5jqhf0ux186 ;
sp:arg2 _:node1a5jqhf0ux187 ;
_:node1a5jqhf0ux4 ;
a spin:Functions , spin:Modules , spl:BooleanFunctions , spl:instanceOf , rdfs:Resource .
_:node1a5jqhf0ux186 sp:systemProperty "value" ;
sp:varName "value" ;
a sp:SystemClass , sp:Variable , rdfs:Resource .
_:node1a5jqhf0ux187 sp:systemProperty "valueType" ;
sp:varName "valueType" ;
a sp:SystemClass , sp:Variable , rdfs:Resource .
_:node1a5jqhf0ux188 sp:arg _:node1a5jqhf0ux189 , _:node1a5jqhf0ux191 ;
sp:arg1 _:node1a5jqhf0ux189 ;
sp:arg2 _:node1a5jqhf0ux191 ;
_:node1a5jqhf0ux4 ;
a sp:or , spin:Functions , spin:Modules , spl:BooleanFunctions , rdfs:Resource .
_:node1a5jqhf0ux189 sp:arg _:node1a5jqhf0ux190 , rdfs:Resource ;
sp:arg1 _:node1a5jqhf0ux190 ;
sp:arg2 rdfs:Resource ;
_:node1a5jqhf0ux4 ;
a sp:ne , spin:Functions , spin:Modules , spl:BooleanFunctions , rdfs:Resource .
_:node1a5jqhf0ux19 sp:arg sp:arg1 , rdfs:Literal ;
spl:predicate sp:arg1 ;
spl:valueType rdfs:Literal ;
_:node1a5jqhf0ux4 ;
a sp:Command , sp:Query , sp:SystemClass , spin:ConstructTemplates , spin:Modules , spin:Templates , spl:Argument , rdfs:Resource ;
rdfs:comment "The date or dateTime argument." .
_:node1a5jqhf0ux190 sp:systemProperty "valueType" ;
sp:varName "valueType" ;
a sp:SystemClass , sp:Variable , rdfs:Resource .
_:node1a5jqhf0ux191 sp:arg _:node1a5jqhf0ux192 ;
sp:arg1 _:node1a5jqhf0ux192 ;
_:node1a5jqhf0ux4 ;
a sp:isLiteral , spin:Functions , spin:Modules , spl:BooleanFunctions , rdfs:Resource .
_:node1a5jqhf0ux192 sp:systemProperty "value" ;
sp:varName "value" ;
a sp:SystemClass , sp:Variable , rdfs:Resource .
_:node1a5jqhf0ux193 rdf:first _:node1a5jqhf0ux194 ;
rdf:rest rdf:nil ;
a rdf:List , rdfs:Resource .
_:node1a5jqhf0ux194 sp:expression _:node1a5jqhf0ux195 ;
sp:systemProperty _:node1a5jqhf0ux195 , _:node1a5jqhf0ux200 ;
sp:variable _:node1a5jqhf0ux200 ;
a sp:Bind , sp:Element , sp:SystemClass , rdfs:Resource .
_:node1a5jqhf0ux195 sp:arg _:node1a5jqhf0ux196 , _:node1a5jqhf0ux198 , " (expected: " , ")" , "Incorrect type of argument " ;
sp:arg1 "Incorrect type of argument " ;
sp:arg2 _:node1a5jqhf0ux196 ;
sp:arg3 " (expected: " ;
sp:arg4 _:node1a5jqhf0ux198 ;
sp:arg5 ")" ;
_:node1a5jqhf0ux4 ;
a sp:concat , spin:Functions , spin:Modules , spl:StringFunctions , rdfs:Resource .
_:node1a5jqhf0ux196 sp:arg _:node1a5jqhf0ux197 ;
sp:arg1 _:node1a5jqhf0ux197 ;
a afn:localname , rdfs:Resource .
_:node1a5jqhf0ux197 sp:systemProperty "predicate" ;
sp:varName "predicate" ;
a sp:SystemClass , sp:Variable , rdfs:Resource .
_:node1a5jqhf0ux198 sp:arg _:node1a5jqhf0ux199 ;
sp:arg1 _:node1a5jqhf0ux199 ;
a afn:localname , rdfs:Resource .
_:node1a5jqhf0ux199 sp:systemProperty "valueType" ;
sp:varName "valueType" ;
a sp:SystemClass , sp:Variable , rdfs:Resource .
_:node1a5jqhf0ux2 sp:arg sp:Construct , spin:body , 0 , 1 ;
spl:count 0 , 1 ;
spl:maxCount 1 ;
spl:minCount 0 ;
spl:predicate spin:body ;
spl:valueType sp:Construct ;
_:node1a5jqhf0ux4 ;
a sp:Command , sp:Query , sp:SystemClass , spin:ConstructTemplates , spin:Modules , spin:Templates , spl:Attribute , rdfs:Resource ;
rdfs:comment "The CONSTRUCT query wrapped by this template." .
_:node1a5jqhf0ux20 sp:arg sp:arg1 , rdfs:Literal ;
spl:predicate sp:arg1 ;
spl:valueType rdfs:Literal ;
_:node1a5jqhf0ux4 ;
a sp:Command , sp:Query , sp:SystemClass , spin:ConstructTemplates , spin:Modules , spin:Templates , spl:Argument , rdfs:Resource ;
rdfs:comment "the first operand" .
_:node1a5jqhf0ux200 sp:systemProperty "label" ;
sp:varName "label" ;
a sp:SystemClass , sp:Variable , rdfs:Resource .
_:node1a5jqhf0ux201 sp:arg spl:defaultValue , true ;
spl:optional true ;
spl:predicate spl:defaultValue ;
_:node1a5jqhf0ux4 ;
a sp:Command , sp:Query , sp:SystemClass , spin:ConstructTemplates , spin:Modules , spin:Templates , spl:Argument , rdfs:Resource ;
rdfs:comment "the default value for the argument" .
_:node1a5jqhf0ux202 sp:arg spl:optional , xsd:boolean , true ;
spl:optional true ;
spl:predicate spl:optional ;
spl:valueType xsd:boolean ;
_:node1a5jqhf0ux4 ;
a sp:Command , sp:Query , sp:SystemClass , spin:ConstructTemplates , spin:Modules , spin:Templates , spl:Argument , rdfs:Resource ;
rdfs:comment "indicates whether the argument is optional" .
_:node1a5jqhf0ux203 sp:arg spl:valueType , rdfs:Class , true ;
spl:optional true ;
spl:predicate spl:valueType ;
spl:valueType rdfs:Class ;
_:node1a5jqhf0ux4 ;
a sp:Command , sp:Query , sp:SystemClass , spin:ConstructTemplates , spin:Modules , spin:Templates , spl:Argument , rdfs:Resource ;
rdfs:comment "the value type of the argument" .
_:node1a5jqhf0ux204 sp:arg rdfs:comment , xsd:string , true ;
spl:optional true ;
spl:predicate rdfs:comment ;
spl:valueType xsd:string ;
_:node1a5jqhf0ux4 ;
a sp:Command , sp:Query , sp:SystemClass , spin:ConstructTemplates , spin:Modules , spin:Templates , spl:Argument , rdfs:Resource ;
rdfs:comment "a comment describing the argument" .
_:node1a5jqhf0ux205 sp:arg spl:predicate , rdf:Property ;
spl:predicate spl:predicate ;
spl:valueType rdf:Property ;
_:node1a5jqhf0ux4 ;
a sp:Command , sp:Query , sp:SystemClass , spin:ConstructTemplates , spin:Modules , spin:Templates , spl:Argument , rdfs:Resource ;
rdfs:comment "the property holding the values of each function call" .
_:node1a5jqhf0ux206 sp:systemProperty _:node1a5jqhf0ux207 , _:node1a5jqhf0ux214 ;
sp:templates _:node1a5jqhf0ux207 ;
sp:where _:node1a5jqhf0ux214 ;
a sp:Command , sp:Construct , sp:Query , sp:SystemClass , spin:Rule , rdfs:Resource .
_:node1a5jqhf0ux207 rdf:first _:node1a5jqhf0ux208 ;
rdf:rest _:node1a5jqhf0ux209 ;
a rdf:List , rdfs:Resource .
_:node1a5jqhf0ux208 sp:object spin:ConstraintViolation ;
sp:predicate rdf:type ;
sp:subject _:genid-7bb79f7e268a4347b7dfcbf1a9c65a80-b70470 ;
sp:systemProperty _:genid-7bb79f7e268a4347b7dfcbf1a9c65a80-b70470 , spin:ConstraintViolation , rdf:type ;
a sp:SystemClass , sp:Triple , sp:Tuple , rdfs:Resource .
_:node1a5jqhf0ux209 rdf:first _:node1a5jqhf0ux210 ;
rdf:rest _:node1a5jqhf0ux211 ;
a rdf:List , rdfs:Resource .
_:node1a5jqhf0ux21 sp:arg sp:arg2 , rdfs:Literal ;
spl:predicate sp:arg2 ;
spl:valueType rdfs:Literal ;
_:node1a5jqhf0ux4 ;
a sp:Command , sp:Query , sp:SystemClass , spin:ConstructTemplates , spin:Modules , spin:Templates , spl:Argument , rdfs:Resource ;
rdfs:comment "the second operand" .
_:node1a5jqhf0ux210 sp:object spin:_this ;
sp:predicate spin:violationRoot ;
sp:subject _:genid-7bb79f7e268a4347b7dfcbf1a9c65a80-b70470 ;
sp:systemProperty _:genid-7bb79f7e268a4347b7dfcbf1a9c65a80-b70470 , spin:_this , spin:violationRoot ;
a sp:SystemClass , sp:Triple , sp:Tuple , rdfs:Resource .
_:node1a5jqhf0ux211 rdf:first _:node1a5jqhf0ux212 ;
rdf:rest rdf:nil ;
a rdf:List , rdfs:Resource .
_:node1a5jqhf0ux212 sp:object _:node1a5jqhf0ux213 ;
sp:predicate spin:violationPath ;
sp:subject _:genid-7bb79f7e268a4347b7dfcbf1a9c65a80-b70470 ;
sp:systemProperty _:genid-7bb79f7e268a4347b7dfcbf1a9c65a80-b70470 , _:node1a5jqhf0ux213 , spin:violationPath ;
a sp:SystemClass , sp:Triple , sp:Tuple , rdfs:Resource .
_:node1a5jqhf0ux213 sp:systemProperty "predicate" ;
sp:varName "predicate" ;
a sp:SystemClass , sp:Variable , rdfs:Resource .
_:node1a5jqhf0ux214 rdf:first _:node1a5jqhf0ux215 ;
rdf:rest rdf:nil ;
a sp:Element , sp:ElementGroup , sp:ElementList , sp:SystemClass , rdf:List , rdfs:Resource .
_:node1a5jqhf0ux215 sp:elements _:node1a5jqhf0ux216 ;
sp:systemProperty _:node1a5jqhf0ux216 ;
a sp:Element , sp:ElementGroup , sp:SystemClass , sp:Union , rdfs:Resource .
_:node1a5jqhf0ux216 rdf:first _:node1a5jqhf0ux217 ;
rdf:rest _:node1a5jqhf0ux226 ;
a sp:Element , sp:ElementGroup , sp:ElementList , sp:SystemClass , rdf:List , rdfs:Resource .
_:node1a5jqhf0ux217 rdf:first _:node1a5jqhf0ux218 ;
rdf:rest rdf:nil ;
a rdf:List , rdfs:Resource .
_:node1a5jqhf0ux218 sp:expression _:node1a5jqhf0ux219 ;
sp:systemProperty _:node1a5jqhf0ux219 ;
a sp:Element , sp:Filter , sp:SystemClass , rdfs:Resource .
_:node1a5jqhf0ux219 sp:arg _:node1a5jqhf0ux220 , _:node1a5jqhf0ux222 ;
sp:arg1 _:node1a5jqhf0ux220 ;
sp:arg2 _:node1a5jqhf0ux222 ;
_:node1a5jqhf0ux4 ;
a sp:and , spin:Functions , spin:Modules , spl:BooleanFunctions , rdfs:Resource .
_:node1a5jqhf0ux22 sp:arg sp:arg1 , xsd:string ;
spl:predicate sp:arg1 ;
spl:valueType xsd:string ;
_:node1a5jqhf0ux4 ;
a sp:Command , sp:Query , sp:SystemClass , spin:ConstructTemplates , spin:Modules , spin:Templates , spl:Argument , rdfs:Resource ;
rdfs:comment "The string to convert." .
_:node1a5jqhf0ux220 sp:arg _:node1a5jqhf0ux221 ;
sp:arg1 _:node1a5jqhf0ux221 ;
_:node1a5jqhf0ux4 ;
a sp:bound , spin:Functions , spin:Modules , spl:BooleanFunctions , rdfs:Resource .
_:node1a5jqhf0ux221 sp:systemProperty "minCount" ;
sp:varName "minCount" ;
a sp:SystemClass , sp:Variable , rdfs:Resource .
_:node1a5jqhf0ux222 sp:arg _:node1a5jqhf0ux223 , _:node1a5jqhf0ux225 ;
sp:arg1 _:node1a5jqhf0ux223 ;
sp:arg2 _:node1a5jqhf0ux225 ;
_:node1a5jqhf0ux4 ;
a sp:lt , spin:Functions , spin:Modules , spl:BooleanFunctions , rdfs:Resource .
_:node1a5jqhf0ux223 sp:arg _:node1a5jqhf0ux224 , spin:_this ;
sp:arg1 spin:_this ;
sp:arg2 _:node1a5jqhf0ux224 ;
_:node1a5jqhf0ux4 ;
a spin:Functions , spin:Modules , spl:OntologyFunctions , spl:objectCount , rdfs:Resource .
_:node1a5jqhf0ux224 sp:systemProperty "predicate" ;
sp:varName "predicate" ;
a sp:SystemClass , sp:Variable , rdfs:Resource .
_:node1a5jqhf0ux225 sp:systemProperty "minCount" ;
sp:varName "minCount" ;
a sp:SystemClass , sp:Variable , rdfs:Resource .
_:node1a5jqhf0ux226 rdf:first _:node1a5jqhf0ux227 ;
rdf:rest _:node1a5jqhf0ux236 ;
a rdf:List , rdfs:Resource .
_:node1a5jqhf0ux227 rdf:first _:node1a5jqhf0ux228 ;
rdf:rest rdf:nil ;
a rdf:List , rdfs:Resource .
_:node1a5jqhf0ux228 sp:expression _:node1a5jqhf0ux229 ;
sp:systemProperty _:node1a5jqhf0ux229 ;
a sp:Element , sp:Filter , sp:SystemClass , rdfs:Resource .
_:node1a5jqhf0ux229 sp:arg _:node1a5jqhf0ux230 , _:node1a5jqhf0ux232 ;
sp:arg1 _:node1a5jqhf0ux230 ;
sp:arg2 _:node1a5jqhf0ux232 ;
_:node1a5jqhf0ux4 ;
a sp:and , spin:Functions , spin:Modules , spl:BooleanFunctions , rdfs:Resource .
_:node1a5jqhf0ux23 sp:arg sp:arg1 , xsd:boolean ;
spl:predicate sp:arg1 ;
spl:valueType xsd:boolean ;
_:node1a5jqhf0ux4 ;
a sp:Command , sp:Query , sp:SystemClass , spin:ConstructTemplates , spin:Modules , spin:Templates , spl:Argument , rdfs:Resource ;
rdfs:comment "the first value to compare" .
_:node1a5jqhf0ux230 sp:arg _:node1a5jqhf0ux231 ;
sp:arg1 _:node1a5jqhf0ux231 ;
_:node1a5jqhf0ux4 ;
a sp:bound , spin:Functions , spin:Modules , spl:BooleanFunctions , rdfs:Resource .
_:node1a5jqhf0ux231 sp:systemProperty "maxCount" ;
sp:varName "maxCount" ;
a sp:SystemClass , sp:Variable , rdfs:Resource .
_:node1a5jqhf0ux232 sp:arg _:node1a5jqhf0ux233 , _:node1a5jqhf0ux235 ;
sp:arg1 _:node1a5jqhf0ux233 ;
sp:arg2 _:node1a5jqhf0ux235 ;
_:node1a5jqhf0ux4 ;
a sp:gt , spin:Functions , spin:Modules , spl:BooleanFunctions , rdfs:Resource .
_:node1a5jqhf0ux233 sp:arg _:node1a5jqhf0ux234 , spin:_this ;
sp:arg1 spin:_this ;
sp:arg2 _:node1a5jqhf0ux234 ;
_:node1a5jqhf0ux4 ;
a spin:Functions , spin:Modules , spl:OntologyFunctions , spl:objectCount , rdfs:Resource .
_:node1a5jqhf0ux234 sp:systemProperty "predicate" ;
sp:varName "predicate" ;
a sp:SystemClass , sp:Variable , rdfs:Resource .
_:node1a5jqhf0ux235 sp:systemProperty "maxCount" ;
sp:varName "maxCount" ;
a sp:SystemClass , sp:Variable , rdfs:Resource .
_:node1a5jqhf0ux236 rdf:first _:node1a5jqhf0ux237 ;
rdf:rest rdf:nil ;
a rdf:List , rdfs:Resource .
_:node1a5jqhf0ux237 rdf:first _:node1a5jqhf0ux238 ;
rdf:rest _:node1a5jqhf0ux241 ;
a rdf:List , rdfs:Resource .
_:node1a5jqhf0ux238 sp:expression _:node1a5jqhf0ux239 ;
sp:systemProperty _:node1a5jqhf0ux239 ;
a sp:Element , sp:Filter , sp:SystemClass , rdfs:Resource .
_:node1a5jqhf0ux239 sp:arg _:node1a5jqhf0ux240 ;
sp:arg1 _:node1a5jqhf0ux240 ;
_:node1a5jqhf0ux4 ;
a sp:bound , spin:Functions , spin:Modules , spl:BooleanFunctions , rdfs:Resource .
_:node1a5jqhf0ux24 sp:arg sp:arg2 , xsd:boolean ;
spl:predicate sp:arg2 ;
spl:valueType xsd:boolean ;
_:node1a5jqhf0ux4 ;
a sp:Command , sp:Query , sp:SystemClass , spin:ConstructTemplates , spin:Modules , spin:Templates , spl:Argument , rdfs:Resource ;
rdfs:comment "the second value to compare" .
_:node1a5jqhf0ux240 sp:systemProperty "valueType" ;
sp:varName "valueType" ;
a sp:SystemClass , sp:Variable , rdfs:Resource .
_:node1a5jqhf0ux241 rdf:first _:node1a5jqhf0ux242 ;
rdf:rest _:node1a5jqhf0ux245 ;
a rdf:List , rdfs:Resource .
_:node1a5jqhf0ux242 sp:object _:node1a5jqhf0ux243 ;
sp:predicate _:node1a5jqhf0ux244 ;
sp:subject spin:_this ;
sp:systemProperty _:node1a5jqhf0ux243 , _:node1a5jqhf0ux244 , spin:_this ;
a sp:SystemClass , sp:Triple , sp:Tuple , rdfs:Resource .
_:node1a5jqhf0ux243 sp:systemProperty "value" ;
sp:varName "value" ;
a sp:SystemClass , sp:Variable , rdfs:Resource .
_:node1a5jqhf0ux244 sp:systemProperty "predicate" ;
sp:varName "predicate" ;
a sp:SystemClass , sp:Variable , rdfs:Resource .
_:node1a5jqhf0ux245 rdf:first _:node1a5jqhf0ux246 ;
rdf:rest rdf:nil ;
a rdf:List , rdfs:Resource .
_:node1a5jqhf0ux246 sp:expression _:node1a5jqhf0ux247 ;
sp:systemProperty _:node1a5jqhf0ux247 ;
a sp:Element , sp:Filter , sp:SystemClass , rdfs:Resource .
_:node1a5jqhf0ux247 sp:arg _:node1a5jqhf0ux248 ;
sp:arg1 _:node1a5jqhf0ux248 ;
_:node1a5jqhf0ux4 ;
a sp:not , spin:Functions , spin:Modules , spl:BooleanFunctions , rdfs:Resource .
_:node1a5jqhf0ux248 sp:arg _:node1a5jqhf0ux249 , _:node1a5jqhf0ux250 ;
sp:arg1 _:node1a5jqhf0ux249 ;
sp:arg2 _:node1a5jqhf0ux250 ;
_:node1a5jqhf0ux4 ;
a spin:Functions , spin:Modules , spl:BooleanFunctions , spl:instanceOf , rdfs:Resource .
_:node1a5jqhf0ux249 sp:systemProperty "value" ;
sp:varName "value" ;
a sp:SystemClass , sp:Variable , rdfs:Resource .
_:node1a5jqhf0ux25 sp:arg sp:arg1 ;
spl:predicate sp:arg1 ;
_:node1a5jqhf0ux4 ;
a sp:Command , sp:Query , sp:SystemClass , spin:ConstructTemplates , spin:Modules , spin:Templates , spl:Argument , rdfs:Resource ;
rdfs:comment "The value to get the floor of." .
_:node1a5jqhf0ux250 sp:systemProperty "valueType" ;
sp:varName "valueType" ;
a sp:SystemClass , sp:Variable , rdfs:Resource .
_:node1a5jqhf0ux251 sp:arg spl:defaultValue , true ;
spl:optional true ;
spl:predicate spl:defaultValue ;
_:node1a5jqhf0ux4 ;
a sp:Command , sp:Query , sp:SystemClass , spin:ConstructTemplates , spin:Modules , spin:Templates , spl:Argument , rdfs:Resource ;
rdfs:comment "the default value of the attribute" .
_:node1a5jqhf0ux252 sp:arg spl:maxCount , xsd:integer , true ;
spl:optional true ;
spl:predicate spl:maxCount ;
spl:valueType xsd:integer ;
_:node1a5jqhf0ux4 ;
a sp:Command , sp:Query , sp:SystemClass , spin:ConstructTemplates , spin:Modules , spin:Templates , spl:Argument , rdfs:Resource ;
rdfs:comment "the maximum number of values permitted for the property" .
_:node1a5jqhf0ux253 sp:arg spl:minCount , xsd:integer , true ;
spl:optional true ;
spl:predicate spl:minCount ;
spl:valueType xsd:integer ;
_:node1a5jqhf0ux4 ;
a sp:Command , sp:Query , sp:SystemClass , spin:ConstructTemplates , spin:Modules , spin:Templates , spl:Argument , rdfs:Resource ;
rdfs:comment "the minimum number of values permitted for the property" .
_:node1a5jqhf0ux254 sp:arg spl:valueType , rdfs:Class , true ;
spl:optional true ;
spl:predicate spl:valueType ;
spl:valueType rdfs:Class ;
_:node1a5jqhf0ux4 ;
a sp:Command , sp:Query , sp:SystemClass , spin:ConstructTemplates , spin:Modules , spin:Templates , spl:Argument , rdfs:Resource ;
rdfs:comment "the type that all values of the property must have" .
_:node1a5jqhf0ux255 sp:arg rdfs:comment , xsd:string , true ;
spl:optional true ;
spl:predicate rdfs:comment ;
spl:valueType xsd:string ;
_:node1a5jqhf0ux4 ;
a sp:Command , sp:Query , sp:SystemClass , spin:ConstructTemplates , spin:Modules , spin:Templates , spl:Argument , rdfs:Resource ;
rdfs:comment "a comment describing the meaning of this attribute" .
_:node1a5jqhf0ux256 sp:arg spl:predicate , rdf:Property ;
spl:predicate spl:predicate ;
spl:valueType rdf:Property ;
_:node1a5jqhf0ux4 ;
a sp:Command , sp:Query , sp:SystemClass , spin:ConstructTemplates , spin:Modules , spin:Templates , spl:Argument , rdfs:Resource ;
rdfs:comment "the RDF property holding the attribute value" .
_:node1a5jqhf0ux257 sp:systemProperty _:node1a5jqhf0ux258 , _:node1a5jqhf0ux262 ;
sp:templates _:node1a5jqhf0ux258 ;
sp:where _:node1a5jqhf0ux262 ;
a sp:Command , sp:Construct , sp:Query , sp:SystemClass , spin:Rule , rdfs:Resource .
_:node1a5jqhf0ux258 rdf:first _:node1a5jqhf0ux259 ;
rdf:rest rdf:nil ;
a rdf:List , rdfs:Resource .
_:node1a5jqhf0ux259 sp:object _:node1a5jqhf0ux260 ;
sp:predicate _:node1a5jqhf0ux261 ;
sp:subject spin:_this ;
sp:systemProperty _:node1a5jqhf0ux260 , _:node1a5jqhf0ux261 , spin:_this ;
a sp:SystemClass , sp:Triple , sp:Tuple , rdfs:Resource .
_:node1a5jqhf0ux26 sp:arg sp:arg1 , rdfs:Literal ;
spl:predicate sp:arg1 ;
spl:valueType rdfs:Literal ;
_:node1a5jqhf0ux4 ;
a sp:Command , sp:Query , sp:SystemClass , spin:ConstructTemplates , spin:Modules , spin:Templates , spl:Argument , rdfs:Resource ;
rdfs:comment "the first operand" .
_:node1a5jqhf0ux260 sp:systemProperty "defaultValue" ;
sp:varName "defaultValue" ;
a sp:SystemClass , sp:Variable , rdfs:Resource .
_:node1a5jqhf0ux261 sp:systemProperty "predicate" ;
sp:varName "predicate" ;
a sp:SystemClass , sp:Variable , rdfs:Resource .
_:node1a5jqhf0ux262 rdf:first _:node1a5jqhf0ux263 ;
rdf:rest _:node1a5jqhf0ux265 ;
a sp:Element , sp:ElementGroup , sp:ElementList , sp:SystemClass , rdf:List , rdfs:Resource .
_:node1a5jqhf0ux263 sp:object _:node1a5jqhf0ux264 ;
sp:predicate rdf:type ;
sp:subject spin:_this ;
sp:systemProperty _:node1a5jqhf0ux264 , spin:_this , rdf:type ;
a sp:SystemClass , sp:Triple , sp:Tuple , rdfs:Resource .
_:node1a5jqhf0ux264 sp:systemProperty "directType" ;
sp:varName "directType" ;
a sp:SystemClass , sp:Variable , rdfs:Resource .
_:node1a5jqhf0ux265 rdf:first _:node1a5jqhf0ux266 ;
rdf:rest _:node1a5jqhf0ux270 ;
a rdf:List , rdfs:Resource .
_:node1a5jqhf0ux266 sp:object _:node1a5jqhf0ux267 ;
sp:path _:node1a5jqhf0ux268 ;
sp:subject _:node1a5jqhf0ux269 ;
sp:systemProperty _:node1a5jqhf0ux267 , _:node1a5jqhf0ux268 , _:node1a5jqhf0ux269 ;
a sp:Element , sp:SystemClass , sp:TriplePath , sp:Tuple , rdfs:Resource .
_:node1a5jqhf0ux267 sp:systemProperty "type" ;
sp:varName "type" ;
a sp:SystemClass , sp:Variable , rdfs:Resource .
_:node1a5jqhf0ux268 sp:modMax -2 ;
sp:modMin 0 ;
sp:subPath rdfs:subClassOf ;
sp:systemProperty rdfs:subClassOf , -2 , 0 ;
a sp:ModPath , sp:Path , sp:SystemClass , rdfs:Resource .
_:node1a5jqhf0ux269 sp:systemProperty "directType" ;
sp:varName "directType" ;
a sp:SystemClass , sp:Variable , rdfs:Resource .
_:node1a5jqhf0ux27 sp:arg sp:arg2 , rdfs:Literal ;
spl:predicate sp:arg2 ;
spl:valueType rdfs:Literal ;
_:node1a5jqhf0ux4 ;
a sp:Command , sp:Query , sp:SystemClass , spin:ConstructTemplates , spin:Modules , spin:Templates , spl:Argument , rdfs:Resource ;
rdfs:comment "the second operand" .
_:node1a5jqhf0ux270 rdf:first _:node1a5jqhf0ux271 ;
rdf:rest _:node1a5jqhf0ux274 ;
a rdf:List , rdfs:Resource .
_:node1a5jqhf0ux271 sp:object _:node1a5jqhf0ux272 ;
sp:predicate spin:constraint ;
sp:subject _:node1a5jqhf0ux273 ;
sp:systemProperty _:node1a5jqhf0ux272 , _:node1a5jqhf0ux273 , spin:constraint ;
a sp:SystemClass , sp:Triple , sp:Tuple , rdfs:Resource .
_:node1a5jqhf0ux272 sp:systemProperty "attribute" ;
sp:varName "attribute" ;
a sp:SystemClass , sp:Variable , rdfs:Resource .
_:node1a5jqhf0ux273 sp:systemProperty "type" ;
sp:varName "type" ;
a sp:SystemClass , sp:Variable , rdfs:Resource .
_:node1a5jqhf0ux274 rdf:first _:node1a5jqhf0ux275 ;
rdf:rest _:node1a5jqhf0ux278 ;
a rdf:List , rdfs:Resource .
_:node1a5jqhf0ux275 sp:object _:node1a5jqhf0ux276 ;
sp:predicate spl:defaultValue ;
sp:subject _:node1a5jqhf0ux277 ;
sp:systemProperty _:node1a5jqhf0ux276 , _:node1a5jqhf0ux277 , spl:defaultValue ;
a sp:SystemClass , sp:Triple , sp:Tuple , rdfs:Resource .
_:node1a5jqhf0ux276 sp:systemProperty "defaultValue" ;
sp:varName "defaultValue" ;
a sp:SystemClass , sp:Variable , rdfs:Resource .
_:node1a5jqhf0ux277 sp:systemProperty "attribute" ;
sp:varName "attribute" ;
a sp:SystemClass , sp:Variable , rdfs:Resource .
_:node1a5jqhf0ux278 rdf:first _:node1a5jqhf0ux279 ;
rdf:rest rdf:nil ;
a rdf:List , rdfs:Resource .
_:node1a5jqhf0ux279 sp:object _:node1a5jqhf0ux280 ;
sp:predicate spl:predicate ;
sp:subject _:node1a5jqhf0ux281 ;
sp:systemProperty _:node1a5jqhf0ux280 , _:node1a5jqhf0ux281 , spl:predicate ;
a sp:SystemClass , sp:Triple , sp:Tuple , rdfs:Resource .
_:node1a5jqhf0ux28 sp:arg sp:arg1 , rdfs:Literal ;
spl:predicate sp:arg1 ;
spl:valueType rdfs:Literal ;
_:node1a5jqhf0ux4 ;
a sp:Command , sp:Query , sp:SystemClass , spin:ConstructTemplates , spin:Modules , spin:Templates , spl:Argument , rdfs:Resource ;
rdfs:comment "the first operand" .
_:node1a5jqhf0ux280 sp:systemProperty "predicate" ;
sp:varName "predicate" ;
a sp:SystemClass , sp:Variable , rdfs:Resource .
_:node1a5jqhf0ux281 sp:systemProperty "attribute" ;
sp:varName "attribute" ;
a sp:SystemClass , sp:Variable , rdfs:Resource .
_:node1a5jqhf0ux282 sp:arg arg:maxCount , xsd:integer , true ;
spl:optional true ;
spl:predicate arg:maxCount ;
spl:valueType xsd:integer ;
_:node1a5jqhf0ux4 ;
a sp:Command , sp:Query , sp:SystemClass , spin:ConstructTemplates , spin:Modules , spin:Templates , spl:Argument , rdfs:Resource ;
rdfs:comment "The maximum number of values that the property must have." .
_:node1a5jqhf0ux283 sp:arg arg:minCount , xsd:integer , true ;
spl:optional true ;
spl:predicate arg:minCount ;
spl:valueType xsd:integer ;
_:node1a5jqhf0ux4 ;
a sp:Command , sp:Query , sp:SystemClass , spin:ConstructTemplates , spin:Modules , spin:Templates , spl:Argument , rdfs:Resource ;
rdfs:comment "The minimum number of values that the property must have." .
_:node1a5jqhf0ux284 sp:systemProperty _:node1a5jqhf0ux285 , _:node1a5jqhf0ux295 ;
sp:templates _:node1a5jqhf0ux285 ;
sp:where _:node1a5jqhf0ux295 ;
a sp:Command , sp:Construct , sp:Query , sp:SystemClass , spin:Rule , rdfs:Resource .
_:node1a5jqhf0ux285 rdf:first _:node1a5jqhf0ux286 ;
rdf:rest _:node1a5jqhf0ux287 ;
a rdf:List , rdfs:Resource .
_:node1a5jqhf0ux286 sp:object spin:ConstraintViolation ;
sp:predicate rdf:type ;
sp:subject _:genid-7bb79f7e268a4347b7dfcbf1a9c65a80-b76881 ;
sp:systemProperty _:genid-7bb79f7e268a4347b7dfcbf1a9c65a80-b76881 , spin:ConstraintViolation , rdf:type ;
a sp:SystemClass , sp:Triple , sp:Tuple , rdfs:Resource .
_:node1a5jqhf0ux287 rdf:first _:node1a5jqhf0ux288 ;
rdf:rest _:node1a5jqhf0ux289 ;
a rdf:List , rdfs:Resource .
_:node1a5jqhf0ux288 sp:object spin:_this ;
sp:predicate spin:violationRoot ;
sp:subject _:genid-7bb79f7e268a4347b7dfcbf1a9c65a80-b76881 ;
sp:systemProperty _:genid-7bb79f7e268a4347b7dfcbf1a9c65a80-b76881 , spin:_this , spin:violationRoot ;
a sp:SystemClass , sp:Triple , sp:Tuple , rdfs:Resource .
_:node1a5jqhf0ux289 rdf:first _:node1a5jqhf0ux290 ;
rdf:rest _:node1a5jqhf0ux292 ;
a rdf:List , rdfs:Resource .
_:node1a5jqhf0ux29 sp:arg sp:arg2 , rdfs:Literal ;
spl:predicate sp:arg2 ;
spl:valueType rdfs:Literal ;
_:node1a5jqhf0ux4 ;
a sp:Command , sp:Query , sp:SystemClass , spin:ConstructTemplates , spin:Modules , spin:Templates , spl:Argument , rdfs:Resource ;
rdfs:comment "the second operand" .
_:node1a5jqhf0ux290 sp:object _:node1a5jqhf0ux291 ;
sp:predicate spin:violationPath ;
sp:subject _:genid-7bb79f7e268a4347b7dfcbf1a9c65a80-b76881 ;
sp:systemProperty _:genid-7bb79f7e268a4347b7dfcbf1a9c65a80-b76881 , _:node1a5jqhf0ux291 , spin:violationPath ;
a sp:SystemClass , sp:Triple , sp:Tuple , rdfs:Resource .
_:node1a5jqhf0ux291 sp:systemProperty "property" ;
sp:varName "property" ;
a sp:SystemClass , sp:Variable , rdfs:Resource .
_:node1a5jqhf0ux292 rdf:first _:node1a5jqhf0ux293 ;
rdf:rest rdf:nil ;
a rdf:List , rdfs:Resource .
_:node1a5jqhf0ux293 sp:object _:node1a5jqhf0ux294 ;
sp:predicate rdfs:label ;
sp:subject _:genid-7bb79f7e268a4347b7dfcbf1a9c65a80-b76881 ;
sp:systemProperty _:genid-7bb79f7e268a4347b7dfcbf1a9c65a80-b76881 , _:node1a5jqhf0ux294 , rdfs:label ;
a sp:SystemClass , sp:Triple , sp:Tuple , rdfs:Resource .
_:node1a5jqhf0ux294 sp:systemProperty "message" ;
sp:varName "message" ;
a sp:SystemClass , sp:Variable , rdfs:Resource .
_:node1a5jqhf0ux295 rdf:first _:node1a5jqhf0ux296 ;
rdf:rest _:node1a5jqhf0ux302 ;
a sp:Element , sp:ElementGroup , sp:ElementList , sp:SystemClass , rdf:List , rdfs:Resource .
_:node1a5jqhf0ux296 sp:expression _:node1a5jqhf0ux297 ;
sp:systemProperty _:node1a5jqhf0ux297 ;
a sp:Element , sp:Filter , sp:SystemClass , rdfs:Resource .
_:node1a5jqhf0ux297 sp:elements _:node1a5jqhf0ux298 ;
sp:systemProperty _:node1a5jqhf0ux298 ;
_:node1a5jqhf0ux4 ;
a sp:exists , spin:Functions , spin:Modules , spl:BooleanFunctions , rdfs:Resource .
_:node1a5jqhf0ux298 rdf:first _:node1a5jqhf0ux299 ;
rdf:rest rdf:nil ;
a sp:Element , sp:ElementGroup , sp:ElementList , sp:SystemClass , rdf:List , rdfs:Resource .
_:node1a5jqhf0ux299 sp:object _:node1a5jqhf0ux300 ;
sp:predicate _:node1a5jqhf0ux301 ;
sp:subject spin:_this ;
sp:systemProperty _:node1a5jqhf0ux300 , _:node1a5jqhf0ux301 , spin:_this ;
a sp:SystemClass , sp:Triple , sp:Tuple , rdfs:Resource .
_:node1a5jqhf0ux3 sp:arg spin:body , 0 , 1 ;
spl:count 0 , 1 ;
spl:maxCount 1 ;
spl:minCount 0 ;
spl:predicate spin:body ;
_:node1a5jqhf0ux4 ;
a sp:Command , sp:Query , sp:SystemClass , spin:ConstructTemplates , spin:Modules , spin:Templates , spl:Attribute , rdfs:Resource ;
rdfs:comment "the body of the function" .
_:node1a5jqhf0ux30 sp:arg sp:arg1 , rdfs:Literal ;
spl:predicate sp:arg1 ;
spl:valueType rdfs:Literal ;
_:node1a5jqhf0ux4 ;
a sp:Command , sp:Query , sp:SystemClass , spin:ConstructTemplates , spin:Modules , spin:Templates , spl:Argument , rdfs:Resource ;
rdfs:comment "The dateTime or time argument." .
_:node1a5jqhf0ux300 sp:systemProperty "someValue" ;
sp:varName "someValue" ;
a sp:SystemClass , sp:Variable , rdfs:Resource .
_:node1a5jqhf0ux301 sp:systemProperty "otherProperty" ;
sp:varName "otherProperty" ;
a sp:SystemClass , sp:Variable , rdfs:Resource .
_:node1a5jqhf0ux302 rdf:first _:node1a5jqhf0ux303 ;
rdf:rest _:node1a5jqhf0ux309 ;
a rdf:List , rdfs:Resource .
_:node1a5jqhf0ux303 sp:expression _:node1a5jqhf0ux304 ;
sp:systemProperty _:node1a5jqhf0ux304 ;
a sp:Element , sp:Filter , sp:SystemClass , rdfs:Resource .
_:node1a5jqhf0ux304 sp:elements _:node1a5jqhf0ux305 ;
sp:systemProperty _:node1a5jqhf0ux305 ;
_:node1a5jqhf0ux4 ;
a sp:notExists , spin:Functions , spin:Modules , spl:BooleanFunctions , rdfs:Resource .
_:node1a5jqhf0ux305 rdf:first _:node1a5jqhf0ux306 ;
rdf:rest rdf:nil ;
a sp:Element , sp:ElementGroup , sp:ElementList , sp:SystemClass , rdf:List , rdfs:Resource .
_:node1a5jqhf0ux306 sp:object _:node1a5jqhf0ux307 ;
sp:predicate _:node1a5jqhf0ux308 ;
sp:subject spin:_this ;
sp:systemProperty _:node1a5jqhf0ux307 , _:node1a5jqhf0ux308 , spin:_this ;
a sp:SystemClass , sp:Triple , sp:Tuple , rdfs:Resource .
_:node1a5jqhf0ux307 sp:systemProperty "object" ;
sp:varName "object" ;
a sp:SystemClass , sp:Variable , rdfs:Resource .
_:node1a5jqhf0ux308 sp:systemProperty "property" ;
sp:varName "property" ;
a sp:SystemClass , sp:Variable , rdfs:Resource .
_:node1a5jqhf0ux309 rdf:first _:node1a5jqhf0ux310 ;
rdf:rest rdf:nil ;
a rdf:List , rdfs:Resource .
_:node1a5jqhf0ux31 sp:arg sp:arg1 , xsd:boolean ;
spl:predicate sp:arg1 ;
spl:valueType xsd:boolean ;
_:node1a5jqhf0ux4 ;
a sp:Command , sp:Query , sp:SystemClass , spin:ConstructTemplates , spin:Modules , spin:Templates , spl:Argument , rdfs:Resource ;
rdfs:comment "A condition to evaluate - if true then the ?arg2 will be returned, otherwise ?arg3." .
_:node1a5jqhf0ux310 sp:expression _:node1a5jqhf0ux311 ;
sp:systemProperty _:node1a5jqhf0ux311 , _:node1a5jqhf0ux313 ;
sp:variable _:node1a5jqhf0ux313 ;
a sp:Bind , sp:Element , sp:SystemClass , rdfs:Resource .
_:node1a5jqhf0ux311 sp:arg _:node1a5jqhf0ux312 , " has" , "Property must have a value because " ;
sp:arg1 "Property must have a value because " ;
sp:arg2 _:node1a5jqhf0ux312 ;
sp:arg3 " has" ;
_:node1a5jqhf0ux4 ;
a sp:concat , spin:Functions , spin:Modules , spl:StringFunctions , rdfs:Resource .
_:node1a5jqhf0ux312 sp:systemProperty "otherProperty" ;
sp:varName "otherProperty" ;
a sp:SystemClass , sp:Variable , rdfs:Resource .
_:node1a5jqhf0ux313 sp:systemProperty "message" ;
sp:varName "message" ;
a sp:SystemClass , sp:Variable , rdfs:Resource .
_:node1a5jqhf0ux314 sp:systemProperty _:node1a5jqhf0ux315 , _:node1a5jqhf0ux319 ;
sp:templates _:node1a5jqhf0ux315 ;
sp:where _:node1a5jqhf0ux319 ;
a sp:Command , sp:Construct , sp:Query , sp:SystemClass , spin:Rule , rdfs:Resource .
_:node1a5jqhf0ux315 rdf:first _:node1a5jqhf0ux316 ;
rdf:rest rdf:nil ;
a rdf:List , rdfs:Resource .
_:node1a5jqhf0ux316 sp:object _:node1a5jqhf0ux317 ;
sp:predicate _:node1a5jqhf0ux318 ;
sp:subject spin:_this ;
sp:systemProperty _:node1a5jqhf0ux317 , _:node1a5jqhf0ux318 , spin:_this ;
a sp:SystemClass , sp:Triple , sp:Tuple , rdfs:Resource .
_:node1a5jqhf0ux317 sp:systemProperty "defaultValue" ;
sp:varName "defaultValue" ;
a sp:SystemClass , sp:Variable , rdfs:Resource .
_:node1a5jqhf0ux318 sp:systemProperty "predicate" ;
sp:varName "predicate" ;
a sp:SystemClass , sp:Variable , rdfs:Resource .
_:node1a5jqhf0ux319 rdf:first _:node1a5jqhf0ux320 ;
rdf:rest _:node1a5jqhf0ux325 ;
a sp:Element , sp:ElementGroup , sp:ElementList , sp:SystemClass , rdf:List , rdfs:Resource .
_:node1a5jqhf0ux32 sp:arg sp:arg2 ;
spl:predicate sp:arg2 ;
_:node1a5jqhf0ux4 ;
a sp:Command , sp:Query , sp:SystemClass , spin:ConstructTemplates , spin:Modules , spin:Templates , spl:Argument , rdfs:Resource ;
rdfs:comment "The function result if ?arg1 is true." .
_:node1a5jqhf0ux320 sp:elements _:node1a5jqhf0ux321 ;
sp:systemProperty _:node1a5jqhf0ux321 ;
a sp:Element , sp:ElementGroup , sp:Optional , sp:SystemClass , rdfs:Resource .
_:node1a5jqhf0ux321 rdf:first _:node1a5jqhf0ux322 ;
rdf:rest rdf:nil ;
a sp:Element , sp:ElementGroup , sp:ElementList , sp:SystemClass , rdf:List , rdfs:Resource .
_:node1a5jqhf0ux322 sp:object _:node1a5jqhf0ux323 ;
sp:predicate _:node1a5jqhf0ux324 ;
sp:subject spin:_this ;
sp:systemProperty _:node1a5jqhf0ux323 , _:node1a5jqhf0ux324 , spin:_this ;
a sp:SystemClass , sp:Triple , sp:Tuple , rdfs:Resource .
_:node1a5jqhf0ux323 sp:systemProperty "anyValue" ;
sp:varName "anyValue" ;
a sp:SystemClass , sp:Variable , rdfs:Resource .
_:node1a5jqhf0ux324 sp:systemProperty "predicate" ;
sp:varName "predicate" ;
a sp:SystemClass , sp:Variable , rdfs:Resource .
_:node1a5jqhf0ux325 rdf:first _:node1a5jqhf0ux326 ;
rdf:rest rdf:nil ;
a rdf:List , rdfs:Resource .
_:node1a5jqhf0ux326 sp:expression _:node1a5jqhf0ux327 ;
sp:systemProperty _:node1a5jqhf0ux327 ;
a sp:Element , sp:Filter , sp:SystemClass , rdfs:Resource .
_:node1a5jqhf0ux327 sp:arg _:node1a5jqhf0ux328 ;
sp:arg1 _:node1a5jqhf0ux328 ;
_:node1a5jqhf0ux4 ;
a sp:not , spin:Functions , spin:Modules , spl:BooleanFunctions , rdfs:Resource .
_:node1a5jqhf0ux328 sp:arg _:node1a5jqhf0ux329 ;
sp:arg1 _:node1a5jqhf0ux329 ;
_:node1a5jqhf0ux4 ;
a sp:bound , spin:Functions , spin:Modules , spl:BooleanFunctions , rdfs:Resource .
_:node1a5jqhf0ux329 sp:systemProperty "anyValue" ;
sp:varName "anyValue" ;
a sp:SystemClass , sp:Variable , rdfs:Resource .
_:node1a5jqhf0ux33 sp:arg sp:arg3 ;
spl:predicate sp:arg3 ;
_:node1a5jqhf0ux4 ;
a sp:Command , sp:Query , sp:SystemClass , spin:ConstructTemplates , spin:Modules , spin:Templates , spl:Argument , rdfs:Resource ;
rdfs:comment "The function result if ?arg1 is false." .
_:node1a5jqhf0ux330 sp:arg spl:defaultValue ;
spl:predicate spl:defaultValue ;
_:node1a5jqhf0ux4 ;
a sp:Command , sp:Query , sp:SystemClass , spin:ConstructTemplates , spin:Modules , spin:Templates , spl:Argument , rdfs:Resource ;
rdfs:comment "The default value to infer." .
_:node1a5jqhf0ux331 sp:arg spl:predicate , rdf:Property ;
spl:predicate spl:predicate ;
spl:valueType rdf:Property ;
_:node1a5jqhf0ux4 ;
a sp:Command , sp:Query , sp:SystemClass , spin:ConstructTemplates , spin:Modules , spin:Templates , spl:Argument , rdfs:Resource ;
rdfs:comment "The predicate to infer the default value of." .
_:node1a5jqhf0ux332 sp:systemProperty _:node1a5jqhf0ux333 , _:node1a5jqhf0ux343 ;
sp:templates _:node1a5jqhf0ux333 ;
sp:where _:node1a5jqhf0ux343 ;
a sp:Command , sp:Construct , sp:Query , sp:SystemClass , spin:Rule , rdfs:Resource .
_:node1a5jqhf0ux333 rdf:first _:node1a5jqhf0ux334 ;
rdf:rest _:node1a5jqhf0ux335 ;
a rdf:List , rdfs:Resource .
_:node1a5jqhf0ux334 sp:object spin:ConstraintViolation ;
sp:predicate rdf:type ;
sp:subject _:genid-7bb79f7e268a4347b7dfcbf1a9c65a80-b47159 ;
sp:systemProperty _:genid-7bb79f7e268a4347b7dfcbf1a9c65a80-b47159 , spin:ConstraintViolation , rdf:type ;
a sp:SystemClass , sp:Triple , sp:Tuple , rdfs:Resource .
_:node1a5jqhf0ux335 rdf:first _:node1a5jqhf0ux336 ;
rdf:rest _:node1a5jqhf0ux337 ;
a rdf:List , rdfs:Resource .
_:node1a5jqhf0ux336 sp:object spin:_this ;
sp:predicate spin:violationRoot ;
sp:subject _:genid-7bb79f7e268a4347b7dfcbf1a9c65a80-b47159 ;
sp:systemProperty _:genid-7bb79f7e268a4347b7dfcbf1a9c65a80-b47159 , spin:_this , spin:violationRoot ;
a sp:SystemClass , sp:Triple , sp:Tuple , rdfs:Resource .
_:node1a5jqhf0ux337 rdf:first _:node1a5jqhf0ux338 ;
rdf:rest _:node1a5jqhf0ux340 ;
a rdf:List , rdfs:Resource .
_:node1a5jqhf0ux338 sp:object _:node1a5jqhf0ux339 ;
sp:predicate spin:violationPath ;
sp:subject _:genid-7bb79f7e268a4347b7dfcbf1a9c65a80-b47159 ;
sp:systemProperty _:genid-7bb79f7e268a4347b7dfcbf1a9c65a80-b47159 , _:node1a5jqhf0ux339 , spin:violationPath ;
a sp:SystemClass , sp:Triple , sp:Tuple , rdfs:Resource .
_:node1a5jqhf0ux339 sp:systemProperty "property" ;
sp:varName "property" ;
a sp:SystemClass , sp:Variable , rdfs:Resource .
_:node1a5jqhf0ux34 sp:arg sp:arg1 ;
spl:predicate sp:arg1 ;
_:node1a5jqhf0ux4 ;
a sp:Command , sp:Query , sp:SystemClass , spin:ConstructTemplates , spin:Modules , spin:Templates , spl:Argument , rdfs:Resource ;
rdfs:comment "The value to find." .
_:node1a5jqhf0ux340 rdf:first _:node1a5jqhf0ux341 ;
rdf:rest rdf:nil ;
a rdf:List , rdfs:Resource .
_:node1a5jqhf0ux341 sp:object _:node1a5jqhf0ux342 ;
sp:predicate rdfs:label ;
sp:subject _:genid-7bb79f7e268a4347b7dfcbf1a9c65a80-b47159 ;
sp:systemProperty _:genid-7bb79f7e268a4347b7dfcbf1a9c65a80-b47159 , _:node1a5jqhf0ux342 , rdfs:label ;
a sp:SystemClass , sp:Triple , sp:Tuple , rdfs:Resource .
_:node1a5jqhf0ux342 sp:systemProperty "message" ;
sp:varName "message" ;
a sp:SystemClass , sp:Variable , rdfs:Resource .
_:node1a5jqhf0ux343 rdf:first _:node1a5jqhf0ux344 ;
rdf:rest _:node1a5jqhf0ux350 ;
a sp:Element , sp:ElementGroup , sp:ElementList , sp:SystemClass , rdf:List , rdfs:Resource .
_:node1a5jqhf0ux344 sp:expression _:node1a5jqhf0ux345 ;
sp:systemProperty _:node1a5jqhf0ux345 ;
a sp:Element , sp:Filter , sp:SystemClass , rdfs:Resource .
_:node1a5jqhf0ux345 sp:elements _:node1a5jqhf0ux346 ;
sp:systemProperty _:node1a5jqhf0ux346 ;
_:node1a5jqhf0ux4 ;
a sp:notExists , spin:Functions , spin:Modules , spl:BooleanFunctions , rdfs:Resource .
_:node1a5jqhf0ux346 rdf:first _:node1a5jqhf0ux347 ;
rdf:rest rdf:nil ;
a sp:Element , sp:ElementGroup , sp:ElementList , sp:SystemClass , rdf:List , rdfs:Resource .
_:node1a5jqhf0ux347 sp:object _:node1a5jqhf0ux348 ;
sp:predicate _:node1a5jqhf0ux349 ;
sp:subject spin:_this ;
sp:systemProperty _:node1a5jqhf0ux348 , _:node1a5jqhf0ux349 , spin:_this ;
a sp:SystemClass , sp:Triple , sp:Tuple , rdfs:Resource .
_:node1a5jqhf0ux348 sp:systemProperty "someValue" ;
sp:varName "someValue" ;
a sp:SystemClass , sp:Variable , rdfs:Resource .
_:node1a5jqhf0ux349 sp:systemProperty "otherProperty" ;
sp:varName "otherProperty" ;
a sp:SystemClass , sp:Variable , rdfs:Resource .
_:node1a5jqhf0ux35 sp:arg sp:arg1 , xsd:string ;
spl:predicate sp:arg1 ;
spl:valueType xsd:string ;
_:node1a5jqhf0ux4 ;
a sp:Command , sp:Query , sp:SystemClass , spin:ConstructTemplates , spin:Modules , spin:Templates , spl:Argument , rdfs:Resource ;
rdfs:comment "The IRI string to convert to a resource." .
_:node1a5jqhf0ux350 rdf:first _:node1a5jqhf0ux351 ;
rdf:rest _:node1a5jqhf0ux357 ;
a rdf:List , rdfs:Resource .
_:node1a5jqhf0ux351 sp:expression _:node1a5jqhf0ux352 ;
sp:systemProperty _:node1a5jqhf0ux352 ;
a sp:Element , sp:Filter , sp:SystemClass , rdfs:Resource .
_:node1a5jqhf0ux352 sp:elements _:node1a5jqhf0ux353 ;
sp:systemProperty _:node1a5jqhf0ux353 ;
_:node1a5jqhf0ux4 ;
a sp:exists , spin:Functions , spin:Modules , spl:BooleanFunctions , rdfs:Resource .
_:node1a5jqhf0ux353 rdf:first _:node1a5jqhf0ux354 ;
rdf:rest rdf:nil ;
a sp:Element , sp:ElementGroup , sp:ElementList , sp:SystemClass , rdf:List , rdfs:Resource .
_:node1a5jqhf0ux354 sp:object _:node1a5jqhf0ux355 ;
sp:predicate _:node1a5jqhf0ux356 ;
sp:subject spin:_this ;
sp:systemProperty _:node1a5jqhf0ux355 , _:node1a5jqhf0ux356 , spin:_this ;
a sp:SystemClass , sp:Triple , sp:Tuple , rdfs:Resource .
_:node1a5jqhf0ux355 sp:systemProperty "object" ;
sp:varName "object" ;
a sp:SystemClass , sp:Variable , rdfs:Resource .
_:node1a5jqhf0ux356 sp:systemProperty "property" ;
sp:varName "property" ;
a sp:SystemClass , sp:Variable , rdfs:Resource .
_:node1a5jqhf0ux357 rdf:first _:node1a5jqhf0ux358 ;
rdf:rest rdf:nil ;
a rdf:List , rdfs:Resource .
_:node1a5jqhf0ux358 sp:expression _:node1a5jqhf0ux359 ;
sp:systemProperty _:node1a5jqhf0ux359 , _:node1a5jqhf0ux361 ;
sp:variable _:node1a5jqhf0ux361 ;
a sp:Bind , sp:Element , sp:SystemClass , rdfs:Resource .
_:node1a5jqhf0ux359 sp:arg _:node1a5jqhf0ux360 , " has none" , "Property must have no values because " ;
sp:arg1 "Property must have no values because " ;
sp:arg2 _:node1a5jqhf0ux360 ;
sp:arg3 " has none" ;
_:node1a5jqhf0ux4 ;
a sp:concat , spin:Functions , spin:Modules , spl:StringFunctions , rdfs:Resource .
_:node1a5jqhf0ux36 sp:arg sp:arg1 ;
spl:predicate sp:arg1 ;
_:node1a5jqhf0ux4 ;
a sp:Command , sp:Query , sp:SystemClass , spin:ConstructTemplates , spin:Modules , spin:Templates , spl:Argument , rdfs:Resource ;
rdfs:comment "the node being checked" .
_:node1a5jqhf0ux360 sp:systemProperty "otherProperty" ;
sp:varName "otherProperty" ;
a sp:SystemClass , sp:Variable , rdfs:Resource .
_:node1a5jqhf0ux361 sp:systemProperty "message" ;
sp:varName "message" ;
a sp:SystemClass , sp:Variable , rdfs:Resource .
_:node1a5jqhf0ux362 sp:systemProperty _:node1a5jqhf0ux363 , _:node1a5jqhf0ux373 ;
sp:templates _:node1a5jqhf0ux363 ;
sp:where _:node1a5jqhf0ux373 ;
a sp:Command , sp:Construct , sp:Query , sp:SystemClass , spin:Rule , rdfs:Resource .
_:node1a5jqhf0ux363 rdf:first _:node1a5jqhf0ux364 ;
rdf:rest _:node1a5jqhf0ux365 ;
a rdf:List , rdfs:Resource .
_:node1a5jqhf0ux364 sp:object spin:ConstraintViolation ;
sp:predicate rdf:type ;
sp:subject _:genid-7bb79f7e268a4347b7dfcbf1a9c65a80-b46843 ;
sp:systemProperty _:genid-7bb79f7e268a4347b7dfcbf1a9c65a80-b46843 , spin:ConstraintViolation , rdf:type ;
a sp:SystemClass , sp:Triple , sp:Tuple , rdfs:Resource .
_:node1a5jqhf0ux365 rdf:first _:node1a5jqhf0ux366 ;
rdf:rest _:node1a5jqhf0ux367 ;
a rdf:List , rdfs:Resource .
_:node1a5jqhf0ux366 sp:object spin:_this ;
sp:predicate spin:violationRoot ;
sp:subject _:genid-7bb79f7e268a4347b7dfcbf1a9c65a80-b46843 ;
sp:systemProperty _:genid-7bb79f7e268a4347b7dfcbf1a9c65a80-b46843 , spin:_this , spin:violationRoot ;
a sp:SystemClass , sp:Triple , sp:Tuple , rdfs:Resource .
_:node1a5jqhf0ux367 rdf:first _:node1a5jqhf0ux368 ;
rdf:rest _:node1a5jqhf0ux370 ;
a rdf:List , rdfs:Resource .
_:node1a5jqhf0ux368 sp:object _:node1a5jqhf0ux369 ;
sp:predicate spin:violationPath ;
sp:subject _:genid-7bb79f7e268a4347b7dfcbf1a9c65a80-b46843 ;
sp:systemProperty _:genid-7bb79f7e268a4347b7dfcbf1a9c65a80-b46843 , _:node1a5jqhf0ux369 , spin:violationPath ;
a sp:SystemClass , sp:Triple , sp:Tuple , rdfs:Resource .
_:node1a5jqhf0ux369 sp:systemProperty "property" ;
sp:varName "property" ;
a sp:SystemClass , sp:Variable , rdfs:Resource .
_:node1a5jqhf0ux37 sp:arg sp:arg1 ;
spl:predicate sp:arg1 ;
_:node1a5jqhf0ux4 ;
a sp:Command , sp:Query , sp:SystemClass , spin:ConstructTemplates , spin:Modules , spin:Templates , spl:Argument , rdfs:Resource ;
rdfs:comment "the node being tested" .
_:node1a5jqhf0ux370 rdf:first _:node1a5jqhf0ux371 ;
rdf:rest rdf:nil ;
a rdf:List , rdfs:Resource .
_:node1a5jqhf0ux371 sp:object _:node1a5jqhf0ux372 ;
sp:predicate rdfs:label ;
sp:subject _:genid-7bb79f7e268a4347b7dfcbf1a9c65a80-b46843 ;
sp:systemProperty _:genid-7bb79f7e268a4347b7dfcbf1a9c65a80-b46843 , _:node1a5jqhf0ux372 , rdfs:label ;
a sp:SystemClass , sp:Triple , sp:Tuple , rdfs:Resource .
_:node1a5jqhf0ux372 sp:systemProperty "message" ;
sp:varName "message" ;
a sp:SystemClass , sp:Variable , rdfs:Resource .
_:node1a5jqhf0ux373 rdf:first _:node1a5jqhf0ux374 ;
rdf:rest _:node1a5jqhf0ux378 ;
a sp:Element , sp:ElementGroup , sp:ElementList , sp:SystemClass , rdf:List , rdfs:Resource .
_:node1a5jqhf0ux374 sp:expression _:node1a5jqhf0ux375 ;
sp:systemProperty _:node1a5jqhf0ux375 , _:node1a5jqhf0ux377 ;
sp:variable _:node1a5jqhf0ux377 ;
a sp:Bind , sp:Element , sp:SystemClass , rdfs:Resource .
_:node1a5jqhf0ux375 sp:arg _:node1a5jqhf0ux376 , spin:_this ;
sp:arg1 spin:_this ;
sp:arg2 _:node1a5jqhf0ux376 ;
_:node1a5jqhf0ux4 ;
a spin:Functions , spin:Modules , spl:OntologyFunctions , spl:objectCount , rdfs:Resource .
_:node1a5jqhf0ux376 sp:systemProperty "property" ;
sp:varName "property" ;
a sp:SystemClass , sp:Variable , rdfs:Resource .
_:node1a5jqhf0ux377 sp:systemProperty "objectCount" ;
sp:varName "objectCount" ;
a sp:SystemClass , sp:Variable , rdfs:Resource .
_:node1a5jqhf0ux378 rdf:first _:node1a5jqhf0ux379 ;
rdf:rest _:node1a5jqhf0ux393 ;
a rdf:List , rdfs:Resource .
_:node1a5jqhf0ux379 sp:expression _:node1a5jqhf0ux380 ;
sp:systemProperty _:node1a5jqhf0ux380 ;
a sp:Element , sp:Filter , sp:SystemClass , rdfs:Resource .
_:node1a5jqhf0ux38 sp:arg sp:arg1 ;
spl:predicate sp:arg1 ;
_:node1a5jqhf0ux4 ;
a sp:Command , sp:Query , sp:SystemClass , spin:ConstructTemplates , spin:Modules , spin:Templates , spl:Argument , rdfs:Resource ;
rdfs:comment "the node being tested" .
_:node1a5jqhf0ux380 sp:arg _:node1a5jqhf0ux381 , _:node1a5jqhf0ux387 ;
sp:arg1 _:node1a5jqhf0ux381 ;
sp:arg2 _:node1a5jqhf0ux387 ;
_:node1a5jqhf0ux4 ;
a sp:or , spin:Functions , spin:Modules , spl:BooleanFunctions , rdfs:Resource .
_:node1a5jqhf0ux381 sp:arg _:node1a5jqhf0ux382 , _:node1a5jqhf0ux384 ;
sp:arg1 _:node1a5jqhf0ux382 ;
sp:arg2 _:node1a5jqhf0ux384 ;
_:node1a5jqhf0ux4 ;
a sp:and , spin:Functions , spin:Modules , spl:BooleanFunctions , rdfs:Resource .
_:node1a5jqhf0ux382 sp:arg _:node1a5jqhf0ux383 ;
sp:arg1 _:node1a5jqhf0ux383 ;
_:node1a5jqhf0ux4 ;
a sp:bound , spin:Functions , spin:Modules , spl:BooleanFunctions , rdfs:Resource .
_:node1a5jqhf0ux383 sp:systemProperty "minCount" ;
sp:varName "minCount" ;
a sp:SystemClass , sp:Variable , rdfs:Resource .
_:node1a5jqhf0ux384 sp:arg _:node1a5jqhf0ux385 , _:node1a5jqhf0ux386 ;
sp:arg1 _:node1a5jqhf0ux385 ;
sp:arg2 _:node1a5jqhf0ux386 ;
_:node1a5jqhf0ux4 ;
a sp:lt , spin:Functions , spin:Modules , spl:BooleanFunctions , rdfs:Resource .
_:node1a5jqhf0ux385 sp:systemProperty "objectCount" ;
sp:varName "objectCount" ;
a sp:SystemClass , sp:Variable , rdfs:Resource .
_:node1a5jqhf0ux386 sp:systemProperty "minCount" ;
sp:varName "minCount" ;
a sp:SystemClass , sp:Variable , rdfs:Resource .
_:node1a5jqhf0ux387 sp:arg _:node1a5jqhf0ux388 , _:node1a5jqhf0ux390 ;
sp:arg1 _:node1a5jqhf0ux388 ;
sp:arg2 _:node1a5jqhf0ux390 ;
_:node1a5jqhf0ux4 ;
a sp:and , spin:Functions , spin:Modules , spl:BooleanFunctions , rdfs:Resource .
_:node1a5jqhf0ux388 sp:arg _:node1a5jqhf0ux389 ;
sp:arg1 _:node1a5jqhf0ux389 ;
_:node1a5jqhf0ux4 ;
a sp:bound , spin:Functions , spin:Modules , spl:BooleanFunctions , rdfs:Resource .
_:node1a5jqhf0ux389 sp:systemProperty "maxCount" ;
sp:varName "maxCount" ;
a sp:SystemClass , sp:Variable , rdfs:Resource .
_:node1a5jqhf0ux39 sp:arg sp:arg1 ;
spl:predicate sp:arg1 ;
_:node1a5jqhf0ux4 ;
a sp:Command , sp:Query , sp:SystemClass , spin:ConstructTemplates , spin:Modules , spin:Templates , spl:Argument , rdfs:Resource ;
rdfs:comment """The node to check whether it's numeric.
""" .
_:node1a5jqhf0ux390 sp:arg _:node1a5jqhf0ux391 , _:node1a5jqhf0ux392 ;
sp:arg1 _:node1a5jqhf0ux391 ;
sp:arg2 _:node1a5jqhf0ux392 ;
_:node1a5jqhf0ux4 ;
a sp:gt , spin:Functions , spin:Modules , spl:BooleanFunctions , rdfs:Resource .
_:node1a5jqhf0ux391 sp:systemProperty "objectCount" ;
sp:varName "objectCount" ;
a sp:SystemClass , sp:Variable , rdfs:Resource .
_:node1a5jqhf0ux392 sp:systemProperty "maxCount" ;
sp:varName "maxCount" ;
a sp:SystemClass , sp:Variable , rdfs:Resource .
_:node1a5jqhf0ux393 rdf:first _:node1a5jqhf0ux394 ;
rdf:rest rdf:nil ;
a rdf:List , rdfs:Resource .
_:node1a5jqhf0ux394 sp:expression _:node1a5jqhf0ux395 ;
sp:systemProperty _:node1a5jqhf0ux395 , _:node1a5jqhf0ux397 ;
sp:variable _:node1a5jqhf0ux397 ;
a sp:Bind , sp:Element , sp:SystemClass , rdfs:Resource .
_:node1a5jqhf0ux395 sp:arg _:node1a5jqhf0ux396 , "Invalid number of values: " ;
sp:arg1 "Invalid number of values: " ;
sp:arg2 _:node1a5jqhf0ux396 ;
_:node1a5jqhf0ux4 ;
a sp:concat , spin:Functions , spin:Modules , spl:StringFunctions , rdfs:Resource .
_:node1a5jqhf0ux396 sp:systemProperty "objectCount" ;
sp:varName "objectCount" ;
a sp:SystemClass , sp:Variable , rdfs:Resource .
_:node1a5jqhf0ux397 sp:systemProperty "message" ;
sp:varName "message" ;
a sp:SystemClass , sp:Variable , rdfs:Resource .
_:node1a5jqhf0ux398 sp:arg arg:property , rdf:Property ;
spl:predicate arg:property ;
spl:valueType rdf:Property ;
_:node1a5jqhf0ux4 ;
a sp:Command , sp:Query , sp:SystemClass , spin:ConstructTemplates , spin:Modules , spin:Templates , spl:Argument , rdfs:Resource ;
rdfs:comment "The property being constrained." .
_:node1a5jqhf0ux399 sp:arg arg:otherProperty , rdf:Property ;
spl:predicate arg:otherProperty ;
spl:valueType rdf:Property ;
_:node1a5jqhf0ux4 ;
a sp:Command , sp:Query , sp:SystemClass , spin:ConstructTemplates , spin:Modules , spin:Templates , spl:Argument , rdfs:Resource ;
rdfs:comment "The \"other\" property." .
_:node1a5jqhf0ux4 _:node1a5jqhf0ux4 ;
a sp:Command , sp:SystemClass , spin:ConstructTemplates , spin:Modules , spin:Rule , spin:Templates , spl:ConstructDefaultValues , rdfs:Resource .
_:node1a5jqhf0ux40 sp:arg sp:arg1 ;
spl:predicate sp:arg1 ;
_:node1a5jqhf0ux4 ;
a sp:Command , sp:Query , sp:SystemClass , spin:ConstructTemplates , spin:Modules , spin:Templates , spl:Argument , rdfs:Resource ;
rdfs:comment "the node to check" .
_:node1a5jqhf0ux400 sp:systemProperty _:node1a5jqhf0ux401 , _:node1a5jqhf0ux411 ;
sp:templates _:node1a5jqhf0ux401 ;
sp:where _:node1a5jqhf0ux411 ;
a sp:Command , sp:Construct , sp:Query , sp:SystemClass , spin:Rule , rdfs:Resource .
_:node1a5jqhf0ux401 rdf:first _:node1a5jqhf0ux402 ;
rdf:rest _:node1a5jqhf0ux403 ;
a rdf:List , rdfs:Resource .
_:node1a5jqhf0ux402 sp:object spin:ConstraintViolation ;
sp:predicate rdf:type ;
sp:subject _:genid-7bb79f7e268a4347b7dfcbf1a9c65a80-b28065 ;
sp:systemProperty _:genid-7bb79f7e268a4347b7dfcbf1a9c65a80-b28065 , spin:ConstraintViolation , rdf:type ;
a sp:SystemClass , sp:Triple , sp:Tuple , rdfs:Resource .
_:node1a5jqhf0ux403 rdf:first _:node1a5jqhf0ux404 ;
rdf:rest _:node1a5jqhf0ux405 ;
a rdf:List , rdfs:Resource .
_:node1a5jqhf0ux404 sp:object spin:_this ;
sp:predicate spin:violationRoot ;
sp:subject _:genid-7bb79f7e268a4347b7dfcbf1a9c65a80-b28065 ;
sp:systemProperty _:genid-7bb79f7e268a4347b7dfcbf1a9c65a80-b28065 , spin:_this , spin:violationRoot ;
a sp:SystemClass , sp:Triple , sp:Tuple , rdfs:Resource .
_:node1a5jqhf0ux405 rdf:first _:node1a5jqhf0ux406 ;
rdf:rest _:node1a5jqhf0ux408 ;
a rdf:List , rdfs:Resource .
_:node1a5jqhf0ux406 sp:object _:node1a5jqhf0ux407 ;
sp:predicate spin:violationPath ;
sp:subject _:genid-7bb79f7e268a4347b7dfcbf1a9c65a80-b28065 ;
sp:systemProperty _:genid-7bb79f7e268a4347b7dfcbf1a9c65a80-b28065 , _:node1a5jqhf0ux407 , spin:violationPath ;
a sp:SystemClass , sp:Triple , sp:Tuple , rdfs:Resource .
_:node1a5jqhf0ux407 sp:systemProperty "property" ;
sp:varName "property" ;
a sp:SystemClass , sp:Variable , rdfs:Resource .
_:node1a5jqhf0ux408 rdf:first _:node1a5jqhf0ux409 ;
rdf:rest rdf:nil ;
a rdf:List , rdfs:Resource .
_:node1a5jqhf0ux409 sp:object _:node1a5jqhf0ux410 ;
sp:predicate rdfs:label ;
sp:subject _:genid-7bb79f7e268a4347b7dfcbf1a9c65a80-b28065 ;
sp:systemProperty _:genid-7bb79f7e268a4347b7dfcbf1a9c65a80-b28065 , _:node1a5jqhf0ux410 , rdfs:label ;
a sp:SystemClass , sp:Triple , sp:Tuple , rdfs:Resource .
_:node1a5jqhf0ux41 sp:arg sp:arg1 , rdfs:Literal ;
spl:predicate sp:arg1 ;
spl:valueType rdfs:Literal ;
_:node1a5jqhf0ux4 ;
a sp:Command , sp:Query , sp:SystemClass , spin:ConstructTemplates , spin:Modules , spin:Templates , spl:Argument , rdfs:Resource ;
rdfs:comment "the literal to get the language of" .
_:node1a5jqhf0ux410 sp:systemProperty "message" ;
sp:varName "message" ;
a sp:SystemClass , sp:Variable , rdfs:Resource .
_:node1a5jqhf0ux411 rdf:first _:node1a5jqhf0ux412 ;
rdf:rest _:node1a5jqhf0ux415 ;
a sp:Element , sp:ElementGroup , sp:ElementList , sp:SystemClass , rdf:List , rdfs:Resource .
_:node1a5jqhf0ux412 sp:object _:node1a5jqhf0ux413 ;
sp:predicate _:node1a5jqhf0ux414 ;
sp:subject spin:_this ;
sp:systemProperty _:node1a5jqhf0ux413 , _:node1a5jqhf0ux414 , spin:_this ;
a sp:SystemClass , sp:Triple , sp:Tuple , rdfs:Resource .
_:node1a5jqhf0ux413 sp:systemProperty "object" ;
sp:varName "object" ;
a sp:SystemClass , sp:Variable , rdfs:Resource .
_:node1a5jqhf0ux414 sp:systemProperty "property" ;
sp:varName "property" ;
a sp:SystemClass , sp:Variable , rdfs:Resource .
_:node1a5jqhf0ux415 rdf:first _:node1a5jqhf0ux416 ;
rdf:rest _:node1a5jqhf0ux430 ;
a rdf:List , rdfs:Resource .
_:node1a5jqhf0ux416 sp:expression _:node1a5jqhf0ux417 ;
sp:systemProperty _:node1a5jqhf0ux417 ;
a sp:Element , sp:Filter , sp:SystemClass , rdfs:Resource .
_:node1a5jqhf0ux417 sp:arg _:node1a5jqhf0ux418 , _:node1a5jqhf0ux424 ;
sp:arg1 _:node1a5jqhf0ux418 ;
sp:arg2 _:node1a5jqhf0ux424 ;
_:node1a5jqhf0ux4 ;
a sp:or , spin:Functions , spin:Modules , spl:BooleanFunctions , rdfs:Resource .
_:node1a5jqhf0ux418 sp:arg _:node1a5jqhf0ux419 , _:node1a5jqhf0ux421 ;
sp:arg1 _:node1a5jqhf0ux419 ;
sp:arg2 _:node1a5jqhf0ux421 ;
_:node1a5jqhf0ux4 ;
a sp:and , spin:Functions , spin:Modules , spl:BooleanFunctions , rdfs:Resource .
_:node1a5jqhf0ux419 sp:arg _:node1a5jqhf0ux420 ;
sp:arg1 _:node1a5jqhf0ux420 ;
_:node1a5jqhf0ux4 ;
a sp:bound , spin:Functions , spin:Modules , spl:BooleanFunctions , rdfs:Resource .
_:node1a5jqhf0ux42 sp:arg sp:arg1 , rdfs:Literal ;
spl:predicate sp:arg1 ;
spl:valueType rdfs:Literal ;
_:node1a5jqhf0ux4 ;
a sp:Command , sp:Query , sp:SystemClass , spin:ConstructTemplates , spin:Modules , spin:Templates , spl:Argument , rdfs:Resource ;
rdfs:comment "the literal that is expected to have ?arg2 as language tag" .
_:node1a5jqhf0ux420 sp:systemProperty "min" ;
sp:varName "min" ;
a sp:SystemClass , sp:Variable , rdfs:Resource .
_:node1a5jqhf0ux421 sp:arg _:node1a5jqhf0ux422 , _:node1a5jqhf0ux423 ;
sp:arg1 _:node1a5jqhf0ux422 ;
sp:arg2 _:node1a5jqhf0ux423 ;
_:node1a5jqhf0ux4 ;
a sp:lt , spin:Functions , spin:Modules , spl:BooleanFunctions , rdfs:Resource .
_:node1a5jqhf0ux422 sp:systemProperty "object" ;
sp:varName "object" ;
a sp:SystemClass , sp:Variable , rdfs:Resource .
_:node1a5jqhf0ux423 sp:systemProperty "min" ;
sp:varName "min" ;
a sp:SystemClass , sp:Variable , rdfs:Resource .
_:node1a5jqhf0ux424 sp:arg _:node1a5jqhf0ux425 , _:node1a5jqhf0ux427 ;
sp:arg1 _:node1a5jqhf0ux425 ;
sp:arg2 _:node1a5jqhf0ux427 ;
_:node1a5jqhf0ux4 ;
a sp:and , spin:Functions , spin:Modules , spl:BooleanFunctions , rdfs:Resource .
_:node1a5jqhf0ux425 sp:arg _:node1a5jqhf0ux426 ;
sp:arg1 _:node1a5jqhf0ux426 ;
_:node1a5jqhf0ux4 ;
a sp:bound , spin:Functions , spin:Modules , spl:BooleanFunctions , rdfs:Resource .
_:node1a5jqhf0ux426 sp:systemProperty "max" ;
sp:varName "max" ;
a sp:SystemClass , sp:Variable , rdfs:Resource .
_:node1a5jqhf0ux427 sp:arg _:node1a5jqhf0ux428 , _:node1a5jqhf0ux429 ;
sp:arg1 _:node1a5jqhf0ux428 ;
sp:arg2 _:node1a5jqhf0ux429 ;
_:node1a5jqhf0ux4 ;
a sp:gt , spin:Functions , spin:Modules , spl:BooleanFunctions , rdfs:Resource .
_:node1a5jqhf0ux428 sp:systemProperty "object" ;
sp:varName "object" ;
a sp:SystemClass , sp:Variable , rdfs:Resource .
_:node1a5jqhf0ux429 sp:systemProperty "max" ;
sp:varName "max" ;
a sp:SystemClass , sp:Variable , rdfs:Resource .
_:node1a5jqhf0ux43 sp:arg sp:arg2 , xsd:string ;
spl:predicate sp:arg2 ;
spl:valueType xsd:string ;
_:node1a5jqhf0ux4 ;
a sp:Command , sp:Query , sp:SystemClass , spin:ConstructTemplates , spin:Modules , spin:Templates , spl:Argument , rdfs:Resource ;
rdfs:comment "the language tag that ?arg1 must have" .
_:node1a5jqhf0ux430 rdf:first _:node1a5jqhf0ux431 ;
rdf:rest rdf:nil ;
a rdf:List , rdfs:Resource .
_:node1a5jqhf0ux431 sp:expression _:node1a5jqhf0ux432 ;
sp:systemProperty _:node1a5jqhf0ux432 , _:node1a5jqhf0ux436 ;
sp:variable _:node1a5jqhf0ux436 ;
a sp:Bind , sp:Element , sp:SystemClass , rdfs:Resource .
_:node1a5jqhf0ux432 sp:arg _:node1a5jqhf0ux433 , _:node1a5jqhf0ux434 , " must be in the interval [" , ", " , "Value " ;
sp:arg1 "Value " ;
sp:arg2 _:node1a5jqhf0ux433 ;
sp:arg3 " must be in the interval [" ;
sp:arg4 _:node1a5jqhf0ux434 ;
sp:arg5 ", " ;
sp:arg6 _:node1a5jqhf0ux435 ;
sp:arg7 "]" ;
_:node1a5jqhf0ux4 ;
a sp:concat , spin:Functions , spin:Modules , spl:StringFunctions , rdfs:Resource .
_:node1a5jqhf0ux433 sp:systemProperty "object" ;
sp:varName "object" ;
a sp:SystemClass , sp:Variable , rdfs:Resource .
_:node1a5jqhf0ux434 sp:systemProperty "min" ;
sp:varName "min" ;
a sp:SystemClass , sp:Variable , rdfs:Resource .
_:node1a5jqhf0ux435 sp:systemProperty "max" ;
sp:varName "max" ;
a sp:SystemClass , sp:Variable , rdfs:Resource .
_:node1a5jqhf0ux436 sp:systemProperty "message" ;
sp:varName "message" ;
a sp:SystemClass , sp:Variable , rdfs:Resource .
_:node1a5jqhf0ux437 sp:arg arg:max , rdfs:Literal , true ;
spl:optional true ;
spl:predicate arg:max ;
spl:valueType rdfs:Literal ;
_:node1a5jqhf0ux4 ;
a sp:Command , sp:Query , sp:SystemClass , spin:ConstructTemplates , spin:Modules , spin:Templates , spl:Argument , rdfs:Resource ;
rdfs:comment "The maximum value." .
_:node1a5jqhf0ux438 sp:arg arg:min , rdfs:Literal , true ;
spl:optional true ;
spl:predicate arg:min ;
spl:valueType rdfs:Literal ;
_:node1a5jqhf0ux4 ;
a sp:Command , sp:Query , sp:SystemClass , spin:ConstructTemplates , spin:Modules , spin:Templates , spl:Argument , rdfs:Resource ;
rdfs:comment "The minimum value." .
_:node1a5jqhf0ux439 sp:systemProperty _:node1a5jqhf0ux440 , _:node1a5jqhf0ux450 ;
sp:templates _:node1a5jqhf0ux440 ;
sp:where _:node1a5jqhf0ux450 ;
a sp:Command , sp:Construct , sp:Query , sp:SystemClass , spin:Rule , rdfs:Resource .
_:node1a5jqhf0ux44 sp:arg sp:arg1 , xsd:string ;
spl:predicate sp:arg1 ;
spl:valueType xsd:string ;
_:node1a5jqhf0ux4 ;
a sp:Command , sp:Query , sp:SystemClass , spin:ConstructTemplates , spin:Modules , spin:Templates , spl:Argument , rdfs:Resource ;
rdfs:comment "The input string." .
_:node1a5jqhf0ux440 rdf:first _:node1a5jqhf0ux441 ;
rdf:rest _:node1a5jqhf0ux442 ;
a rdf:List , rdfs:Resource .
_:node1a5jqhf0ux441 sp:object spin:ConstraintViolation ;
sp:predicate rdf:type ;
sp:subject _:genid-7bb79f7e268a4347b7dfcbf1a9c65a80-b11396 ;
sp:systemProperty _:genid-7bb79f7e268a4347b7dfcbf1a9c65a80-b11396 , spin:ConstraintViolation , rdf:type ;
a sp:SystemClass , sp:Triple , sp:Tuple , rdfs:Resource .
_:node1a5jqhf0ux442 rdf:first _:node1a5jqhf0ux443 ;
rdf:rest _:node1a5jqhf0ux444 ;
a rdf:List , rdfs:Resource .
_:node1a5jqhf0ux443 sp:object spin:_this ;
sp:predicate spin:violationRoot ;
sp:subject _:genid-7bb79f7e268a4347b7dfcbf1a9c65a80-b11396 ;
sp:systemProperty _:genid-7bb79f7e268a4347b7dfcbf1a9c65a80-b11396 , spin:_this , spin:violationRoot ;
a sp:SystemClass , sp:Triple , sp:Tuple , rdfs:Resource .
_:node1a5jqhf0ux444 rdf:first _:node1a5jqhf0ux445 ;
rdf:rest _:node1a5jqhf0ux447 ;
a rdf:List , rdfs:Resource .
_:node1a5jqhf0ux445 sp:object _:node1a5jqhf0ux446 ;
sp:predicate spin:violationPath ;
sp:subject _:genid-7bb79f7e268a4347b7dfcbf1a9c65a80-b11396 ;
sp:systemProperty _:genid-7bb79f7e268a4347b7dfcbf1a9c65a80-b11396 , _:node1a5jqhf0ux446 , spin:violationPath ;
a sp:SystemClass , sp:Triple , sp:Tuple , rdfs:Resource .
_:node1a5jqhf0ux446 sp:systemProperty "property" ;
sp:varName "property" ;
a sp:SystemClass , sp:Variable , rdfs:Resource .
_:node1a5jqhf0ux447 rdf:first _:node1a5jqhf0ux448 ;
rdf:rest rdf:nil ;
a rdf:List , rdfs:Resource .
_:node1a5jqhf0ux448 sp:object _:node1a5jqhf0ux449 ;
sp:predicate rdfs:label ;
sp:subject _:genid-7bb79f7e268a4347b7dfcbf1a9c65a80-b11396 ;
sp:systemProperty _:genid-7bb79f7e268a4347b7dfcbf1a9c65a80-b11396 , _:node1a5jqhf0ux449 , rdfs:label ;
a sp:SystemClass , sp:Triple , sp:Tuple , rdfs:Resource .
_:node1a5jqhf0ux449 sp:systemProperty "message" ;
sp:varName "message" ;
a sp:SystemClass , sp:Variable , rdfs:Resource .
_:node1a5jqhf0ux45 sp:arg sp:arg1 , rdfs:Literal ;
spl:predicate sp:arg1 ;
spl:valueType rdfs:Literal ;
_:node1a5jqhf0ux4 ;
a sp:Command , sp:Query , sp:SystemClass , spin:ConstructTemplates , spin:Modules , spin:Templates , spl:Argument , rdfs:Resource ;
rdfs:comment "the first operand" .
_:node1a5jqhf0ux450 rdf:first _:node1a5jqhf0ux451 ;
rdf:rest _:node1a5jqhf0ux454 ;
a sp:Element , sp:ElementGroup , sp:ElementList , sp:SystemClass , rdf:List , rdfs:Resource .
_:node1a5jqhf0ux451 sp:object _:node1a5jqhf0ux452 ;
sp:predicate _:node1a5jqhf0ux453 ;
sp:subject spin:_this ;
sp:systemProperty _:node1a5jqhf0ux452 , _:node1a5jqhf0ux453 , spin:_this ;
a sp:SystemClass , sp:Triple , sp:Tuple , rdfs:Resource .
_:node1a5jqhf0ux452 sp:systemProperty "object" ;
sp:varName "object" ;
a sp:SystemClass , sp:Variable , rdfs:Resource .
_:node1a5jqhf0ux453 sp:systemProperty "property" ;
sp:varName "property" ;
a sp:SystemClass , sp:Variable , rdfs:Resource .
_:node1a5jqhf0ux454 rdf:first _:node1a5jqhf0ux455 ;
rdf:rest _:node1a5jqhf0ux461 ;
a rdf:List , rdfs:Resource .
_:node1a5jqhf0ux455 sp:expression _:node1a5jqhf0ux456 ;
sp:systemProperty _:node1a5jqhf0ux456 ;
a sp:Element , sp:Filter , sp:SystemClass , rdfs:Resource .
_:node1a5jqhf0ux456 sp:arg _:node1a5jqhf0ux457 ;
sp:arg1 _:node1a5jqhf0ux457 ;
_:node1a5jqhf0ux4 ;
a sp:not , spin:Functions , spin:Modules , spl:BooleanFunctions , rdfs:Resource .
_:node1a5jqhf0ux457 sp:arg _:node1a5jqhf0ux458 , _:node1a5jqhf0ux460 ;
sp:arg1 _:node1a5jqhf0ux458 ;
sp:arg2 _:node1a5jqhf0ux460 ;
_:node1a5jqhf0ux4 ;
a sp:regex , spin:Functions , spin:Modules , spl:StringFunctions , rdfs:Resource .
_:node1a5jqhf0ux458 sp:arg _:node1a5jqhf0ux459 ;
sp:arg1 _:node1a5jqhf0ux459 ;
a rdfs:Resource , xsd:string .
_:node1a5jqhf0ux459 sp:systemProperty "object" ;
sp:varName "object" ;
a sp:SystemClass , sp:Variable , rdfs:Resource .
_:node1a5jqhf0ux46 sp:arg sp:arg2 , rdfs:Literal ;
spl:predicate sp:arg2 ;
spl:valueType rdfs:Literal ;
_:node1a5jqhf0ux4 ;
a sp:Command , sp:Query , sp:SystemClass , spin:ConstructTemplates , spin:Modules , spin:Templates , spl:Argument , rdfs:Resource ;
rdfs:comment "the second operand" .
_:node1a5jqhf0ux460 sp:systemProperty "pattern" ;
sp:varName "pattern" ;
a sp:SystemClass , sp:Variable , rdfs:Resource .
_:node1a5jqhf0ux461 rdf:first _:node1a5jqhf0ux462 ;
rdf:rest rdf:nil ;
a rdf:List , rdfs:Resource .
_:node1a5jqhf0ux462 sp:expression _:node1a5jqhf0ux463 ;
sp:systemProperty _:node1a5jqhf0ux463 , _:node1a5jqhf0ux466 ;
sp:variable _:node1a5jqhf0ux466 ;
a sp:Bind , sp:Element , sp:SystemClass , rdfs:Resource .
_:node1a5jqhf0ux463 sp:arg _:node1a5jqhf0ux464 , _:node1a5jqhf0ux465 , " must match the regular expression \"" , "\"" , "Value " ;
sp:arg1 "Value " ;
sp:arg2 _:node1a5jqhf0ux464 ;
sp:arg3 " must match the regular expression \"" ;
sp:arg4 _:node1a5jqhf0ux465 ;
sp:arg5 "\"" ;
_:node1a5jqhf0ux4 ;
a sp:concat , spin:Functions , spin:Modules , spl:StringFunctions , rdfs:Resource .
_:node1a5jqhf0ux464 sp:systemProperty "object" ;
sp:varName "object" ;
a sp:SystemClass , sp:Variable , rdfs:Resource .
_:node1a5jqhf0ux465 sp:systemProperty "pattern" ;
sp:varName "pattern" ;
a sp:SystemClass , sp:Variable , rdfs:Resource .
_:node1a5jqhf0ux466 sp:systemProperty "message" ;
sp:varName "message" ;
a sp:SystemClass , sp:Variable , rdfs:Resource .
_:node1a5jqhf0ux467 sp:arg arg:pattern , xsd:string ;
spl:predicate arg:pattern ;
spl:valueType xsd:string ;
_:node1a5jqhf0ux4 ;
a sp:Command , sp:Query , sp:SystemClass , spin:ConstructTemplates , spin:Modules , spin:Templates , spl:Argument , rdfs:Resource ;
rdfs:comment "The regular expression to match." .
_:node1a5jqhf0ux468 sp:resultVariables _:node1a5jqhf0ux469 ;
sp:systemProperty _:node1a5jqhf0ux469 , _:node1a5jqhf0ux475 ;
sp:where _:node1a5jqhf0ux475 ;
a sp:Command , sp:Query , sp:Select , sp:SystemClass , rdfs:Resource .
_:node1a5jqhf0ux469 rdf:first _:node1a5jqhf0ux470 ;
rdf:rest _:node1a5jqhf0ux471 ;
a rdf:List , rdfs:Resource .
_:node1a5jqhf0ux47 sp:arg sp:arg1 , rdfs:Literal ;
spl:predicate sp:arg1 ;
spl:valueType rdfs:Literal ;
_:node1a5jqhf0ux4 ;
a sp:Command , sp:Query , sp:SystemClass , spin:ConstructTemplates , spin:Modules , spin:Templates , spl:Argument , rdfs:Resource ;
rdfs:comment "the first operand" .
_:node1a5jqhf0ux470 sp:systemProperty "testCase" ;
sp:varName "testCase" ;
a sp:SystemClass , sp:Variable , rdfs:Resource .
_:node1a5jqhf0ux471 rdf:first _:node1a5jqhf0ux472 ;
rdf:rest _:node1a5jqhf0ux473 ;
a rdf:List , rdfs:Resource .
_:node1a5jqhf0ux472 sp:systemProperty "expected" ;
sp:varName "expected" ;
a sp:SystemClass , sp:Variable , rdfs:Resource .
_:node1a5jqhf0ux473 rdf:first _:node1a5jqhf0ux474 ;
rdf:rest rdf:nil ;
a rdf:List , rdfs:Resource .
_:node1a5jqhf0ux474 sp:systemProperty "actual" ;
sp:varName "actual" ;
a sp:SystemClass , sp:Variable , rdfs:Resource .
_:node1a5jqhf0ux475 rdf:first _:node1a5jqhf0ux476 ;
rdf:rest _:node1a5jqhf0ux479 ;
a sp:Element , sp:ElementGroup , sp:ElementList , sp:SystemClass , rdf:List , rdfs:Resource .
_:node1a5jqhf0ux476 sp:object _:node1a5jqhf0ux477 ;
sp:predicate spl:testExpression ;
sp:subject _:node1a5jqhf0ux478 ;
sp:systemProperty _:node1a5jqhf0ux477 , _:node1a5jqhf0ux478 , spl:testExpression ;
a sp:SystemClass , sp:Triple , sp:Tuple , rdfs:Resource .
_:node1a5jqhf0ux477 sp:systemProperty "expr" ;
sp:varName "expr" ;
a sp:SystemClass , sp:Variable , rdfs:Resource .
_:node1a5jqhf0ux478 sp:systemProperty "testCase" ;
sp:varName "testCase" ;
a sp:SystemClass , sp:Variable , rdfs:Resource .
_:node1a5jqhf0ux479 rdf:first _:node1a5jqhf0ux480 ;
rdf:rest _:node1a5jqhf0ux485 ;
a rdf:List , rdfs:Resource .
_:node1a5jqhf0ux48 sp:arg sp:arg2 , rdfs:Literal ;
spl:predicate sp:arg2 ;
spl:valueType rdfs:Literal ;
_:node1a5jqhf0ux4 ;
a sp:Command , sp:Query , sp:SystemClass , spin:ConstructTemplates , spin:Modules , spin:Templates , spl:Argument , rdfs:Resource ;
rdfs:comment "the second operand" .
_:node1a5jqhf0ux480 sp:elements _:node1a5jqhf0ux481 ;
sp:systemProperty _:node1a5jqhf0ux481 ;
a sp:Element , sp:ElementGroup , sp:Optional , sp:SystemClass , rdfs:Resource .
_:node1a5jqhf0ux481 rdf:first _:node1a5jqhf0ux482 ;
rdf:rest rdf:nil ;
a sp:Element , sp:ElementGroup , sp:ElementList , sp:SystemClass , rdf:List , rdfs:Resource .
_:node1a5jqhf0ux482 sp:object _:node1a5jqhf0ux483 ;
sp:predicate spl:testResult ;
sp:subject _:node1a5jqhf0ux484 ;
sp:systemProperty _:node1a5jqhf0ux483 , _:node1a5jqhf0ux484 , spl:testResult ;
a sp:SystemClass , sp:Triple , sp:Tuple , rdfs:Resource .
_:node1a5jqhf0ux483 sp:systemProperty "expected" ;
sp:varName "expected" ;
a sp:SystemClass , sp:Variable , rdfs:Resource .
_:node1a5jqhf0ux484 sp:systemProperty "testCase" ;
sp:varName "testCase" ;
a sp:SystemClass , sp:Variable , rdfs:Resource .
_:node1a5jqhf0ux485 rdf:first _:node1a5jqhf0ux486 ;
rdf:rest _:node1a5jqhf0ux490 ;
a rdf:List , rdfs:Resource .
_:node1a5jqhf0ux486 sp:expression _:node1a5jqhf0ux487 ;
sp:systemProperty _:node1a5jqhf0ux487 , _:node1a5jqhf0ux489 ;
sp:variable _:node1a5jqhf0ux489 ;
a sp:Bind , sp:Element , sp:SystemClass , rdfs:Resource .
_:node1a5jqhf0ux487 sp:arg _:node1a5jqhf0ux488 ;
sp:arg1 _:node1a5jqhf0ux488 ;
_:node1a5jqhf0ux4 ;
a spin:Functions , spin:Modules , spin:eval , rdfs:Resource .
_:node1a5jqhf0ux488 sp:systemProperty "expr" ;
sp:varName "expr" ;
a sp:SystemClass , sp:Variable , rdfs:Resource .
_:node1a5jqhf0ux489 sp:systemProperty "actual" ;
sp:varName "actual" ;
a sp:SystemClass , sp:Variable , rdfs:Resource .
_:node1a5jqhf0ux49 sp:arg sp:arg1 ;
spl:predicate sp:arg1 ;
_:node1a5jqhf0ux4 ;
a sp:Command , sp:Query , sp:SystemClass , spin:ConstructTemplates , spin:Modules , spin:Templates , spl:Argument , rdfs:Resource ;
rdfs:comment "The input literal." .
_:node1a5jqhf0ux490 rdf:first _:node1a5jqhf0ux491 ;
rdf:rest rdf:nil ;
a rdf:List , rdfs:Resource .
_:node1a5jqhf0ux491 sp:expression _:node1a5jqhf0ux492 ;
sp:systemProperty _:node1a5jqhf0ux492 ;
a sp:Element , sp:Filter , sp:SystemClass , rdfs:Resource .
_:node1a5jqhf0ux492 sp:arg _:node1a5jqhf0ux493 , _:node1a5jqhf0ux498 ;
sp:arg1 _:node1a5jqhf0ux493 ;
sp:arg2 _:node1a5jqhf0ux498 ;
_:node1a5jqhf0ux4 ;
a sp:or , spin:Functions , spin:Modules , spl:BooleanFunctions , rdfs:Resource .
_:node1a5jqhf0ux493 sp:arg _:node1a5jqhf0ux494 , _:node1a5jqhf0ux496 ;
sp:arg1 _:node1a5jqhf0ux494 ;
sp:arg2 _:node1a5jqhf0ux496 ;
_:node1a5jqhf0ux4 ;
a sp:ne , spin:Functions , spin:Modules , spl:BooleanFunctions , rdfs:Resource .
_:node1a5jqhf0ux494 sp:arg _:node1a5jqhf0ux495 ;
sp:arg1 _:node1a5jqhf0ux495 ;
_:node1a5jqhf0ux4 ;
a sp:bound , spin:Functions , spin:Modules , spl:BooleanFunctions , rdfs:Resource .
_:node1a5jqhf0ux495 sp:systemProperty "expected" ;
sp:varName "expected" ;
a sp:SystemClass , sp:Variable , rdfs:Resource .
_:node1a5jqhf0ux496 sp:arg _:node1a5jqhf0ux497 ;
sp:arg1 _:node1a5jqhf0ux497 ;
_:node1a5jqhf0ux4 ;
a sp:bound , spin:Functions , spin:Modules , spl:BooleanFunctions , rdfs:Resource .
_:node1a5jqhf0ux497 sp:systemProperty "actual" ;
sp:varName "actual" ;
a sp:SystemClass , sp:Variable , rdfs:Resource .
_:node1a5jqhf0ux498 sp:arg _:node1a5jqhf0ux499 , _:node1a5jqhf0ux501 ;
sp:arg1 _:node1a5jqhf0ux499 ;
sp:arg2 _:node1a5jqhf0ux501 ;
_:node1a5jqhf0ux4 ;
a sp:and , spin:Functions , spin:Modules , spl:BooleanFunctions , rdfs:Resource .
_:node1a5jqhf0ux499 sp:arg _:node1a5jqhf0ux500 ;
sp:arg1 _:node1a5jqhf0ux500 ;
_:node1a5jqhf0ux4 ;
a sp:bound , spin:Functions , spin:Modules , spl:BooleanFunctions , rdfs:Resource .
_:node1a5jqhf0ux5 sp:arg sp:Select , spin:body , 0 , 1 ;
spl:count 0 , 1 ;
spl:maxCount 1 ;
spl:minCount 0 ;
spl:predicate spin:body ;
spl:valueType sp:Select ;
_:node1a5jqhf0ux4 ;
a sp:Command , sp:Query , sp:SystemClass , spin:ConstructTemplates , spin:Modules , spin:Templates , spl:Attribute , rdfs:Resource ;
rdfs:comment "The SELECT query wrapped by this template." .
_:node1a5jqhf0ux50 sp:arg sp:arg1 , rdfs:Literal ;
spl:predicate sp:arg1 ;
spl:valueType rdfs:Literal ;
_:node1a5jqhf0ux4 ;
a sp:Command , sp:Query , sp:SystemClass , spin:ConstructTemplates , spin:Modules , spin:Templates , spl:Argument , rdfs:Resource ;
rdfs:comment "The dateTime or time argument." .
_:node1a5jqhf0ux500 sp:systemProperty "expected" ;
sp:varName "expected" ;
a sp:SystemClass , sp:Variable , rdfs:Resource .
_:node1a5jqhf0ux501 sp:arg _:node1a5jqhf0ux502 , _:node1a5jqhf0ux503 ;
sp:arg1 _:node1a5jqhf0ux502 ;
sp:arg2 _:node1a5jqhf0ux503 ;
_:node1a5jqhf0ux4 ;
a sp:ne , spin:Functions , spin:Modules , spl:BooleanFunctions , rdfs:Resource .
_:node1a5jqhf0ux502 sp:systemProperty "actual" ;
sp:varName "actual" ;
a sp:SystemClass , sp:Variable , rdfs:Resource .
_:node1a5jqhf0ux503 sp:systemProperty "expected" ;
sp:varName "expected" ;
a sp:SystemClass , sp:Variable , rdfs:Resource .
_:node1a5jqhf0ux504 sp:resultVariables _:node1a5jqhf0ux505 ;
sp:systemProperty _:node1a5jqhf0ux505 , _:node1a5jqhf0ux511 ;
sp:where _:node1a5jqhf0ux511 ;
a sp:Command , sp:Query , sp:Select , sp:SystemClass , rdfs:Resource .
_:node1a5jqhf0ux505 rdf:first _:node1a5jqhf0ux506 ;
rdf:rest _:node1a5jqhf0ux507 ;
a rdf:List , rdfs:Resource .
_:node1a5jqhf0ux506 sp:systemProperty "class" ;
sp:varName "class" ;
a sp:SystemClass , sp:Variable , rdfs:Resource .
_:node1a5jqhf0ux507 rdf:first _:node1a5jqhf0ux508 ;
rdf:rest _:node1a5jqhf0ux509 ;
a rdf:List , rdfs:Resource .
_:node1a5jqhf0ux508 sp:systemProperty "property" ;
sp:varName "property" ;
a sp:SystemClass , sp:Variable , rdfs:Resource .
_:node1a5jqhf0ux509 rdf:first _:node1a5jqhf0ux510 ;
rdf:rest rdf:nil ;
a rdf:List , rdfs:Resource .
_:node1a5jqhf0ux51 sp:arg sp:arg1 , rdfs:Literal ;
spl:predicate sp:arg1 ;
spl:valueType rdfs:Literal ;
_:node1a5jqhf0ux4 ;
a sp:Command , sp:Query , sp:SystemClass , spin:ConstructTemplates , spin:Modules , spin:Templates , spl:Argument , rdfs:Resource ;
rdfs:comment "The date or dateTime argument." .
_:node1a5jqhf0ux510 sp:systemProperty "rule" ;
sp:varName "rule" ;
a sp:SystemClass , sp:Variable , rdfs:Resource .
_:node1a5jqhf0ux511 rdf:first _:node1a5jqhf0ux512 ;
rdf:rest _:node1a5jqhf0ux526 ;
a sp:Element , sp:ElementGroup , sp:ElementList , sp:SystemClass , rdf:List , rdfs:Resource .
_:node1a5jqhf0ux512 rdf:first _:node1a5jqhf0ux513 ;
rdf:rest rdf:nil ;
a rdf:List , rdfs:Resource .
_:node1a5jqhf0ux513 sp:elements _:node1a5jqhf0ux514 ;
sp:systemProperty _:node1a5jqhf0ux514 ;
a sp:Element , sp:ElementGroup , sp:SystemClass , sp:Union , rdfs:Resource .
_:node1a5jqhf0ux514 rdf:first _:node1a5jqhf0ux515 ;
rdf:rest _:node1a5jqhf0ux518 ;
a sp:Element , sp:ElementGroup , sp:ElementList , sp:SystemClass , rdf:List , rdfs:Resource .
_:node1a5jqhf0ux515 rdf:first _:node1a5jqhf0ux516 ;
rdf:rest rdf:nil ;
a rdf:List , rdfs:Resource .
_:node1a5jqhf0ux516 sp:expression spin:constraint ;
sp:systemProperty _:node1a5jqhf0ux517 , spin:constraint ;
sp:variable _:node1a5jqhf0ux517 ;
a sp:Bind , sp:Element , sp:SystemClass , rdfs:Resource .
_:node1a5jqhf0ux517 sp:systemProperty "bp" ;
sp:varName "bp" ;
a sp:SystemClass , sp:Variable , rdfs:Resource .
_:node1a5jqhf0ux518 rdf:first _:node1a5jqhf0ux519 ;
rdf:rest _:node1a5jqhf0ux522 ;
a rdf:List , rdfs:Resource .
_:node1a5jqhf0ux519 rdf:first _:node1a5jqhf0ux520 ;
rdf:rest rdf:nil ;
a rdf:List , rdfs:Resource .
_:node1a5jqhf0ux52 sp:arg sp:arg1 , rdfs:Literal ;
spl:predicate sp:arg1 ;
spl:valueType rdfs:Literal ;
_:node1a5jqhf0ux4 ;
a sp:Command , sp:Query , sp:SystemClass , spin:ConstructTemplates , spin:Modules , spin:Templates , spl:Argument , rdfs:Resource ;
rdfs:comment "the first operand" .
_:node1a5jqhf0ux520 sp:expression spin:constructor ;
sp:systemProperty _:node1a5jqhf0ux521 , spin:constructor ;
sp:variable _:node1a5jqhf0ux521 ;
a sp:Bind , sp:Element , sp:SystemClass , rdfs:Resource .
_:node1a5jqhf0ux521 sp:systemProperty "bp" ;
sp:varName "bp" ;
a sp:SystemClass , sp:Variable , rdfs:Resource .
_:node1a5jqhf0ux522 rdf:first _:node1a5jqhf0ux523 ;
rdf:rest rdf:nil ;
a rdf:List , rdfs:Resource .
_:node1a5jqhf0ux523 rdf:first _:node1a5jqhf0ux524 ;
rdf:rest rdf:nil ;
a rdf:List , rdfs:Resource .
_:node1a5jqhf0ux524 sp:expression spin:rule ;
sp:systemProperty _:node1a5jqhf0ux525 , spin:rule ;
sp:variable _:node1a5jqhf0ux525 ;
a sp:Bind , sp:Element , sp:SystemClass , rdfs:Resource .
_:node1a5jqhf0ux525 sp:systemProperty "bp" ;
sp:varName "bp" ;
a sp:SystemClass , sp:Variable , rdfs:Resource .
_:node1a5jqhf0ux526 rdf:first _:node1a5jqhf0ux527 ;
rdf:rest _:node1a5jqhf0ux531 ;
a rdf:List , rdfs:Resource .
_:node1a5jqhf0ux527 sp:object _:node1a5jqhf0ux528 ;
sp:path _:node1a5jqhf0ux529 ;
sp:subject _:node1a5jqhf0ux530 ;
sp:systemProperty _:node1a5jqhf0ux528 , _:node1a5jqhf0ux529 , _:node1a5jqhf0ux530 ;
a sp:Element , sp:SystemClass , sp:TriplePath , sp:Tuple , rdfs:Resource .
_:node1a5jqhf0ux528 sp:systemProperty "bp" ;
sp:varName "bp" ;
a sp:SystemClass , sp:Variable , rdfs:Resource .
_:node1a5jqhf0ux529 sp:modMax -2 ;
sp:modMin 0 ;
sp:subPath rdfs:subPropertyOf ;
sp:systemProperty rdfs:subPropertyOf , -2 , 0 ;
a sp:ModPath , sp:Path , sp:SystemClass , rdfs:Resource .
_:node1a5jqhf0ux53 sp:arg sp:arg2 , rdfs:Literal ;
spl:predicate sp:arg2 ;
spl:valueType rdfs:Literal ;
_:node1a5jqhf0ux4 ;
a sp:Command , sp:Query , sp:SystemClass , spin:ConstructTemplates , spin:Modules , spin:Templates , spl:Argument , rdfs:Resource ;
rdfs:comment "the second operand" .
_:node1a5jqhf0ux530 sp:systemProperty "property" ;
sp:varName "property" ;
a sp:SystemClass , sp:Variable , rdfs:Resource .
_:node1a5jqhf0ux531 rdf:first _:node1a5jqhf0ux532 ;
rdf:rest _:node1a5jqhf0ux536 ;
a rdf:List , rdfs:Resource .
_:node1a5jqhf0ux532 sp:object _:node1a5jqhf0ux533 ;
sp:predicate _:node1a5jqhf0ux534 ;
sp:subject _:node1a5jqhf0ux535 ;
sp:systemProperty _:node1a5jqhf0ux533 , _:node1a5jqhf0ux534 , _:node1a5jqhf0ux535 ;
a sp:SystemClass , sp:Triple , sp:Tuple , rdfs:Resource .
_:node1a5jqhf0ux533 sp:systemProperty "rule" ;
sp:varName "rule" ;
a sp:SystemClass , sp:Variable , rdfs:Resource .
_:node1a5jqhf0ux534 sp:systemProperty "property" ;
sp:varName "property" ;
a sp:SystemClass , sp:Variable , rdfs:Resource .
_:node1a5jqhf0ux535 sp:systemProperty "class" ;
sp:varName "class" ;
a sp:SystemClass , sp:Variable , rdfs:Resource .
_:node1a5jqhf0ux536 rdf:first _:node1a5jqhf0ux537 ;
rdf:rest _:node1a5jqhf0ux540 ;
a rdf:List , rdfs:Resource .
_:node1a5jqhf0ux537 sp:expression _:node1a5jqhf0ux538 ;
sp:systemProperty _:node1a5jqhf0ux538 ;
a sp:Element , sp:Filter , sp:SystemClass , rdfs:Resource .
_:node1a5jqhf0ux538 sp:arg _:node1a5jqhf0ux539 , spin:Modules ;
sp:arg1 _:node1a5jqhf0ux539 ;
sp:arg2 spin:Modules ;
_:node1a5jqhf0ux4 ;
a sp:ne , spin:Functions , spin:Modules , spl:BooleanFunctions , rdfs:Resource .
_:node1a5jqhf0ux539 sp:systemProperty "class" ;
sp:varName "class" ;
a sp:SystemClass , sp:Variable , rdfs:Resource .
_:node1a5jqhf0ux54 sp:arg sp:arg1 ;
spl:predicate sp:arg1 ;
_:node1a5jqhf0ux4 ;
a sp:Command , sp:Query , sp:SystemClass , spin:ConstructTemplates , spin:Modules , spin:Templates , spl:Argument , rdfs:Resource ;
rdfs:comment "the first operand" .
_:node1a5jqhf0ux540 rdf:first _:node1a5jqhf0ux541 ;
rdf:rest _:node1a5jqhf0ux546 ;
a rdf:List , rdfs:Resource .
_:node1a5jqhf0ux541 sp:expression _:node1a5jqhf0ux542 ;
sp:systemProperty _:node1a5jqhf0ux542 ;
a sp:Element , sp:Filter , sp:SystemClass , rdfs:Resource .
_:node1a5jqhf0ux542 sp:elements _:node1a5jqhf0ux543 ;
sp:systemProperty _:node1a5jqhf0ux543 ;
_:node1a5jqhf0ux4 ;
a sp:notExists , spin:Functions , spin:Modules , spl:BooleanFunctions , rdfs:Resource .
_:node1a5jqhf0ux543 rdf:first _:node1a5jqhf0ux544 ;
rdf:rest rdf:nil ;
a sp:Element , sp:ElementGroup , sp:ElementList , sp:SystemClass , rdf:List , rdfs:Resource .
_:node1a5jqhf0ux544 sp:object spl:Argument ;
sp:predicate rdf:type ;
sp:subject _:node1a5jqhf0ux545 ;
sp:systemProperty _:node1a5jqhf0ux545 , spl:Argument , rdf:type ;
a sp:SystemClass , sp:Triple , sp:Tuple , rdfs:Resource .
_:node1a5jqhf0ux545 sp:systemProperty "rule" ;
sp:varName "rule" ;
a sp:SystemClass , sp:Variable , rdfs:Resource .
_:node1a5jqhf0ux546 rdf:first _:node1a5jqhf0ux547 ;
rdf:rest rdf:nil ;
a rdf:List , rdfs:Resource .
_:node1a5jqhf0ux547 sp:expression _:node1a5jqhf0ux548 ;
sp:systemProperty _:node1a5jqhf0ux548 ;
a sp:Element , sp:Filter , sp:SystemClass , rdfs:Resource .
_:node1a5jqhf0ux548 sp:elements _:node1a5jqhf0ux549 ;
sp:systemProperty _:node1a5jqhf0ux549 ;
_:node1a5jqhf0ux4 ;
a sp:notExists , spin:Functions , spin:Modules , spl:BooleanFunctions , rdfs:Resource .
_:node1a5jqhf0ux549 rdf:first _:node1a5jqhf0ux550 ;
rdf:rest rdf:nil ;
a sp:Element , sp:ElementGroup , sp:ElementList , sp:SystemClass , rdf:List , rdfs:Resource .
_:node1a5jqhf0ux55 sp:arg sp:arg2 ;
spl:predicate sp:arg2 ;
_:node1a5jqhf0ux4 ;
a sp:Command , sp:Query , sp:SystemClass , spin:ConstructTemplates , spin:Modules , spin:Templates , spl:Argument , rdfs:Resource ;
rdfs:comment "the second operand" .
_:node1a5jqhf0ux550 sp:object spl:Attribute ;
sp:predicate rdf:type ;
sp:subject _:node1a5jqhf0ux551 ;
sp:systemProperty _:node1a5jqhf0ux551 , spl:Attribute , rdf:type ;
a sp:SystemClass , sp:Triple , sp:Tuple , rdfs:Resource .
_:node1a5jqhf0ux551 sp:systemProperty "rule" ;
sp:varName "rule" ;
a sp:SystemClass , sp:Variable , rdfs:Resource .
_:node1a5jqhf0ux552 sp:arg xsd:string , "test"@en ;
sp:arg1 "test"@en ;
sp:arg2 xsd:string ;
_:node1a5jqhf0ux4 ;
a spin:Functions , spin:Modules , spl:BooleanFunctions , spl:instanceOf , rdfs:Resource .
_:node1a5jqhf0ux553 sp:arg rdfs:Class , owl:Thing ;
sp:arg1 owl:Thing ;
sp:arg2 rdfs:Class ;
_:node1a5jqhf0ux4 ;
a spin:Functions , spin:Modules , spl:BooleanFunctions , spl:instanceOf , rdfs:Resource .
_:node1a5jqhf0ux554 sp:arg rdfs:Class , owl:versionInfo ;
sp:arg1 owl:versionInfo ;
sp:arg2 rdfs:Class ;
_:node1a5jqhf0ux4 ;
a spin:Functions , spin:Modules , spl:BooleanFunctions , spl:instanceOf , rdfs:Resource .
_:node1a5jqhf0ux555 sp:arg rdfs:Class , owl:Restriction ;
sp:arg1 owl:Restriction ;
sp:arg2 rdfs:Class ;
_:node1a5jqhf0ux4 ;
a spin:Functions , spin:Modules , spl:BooleanFunctions , spl:instanceOf , rdfs:Resource .
_:node1a5jqhf0ux556 sp:arg rdfs:Literal , "test" ;
sp:arg1 "test" ;
sp:arg2 rdfs:Literal ;
_:node1a5jqhf0ux4 ;
a spin:Functions , spin:Modules , spl:BooleanFunctions , spl:instanceOf , rdfs:Resource .
_:node1a5jqhf0ux557 sp:arg rdfs:Literal , owl:Thing ;
sp:arg1 owl:Thing ;
sp:arg2 rdfs:Literal ;
_:node1a5jqhf0ux4 ;
a spin:Functions , spin:Modules , spl:BooleanFunctions , spl:instanceOf , rdfs:Resource .
_:node1a5jqhf0ux558 sp:arg xsd:string , "test" ;
sp:arg1 "test" ;
sp:arg2 xsd:string ;
_:node1a5jqhf0ux4 ;
a spin:Functions , spin:Modules , spl:BooleanFunctions , spl:instanceOf , rdfs:Resource .
_:node1a5jqhf0ux559 sp:arg xsd:integer , "test" ;
sp:arg1 "test" ;
sp:arg2 xsd:integer ;
_:node1a5jqhf0ux4 ;
a spin:Functions , spin:Modules , spl:BooleanFunctions , spl:instanceOf , rdfs:Resource .
_:node1a5jqhf0ux56 sp:arg sp:arg1 , xsd:boolean ;
spl:predicate sp:arg1 ;
spl:valueType xsd:boolean ;
_:node1a5jqhf0ux4 ;
a sp:Command , sp:Query , sp:SystemClass , spin:ConstructTemplates , spin:Modules , spin:Templates , spl:Argument , rdfs:Resource ;
rdfs:comment "the operand to negate" .
_:node1a5jqhf0ux560 sp:arg xsd:string , "test" ;
sp:arg1 "test" ;
sp:arg2 xsd:string ;
_:node1a5jqhf0ux4 ;
a spin:Functions , spin:Modules , spl:BooleanFunctions , spl:instanceOf , rdfs:Resource .
_:node1a5jqhf0ux561 sp:resultVariables _:node1a5jqhf0ux562 ;
sp:systemProperty _:node1a5jqhf0ux562 , _:node1a5jqhf0ux564 ;
sp:where _:node1a5jqhf0ux564 ;
a sp:Command , sp:Query , sp:Select , sp:SystemClass , rdfs:Resource .
_:node1a5jqhf0ux562 rdf:first _:node1a5jqhf0ux563 ;
rdf:rest rdf:nil ;
a rdf:List , rdfs:Resource .
_:node1a5jqhf0ux563 sp:systemProperty "value" ;
sp:varName "value" ;
a sp:SystemClass , sp:Variable , rdfs:Resource .
_:node1a5jqhf0ux564 rdf:first _:node1a5jqhf0ux565 ;
rdf:rest rdf:nil ;
a sp:Element , sp:ElementGroup , sp:ElementList , sp:SystemClass , rdf:List , rdfs:Resource .
_:node1a5jqhf0ux565 sp:elements _:node1a5jqhf0ux566 ;
sp:graphNameNode ;
sp:systemProperty _:node1a5jqhf0ux566 , ;
a sp:Element , sp:ElementGroup , sp:NamedGraph , sp:SystemClass , rdfs:Resource .
_:node1a5jqhf0ux566 rdf:first _:node1a5jqhf0ux567 ;
rdf:rest rdf:nil ;
a sp:Element , sp:ElementGroup , sp:ElementList , sp:SystemClass , rdf:List , rdfs:Resource .
_:node1a5jqhf0ux567 sp:expression _:node1a5jqhf0ux568 ;
sp:systemProperty _:node1a5jqhf0ux568 , _:node1a5jqhf0ux569 ;
sp:variable _:node1a5jqhf0ux569 ;
a sp:Bind , sp:Element , sp:SystemClass , rdfs:Resource .
_:node1a5jqhf0ux568 sp:arg spl:Argument , rdfs:label ;
sp:arg1 spl:Argument ;
sp:arg2 rdfs:label ;
_:node1a5jqhf0ux4 ;
a spin:Functions , spin:Modules , spl:OntologyFunctions , spl:object , rdfs:Resource .
_:node1a5jqhf0ux569 sp:systemProperty "value" ;
sp:varName "value" ;
a sp:SystemClass , sp:Variable , rdfs:Resource .
_:node1a5jqhf0ux57 sp:arg sp:arg1 ;
spl:predicate sp:arg1 ;
_:node1a5jqhf0ux4 ;
a sp:Command , sp:Query , sp:SystemClass , spin:ConstructTemplates , spin:Modules , spin:Templates , spl:Argument , rdfs:Resource ;
rdfs:comment "The value to find." .
_:node1a5jqhf0ux570 sp:arg owl:versionInfo ;
sp:arg1 owl:versionInfo ;
sp:arg2 owl:versionInfo ;
_:node1a5jqhf0ux4 ;
a spin:Functions , spin:Modules , spl:OntologyFunctions , spl:object , rdfs:Resource .
_:node1a5jqhf0ux571 sp:arg spl:testResult , true ;
spl:optional true ;
spl:predicate spl:testResult ;
_:node1a5jqhf0ux4 ;
a sp:Command , sp:Query , sp:SystemClass , spin:ConstructTemplates , spin:Modules , spin:Templates , spl:Argument , rdfs:Resource ;
rdfs:comment "The expected result of the test case, or nothing to indicate that an error is expected." .
_:node1a5jqhf0ux572 sp:arg spl:testExpression ;
spl:predicate spl:testExpression ;
_:node1a5jqhf0ux4 ;
a sp:Command , sp:Query , sp:SystemClass , spin:ConstructTemplates , spin:Modules , spin:Templates , spl:Argument , rdfs:Resource ;
rdfs:comment "The test expression or SELECT query (anything that can be evaluated with spin:eval)." .
_:node1a5jqhf0ux573 sp:systemProperty _:node1a5jqhf0ux574 , _:node1a5jqhf0ux584 ;
sp:templates _:node1a5jqhf0ux574 ;
sp:where _:node1a5jqhf0ux584 ;
a sp:Command , sp:Construct , sp:Query , sp:SystemClass , spin:Rule , rdfs:Resource .
_:node1a5jqhf0ux574 rdf:first _:node1a5jqhf0ux575 ;
rdf:rest _:node1a5jqhf0ux576 ;
a rdf:List , rdfs:Resource .
_:node1a5jqhf0ux575 sp:object spin:ConstraintViolation ;
sp:predicate rdf:type ;
sp:subject _:genid-7bb79f7e268a4347b7dfcbf1a9c65a80-b30331 ;
sp:systemProperty _:genid-7bb79f7e268a4347b7dfcbf1a9c65a80-b30331 , spin:ConstraintViolation , rdf:type ;
a sp:SystemClass , sp:Triple , sp:Tuple , rdfs:Resource .
_:node1a5jqhf0ux576 rdf:first _:node1a5jqhf0ux577 ;
rdf:rest _:node1a5jqhf0ux578 ;
a rdf:List , rdfs:Resource .
_:node1a5jqhf0ux577 sp:object spin:_this ;
sp:predicate spin:violationRoot ;
sp:subject _:genid-7bb79f7e268a4347b7dfcbf1a9c65a80-b30331 ;
sp:systemProperty _:genid-7bb79f7e268a4347b7dfcbf1a9c65a80-b30331 , spin:_this , spin:violationRoot ;
a sp:SystemClass , sp:Triple , sp:Tuple , rdfs:Resource .
_:node1a5jqhf0ux578 rdf:first _:node1a5jqhf0ux579 ;
rdf:rest _:node1a5jqhf0ux581 ;
a rdf:List , rdfs:Resource .
_:node1a5jqhf0ux579 sp:object _:node1a5jqhf0ux580 ;
sp:predicate spin:violationPath ;
sp:subject _:genid-7bb79f7e268a4347b7dfcbf1a9c65a80-b30331 ;
sp:systemProperty _:genid-7bb79f7e268a4347b7dfcbf1a9c65a80-b30331 , _:node1a5jqhf0ux580 , spin:violationPath ;
a sp:SystemClass , sp:Triple , sp:Tuple , rdfs:Resource .
_:node1a5jqhf0ux58 sp:arg sp:arg1 , xsd:boolean ;
spl:predicate sp:arg1 ;
spl:valueType xsd:boolean ;
_:node1a5jqhf0ux4 ;
a sp:Command , sp:Query , sp:SystemClass , spin:ConstructTemplates , spin:Modules , spin:Templates , spl:Argument , rdfs:Resource ;
rdfs:comment "the first operand" .
_:node1a5jqhf0ux580 sp:systemProperty "property" ;
sp:varName "property" ;
a sp:SystemClass , sp:Variable , rdfs:Resource .
_:node1a5jqhf0ux581 rdf:first _:node1a5jqhf0ux582 ;
rdf:rest rdf:nil ;
a rdf:List , rdfs:Resource .
_:node1a5jqhf0ux582 sp:object _:node1a5jqhf0ux583 ;
sp:predicate rdfs:label ;
sp:subject _:genid-7bb79f7e268a4347b7dfcbf1a9c65a80-b30331 ;
sp:systemProperty _:genid-7bb79f7e268a4347b7dfcbf1a9c65a80-b30331 , _:node1a5jqhf0ux583 , rdfs:label ;
a sp:SystemClass , sp:Triple , sp:Tuple , rdfs:Resource .
_:node1a5jqhf0ux583 sp:systemProperty "message" ;
sp:varName "message" ;
a sp:SystemClass , sp:Variable , rdfs:Resource .
_:node1a5jqhf0ux584 rdf:first _:node1a5jqhf0ux585 ;
rdf:rest _:node1a5jqhf0ux588 ;
a sp:Element , sp:ElementGroup , sp:ElementList , sp:SystemClass , rdf:List , rdfs:Resource .
_:node1a5jqhf0ux585 sp:object _:node1a5jqhf0ux586 ;
sp:predicate _:node1a5jqhf0ux587 ;
sp:subject spin:_this ;
sp:systemProperty _:node1a5jqhf0ux586 , _:node1a5jqhf0ux587 , spin:_this ;
a sp:SystemClass , sp:Triple , sp:Tuple , rdfs:Resource .
_:node1a5jqhf0ux586 sp:systemProperty "object" ;
sp:varName "object" ;
a sp:SystemClass , sp:Variable , rdfs:Resource .
_:node1a5jqhf0ux587 sp:systemProperty "property" ;
sp:varName "property" ;
a sp:SystemClass , sp:Variable , rdfs:Resource .
_:node1a5jqhf0ux588 rdf:first _:node1a5jqhf0ux589 ;
rdf:rest _:node1a5jqhf0ux595 ;
a rdf:List , rdfs:Resource .
_:node1a5jqhf0ux589 sp:expression _:node1a5jqhf0ux590 ;
sp:systemProperty _:node1a5jqhf0ux590 ;
a sp:Element , sp:Filter , sp:SystemClass , rdfs:Resource .
_:node1a5jqhf0ux59 sp:arg sp:arg2 , xsd:boolean ;
spl:predicate sp:arg2 ;
spl:valueType xsd:boolean ;
_:node1a5jqhf0ux4 ;
a sp:Command , sp:Query , sp:SystemClass , spin:ConstructTemplates , spin:Modules , spin:Templates , spl:Argument , rdfs:Resource ;
rdfs:comment "the second operand" .
_:node1a5jqhf0ux590 sp:elements _:node1a5jqhf0ux591 ;
sp:systemProperty _:node1a5jqhf0ux591 ;
_:node1a5jqhf0ux4 ;
a sp:notExists , spin:Functions , spin:Modules , spl:BooleanFunctions , rdfs:Resource .
_:node1a5jqhf0ux591 rdf:first _:node1a5jqhf0ux592 ;
rdf:rest rdf:nil ;
a sp:Element , sp:ElementGroup , sp:ElementList , sp:SystemClass , rdf:List , rdfs:Resource .
_:node1a5jqhf0ux592 sp:object _:node1a5jqhf0ux593 ;
sp:predicate rdf:type ;
sp:subject _:node1a5jqhf0ux594 ;
sp:systemProperty _:node1a5jqhf0ux593 , _:node1a5jqhf0ux594 , rdf:type ;
a sp:SystemClass , sp:Triple , sp:Tuple , rdfs:Resource .
_:node1a5jqhf0ux593 sp:systemProperty "anyType" ;
sp:varName "anyType" ;
a sp:SystemClass , sp:Variable , rdfs:Resource .
_:node1a5jqhf0ux594 sp:systemProperty "object" ;
sp:varName "object" ;
a sp:SystemClass , sp:Variable , rdfs:Resource .
_:node1a5jqhf0ux595 rdf:first _:node1a5jqhf0ux596 ;
rdf:rest rdf:nil ;
a rdf:List , rdfs:Resource .
_:node1a5jqhf0ux596 sp:expression _:node1a5jqhf0ux597 ;
sp:systemProperty _:node1a5jqhf0ux597 , _:node1a5jqhf0ux599 ;
sp:variable _:node1a5jqhf0ux599 ;
a sp:Bind , sp:Element , sp:SystemClass , rdfs:Resource .
_:node1a5jqhf0ux597 sp:arg _:node1a5jqhf0ux598 , " must have a type" , "Value " ;
sp:arg1 "Value " ;
sp:arg2 _:node1a5jqhf0ux598 ;
sp:arg3 " must have a type" ;
_:node1a5jqhf0ux4 ;
a sp:concat , spin:Functions , spin:Modules , spl:StringFunctions , rdfs:Resource .
_:node1a5jqhf0ux598 sp:systemProperty "object" ;
sp:varName "object" ;
a sp:SystemClass , sp:Variable , rdfs:Resource .
_:node1a5jqhf0ux599 sp:systemProperty "message" ;
sp:varName "message" ;
a sp:SystemClass , sp:Variable , rdfs:Resource .
_:node1a5jqhf0ux6 sp:arg spin:body , 0 , 1 ;
spl:count 0 , 1 ;
spl:maxCount 1 ;
spl:minCount 0 ;
spl:predicate spin:body ;
_:node1a5jqhf0ux4 ;
a sp:Command , sp:Query , sp:SystemClass , spin:ConstructTemplates , spin:Modules , spin:Templates , spl:Attribute , rdfs:Resource ;
rdfs:comment "the body of the Template" .
_:node1a5jqhf0ux60 sp:arg sp:arg3 , xsd:string , true ;
spl:optional true ;
spl:predicate sp:arg3 ;
spl:valueType xsd:string ;
_:node1a5jqhf0ux4 ;
a sp:Command , sp:Query , sp:SystemClass , spin:ConstructTemplates , spin:Modules , spin:Templates , spl:Argument , rdfs:Resource ;
rdfs:comment "the flags" .
_:node1a5jqhf0ux600 sp:systemProperty _:node1a5jqhf0ux601 ;
sp:where _:node1a5jqhf0ux601 ;
a sp:Ask , sp:Command , sp:Query , sp:SystemClass , rdfs:Resource .
_:node1a5jqhf0ux601 rdf:first _:node1a5jqhf0ux602 ;
rdf:rest _:node1a5jqhf0ux606 ;
a sp:Element , sp:ElementGroup , sp:ElementList , sp:SystemClass , rdf:List , rdfs:Resource .
_:node1a5jqhf0ux602 sp:object _:node1a5jqhf0ux603 ;
sp:path _:node1a5jqhf0ux604 ;
sp:subject _:node1a5jqhf0ux605 ;
sp:systemProperty _:node1a5jqhf0ux603 , _:node1a5jqhf0ux604 , _:node1a5jqhf0ux605 ;
a sp:Element , sp:SystemClass , sp:TriplePath , sp:Tuple , rdfs:Resource .
_:node1a5jqhf0ux603 sp:systemProperty "superClass" ;
sp:varName "superClass" ;
a sp:SystemClass , sp:Variable , rdfs:Resource .
_:node1a5jqhf0ux604 sp:modMax -2 ;
sp:modMin 0 ;
sp:subPath rdfs:subClassOf ;
sp:systemProperty rdfs:subClassOf , -2 , 0 ;
a sp:ModPath , sp:Path , sp:SystemClass , rdfs:Resource .
_:node1a5jqhf0ux605 sp:systemProperty "class" ;
sp:varName "class" ;
a sp:SystemClass , sp:Variable , rdfs:Resource .
_:node1a5jqhf0ux606 rdf:first _:node1a5jqhf0ux607 ;
rdf:rest _:node1a5jqhf0ux610 ;
a rdf:List , rdfs:Resource .
_:node1a5jqhf0ux607 sp:object _:node1a5jqhf0ux608 ;
sp:predicate spin:constraint ;
sp:subject _:node1a5jqhf0ux609 ;
sp:systemProperty _:node1a5jqhf0ux608 , _:node1a5jqhf0ux609 , spin:constraint ;
a sp:SystemClass , sp:Triple , sp:Tuple , rdfs:Resource .
_:node1a5jqhf0ux608 sp:systemProperty "con" ;
sp:varName "con" ;
a sp:SystemClass , sp:Variable , rdfs:Resource .
_:node1a5jqhf0ux609 sp:systemProperty "superClass" ;
sp:varName "superClass" ;
a sp:SystemClass , sp:Variable , rdfs:Resource .
_:node1a5jqhf0ux61 sp:arg sp:arg1 , xsd:string ;
spl:predicate sp:arg1 ;
spl:valueType xsd:string ;
_:node1a5jqhf0ux4 ;
a sp:Command , sp:Query , sp:SystemClass , spin:ConstructTemplates , spin:Modules , spin:Templates , spl:Argument , rdfs:Resource ;
rdfs:comment "the input string" .
_:node1a5jqhf0ux610 rdf:first _:node1a5jqhf0ux611 ;
rdf:rest rdf:nil ;
a rdf:List , rdfs:Resource .
_:node1a5jqhf0ux611 sp:object spl:Argument ;
sp:predicate rdf:type ;
sp:subject _:node1a5jqhf0ux612 ;
sp:systemProperty _:node1a5jqhf0ux612 , spl:Argument , rdf:type ;
a sp:SystemClass , sp:Triple , sp:Tuple , rdfs:Resource .
_:node1a5jqhf0ux612 sp:systemProperty "con" ;
sp:varName "con" ;
a sp:SystemClass , sp:Variable , rdfs:Resource .
_:node1a5jqhf0ux613 sp:arg spin:Module , spl:class ;
spl:predicate spl:class ;
spl:valueType spin:Module ;
_:node1a5jqhf0ux4 ;
a sp:Command , sp:Query , sp:SystemClass , spin:ConstructTemplates , spin:Modules , spin:Templates , spl:Argument , rdfs:Resource ;
rdfs:comment "The module class to check." .
_:node1a5jqhf0ux614 sp:systemProperty _:node1a5jqhf0ux615 ;
sp:where _:node1a5jqhf0ux615 ;
a sp:Ask , sp:Command , sp:Query , sp:SystemClass , rdfs:Resource .
_:node1a5jqhf0ux615 rdf:first _:node1a5jqhf0ux616 ;
rdf:rest _:node1a5jqhf0ux619 ;
a sp:Element , sp:ElementGroup , sp:ElementList , sp:SystemClass , rdf:List , rdfs:Resource .
_:node1a5jqhf0ux616 sp:object spin:_arg2 ;
sp:path _:node1a5jqhf0ux617 ;
sp:subject _:node1a5jqhf0ux618 ;
sp:systemProperty _:node1a5jqhf0ux617 , _:node1a5jqhf0ux618 , spin:_arg2 ;
a sp:Element , sp:SystemClass , sp:TriplePath , sp:Tuple , rdfs:Resource .
_:node1a5jqhf0ux617 sp:modMax -2 ;
sp:modMin 0 ;
sp:subPath rdfs:subPropertyOf ;
sp:systemProperty rdfs:subPropertyOf , -2 , 0 ;
a sp:ModPath , sp:Path , sp:SystemClass , rdfs:Resource .
_:node1a5jqhf0ux618 sp:systemProperty "p" ;
sp:varName "p" ;
a sp:SystemClass , sp:Variable , rdfs:Resource .
_:node1a5jqhf0ux619 rdf:first _:node1a5jqhf0ux620 ;
rdf:rest rdf:nil ;
a rdf:List , rdfs:Resource .
_:node1a5jqhf0ux62 sp:arg sp:arg2 , xsd:string ;
spl:predicate sp:arg2 ;
spl:valueType xsd:string ;
_:node1a5jqhf0ux4 ;
a sp:Command , sp:Query , sp:SystemClass , spin:ConstructTemplates , spin:Modules , spin:Templates , spl:Argument , rdfs:Resource ;
rdfs:comment "the match pattern" .
_:node1a5jqhf0ux620 sp:object spin:_arg3 ;
sp:predicate _:node1a5jqhf0ux621 ;
sp:subject spin:_arg1 ;
sp:systemProperty _:node1a5jqhf0ux621 , spin:_arg1 , spin:_arg3 ;
a sp:SystemClass , sp:Triple , sp:Tuple , rdfs:Resource .
_:node1a5jqhf0ux621 sp:systemProperty "p" ;
sp:varName "p" ;
a sp:SystemClass , sp:Variable , rdfs:Resource .
_:node1a5jqhf0ux622 sp:arg sp:arg1 , rdfs:Resource ;
spl:predicate sp:arg1 ;
spl:valueType rdfs:Resource ;
_:node1a5jqhf0ux4 ;
a sp:Command , sp:Query , sp:SystemClass , spin:ConstructTemplates , spin:Modules , spin:Templates , spl:Argument , rdfs:Resource ;
rdfs:comment "the subject that is expected to have the value" .
_:node1a5jqhf0ux623 sp:arg sp:arg2 , rdf:Property ;
spl:predicate sp:arg2 ;
spl:valueType rdf:Property ;
_:node1a5jqhf0ux4 ;
a sp:Command , sp:Query , sp:SystemClass , spin:ConstructTemplates , spin:Modules , spin:Templates , spl:Argument , rdfs:Resource ;
rdfs:comment "the property that is expected to hold the value" .
_:node1a5jqhf0ux624 sp:arg sp:arg3 ;
spl:predicate sp:arg3 ;
_:node1a5jqhf0ux4 ;
a sp:Command , sp:Query , sp:SystemClass , spin:ConstructTemplates , spin:Modules , spin:Templates , spl:Argument , rdfs:Resource ;
rdfs:comment "the expected value" .
_:node1a5jqhf0ux625 sp:systemProperty _:node1a5jqhf0ux626 ;
sp:where _:node1a5jqhf0ux626 ;
a sp:Ask , sp:Command , sp:Query , sp:SystemClass , rdfs:Resource .
_:node1a5jqhf0ux626 rdf:first _:node1a5jqhf0ux627 ;
rdf:rest _:node1a5jqhf0ux630 ;
a sp:Element , sp:ElementGroup , sp:ElementList , sp:SystemClass , rdf:List , rdfs:Resource .
_:node1a5jqhf0ux627 sp:object spin:_arg2 ;
sp:path _:node1a5jqhf0ux628 ;
sp:subject _:node1a5jqhf0ux629 ;
sp:systemProperty _:node1a5jqhf0ux628 , _:node1a5jqhf0ux629 , spin:_arg2 ;
a sp:Element , sp:SystemClass , sp:TriplePath , sp:Tuple , rdfs:Resource .
_:node1a5jqhf0ux628 sp:modMax -2 ;
sp:modMin 0 ;
sp:subPath rdfs:subPropertyOf ;
sp:systemProperty rdfs:subPropertyOf , -2 , 0 ;
a sp:ModPath , sp:Path , sp:SystemClass , rdfs:Resource .
_:node1a5jqhf0ux629 sp:systemProperty "p" ;
sp:varName "p" ;
a sp:SystemClass , sp:Variable , rdfs:Resource .
_:node1a5jqhf0ux63 sp:arg sp:arg4 , xsd:string , true ;
spl:optional true ;
spl:predicate sp:arg4 ;
spl:valueType xsd:string ;
_:node1a5jqhf0ux4 ;
a sp:Command , sp:Query , sp:SystemClass , spin:ConstructTemplates , spin:Modules , spin:Templates , spl:Argument , rdfs:Resource ;
rdfs:comment "Additional flags for the replacement." .
_:node1a5jqhf0ux630 rdf:first _:node1a5jqhf0ux631 ;
rdf:rest _:node1a5jqhf0ux634 ;
a rdf:List , rdfs:Resource .
_:node1a5jqhf0ux631 sp:object _:node1a5jqhf0ux632 ;
sp:predicate _:node1a5jqhf0ux633 ;
sp:subject spin:_arg1 ;
sp:systemProperty _:node1a5jqhf0ux632 , _:node1a5jqhf0ux633 , spin:_arg1 ;
a sp:SystemClass , sp:Triple , sp:Tuple , rdfs:Resource .
_:node1a5jqhf0ux632 sp:systemProperty "value" ;
sp:varName "value" ;
a sp:SystemClass , sp:Variable , rdfs:Resource .
_:node1a5jqhf0ux633 sp:systemProperty "p" ;
sp:varName "p" ;
a sp:SystemClass , sp:Variable , rdfs:Resource .
_:node1a5jqhf0ux634 rdf:first _:node1a5jqhf0ux635 ;
rdf:rest rdf:nil ;
a rdf:List , rdfs:Resource .
_:node1a5jqhf0ux635 sp:expression _:node1a5jqhf0ux636 ;
sp:systemProperty _:node1a5jqhf0ux636 ;
a sp:Element , sp:Filter , sp:SystemClass , rdfs:Resource .
_:node1a5jqhf0ux636 sp:arg _:node1a5jqhf0ux637 , spin:_arg3 ;
sp:arg1 _:node1a5jqhf0ux637 ;
sp:arg2 spin:_arg3 ;
_:node1a5jqhf0ux4 ;
a spin:Functions , spin:Modules , spl:BooleanFunctions , spl:instanceOf , rdfs:Resource .
_:node1a5jqhf0ux637 sp:systemProperty "value" ;
sp:varName "value" ;
a sp:SystemClass , sp:Variable , rdfs:Resource .
_:node1a5jqhf0ux638 sp:arg sp:arg1 , rdfs:Resource ;
spl:predicate sp:arg1 ;
spl:valueType rdfs:Resource ;
_:node1a5jqhf0ux4 ;
a sp:Command , sp:Query , sp:SystemClass , spin:ConstructTemplates , spin:Modules , spin:Templates , spl:Argument , rdfs:Resource ;
rdfs:comment "the subject that is expected to have the value" .
_:node1a5jqhf0ux639 sp:arg sp:arg2 , rdf:Property ;
spl:predicate sp:arg2 ;
spl:valueType rdf:Property ;
_:node1a5jqhf0ux4 ;
a sp:Command , sp:Query , sp:SystemClass , spin:ConstructTemplates , spin:Modules , spin:Templates , spl:Argument , rdfs:Resource ;
rdfs:comment "the expected property" .
_:node1a5jqhf0ux64 sp:arg sp:arg1 , xsd:string ;
spl:predicate sp:arg1 ;
spl:valueType xsd:string ;
_:node1a5jqhf0ux4 ;
a sp:Command , sp:Query , sp:SystemClass , spin:ConstructTemplates , spin:Modules , spin:Templates , spl:Argument , rdfs:Resource ;
rdfs:comment "The input string." .
_:node1a5jqhf0ux640 sp:arg sp:arg3 , rdfs:Class ;
spl:predicate sp:arg3 ;
spl:valueType rdfs:Class ;
_:node1a5jqhf0ux4 ;
a sp:Command , sp:Query , sp:SystemClass , spin:ConstructTemplates , spin:Modules , spin:Templates , spl:Argument , rdfs:Resource ;
rdfs:comment "the type to match against" .
_:node1a5jqhf0ux641 sp:systemProperty _:node1a5jqhf0ux642 ;
sp:where _:node1a5jqhf0ux642 ;
a sp:Ask , sp:Command , sp:Query , sp:SystemClass , rdfs:Resource .
_:node1a5jqhf0ux642 rdf:first _:node1a5jqhf0ux643 ;
rdf:rest rdf:nil ;
a sp:Element , sp:ElementGroup , sp:ElementList , sp:SystemClass , rdf:List , rdfs:Resource .
_:node1a5jqhf0ux643 sp:elements _:node1a5jqhf0ux644 ;
sp:systemProperty _:node1a5jqhf0ux644 ;
a sp:Element , sp:ElementGroup , sp:SystemClass , sp:Union , rdfs:Resource .
_:node1a5jqhf0ux644 rdf:first _:node1a5jqhf0ux645 ;
rdf:rest _:node1a5jqhf0ux658 ;
a sp:Element , sp:ElementGroup , sp:ElementList , sp:SystemClass , rdf:List , rdfs:Resource .
_:node1a5jqhf0ux645 rdf:first _:node1a5jqhf0ux646 ;
rdf:rest _:node1a5jqhf0ux651 ;
a rdf:List , rdfs:Resource .
_:node1a5jqhf0ux646 rdf:first _:node1a5jqhf0ux647 ;
rdf:rest rdf:nil ;
a rdf:List , rdfs:Resource .
_:node1a5jqhf0ux647 sp:expression _:node1a5jqhf0ux648 ;
sp:systemProperty _:node1a5jqhf0ux648 ;
a sp:Element , sp:Filter , sp:SystemClass , rdfs:Resource .
_:node1a5jqhf0ux648 sp:arg _:node1a5jqhf0ux649 , _:node1a5jqhf0ux650 ;
sp:arg1 _:node1a5jqhf0ux649 ;
sp:arg2 _:node1a5jqhf0ux650 ;
_:node1a5jqhf0ux4 ;
a sp:or , spin:Functions , spin:Modules , spl:BooleanFunctions , rdfs:Resource .
_:node1a5jqhf0ux649 sp:arg spin:_arg1 ;
sp:arg1 spin:_arg1 ;
_:node1a5jqhf0ux4 ;
a sp:isIRI , spin:Functions , spin:Modules , spl:BooleanFunctions , rdfs:Resource .
_:node1a5jqhf0ux65 sp:arg sp:arg2 , xsd:string ;
spl:predicate sp:arg2 ;
spl:valueType xsd:string ;
_:node1a5jqhf0ux4 ;
a sp:Command , sp:Query , sp:SystemClass , spin:ConstructTemplates , spin:Modules , spin:Templates , spl:Argument , rdfs:Resource ;
rdfs:comment """The pattern to replace.
""" .
_:node1a5jqhf0ux650 sp:arg spin:_arg1 ;
sp:arg1 spin:_arg1 ;
_:node1a5jqhf0ux4 ;
a sp:isBlank , spin:Functions , spin:Modules , spl:BooleanFunctions , rdfs:Resource .
_:node1a5jqhf0ux651 rdf:first _:node1a5jqhf0ux652 ;
rdf:rest _:node1a5jqhf0ux655 ;
a rdf:List , rdfs:Resource .
_:node1a5jqhf0ux652 sp:object spin:_arg2 ;
sp:path _:node1a5jqhf0ux653 ;
sp:subject _:node1a5jqhf0ux654 ;
sp:systemProperty _:node1a5jqhf0ux653 , _:node1a5jqhf0ux654 , spin:_arg2 ;
a sp:Element , sp:SystemClass , sp:TriplePath , sp:Tuple , rdfs:Resource .
_:node1a5jqhf0ux653 sp:modMax -2 ;
sp:modMin 0 ;
sp:subPath rdfs:subClassOf ;
sp:systemProperty rdfs:subClassOf , -2 , 0 ;
a sp:ModPath , sp:Path , sp:SystemClass , rdfs:Resource .
_:node1a5jqhf0ux654 sp:systemProperty "class" ;
sp:varName "class" ;
a sp:SystemClass , sp:Variable , rdfs:Resource .
_:node1a5jqhf0ux655 rdf:first _:node1a5jqhf0ux656 ;
rdf:rest rdf:nil ;
a rdf:List , rdfs:Resource .
_:node1a5jqhf0ux656 sp:object _:node1a5jqhf0ux657 ;
sp:predicate rdf:type ;
sp:subject spin:_arg1 ;
sp:systemProperty _:node1a5jqhf0ux657 , spin:_arg1 , rdf:type ;
a sp:SystemClass , sp:Triple , sp:Tuple , rdfs:Resource .
_:node1a5jqhf0ux657 sp:systemProperty "class" ;
sp:varName "class" ;
a sp:SystemClass , sp:Variable , rdfs:Resource .
_:node1a5jqhf0ux658 rdf:first _:node1a5jqhf0ux659 ;
rdf:rest rdf:nil ;
a rdf:List , rdfs:Resource .
_:node1a5jqhf0ux659 rdf:first _:node1a5jqhf0ux660 ;
rdf:rest _:node1a5jqhf0ux663 ;
a rdf:List , rdfs:Resource .
_:node1a5jqhf0ux66 sp:arg sp:arg3 , xsd:string ;
spl:predicate sp:arg3 ;
spl:valueType xsd:string ;
_:node1a5jqhf0ux4 ;
a sp:Command , sp:Query , sp:SystemClass , spin:ConstructTemplates , spin:Modules , spin:Templates , spl:Argument , rdfs:Resource ;
rdfs:comment "The replacement string." .
_:node1a5jqhf0ux660 rdf:first _:node1a5jqhf0ux661 ;
rdf:rest rdf:nil ;
a rdf:List , rdfs:Resource .
_:node1a5jqhf0ux661 sp:expression _:node1a5jqhf0ux662 ;
sp:systemProperty _:node1a5jqhf0ux662 ;
a sp:Element , sp:Filter , sp:SystemClass , rdfs:Resource .
_:node1a5jqhf0ux662 sp:arg spin:_arg1 ;
sp:arg1 spin:_arg1 ;
_:node1a5jqhf0ux4 ;
a sp:isLiteral , spin:Functions , spin:Modules , spl:BooleanFunctions , rdfs:Resource .
_:node1a5jqhf0ux663 rdf:first _:node1a5jqhf0ux664 ;
rdf:rest _:node1a5jqhf0ux667 ;
a rdf:List , rdfs:Resource .
_:node1a5jqhf0ux664 sp:expression _:node1a5jqhf0ux665 ;
sp:systemProperty _:node1a5jqhf0ux665 , _:node1a5jqhf0ux666 ;
sp:variable _:node1a5jqhf0ux666 ;
a sp:Bind , sp:Element , sp:SystemClass , rdfs:Resource .
_:node1a5jqhf0ux665 sp:arg spin:_arg1 ;
sp:arg1 spin:_arg1 ;
_:node1a5jqhf0ux4 ;
a sp:datatype , spin:Functions , spin:Modules , spl:OntologyFunctions , rdfs:Resource .
_:node1a5jqhf0ux666 sp:systemProperty "datatype" ;
sp:varName "datatype" ;
a sp:SystemClass , sp:Variable , rdfs:Resource .
_:node1a5jqhf0ux667 rdf:first _:node1a5jqhf0ux668 ;
rdf:rest rdf:nil ;
a rdf:List , rdfs:Resource .
_:node1a5jqhf0ux668 sp:expression _:node1a5jqhf0ux669 ;
sp:systemProperty _:node1a5jqhf0ux669 ;
a sp:Element , sp:Filter , sp:SystemClass , rdfs:Resource .
_:node1a5jqhf0ux669 sp:arg _:node1a5jqhf0ux670 , _:node1a5jqhf0ux674 ;
sp:arg1 _:node1a5jqhf0ux670 ;
sp:arg2 _:node1a5jqhf0ux674 ;
_:node1a5jqhf0ux4 ;
a sp:or , spin:Functions , spin:Modules , spl:BooleanFunctions , rdfs:Resource .
_:node1a5jqhf0ux67 sp:arg sp:arg1 ;
spl:predicate sp:arg1 ;
_:node1a5jqhf0ux4 ;
a sp:Command , sp:Query , sp:SystemClass , spin:ConstructTemplates , spin:Modules , spin:Templates , spl:Argument , rdfs:Resource ;
rdfs:comment "The number to round." .
_:node1a5jqhf0ux670 sp:arg _:node1a5jqhf0ux671 , _:node1a5jqhf0ux673 ;
sp:arg1 _:node1a5jqhf0ux671 ;
sp:arg2 _:node1a5jqhf0ux673 ;
_:node1a5jqhf0ux4 ;
a sp:or , spin:Functions , spin:Modules , spl:BooleanFunctions , rdfs:Resource .
_:node1a5jqhf0ux671 sp:arg _:node1a5jqhf0ux672 , spin:_arg2 ;
sp:arg1 _:node1a5jqhf0ux672 ;
sp:arg2 spin:_arg2 ;
_:node1a5jqhf0ux4 ;
a sp:eq , spin:Functions , spin:Modules , spl:BooleanFunctions , rdfs:Resource .
_:node1a5jqhf0ux672 sp:systemProperty "datatype" ;
sp:varName "datatype" ;
a sp:SystemClass , sp:Variable , rdfs:Resource .
_:node1a5jqhf0ux673 sp:arg spin:_arg2 , rdfs:Literal ;
sp:arg1 spin:_arg2 ;
sp:arg2 rdfs:Literal ;
_:node1a5jqhf0ux4 ;
a sp:eq , spin:Functions , spin:Modules , spl:BooleanFunctions , rdfs:Resource .
_:node1a5jqhf0ux674 sp:arg _:node1a5jqhf0ux675 , _:node1a5jqhf0ux681 ;
sp:arg1 _:node1a5jqhf0ux675 ;
sp:arg2 _:node1a5jqhf0ux681 ;
_:node1a5jqhf0ux4 ;
a sp:and , spin:Functions , spin:Modules , spl:BooleanFunctions , rdfs:Resource .
_:node1a5jqhf0ux675 sp:arg _:node1a5jqhf0ux676 , _:node1a5jqhf0ux679 ;
sp:arg1 _:node1a5jqhf0ux676 ;
sp:arg2 _:node1a5jqhf0ux679 ;
_:node1a5jqhf0ux4 ;
a sp:or , spin:Functions , spin:Modules , spl:BooleanFunctions , rdfs:Resource .
_:node1a5jqhf0ux676 sp:arg _:node1a5jqhf0ux677 ;
sp:arg1 _:node1a5jqhf0ux677 ;
_:node1a5jqhf0ux4 ;
a sp:not , spin:Functions , spin:Modules , spl:BooleanFunctions , rdfs:Resource .
_:node1a5jqhf0ux677 sp:arg _:node1a5jqhf0ux678 ;
sp:arg1 _:node1a5jqhf0ux678 ;
_:node1a5jqhf0ux4 ;
a sp:bound , spin:Functions , spin:Modules , spl:BooleanFunctions , rdfs:Resource .
_:node1a5jqhf0ux678 sp:systemProperty "datatype" ;
sp:varName "datatype" ;
a sp:SystemClass , sp:Variable , rdfs:Resource .
_:node1a5jqhf0ux679 sp:arg _:node1a5jqhf0ux680 , rdf:langString ;
sp:arg1 rdf:langString ;
sp:arg2 _:node1a5jqhf0ux680 ;
_:node1a5jqhf0ux4 ;
a sp:eq , spin:Functions , spin:Modules , spl:BooleanFunctions , rdfs:Resource .
_:node1a5jqhf0ux68 sp:arg sp:arg1 ;
spl:predicate sp:arg1 ;
_:node1a5jqhf0ux4 ;
a sp:Command , sp:Query , sp:SystemClass , spin:ConstructTemplates , spin:Modules , spin:Templates , spl:Argument , rdfs:Resource ;
rdfs:comment "the first argument" .
_:node1a5jqhf0ux680 sp:systemProperty "datatype" ;
sp:varName "datatype" ;
a sp:SystemClass , sp:Variable , rdfs:Resource .
_:node1a5jqhf0ux681 sp:arg spin:_arg2 , xsd:string ;
sp:arg1 spin:_arg2 ;
sp:arg2 xsd:string ;
_:node1a5jqhf0ux4 ;
a sp:eq , spin:Functions , spin:Modules , spl:BooleanFunctions , rdfs:Resource .
_:node1a5jqhf0ux682 sp:arg sp:arg1 , rdfs:Resource ;
spl:predicate sp:arg1 ;
spl:valueType rdfs:Resource ;
_:node1a5jqhf0ux4 ;
a sp:Command , sp:Query , sp:SystemClass , spin:ConstructTemplates , spin:Modules , spin:Templates , spl:Argument , rdfs:Resource ;
rdfs:comment "the instance being tested" .
_:node1a5jqhf0ux683 sp:arg sp:arg2 , rdfs:Class ;
spl:predicate sp:arg2 ;
spl:valueType rdfs:Class ;
_:node1a5jqhf0ux4 ;
a sp:Command , sp:Query , sp:SystemClass , spin:ConstructTemplates , spin:Modules , spin:Templates , spl:Argument , rdfs:Resource ;
rdfs:comment "the type that the instance must have" .
_:node1a5jqhf0ux684 sp:systemProperty _:node1a5jqhf0ux685 ;
sp:where _:node1a5jqhf0ux685 ;
a sp:Ask , sp:Command , sp:Query , sp:SystemClass , rdfs:Resource .
_:node1a5jqhf0ux685 rdf:first _:node1a5jqhf0ux686 ;
rdf:rest rdf:nil ;
a sp:Element , sp:ElementGroup , sp:ElementList , sp:SystemClass , rdf:List , rdfs:Resource .
_:node1a5jqhf0ux686 sp:expression _:node1a5jqhf0ux687 ;
sp:systemProperty _:node1a5jqhf0ux687 ;
a sp:Element , sp:Filter , sp:SystemClass , rdfs:Resource .
_:node1a5jqhf0ux687 sp:arg _:node1a5jqhf0ux688 , _:node1a5jqhf0ux689 ;
sp:arg1 _:node1a5jqhf0ux688 ;
sp:arg2 _:node1a5jqhf0ux689 ;
_:node1a5jqhf0ux4 ;
a sp:and , spin:Functions , spin:Modules , spl:BooleanFunctions , rdfs:Resource .
_:node1a5jqhf0ux688 sp:arg spin:_arg1 ;
sp:arg1 spin:_arg1 ;
_:node1a5jqhf0ux4 ;
a sp:isLiteral , spin:Functions , spin:Modules , spl:BooleanFunctions , rdfs:Resource .
_:node1a5jqhf0ux689 sp:arg _:node1a5jqhf0ux690 ;
sp:arg1 _:node1a5jqhf0ux690 ;
_:node1a5jqhf0ux4 ;
a sp:not , spin:Functions , spin:Modules , spl:BooleanFunctions , rdfs:Resource .
_:node1a5jqhf0ux69 sp:arg sp:arg2 ;
spl:predicate sp:arg2 ;
_:node1a5jqhf0ux4 ;
a sp:Command , sp:Query , sp:SystemClass , spin:ConstructTemplates , spin:Modules , spin:Templates , spl:Argument , rdfs:Resource ;
rdfs:comment "the second argument" .
_:node1a5jqhf0ux690 sp:arg _:node1a5jqhf0ux691 , spin:_arg1 ;
sp:arg1 spin:_arg1 ;
sp:arg2 _:node1a5jqhf0ux691 ;
_:node1a5jqhf0ux4 ;
a sp:sameTerm , spin:Functions , spin:Modules , spl:BooleanFunctions , rdfs:Resource .
_:node1a5jqhf0ux691 sp:arg spin:_arg1 ;
sp:arg1 spin:_arg1 ;
a rdfs:Resource , xsd:string .
_:node1a5jqhf0ux692 sp:arg sp:arg1 , rdfs:Literal ;
spl:predicate sp:arg1 ;
spl:valueType rdfs:Literal ;
_:node1a5jqhf0ux4 ;
a sp:Command , sp:Query , sp:SystemClass , spin:ConstructTemplates , spin:Modules , spin:Templates , spl:Argument , rdfs:Resource ;
rdfs:comment "The literal to test." .
_:node1a5jqhf0ux693 sp:resultVariables _:node1a5jqhf0ux694 ;
sp:systemProperty _:node1a5jqhf0ux694 , _:node1a5jqhf0ux696 ;
sp:where _:node1a5jqhf0ux696 ;
a sp:Command , sp:Query , sp:Select , sp:SystemClass , rdfs:Resource .
_:node1a5jqhf0ux694 rdf:first _:node1a5jqhf0ux695 ;
rdf:rest rdf:nil ;
a rdf:List , rdfs:Resource .
_:node1a5jqhf0ux695 sp:systemProperty "result" ;
sp:varName "result" ;
a sp:SystemClass , sp:Variable , rdfs:Resource .
_:node1a5jqhf0ux696 rdf:first _:node1a5jqhf0ux697 ;
rdf:rest rdf:nil ;
a sp:Element , sp:ElementGroup , sp:ElementList , sp:SystemClass , rdf:List , rdfs:Resource .
_:node1a5jqhf0ux697 sp:expression _:node1a5jqhf0ux698 ;
sp:systemProperty _:node1a5jqhf0ux698 , _:node1a5jqhf0ux700 ;
sp:variable _:node1a5jqhf0ux700 ;
a sp:Bind , sp:Element , sp:SystemClass , rdfs:Resource .
_:node1a5jqhf0ux698 sp:arg _:node1a5jqhf0ux699 , spin:_arg1 , spin:_arg2 ;
sp:arg1 _:node1a5jqhf0ux699 ;
sp:arg2 spin:_arg1 ;
sp:arg3 spin:_arg2 ;
_:node1a5jqhf0ux4 ;
a sp:if , spin:Functions , spin:Modules , spl:MiscFunctions , rdfs:Resource .
_:node1a5jqhf0ux699 sp:arg spin:_arg1 , spin:_arg2 ;
sp:arg1 spin:_arg1 ;
sp:arg2 spin:_arg2 ;
_:node1a5jqhf0ux4 ;
a sp:gt , spin:Functions , spin:Modules , spl:BooleanFunctions , rdfs:Resource .
_:node1a5jqhf0ux7 sp:arg sp:Update , spin:body , 0 , 1 ;
spl:count 0 , 1 ;
spl:maxCount 1 ;
spl:minCount 0 ;
spl:predicate spin:body ;
spl:valueType sp:Update ;
_:node1a5jqhf0ux4 ;
a sp:Command , sp:Query , sp:SystemClass , spin:ConstructTemplates , spin:Modules , spin:Templates , spl:Attribute , rdfs:Resource ;
rdfs:comment "The UPDATE command wrapped by this template." .
_:node1a5jqhf0ux70 sp:arg sp:arg1 , rdfs:Literal ;
spl:predicate sp:arg1 ;
spl:valueType rdfs:Literal ;
_:node1a5jqhf0ux4 ;
a sp:Command , sp:Query , sp:SystemClass , spin:ConstructTemplates , spin:Modules , spin:Templates , spl:Argument , rdfs:Resource ;
rdfs:comment "The dateTime or time argument." .
_:node1a5jqhf0ux700 sp:systemProperty "result" ;
sp:varName "result" ;
a sp:SystemClass , sp:Variable , rdfs:Resource .
_:node1a5jqhf0ux701 sp:arg sp:arg1 , rdfs:Literal ;
spl:predicate sp:arg1 ;
spl:valueType rdfs:Literal ;
_:node1a5jqhf0ux4 ;
a sp:Command , sp:Query , sp:SystemClass , spin:ConstructTemplates , spin:Modules , spin:Templates , spl:Argument , rdfs:Resource ;
rdfs:comment "The first argument." .
_:node1a5jqhf0ux702 sp:arg sp:arg2 , rdfs:Literal ;
spl:predicate sp:arg2 ;
spl:valueType rdfs:Literal ;
_:node1a5jqhf0ux4 ;
a sp:Command , sp:Query , sp:SystemClass , spin:ConstructTemplates , spin:Modules , spin:Templates , spl:Argument , rdfs:Resource ;
rdfs:comment "The second argument." .
_:node1a5jqhf0ux703 sp:resultVariables _:node1a5jqhf0ux704 ;
sp:systemProperty _:node1a5jqhf0ux704 , _:node1a5jqhf0ux706 ;
sp:where _:node1a5jqhf0ux706 ;
a sp:Command , sp:Query , sp:Select , sp:SystemClass , rdfs:Resource .
_:node1a5jqhf0ux704 rdf:first _:node1a5jqhf0ux705 ;
rdf:rest rdf:nil ;
a rdf:List , rdfs:Resource .
_:node1a5jqhf0ux705 sp:systemProperty "result" ;
sp:varName "result" ;
a sp:SystemClass , sp:Variable , rdfs:Resource .
_:node1a5jqhf0ux706 rdf:first _:node1a5jqhf0ux707 ;
rdf:rest rdf:nil ;
a sp:Element , sp:ElementGroup , sp:ElementList , sp:SystemClass , rdf:List , rdfs:Resource .
_:node1a5jqhf0ux707 sp:expression _:node1a5jqhf0ux708 ;
sp:systemProperty _:node1a5jqhf0ux708 , _:node1a5jqhf0ux710 ;
sp:variable _:node1a5jqhf0ux710 ;
a sp:Bind , sp:Element , sp:SystemClass , rdfs:Resource .
_:node1a5jqhf0ux708 sp:arg _:node1a5jqhf0ux709 , spin:_arg1 , spin:_arg2 ;
sp:arg1 _:node1a5jqhf0ux709 ;
sp:arg2 spin:_arg1 ;
sp:arg3 spin:_arg2 ;
_:node1a5jqhf0ux4 ;
a sp:if , spin:Functions , spin:Modules , spl:MiscFunctions , rdfs:Resource .
_:node1a5jqhf0ux709 sp:arg spin:_arg1 , spin:_arg2 ;
sp:arg1 spin:_arg1 ;
sp:arg2 spin:_arg2 ;
_:node1a5jqhf0ux4 ;
a sp:lt , spin:Functions , spin:Modules , spl:BooleanFunctions , rdfs:Resource .
_:node1a5jqhf0ux71 sp:arg sp:arg1 ;
spl:predicate sp:arg1 ;
_:node1a5jqhf0ux4 ;
a sp:Command , sp:Query , sp:SystemClass , spin:ConstructTemplates , spin:Modules , spin:Templates , spl:Argument , rdfs:Resource ;
rdfs:comment "The input literal." .
_:node1a5jqhf0ux710 sp:systemProperty "result" ;
sp:varName "result" ;
a sp:SystemClass , sp:Variable , rdfs:Resource .
_:node1a5jqhf0ux711 sp:arg sp:arg1 , rdfs:Literal ;
spl:predicate sp:arg1 ;
spl:valueType rdfs:Literal ;
_:node1a5jqhf0ux4 ;
a sp:Command , sp:Query , sp:SystemClass , spin:ConstructTemplates , spin:Modules , spin:Templates , spl:Argument , rdfs:Resource ;
rdfs:comment "The first argument." .
_:node1a5jqhf0ux712 sp:arg sp:arg2 , rdfs:Literal ;
spl:predicate sp:arg2 ;
spl:valueType rdfs:Literal ;
_:node1a5jqhf0ux4 ;
a sp:Command , sp:Query , sp:SystemClass , spin:ConstructTemplates , spin:Modules , spin:Templates , spl:Argument , rdfs:Resource ;
rdfs:comment "The second argument." .
_:node1a5jqhf0ux713 sp:resultVariables _:node1a5jqhf0ux714 ;
sp:systemProperty _:node1a5jqhf0ux714 , _:node1a5jqhf0ux716 ;
sp:where _:node1a5jqhf0ux716 ;
a sp:Command , sp:Query , sp:Select , sp:SystemClass , rdfs:Resource .
_:node1a5jqhf0ux714 rdf:first _:node1a5jqhf0ux715 ;
rdf:rest rdf:nil ;
a rdf:List , rdfs:Resource .
_:node1a5jqhf0ux715 sp:systemProperty "object" ;
sp:varName "object" ;
a sp:SystemClass , sp:Variable , rdfs:Resource .
_:node1a5jqhf0ux716 rdf:first _:node1a5jqhf0ux717 ;
rdf:rest rdf:nil ;
a sp:Element , sp:ElementGroup , sp:ElementList , sp:SystemClass , rdf:List , rdfs:Resource .
_:node1a5jqhf0ux717 sp:object _:node1a5jqhf0ux718 ;
sp:predicate spin:_arg2 ;
sp:subject spin:_arg1 ;
sp:systemProperty _:node1a5jqhf0ux718 , spin:_arg1 , spin:_arg2 ;
a sp:SystemClass , sp:Triple , sp:Tuple , rdfs:Resource .
_:node1a5jqhf0ux718 sp:systemProperty "object" ;
sp:varName "object" ;
a sp:SystemClass , sp:Variable , rdfs:Resource .
_:node1a5jqhf0ux719 sp:arg sp:arg1 , rdfs:Resource ;
spl:predicate sp:arg1 ;
spl:valueType rdfs:Resource ;
_:node1a5jqhf0ux4 ;
a sp:Command , sp:Query , sp:SystemClass , spin:ConstructTemplates , spin:Modules , spin:Templates , spl:Argument , rdfs:Resource ;
rdfs:comment "The subject to get the object from." .
_:node1a5jqhf0ux72 sp:arg sp:arg1 ;
spl:predicate sp:arg1 ;
_:node1a5jqhf0ux4 ;
a sp:Command , sp:Query , sp:SystemClass , spin:ConstructTemplates , spin:Modules , spin:Templates , spl:Argument , rdfs:Resource ;
rdfs:comment "The input literal." .
_:node1a5jqhf0ux720 sp:arg sp:arg2 , rdf:Property ;
spl:predicate sp:arg2 ;
spl:valueType rdf:Property ;
_:node1a5jqhf0ux4 ;
a sp:Command , sp:Query , sp:SystemClass , spin:ConstructTemplates , spin:Modules , spin:Templates , spl:Argument , rdfs:Resource ;
rdfs:comment "The predicate to get the object of." .
_:node1a5jqhf0ux721 sp:resultVariables _:node1a5jqhf0ux722 ;
sp:systemProperty _:node1a5jqhf0ux722 , _:node1a5jqhf0ux726 ;
sp:where _:node1a5jqhf0ux726 ;
a sp:Command , sp:Query , sp:Select , sp:SystemClass , rdfs:Resource .
_:node1a5jqhf0ux722 rdf:first _:node1a5jqhf0ux723 ;
rdf:rest rdf:nil ;
a rdf:List , rdfs:Resource .
_:node1a5jqhf0ux723 sp:expression _:node1a5jqhf0ux724 ;
sp:systemProperty _:node1a5jqhf0ux724 , "result" ;
sp:varName "result" ;
a sp:SystemClass , sp:Variable , rdfs:Resource .
_:node1a5jqhf0ux724 sp:expression _:node1a5jqhf0ux725 ;
sp:systemProperty _:node1a5jqhf0ux725 ;
a sp:Aggregation , sp:Count , sp:SystemClass , rdfs:Resource .
_:node1a5jqhf0ux725 sp:systemProperty "object" ;
sp:varName "object" ;
a sp:SystemClass , sp:Variable , rdfs:Resource .
_:node1a5jqhf0ux726 rdf:first _:node1a5jqhf0ux727 ;
rdf:rest rdf:nil ;
a sp:Element , sp:ElementGroup , sp:ElementList , sp:SystemClass , rdf:List , rdfs:Resource .
_:node1a5jqhf0ux727 sp:object _:node1a5jqhf0ux728 ;
sp:predicate spin:_arg2 ;
sp:subject spin:_arg1 ;
sp:systemProperty _:node1a5jqhf0ux728 , spin:_arg1 , spin:_arg2 ;
a sp:SystemClass , sp:Triple , sp:Tuple , rdfs:Resource .
_:node1a5jqhf0ux728 sp:systemProperty "object" ;
sp:varName "object" ;
a sp:SystemClass , sp:Variable , rdfs:Resource .
_:node1a5jqhf0ux729 sp:arg sp:arg1 , rdfs:Resource ;
spl:predicate sp:arg1 ;
spl:valueType rdfs:Resource ;
_:node1a5jqhf0ux4 ;
a sp:Command , sp:Query , sp:SystemClass , spin:ConstructTemplates , spin:Modules , spin:Templates , spl:Argument , rdfs:Resource ;
rdfs:comment "the subject to get the number of objects of" .
_:node1a5jqhf0ux73 sp:arg sp:arg1 ;
spl:predicate sp:arg1 ;
_:node1a5jqhf0ux4 ;
a sp:Command , sp:Query , sp:SystemClass , spin:ConstructTemplates , spin:Modules , spin:Templates , spl:Argument , rdfs:Resource ;
rdfs:comment "The input literal." .
_:node1a5jqhf0ux730 sp:arg sp:arg2 , rdf:Property ;
spl:predicate sp:arg2 ;
spl:valueType rdf:Property ;
_:node1a5jqhf0ux4 ;
a sp:Command , sp:Query , sp:SystemClass , spin:ConstructTemplates , spin:Modules , spin:Templates , spl:Argument , rdfs:Resource ;
rdfs:comment "the property to get the number of values of" .
_:node1a5jqhf0ux731 sp:resultVariables _:node1a5jqhf0ux732 ;
sp:systemProperty _:node1a5jqhf0ux732 , _:node1a5jqhf0ux734 ;
sp:where _:node1a5jqhf0ux734 ;
a sp:Command , sp:Query , sp:Select , sp:SystemClass , rdfs:Resource .
_:node1a5jqhf0ux732 rdf:first _:node1a5jqhf0ux733 ;
rdf:rest rdf:nil ;
a rdf:List , rdfs:Resource .
_:node1a5jqhf0ux733 sp:systemProperty "object" ;
sp:varName "object" ;
a sp:SystemClass , sp:Variable , rdfs:Resource .
_:node1a5jqhf0ux734 rdf:first _:node1a5jqhf0ux735 ;
rdf:rest rdf:nil ;
a sp:Element , sp:ElementGroup , sp:ElementList , sp:SystemClass , rdf:List , rdfs:Resource .
_:node1a5jqhf0ux735 sp:elements _:node1a5jqhf0ux736 ;
sp:graphNameNode spin:_arg3 ;
sp:systemProperty _:node1a5jqhf0ux736 , spin:_arg3 ;
a sp:Element , sp:ElementGroup , sp:NamedGraph , sp:SystemClass , rdfs:Resource .
_:node1a5jqhf0ux736 rdf:first _:node1a5jqhf0ux737 ;
rdf:rest rdf:nil ;
a sp:Element , sp:ElementGroup , sp:ElementList , sp:SystemClass , rdf:List , rdfs:Resource .
_:node1a5jqhf0ux737 sp:object _:node1a5jqhf0ux738 ;
sp:predicate spin:_arg2 ;
sp:subject spin:_arg1 ;
sp:systemProperty _:node1a5jqhf0ux738 , spin:_arg1 , spin:_arg2 ;
a sp:SystemClass , sp:Triple , sp:Tuple , rdfs:Resource .
_:node1a5jqhf0ux738 sp:systemProperty "object" ;
sp:varName "object" ;
a sp:SystemClass , sp:Variable , rdfs:Resource .
_:node1a5jqhf0ux739 sp:arg sp:arg1 , rdfs:Resource ;
spl:predicate sp:arg1 ;
spl:valueType rdfs:Resource ;
_:node1a5jqhf0ux4 ;
a sp:Command , sp:Query , sp:SystemClass , spin:ConstructTemplates , spin:Modules , spin:Templates , spl:Argument , rdfs:Resource ;
rdfs:comment "The subject to get the object from." .
_:node1a5jqhf0ux74 sp:arg sp:arg1 ;
spl:predicate sp:arg1 ;
_:node1a5jqhf0ux4 ;
a sp:Command , sp:Query , sp:SystemClass , spin:ConstructTemplates , spin:Modules , spin:Templates , spl:Argument , rdfs:Resource ;
rdfs:comment "The input literal." .
_:node1a5jqhf0ux740 sp:arg sp:arg2 , rdf:Property ;
spl:predicate sp:arg2 ;
spl:valueType rdf:Property ;
_:node1a5jqhf0ux4 ;
a sp:Command , sp:Query , sp:SystemClass , spin:ConstructTemplates , spin:Modules , spin:Templates , spl:Argument , rdfs:Resource ;
rdfs:comment "The predicate to get the object of." .
_:node1a5jqhf0ux741 sp:arg sp:arg3 , rdfs:Resource ;
spl:predicate sp:arg3 ;
spl:valueType rdfs:Resource ;
_:node1a5jqhf0ux4 ;
a sp:Command , sp:Query , sp:SystemClass , spin:ConstructTemplates , spin:Modules , spin:Templates , spl:Argument , rdfs:Resource ;
rdfs:comment "The graph to query in." .
_:node1a5jqhf0ux742 sp:resultVariables _:node1a5jqhf0ux743 ;
sp:systemProperty _:node1a5jqhf0ux743 , _:node1a5jqhf0ux745 ;
sp:where _:node1a5jqhf0ux745 ;
a sp:Command , sp:Query , sp:Select , sp:SystemClass , rdfs:Resource .
_:node1a5jqhf0ux743 rdf:first _:node1a5jqhf0ux744 ;
rdf:rest rdf:nil ;
a rdf:List , rdfs:Resource .
_:node1a5jqhf0ux744 sp:systemProperty "object" ;
sp:varName "object" ;
a sp:SystemClass , sp:Variable , rdfs:Resource .
_:node1a5jqhf0ux745 rdf:first _:node1a5jqhf0ux746 ;
rdf:rest _:node1a5jqhf0ux749 ;
a sp:Element , sp:ElementGroup , sp:ElementList , sp:SystemClass , rdf:List , rdfs:Resource .
_:node1a5jqhf0ux746 sp:object spin:_arg2 ;
sp:path _:node1a5jqhf0ux747 ;
sp:subject _:node1a5jqhf0ux748 ;
sp:systemProperty _:node1a5jqhf0ux747 , _:node1a5jqhf0ux748 , spin:_arg2 ;
a sp:Element , sp:SystemClass , sp:TriplePath , sp:Tuple , rdfs:Resource .
_:node1a5jqhf0ux747 sp:modMax -2 ;
sp:modMin 0 ;
sp:subPath rdfs:subPropertyOf ;
sp:systemProperty rdfs:subPropertyOf , -2 , 0 ;
a sp:ModPath , sp:Path , sp:SystemClass , rdfs:Resource .
_:node1a5jqhf0ux748 sp:systemProperty "property" ;
sp:varName "property" ;
a sp:SystemClass , sp:Variable , rdfs:Resource .
_:node1a5jqhf0ux749 rdf:first _:node1a5jqhf0ux750 ;
rdf:rest rdf:nil ;
a rdf:List , rdfs:Resource .
_:node1a5jqhf0ux75 sp:arg sp:arg1 ;
spl:predicate sp:arg1 ;
_:node1a5jqhf0ux4 ;
a sp:Command , sp:Query , sp:SystemClass , spin:ConstructTemplates , spin:Modules , spin:Templates , spl:Argument , rdfs:Resource ;
rdfs:comment "the node to convert to string" .
_:node1a5jqhf0ux750 sp:object _:node1a5jqhf0ux751 ;
sp:predicate _:node1a5jqhf0ux752 ;
sp:subject spin:_arg1 ;
sp:systemProperty _:node1a5jqhf0ux751 , _:node1a5jqhf0ux752 , spin:_arg1 ;
a sp:SystemClass , sp:Triple , sp:Tuple , rdfs:Resource .
_:node1a5jqhf0ux751 sp:systemProperty "object" ;
sp:varName "object" ;
a sp:SystemClass , sp:Variable , rdfs:Resource .
_:node1a5jqhf0ux752 sp:systemProperty "property" ;
sp:varName "property" ;
a sp:SystemClass , sp:Variable , rdfs:Resource .
_:node1a5jqhf0ux753 sp:arg sp:arg1 , rdfs:Resource ;
spl:predicate sp:arg1 ;
spl:valueType rdfs:Resource ;
_:node1a5jqhf0ux4 ;
a sp:Command , sp:Query , sp:SystemClass , spin:ConstructTemplates , spin:Modules , spin:Templates , spl:Argument , rdfs:Resource ;
rdfs:comment "The subject to get the object from." .
_:node1a5jqhf0ux754 sp:arg sp:arg2 , rdf:Property ;
spl:predicate sp:arg2 ;
spl:valueType rdf:Property ;
_:node1a5jqhf0ux4 ;
a sp:Command , sp:Query , sp:SystemClass , spin:ConstructTemplates , spin:Modules , spin:Templates , spl:Argument , rdfs:Resource ;
rdfs:comment "The predicate to get the object of (including sub-properties of it)." .
_:node1a5jqhf0ux755 sp:distinct true ;
sp:resultVariables _:node1a5jqhf0ux756 ;
sp:systemProperty _:node1a5jqhf0ux756 , _:node1a5jqhf0ux758 , true ;
sp:where _:node1a5jqhf0ux758 ;
a sp:Command , sp:Query , sp:Select , sp:SystemClass , rdfs:Resource .
_:node1a5jqhf0ux756 rdf:first _:node1a5jqhf0ux757 ;
rdf:rest rdf:nil ;
a rdf:List , rdfs:Resource .
_:node1a5jqhf0ux757 sp:systemProperty "class" ;
sp:varName "class" ;
a sp:SystemClass , sp:Variable , rdfs:Resource .
_:node1a5jqhf0ux758 rdf:first _:node1a5jqhf0ux759 ;
rdf:rest _:node1a5jqhf0ux763 ;
a sp:Element , sp:ElementGroup , sp:ElementList , sp:SystemClass , rdf:List , rdfs:Resource .
_:node1a5jqhf0ux759 sp:object _:node1a5jqhf0ux760 ;
sp:path _:node1a5jqhf0ux761 ;
sp:subject _:node1a5jqhf0ux762 ;
sp:systemProperty _:node1a5jqhf0ux760 , _:node1a5jqhf0ux761 , _:node1a5jqhf0ux762 ;
a sp:Element , sp:SystemClass , sp:TriplePath , sp:Tuple , rdfs:Resource .
_:node1a5jqhf0ux76 sp:arg sp:arg1 , xsd:string ;
spl:predicate sp:arg1 ;
spl:valueType xsd:string ;
_:node1a5jqhf0ux4 ;
a sp:Command , sp:Query , sp:SystemClass , spin:ConstructTemplates , spin:Modules , spin:Templates , spl:Argument , rdfs:Resource ;
rdfs:comment "The input string." .
_:node1a5jqhf0ux760 sp:systemProperty "superClass" ;
sp:varName "superClass" ;
a sp:SystemClass , sp:Variable , rdfs:Resource .
_:node1a5jqhf0ux761 sp:modMax -2 ;
sp:modMin 0 ;
sp:subPath rdfs:subClassOf ;
sp:systemProperty rdfs:subClassOf , -2 , 0 ;
a sp:ModPath , sp:Path , sp:SystemClass , rdfs:Resource .
_:node1a5jqhf0ux762 sp:systemProperty "class" ;
sp:varName "class" ;
a sp:SystemClass , sp:Variable , rdfs:Resource .
_:node1a5jqhf0ux763 rdf:first _:node1a5jqhf0ux764 ;
rdf:rest _:node1a5jqhf0ux790 ;
a rdf:List , rdfs:Resource .
_:node1a5jqhf0ux764 sp:elements _:node1a5jqhf0ux765 ;
sp:systemProperty _:node1a5jqhf0ux765 ;
a sp:Element , sp:ElementGroup , sp:SystemClass , sp:Union , rdfs:Resource .
_:node1a5jqhf0ux765 rdf:first _:node1a5jqhf0ux766 ;
rdf:rest _:node1a5jqhf0ux770 ;
a sp:Element , sp:ElementGroup , sp:ElementList , sp:SystemClass , rdf:List , rdfs:Resource .
_:node1a5jqhf0ux766 rdf:first _:node1a5jqhf0ux767 ;
rdf:rest rdf:nil ;
a rdf:List , rdfs:Resource .
_:node1a5jqhf0ux767 sp:object _:node1a5jqhf0ux768 ;
sp:predicate rdfs:domain ;
sp:subject _:node1a5jqhf0ux769 ;
sp:systemProperty _:node1a5jqhf0ux768 , _:node1a5jqhf0ux769 , rdfs:domain ;
a sp:SystemClass , sp:Triple , sp:Tuple , rdfs:Resource .
_:node1a5jqhf0ux768 sp:systemProperty "superClass" ;
sp:varName "superClass" ;
a sp:SystemClass , sp:Variable , rdfs:Resource .
_:node1a5jqhf0ux769 sp:systemProperty "property" ;
sp:varName "property" ;
a sp:SystemClass , sp:Variable , rdfs:Resource .
_:node1a5jqhf0ux77 sp:arg sp:arg2 , xsd:string ;
spl:predicate sp:arg2 ;
spl:valueType xsd:string ;
_:node1a5jqhf0ux4 ;
a sp:Command , sp:Query , sp:SystemClass , spin:ConstructTemplates , spin:Modules , spin:Templates , spl:Argument , rdfs:Resource ;
rdfs:comment "The pattern to find within the input string." .
_:node1a5jqhf0ux770 rdf:first _:node1a5jqhf0ux771 ;
rdf:rest _:node1a5jqhf0ux775 ;
a rdf:List , rdfs:Resource .
_:node1a5jqhf0ux771 rdf:first _:node1a5jqhf0ux772 ;
rdf:rest rdf:nil ;
a rdf:List , rdfs:Resource .
_:node1a5jqhf0ux772 sp:object _:node1a5jqhf0ux773 ;
sp:predicate owl:onProperty ;
sp:subject _:node1a5jqhf0ux774 ;
sp:systemProperty _:node1a5jqhf0ux773 , _:node1a5jqhf0ux774 , owl:onProperty ;
a sp:SystemClass , sp:Triple , sp:Tuple , rdfs:Resource .
_:node1a5jqhf0ux773 sp:systemProperty "property" ;
sp:varName "property" ;
a sp:SystemClass , sp:Variable , rdfs:Resource .
_:node1a5jqhf0ux774 sp:systemProperty "superClass" ;
sp:varName "superClass" ;
a sp:SystemClass , sp:Variable , rdfs:Resource .
_:node1a5jqhf0ux775 rdf:first _:node1a5jqhf0ux776 ;
rdf:rest rdf:nil ;
a rdf:List , rdfs:Resource .
_:node1a5jqhf0ux776 rdf:first _:node1a5jqhf0ux777 ;
rdf:rest _:node1a5jqhf0ux780 ;
a rdf:List , rdfs:Resource .
_:node1a5jqhf0ux777 sp:object _:node1a5jqhf0ux778 ;
sp:predicate rdf:first ;
sp:subject _:node1a5jqhf0ux779 ;
sp:systemProperty _:node1a5jqhf0ux778 , _:node1a5jqhf0ux779 , rdf:first ;
a sp:SystemClass , sp:Triple , sp:Tuple , rdfs:Resource .
_:node1a5jqhf0ux778 sp:systemProperty "superClass" ;
sp:varName "superClass" ;
a sp:SystemClass , sp:Variable , rdfs:Resource .
_:node1a5jqhf0ux779 sp:systemProperty "listSegment" ;
sp:varName "listSegment" ;
a sp:SystemClass , sp:Variable , rdfs:Resource .
_:node1a5jqhf0ux78 sp:arg sp:arg1 , xsd:string ;
spl:predicate sp:arg1 ;
spl:valueType xsd:string ;
_:node1a5jqhf0ux4 ;
a sp:Command , sp:Query , sp:SystemClass , spin:ConstructTemplates , spin:Modules , spin:Templates , spl:Argument , rdfs:Resource ;
rdfs:comment "The input string." .
_:node1a5jqhf0ux780 rdf:first _:node1a5jqhf0ux781 ;
rdf:rest _:node1a5jqhf0ux785 ;
a rdf:List , rdfs:Resource .
_:node1a5jqhf0ux781 sp:object _:node1a5jqhf0ux782 ;
sp:path _:node1a5jqhf0ux783 ;
sp:subject _:node1a5jqhf0ux784 ;
sp:systemProperty _:node1a5jqhf0ux782 , _:node1a5jqhf0ux783 , _:node1a5jqhf0ux784 ;
a sp:Element , sp:SystemClass , sp:TriplePath , sp:Tuple , rdfs:Resource .
_:node1a5jqhf0ux782 sp:systemProperty "listSegment" ;
sp:varName "listSegment" ;
a sp:SystemClass , sp:Variable , rdfs:Resource .
_:node1a5jqhf0ux783 sp:modMax -2 ;
sp:modMin 0 ;
sp:subPath rdf:rest ;
sp:systemProperty rdf:rest , -2 , 0 ;
a sp:ModPath , sp:Path , sp:SystemClass , rdfs:Resource .
_:node1a5jqhf0ux784 sp:systemProperty "list" ;
sp:varName "list" ;
a sp:SystemClass , sp:Variable , rdfs:Resource .
_:node1a5jqhf0ux785 rdf:first _:node1a5jqhf0ux786 ;
rdf:rest rdf:nil ;
a rdf:List , rdfs:Resource .
_:node1a5jqhf0ux786 sp:object _:node1a5jqhf0ux787 ;
sp:path _:node1a5jqhf0ux788 ;
sp:subject _:node1a5jqhf0ux789 ;
sp:systemProperty _:node1a5jqhf0ux787 , _:node1a5jqhf0ux788 , _:node1a5jqhf0ux789 ;
a sp:Element , sp:SystemClass , sp:TriplePath , sp:Tuple , rdfs:Resource .
_:node1a5jqhf0ux787 sp:systemProperty "list" ;
sp:varName "list" ;
a sp:SystemClass , sp:Variable , rdfs:Resource .
_:node1a5jqhf0ux788 sp:path1 rdfs:domain ;
sp:path2 owl:unionOf ;
sp:systemProperty rdfs:domain , owl:unionOf ;
a sp:Path , sp:SeqPath , sp:SystemClass , rdfs:Resource .
_:node1a5jqhf0ux789 sp:systemProperty "property" ;
sp:varName "property" ;
a sp:SystemClass , sp:Variable , rdfs:Resource .
_:node1a5jqhf0ux79 sp:arg sp:arg2 , xsd:string ;
spl:predicate sp:arg2 ;
spl:valueType xsd:string ;
_:node1a5jqhf0ux4 ;
a sp:Command , sp:Query , sp:SystemClass , spin:ConstructTemplates , spin:Modules , spin:Templates , spl:Argument , rdfs:Resource ;
rdfs:comment "The pattern to find within the input string." .
_:node1a5jqhf0ux790 rdf:first _:node1a5jqhf0ux791 ;
rdf:rest _:node1a5jqhf0ux794 ;
a rdf:List , rdfs:Resource .
_:node1a5jqhf0ux791 sp:object _:node1a5jqhf0ux792 ;
sp:path _:node1a5jqhf0ux793 ;
sp:subject spin:_arg1 ;
sp:systemProperty _:node1a5jqhf0ux792 , _:node1a5jqhf0ux793 , spin:_arg1 ;
a sp:Element , sp:SystemClass , sp:TriplePath , sp:Tuple , rdfs:Resource .
_:node1a5jqhf0ux792 sp:systemProperty "property" ;
sp:varName "property" ;
a sp:SystemClass , sp:Variable , rdfs:Resource .
_:node1a5jqhf0ux793 sp:modMax -2 ;
sp:modMin 0 ;
sp:subPath rdfs:subPropertyOf ;
sp:systemProperty rdfs:subPropertyOf , -2 , 0 ;
a sp:ModPath , sp:Path , sp:SystemClass , rdfs:Resource .
_:node1a5jqhf0ux794 rdf:first _:node1a5jqhf0ux795 ;
rdf:rest _:node1a5jqhf0ux803 ;
a rdf:List , rdfs:Resource .
_:node1a5jqhf0ux795 sp:expression _:node1a5jqhf0ux796 ;
sp:systemProperty _:node1a5jqhf0ux796 ;
a sp:Element , sp:Filter , sp:SystemClass , rdfs:Resource .
_:node1a5jqhf0ux796 sp:arg _:node1a5jqhf0ux797 , _:node1a5jqhf0ux799 ;
sp:arg1 _:node1a5jqhf0ux797 ;
sp:arg2 _:node1a5jqhf0ux799 ;
_:node1a5jqhf0ux4 ;
a sp:or , spin:Functions , spin:Modules , spl:BooleanFunctions , rdfs:Resource .
_:node1a5jqhf0ux797 sp:arg _:node1a5jqhf0ux798 , spin:_arg1 ;
sp:arg1 spin:_arg1 ;
sp:arg2 _:node1a5jqhf0ux798 ;
_:node1a5jqhf0ux4 ;
a sp:eq , spin:Functions , spin:Modules , spl:BooleanFunctions , rdfs:Resource .
_:node1a5jqhf0ux798 sp:systemProperty "property" ;
sp:varName "property" ;
a sp:SystemClass , sp:Variable , rdfs:Resource .
_:node1a5jqhf0ux799 sp:elements _:node1a5jqhf0ux800 ;
sp:systemProperty _:node1a5jqhf0ux800 ;
_:node1a5jqhf0ux4 ;
a sp:notExists , spin:Functions , spin:Modules , spl:BooleanFunctions , rdfs:Resource .
_:node1a5jqhf0ux8 sp:arg sp:arg1 ;
spl:predicate sp:arg1 ;
_:node1a5jqhf0ux4 ;
a sp:Command , sp:Query , sp:SystemClass , spin:ConstructTemplates , spin:Modules , spin:Templates , spl:Argument , rdfs:Resource ;
rdfs:comment "The input value." .
_:node1a5jqhf0ux80 sp:arg sp:arg1 , xsd:string ;
spl:predicate sp:arg1 ;
spl:valueType xsd:string ;
_:node1a5jqhf0ux4 ;
a sp:Command , sp:Query , sp:SystemClass , spin:ConstructTemplates , spin:Modules , spin:Templates , spl:Argument , rdfs:Resource ;
rdfs:comment "The lexical form of the new literal." .
_:node1a5jqhf0ux800 rdf:first _:node1a5jqhf0ux801 ;
rdf:rest rdf:nil ;
a sp:Element , sp:ElementGroup , sp:ElementList , sp:SystemClass , rdf:List , rdfs:Resource .
_:node1a5jqhf0ux801 sp:object _:node1a5jqhf0ux802 ;
sp:predicate rdfs:domain ;
sp:subject spin:_arg1 ;
sp:systemProperty _:node1a5jqhf0ux802 , spin:_arg1 , rdfs:domain ;
a sp:SystemClass , sp:Triple , sp:Tuple , rdfs:Resource .
_:node1a5jqhf0ux802 sp:systemProperty "anyDomain" ;
sp:varName "anyDomain" ;
a sp:SystemClass , sp:Variable , rdfs:Resource .
_:node1a5jqhf0ux803 rdf:first _:node1a5jqhf0ux804 ;
rdf:rest rdf:nil ;
a rdf:List , rdfs:Resource .
_:node1a5jqhf0ux804 sp:expression _:node1a5jqhf0ux805 ;
sp:systemProperty _:node1a5jqhf0ux805 ;
a sp:Element , sp:Filter , sp:SystemClass , rdfs:Resource .
_:node1a5jqhf0ux805 sp:arg _:node1a5jqhf0ux806 ;
sp:arg1 _:node1a5jqhf0ux806 ;
_:node1a5jqhf0ux4 ;
a sp:isIRI , spin:Functions , spin:Modules , spl:BooleanFunctions , rdfs:Resource .
_:node1a5jqhf0ux806 sp:systemProperty "class" ;
sp:varName "class" ;
a sp:SystemClass , sp:Variable , rdfs:Resource .
_:node1a5jqhf0ux807 sp:arg sp:arg1 , rdf:Property ;
spl:predicate sp:arg1 ;
spl:valueType rdf:Property ;
_:node1a5jqhf0ux4 ;
a sp:Command , sp:Query , sp:SystemClass , spin:ConstructTemplates , spin:Modules , spin:Templates , spl:Argument , rdfs:Resource ;
rdfs:comment "The property." .
_:node1a5jqhf0ux808 sp:systemProperty _:node1a5jqhf0ux809 ;
sp:where _:node1a5jqhf0ux809 ;
a sp:Ask , sp:Command , sp:Query , sp:SystemClass , rdfs:Resource .
_:node1a5jqhf0ux809 rdf:first _:node1a5jqhf0ux810 ;
rdf:rest rdf:nil ;
a sp:Element , sp:ElementGroup , sp:ElementList , sp:SystemClass , rdf:List , rdfs:Resource .
_:node1a5jqhf0ux81 sp:arg sp:arg2 , rdfs:Datatype ;
spl:predicate sp:arg2 ;
spl:valueType rdfs:Datatype ;
_:node1a5jqhf0ux4 ;
a sp:Command , sp:Query , sp:SystemClass , spin:ConstructTemplates , spin:Modules , spin:Templates , spl:Argument , rdfs:Resource ;
rdfs:comment "The datatype of the new literal." .
_:node1a5jqhf0ux810 sp:object spin:_arg2 ;
sp:path _:node1a5jqhf0ux811 ;
sp:subject spin:_arg1 ;
sp:systemProperty _:node1a5jqhf0ux811 , spin:_arg1 , spin:_arg2 ;
a sp:Element , sp:SystemClass , sp:TriplePath , sp:Tuple , rdfs:Resource .
_:node1a5jqhf0ux811 sp:modMax -2 ;
sp:modMin 0 ;
sp:subPath rdfs:subClassOf ;
sp:systemProperty rdfs:subClassOf , -2 , 0 ;
a sp:ModPath , sp:Path , sp:SystemClass , rdfs:Resource .
_:node1a5jqhf0ux812 sp:arg sp:arg1 , rdfs:Class ;
spl:predicate sp:arg1 ;
spl:valueType rdfs:Class ;
_:node1a5jqhf0ux4 ;
a sp:Command , sp:Query , sp:SystemClass , spin:ConstructTemplates , spin:Modules , spin:Templates , spl:Argument , rdfs:Resource ;
rdfs:comment "The potential sub-class." .
_:node1a5jqhf0ux813 sp:arg sp:arg2 , rdfs:Class ;
spl:predicate sp:arg2 ;
spl:valueType rdfs:Class ;
_:node1a5jqhf0ux4 ;
a sp:Command , sp:Query , sp:SystemClass , spin:ConstructTemplates , spin:Modules , spin:Templates , spl:Argument , rdfs:Resource ;
rdfs:comment "The potential super-class." .
_:node1a5jqhf0ux814 sp:systemProperty _:node1a5jqhf0ux815 ;
sp:where _:node1a5jqhf0ux815 ;
a sp:Ask , sp:Command , sp:Query , sp:SystemClass , rdfs:Resource .
_:node1a5jqhf0ux815 rdf:first _:node1a5jqhf0ux816 ;
rdf:rest rdf:nil ;
a sp:Element , sp:ElementGroup , sp:ElementList , sp:SystemClass , rdf:List , rdfs:Resource .
_:node1a5jqhf0ux816 sp:object spin:_arg2 ;
sp:path _:node1a5jqhf0ux817 ;
sp:subject spin:_arg1 ;
sp:systemProperty _:node1a5jqhf0ux817 , spin:_arg1 , spin:_arg2 ;
a sp:Element , sp:SystemClass , sp:TriplePath , sp:Tuple , rdfs:Resource .
_:node1a5jqhf0ux817 sp:modMax -2 ;
sp:modMin 0 ;
sp:subPath rdfs:subPropertyOf ;
sp:systemProperty rdfs:subPropertyOf , -2 , 0 ;
a sp:ModPath , sp:Path , sp:SystemClass , rdfs:Resource .
_:node1a5jqhf0ux818 sp:arg sp:arg1 , rdf:Property ;
spl:predicate sp:arg1 ;
spl:valueType rdf:Property ;