Assertion list
alternator (primary) → IsA
Results from Ascent++: 2
alternator → IsA → electrical generator 0.48
alternator → IsA → generator 0.47