Logic based languages are useful because they are unambiguous. Natural language is far less efficient for communicating hard requirements. Why do you think mathematical notation exists? It’s not just because the ivory tower elites want to sound smart. It’s a more efficient medium for communicating mathematical ideas.