amp alternator subgroup of alternator, 1 assertions