Grammars of Formal Uncertainty