Making Agents' Abilities Explicit