Min is the minimum of the values in List.
Operationally: Min gets updated to reflect the current
range of the minimum of variables and values in List.
Likewise, the list elements get constrained to the
minimum given.

Max is the maximum of the values in List.
Operationally: Max gets updated to reflect the current
range of the maximum of variables and values in List.
Likewise, the list elements get constrained to the
maximum given.

The value Value occurs in List N times.
Operationally: N gets updated to reflect the number of
possible occurrences in the List. List elements may get
instantiated to Value, or Value may be removed from their
domain if required by N.