ConsistencyStatus
Specifies the consistency status of an OMS
Values
Consistent
The OMS is consistent.
Contradictory
There are concistency attempts that found a proof as well as some that found a counter example. This indicates a malfunction of the reasoning system.
Error
A concistency attempt has failed.
Inconsistent
The OMS is inconsistent.
Open
No concistency attempt has been finished.
Timeout
The reasoner ran out of time.