Description: An equality inference for the proper subclass relationship. (Contributed by NM, 9-Jun-2004)