- there seem to be issues with regard to the subsumption hierarchy of some classes - there are some classes that should be but are not being declared as disjoint (for why see [here](http://ontogenesis.knowledgeblog.org/1260/)) - there seem to be wrong equivalent to axioms