Theory-driven probabilistic modeling of language use: a case study on quantifiers, logic and typicality - World Wide