Story for the ages: how a single logical definition caused 12584 unsatisfiable classes in Mondo

[matentzn]

Here is the issue with the root cause: https://github.com/EnvironmentOntology/envo/issues/1435

Here is the first time it pops up and is discussed: https://github.com/monarch-initiative/mondo/pull/6609

Here is the second time it pops up: https://github.com/monarch-initiative/mondo/pull/6639

This is a discussion of the resulting unsats: https://github.com/monarch-initiative/mondo/issues/6638

Here is the corresponding failing test: https://github.com/monarch-initiative/mondo/actions/runs/6158630126/job/16711791169