application of predicate logic in ai 4122926