Hilfreiche Operatoren in OCL: XOR - gibt es noch mehr?

Vielleicht ist das allgemein schon bekannt, ich habe das erst heute herausgefunden: OCL in Vertec unterstützt weitere Operatoren, die nicht in der KB zu finden sind.
So z.B.XOR

Dies hat mir heute geholfen, eine komplexere Abfrage einfach zu gestalten. Ev. ist dieser Tipp auch für andere hilfreich.
Gibt es eine Übersicht aller von Vertec unterstützter OCL Operatoren?

Merci, schön das auch implies unterstützt wird!
(in der Beshreibung dazu fehlt noch das "false" meiner Meinugn)