ont(equiv(find, locate)).
ont(equiv(webshoplist, and(shoplist, shoprestriction))).
