The following features are demonstrated in this example:
problem type: mixed integer linear programming
numeric and string index sets
set of tuples
set operator UNION
implicit slice
FIX statement
modeling if-then constraints by using binary variables