 The fact that default theories can have zero, one, or multiple extensions raises the issue of what inferences one is warranted in drawing from a given default theory. The problem can be presented as follows: given a default theory \((\Gamma, \Delta)\), what sentences can be regarded as defeasible consequences of the theory? 