Assertion list
saturated solution (subgroup of solution ) → IsA
Results from Ascent++: 1
saturated solution → IsA → solution 0.25