See attachment:FirstOrderPredicateLogic.pdf