text: **Formal semantics of natural language**
  
  Formal semantics is a subfield of logic, linguistics, and the philosophy of language. The discipline of 
  semantics studies the meaning of language. Formal semantics uses formal tools from the fields of 
  symbolic logic and mathematics to give precise theories of the meaning of natural language expressions. 
  It understands meaning usually in relation to truth conditions, i.e. it examines in which situations a 