an atomic sentence is an atomic formula with no variables