Assertion list
conductor (aspect of cable ) → IsA
Results from Ascent++: 1
conductor → IsA → the material 0.48