(<= (holds type ?val WHITE-COLOR-RESTRICTION) (and (holds type ?obj DRINK-HAS-WHITE-COLOR-RESTRICTION) (holds onProperty DRINK-HAS-WHITE-COLOR-RESTRICTION ?prop) (holds ?prop ?obj ?val)))