Higher-Order Coalition Logic