automotive alternator subgroup of alternator, 4 assertions