Assertion list
conductor (primary) → IsA

Results from Ascent++: 1
conductorIsA material 0.57