Assertion list
girdle (primary) → HasA
Results from Ascent++: 2
girdle → HasA → 96 facets 0.31
girdle → HasA → fastener 0.25