Select one of the following:
ref [val]
pattern [val]
( [set] )
relation
inverse
sub
super
[val]
select @
in [set] where [boole]
[set]
union
intersect
diff
[set]
let %
be [set] in [set]
let $
be [val] in [set]