subclassOf assertions too.