From my understanding of what is planned there is a developer or two who will be working on a controlled natural language. Attempto Controlled English (ACE) will allow implementation of something like Attempto for example.

ACE can serve as knowledge representation, specification, and query language, and is intended for professionals >who want to use formal notations and formal methods, but may not be familiar with them. Though ACE appears >perfectly natural – it can be read and understood by any speaker of English – it is in fact a formal language.

and...

Here are some simple examples:
Every woman is a human.
A woman is a human.
A man tries-on a new tie. If the tie pleases his wife then the man buys it.

So while not straight up English it will be a controlled English which means anyone who can speak English should have no problem dealing with it.

References

1. Attempto Controlled English https://en.wikipedia.org/wiki/Attempto_Controlled_English
2. https://github.com/amiller/CoinCoq