2008); these clearly help in expressing linguistic generalizations but can be formally treated in the obvious way by translating their occurrences into the more basic descriptions that they abbreviate.
the restriction operator (Kaplan and Wedekind 1993) requires more careful consideration.