. . "then one can derive that A is a subclass of both B and C." . .