Could you share the repo? I've been curious what nontrivial parsers look like woth nom, I always lose the overview pretty quickly.
The DSL supports comparison operators, '&&', '||' and nested expressions, while preventing mixing of '&&' and '||' without making precedence clear using parentheses. This DSL should fit 'non-trivial', but it still should be simple enough to easily understand it.