Begin formal grammar def