Assertion list
seamless pipe (subgroup of pipe ) → HasProperty
Results from Ascent++: 1
seamless pipe → HasProperty → more expensive than welded pipe 0.12