Assertion list
insulated wire (subgroup of wire ) → HasA
Results from Ascent++: 1
insulated wire → HasA → one or more conductors 0.25