The Polytope of the Grammar Constraint