text: Лэймен Аллен выступал за использование пропозициональной логики для разрешения таких синтаксических двусмысленностей в серии статей, возможно, первым предложив использование логики для моделирования законов в ИИ и праве.