(<= (holds type ?inst DRINK-HAS-WHITE-COLOR-RESTRICTION) (holds type ?inst SEAFOOD-COURSE))