Assertion list
equilibrium (primary) → DefinedAs
Results from Ascent++: 1
equilibrium → DefinedAs → situation 0.28