Added a subclass/equivalentclass option