Content covered: 

Learn How to write First order logic statements