Assertion list
gauge wire (subgroup of wire ) → HasProperty
Results from Ascent++: 2
gauge wire → HasProperty → thick 0.63
gauge wire → HasProperty → thin 0.25