inject NotationParser for more complicated examples