Nonmonotonic Logic sidottuEnglanti, 1993