Resolution. An example 1.John is a lawyer. 2.Lawyers are rich. 3.Rich people have big houses. 4.Big houses are a lot of work. We would like to conclude.
Translating English to FOL
