(<= (holds type ?val WHITE-COLOR-RESTRICTION) (holds DRINK NEW-COURSE ?val))