Assertion list
bench trial (subgroup of trial ) → IsA
Results from Ascent++: 1
bench trial → IsA → trial 0.68