* Fixed EquivClass axioms for axiom muscl(e/ature) to restrict to axial skeleton