Assertion list
copper pipe (subgroup of pipe ) → HasProperty
Results from Ascent++: 2
copper pipe → HasProperty → durable 0.16
copper pipe → HasProperty → more expensive 0.16