Only a Subset of features of natural langage introduce ambiguities, equivocations, etc.
It is perfectly doable to force one and only one meaning per keyword (just like do programming keywords already (if, while, etc), removing the ability to use coreferences, etc
I would love to see a great constrained English, formal without the readability and expressivity loss of formal symbolic grammars / formal maths