. "If B is a subclass of A and C is a" . . . .