# only failed assertions are reported
failed-assert =
element failed-assert {
attlist.assert-and-report, diagnostic-reference*, property-reference*, human-text
}
# only successful asserts are reported
successful-report =
element successful-report {
attlist.assert-and-report, diagnostic-reference*, property-reference*, human-text
}
attlist.assert-and-report =
attribute id { xsd:ID }?,
attribute location { text },
attribute test { text },
attribute role { xsd:NMTOKEN }?,
attribute flag { xsd:NMTOKEN }?