analysis of NotExpression