Assertion list
riser (primary) → HasA
Results from Ascent++: 2
riser → HasA → a surface area 0.30
riser → HasA → a pair of limbs 0.25