Assertion list
waist (primary) → HasA
Results from Ascent++: 2
waist → HasA → an energy of sinking 0.37
waist → HasA → belt loops 0.25