Made generativeGram.cfg, which describes the space of possible assertions that we will generate and test