"formal semantics"@en-us . .