In the age of LLMs this seems like a waste of time to even think about constraining and formalizing languages. Why should human users restrict themselves in their expression if LLM systems can easily point out any remaining ambiguities?
Gimme the ball is idiomatic. How do you know it means Give me, and not Furble the ball? We're taught Give me, we say Gimme. Both have a role.
I am pretty sure LLMs would be great to turn regular English into ACE including resolving detected ambiguities.
I get it, people don't like to have their lives disrupted, and I sympathize, just as I sympathized when secretaries, bookstore owners and others were forced to find other ways to make a living. At least in our case we still have (or can find) a job, it has just changed, to some extent even considerably.