added logical not into semtrex (including parsing)