Assertion list
stranded wire (subgroup of wire ) → HasProperty
Results from Ascent++: 1
stranded wire → HasProperty → more flexible 0.59