There is no right abstraction to make runnable human vagueness.

At one point someone have to take "what you think it should do" into defined unambiguous spec that is called "code"