Assertion list
electromechanical relay (subgroup of relay ) → IsA
Results from Ascent++: 1
electromechanical relay → IsA → switch 0.68