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