====== ''DIFF'': SET DIFFERENCE ======


**Definition:**
''DIFF'' is used to specify exceptions.  It plays a central role in the meaning representation of the prepositions //"except for"// and //"without"//.

e.g.:  //"All students, except for Peter, participated in the game."//