Expressing sets

Sets are expressed in an extensional way by:

<set-name> : [<rule-name>,...,<rule-name>] .

Preferences on individual rules are expressed via the corresponding singleton sets.