We employ constraints that are represented as logical implications and consist of a condition (If . . .) and a consequent (then . . .). In addition,
constraints (c) possess a weight (wc) that characterizes their relative importance and may be defined as either hard (c ∈ Chard) or soft (c ∈ Csoft).