Formal semantics of Natural Language: Logical expressive power and syntactic variation in natural language