use holSyntaxSyntax rather than the parser