Assertion list
weld (primary) → HasA
Results from Ascent++: 2
weld → HasA → good penetration 0.16
weld → HasA → crack 0.09