(card gp = 4 and
     forall sc in set gp & sc.won + sc.lost + sc.drawn <= 3)