Assertion list
conductor (aspect of cable ) → AtLocation
Results from Ascent++: 1
conductor → AtLocation → relation 0.31