Assertion list
bellow (primary) → HasA
Results from Ascent++: 2
bellow → HasA → rigid construction 0.31
bellow → HasA → one end 0.25