updated the grammar for the Existence and the Bounded Exitence pattern. Also changed the test files for thesefiles