simple majority subgroup of majority, 4 assertions