 In the seminal paper  Kraus et al. (1990)  this idea is investigated systematically. The authors introduce various semantic structures, among them preferential ones. A preferential structure \(S\) consists of 