Assertion list
solution (primary) → IsA
Results from Ascent++: 3
solution → IsA → mixture 0.40
solution → IsA → set of the equation 0.39
solution → IsA → homogeneous mixture 0.37