. "- A is a subClassOf B and C" . . .