Title: Logical Form
Subjects: Natural language processing (computer science), Logic