ont(equiv(shoplist, and(list, shoprestriction))).
