A generalised quantifier theory of natural language in categorical compositional distributional semantics with bialgebras. (10th April 2019)