a few more ontology constraints