In the context of this work, it is the output that
characterizes the property. Classes of objects are
represented by precepts or rules (see Example 2), and
the counterpart of the subclass relation is the covers
relation. Exceptions implement cancellation of
inheritance.