I see where you're going here. It might help if we construct a specific syntax and grammar for writing specifications for software. It'll be helpful for all of

I see where you're going here. It might help if we construct a specific syntax and grammar for writing specifications for software. It'll be helpful for all of us if we can make our specifications as clear and efficient as possible. We could even call this combination of a syntax and grammar a programming language. Just imagine a world when we have these programming languages to help us encode the specifications for our software. Wild! :)