My shower thought of the day is that if, empirically, people are unable to securely tell a computer what to do in formal grammars which were explicitly designed to instruct that computer without any ambiguity ... the idea that they'll ever be able to do it using a natural language interface to that same computer seems a bit unlikely