This lecture explains how to write first order logic statements given English statements