Assertion list
lead (aspect of led ) → HasA
Results from Ascent++: 1
lead → HasA → top portion 0.25