Distributional Formal Semantics