pre.ndf: filled in the 'grammar' section