*

Axiom: A StructuralRule is a type of Rule.

Axiom:	A StructuralRule is a type of Rule.
Key:	39
From Term:	StructuralRule
Predicate:	type-of
To Term:	Rule
Commentary:	A structural rule is a type of rule.
Status:	Create example
Image: