Assertion list
qualified lead (subgroup of lead ) → IsA
Results from Ascent++: 1
qualified lead → IsA → lead 0.25