yellow card subgroup of card, 4 assertions