There are 3 parser generated at kompile time:
1. program parser. It takes the exact syntax of the syntax module and generates parser from that
2. rule parser. It takes all the syntax declarations from all included modules and mix it with K (cells, meta-variables, lists, bags...etc), except for Ids
3. ground parser. Just like the above, except for meta-variables, which are replaced with Ids

Now, one can annotate a production with one of the following:
notInRules, notInGround, notInPrograms to specify to komple that you don't want those productions to be included in a specific parser. This is usually useful for avoiding ambiguities. Most common case is Ids with meta-variables.

Something else to add would be 'onlyLabel' which should be considered deprecated and has the same value as notInRules and notInGround, if used at the same time.