Этот закон -- классический пример юридического кода, разбирать который программистам должно быть очень приятно и понятно.

Да, несколько лет назад, когда меня жутко волновали подобные вопросы, я у удовольствием анализировал законодательство страны пребывания. Нашёл между прочим жуткий баг, который отрапортовал путём организации официальной жалобы от группы лиц.

В процессе выяснил, что законы хоть и напоминают код, но виртуальная юридическая машина, на которой они выполняются ничуть не похожа на машину Тюринга. Это скорее обросшая за долгие тысячелетия отростками аппендиксов ДНК, неповоротливо ворочающая протеинами. В ней правит узус, а не логика.