*

Axiom: A MappingRule is part of a ConsistencyCrosscheckRule.
Axiom: A MappingRule is part of a ConsistencyCrosscheckRule.
Key: 60
From Term: MappingTypeRule
Predicate: type-of
To Term: Rule
Commentary: A mapping rule is a type of rule.
Status: Create example
Image: