1 2 3 4 5
x: MODULE NEWMODE a_set = SET (a, b, c, d); NEWMODE a_ps = POWERSET a_set; GRANT a_ps; END;