Difference between revisions of "Atomic formula (FOL)"