hy is solely a mechanism for elision, for recording
information (properties and rules) in one place (a superclass), and having
it automatically propagate to many places (its subclasses). The name of a class
is merely an <em>abbreviation</em> for what it encapsulates (a description
of its instances).</p>

<p class="bodytext">Specialized class-based reasoning has been added to this framework, in the
form of <span class="defn"><a href="reasoner.html#clas">classify</a></span>.
It infers that an instance of a cl