Assertion list
second choice (subgroup of choice ) → IsA
Results from Ascent++: 1
second choice → IsA → trip 0.25