[quesera]

Laws attempt to solve this problem with verbosity. It works pretty well but of course the exceptions are always interesting.

But I think the domain of an AI-first PL would or could be much smaller. So the language is "lower-level" than English, but "higher-level" than any existing PL including AppleScript etc, because it would not have to follow the same kinds of strict parser rules.

With a smaller domain, I think the necessary verbosity of an AI-first PL could be acceptable and less ambiguous than law.