Fri, 09 Mar 2012 17:58:19 +0000 Mario de Sousa Semantic verification of NOT operator.