*

Axiom: A ConsistencyRule is a type of Rule.

Axiom:	A ConsistencyRule is a type of Rule.
Key:	41
From Term:	ConsistencyTypeRule
Predicate:	type-of
To Term:	Rule
Commentary:	A consistency rule is a type of rule.
Status:	Create example
Image: