Lecture

Predicate Logic: Translating Natural Language into Logic