Applies when a restriction on the minimum number of occurrences is desired.
Specifies that a condition will be avoided in the future.
Specifies that an avoidance condition globally holds.
Applies when a restriction on the minimum number of occurrences is desired.
Applied when a restriction on the maximum number of occurrences is desired.