We complement such research by providing a more formal interpretation of the mapping between language and world knowledge.
we offer a) a vectorial representation of set-theoretic models; b) a mechanism for predicting the application of generalised quantifiers to the sets in a model.