Assertion list
comparison (primary) → HasA
Results from Ascent++: 3
comparison → HasA → merit 0.27
comparison → HasA → two vital parts 0.27
comparison → HasA → significant impact 0.25