Assertion list
standard tip (subgroup of tip ) → IsA
Results from Ascent++: 1
standard tip → IsA → 10% 0.68