Return to Article Details Formal semantics for natural language Download Download PDF