Assertion list
main body (subgroup of body ) → HasA
Results from Ascent++: 2
main body → HasA → central main body portion 0.68
main body → HasA → cylindrical shape 0.25