(<= (holds ?prop ?obj ?val) (and (holds hasValue ?restr ?val) (holds type ?obj ?restr) (holds onProperty ?restr ?prop)))