Assertion list
wire (aspect of cable ) → AtLocation
Results from Ascent++: 1
wire → AtLocation → proper order 0.35