*

Axiom: A TypeClassRule is a type of Rule.

Axiom:	A TypeClassRule is a type of Rule.
Key:	42
From Term:	TypeClassRule
Predicate:	type-of
To Term:	Rule
Commentary:	A type/class rule is a type of rule.
Status:	Create example
Image: