Я думаю. что проблема тут в необъятности предметной базы. То есть, юристы оперируют большим количеством высокоуровневых (т.е. у каждого человека есть какое-то представление о том, что данное слово значит в контексте, но строго определения нет) понятий естественного языка ("лицо", "действие", "предумышленно", etc), порой весьма причудно взаимодействующих, что затрудняет строгую формализацию.
С другой стороны, было бы очень интересно посмотреть на попытки приблизиться к решению этой проблемы. Законы, действующие в соответствие с формальной логикой, – это же круто!
