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