Assertion list
cutout (primary) → HasA
Results from Ascent++: 3
cutout → HasA → shape 0.38
cutout → HasA → a velcro closure 0.25
cutout → HasA → variable circumferential dimens… 0.25