For example, if there is a first one-of restriction requiring that a friend must be one-of (Sally, Mary, Joe) and a second one-of restriction requiring that the friend must be one-of (Sally, Joe), the first one-of restriction is said to be redundant because it is a superset of the second one-of restriction.