Assertion list
new holster (subgroup of holster ) → HasA
Results from Ascent++: 1
new holster → HasA → snug, tight fit 0.68