Assertion list
equilibrium (primary) → IsA
Results from Ascent++: 1
equilibrium → IsA → situation 0.35