fixed bug with parsing unary 'not'
more work on doc tool