Assertion list
mig welder (subgroup of welder ) → HasProperty
Results from Ascent++: 2
mig welder → HasProperty → easy 0.68
mig welder → HasProperty → perfect 0.65