WLS: added an example to illustrate negation types.