Assertion list
support arm (subgroup of arm ) → HasA
Results from Ascent++: 1
support arm → HasA → proximal end 0.25