Describe FirstOrderPredicateLogic here.