A class definition that resembles natural language, made by using equivalency and subclass assertions.