Assertion list
welded pipe (subgroup of pipe ) → HasProperty
Results from Ascent++: 1
welded pipe → HasProperty → cheaper 0.16