Natural language semantics has recently sought to combine the complementary strengths of formal and distributional approaches meaning. However, given fundamentally different ‘representational currency’ underlying these approaches—models world versus linguistic co-occurrence—their unification proven extremely difficult. Here, we define Distributional Formal Semantics, which integrates distributi...