MINIM = ro_namespaces.makeNamespace(minimnsuri,
[ "Constraint", "Checklist" # synonyms
, "hasConstraint", "hasChecklist" # synonyms
, "hasPrefix"
# Model and properties
, "Model"
, "hasMustRequirement", "hasShouldRequirement", "hasMayRequirement", "hasRequirement"
# Requirement and properties
, "Requirement"
, "isDerivedBy"
# Reporting properties
, "seq", "show", "showpass", "showfail", "showmiss"
, "list", "listpass", "listfail"
, "ValueCollector", "collectVar", "collectList"
# Rules and properties
, "RequirementRule"
, "SoftwareEnvironmentRule", "DataRequirementRule", "ContentMatchRequirementRule"
, "forTarget", "forTargetTemplate", "forPurpose", "toModel"
, "aggregates"
, "command", "response"
, "forall", "orderby", "exists", "aggregatesTemplate", "isLiveTemplate"
# Refactored rule and properties
, "QueryTestRule", "graph", "query"
, "Query"
, "SparqlQuery", "sparql_query", "result_mod"
, "QueryResultTest"
, "CardinalityTest", "min", "max" ### @@use min, max, all as qualifiers for other tests?
, "RuleTest", "affirmRule"
, "RuleNegationTest", "negateRule" ### @@use max cardinality constraint instead?
, "AggregationTest", "aggregatesTemplate"
, "AccessibilityTest", "isLiveTemplate"
, "ExistsTest", "exists" ### @@this is structly redundant - drop it?
# Result properties
, "Result"
, "minimUri"
, "testedChecklist", "testedPurpose", "testedTarget", "testedModel", "testedRO"
, "minimallySatisfies", "nominallySatisfies", "fullySatisfies"
, "satisfied", "missingMay", "missingShould", "missingMust"
, "ChecklistItemReport"
, "tryRequirement", "tryMessage"
])
