BNF in showRules.