Describir: A combinatorial theory of possibility