Assertion list
elbow (primary) → HasA
Results from Ascent++: 2
elbow → HasA → slight bend 0.25
elbow → HasA → marina 0.16