semantic grammar for Fn + scan-ahead in grammars