Solution: Logical form to lexicon and derivation