Assertion list
puncture wound (subgroup of wound ) → HasA
Results from Ascent++: 1
puncture wound → HasA → small entry hole 0.25