Errors from the validation of auto-gen/dr-rnc/instance-rnc-assert1.xml (instance of Relax NG schema)
Schema: http://reaction.ruleml.org/1.0/xsd/dr.xsd
Engine name: Saxon-EE 9.4.0.6
Severity: error
Description: Attribute @safety is not allowed on element
Start location: 1190:56
Severity: error
Description: Attribute @size is not allowed on element
Start location: 1190:56
Since April 2014, the content model of Profile in Relax NG has been
Errors from the validation of auto-gen/dr-rnc/instance-rnc-assert1.xml (instance of Relax NG schema) Schema: http://reaction.ruleml.org/1.0/xsd/dr.xsd Engine name: Saxon-EE 9.4.0.6 Severity: error Description: Attribute @safety is not allowed on element
Start location: 1190:56
Severity: error
Description: Attribute @size is not allowed on element
Start location: 1190:56
Since April 2014, the content model of Profile in Relax NG has been
Profile.attlist &= iri-att.choice? Profile.attlist &= direction-att-inf.choice? Profile.attlist &= Type.attlist? Profile.attlist &= commonNode.attlist? Profile.attlist &= safety-att.choice? Profile.attlist &= size-att.choice? Profile.content |= Node.header, formula_Profile-edge.choice* formula_Profile-edge.choice |= formula_AssertRetract-edge.choice