Fixing Scope Issue
Implemented NotIntroduction
Grammar allows NOT, AND etc... as valid tokens