More conditions for containing an ontology