 In the material mode, the modal analysis gives an account of what it is to have an ability in terms of quantification over possible worlds. In the formal mode, it gives a semantics for the ascription of ability — paradigmatically, sentences involving ‘can’ or ‘is able to’ — in terms of quantification over possible worlds.