adds the bnf for the subset of scheme