Just thought I'd share a snippet from our old, er, type inheritance system
(From 2003):
Rule 1011/4 (Power=2)
Definition of Nomic Property
A Nomic Property is any property of any entity the value of
which is defined by the Rules. Other Rules may define
procedures by which the value of a Nomic Property may be
changed.
Rule 1274/2 (Power=3)
Definition of Indices
An Index (plural: Indices) is a Nomic Property. The value of an
Index shall be either a non-negative real number or the special
value Unanimity.
An Index of Unanimity is greater than any other Index. When
comparing other Indices, the Index which is numerically greater
is the greater Index.
Rule 1688/1 (Power=3)
Power
Power is an Index. An Instrument is an entity with nonzero
Power. The Power of a given entity is zero unless otherwise
defined by the Rules.
