The class of discounts that can be given on a product. There is usually some condition that has to be met for the discount to apply.
(=> (Has-Special-Discount $X $Y) (Discount $Y))