Probabilistic Type Theory and Natural Language Semantics