Assertion list
punch (primary) → HasA
Results from Ascent++: 2
punch → HasA → meaning 0.32
punch → HasA → beveled edge 0.31