Assertion list
tip (primary) → IsA
Results from Ascent++: 1
tip → IsA → good advice 0.22