Assertion list
alternator (primary) → HasA
Results from Ascent++: 6
alternator → HasA → external regulator 0.32
alternator → HasA → pulley 0.32
alternator → HasA → maximum efficiency 0.25
alternator → HasA → one job 0.25
alternator → HasA → stationary armature 0.25
alternator → HasA → bad diode 0.16