Assertion list
insulated wire (subgroup of wire ) → AtLocation
Results from Ascent++: 1
insulated wire → AtLocation → electrical communication 0.25