Assertion list
welded pipe (subgroup of pipe ) → HasA
Results from Ascent++: 1
welded pipe → HasA → tighter dimensional tolerances 0.19