The struggle here is ambiguity. That's a hard problem for computing, but not a hard problem for people. An ambulance can simply break the rule, because human rule-makers are able to make exceptions.

A lot of people are very excited about LLMs, because they can encounter ambiguity without halting. Unfortunately, what they can't do is resolve that ambiguity. We are still only able to compute context-free rules.