Implemented functions subsume, instantiate and generalize.