*

Axiom: An ImputeRule is part of a ConsistencyCrosscheckRule.
Axiom: An ImputeRule is part of a ConsistencyCrosscheckRule.
Key: 61
From Term: ImputeTypeRule
Predicate: type-of
To Term: Rule
Commentary: An impute rule is a type of rule.
Status: Create example
Image: