In this course we will explore how to model the meaning of natural language via transformation into logical systems and using inference  there to unravel the missing pieces; the pieces that are not linguistically realized, but are conveyed anyways.