 To go through an example, we also need to understand the semantics of an atomic formula like “man x”. Atomic formulas act like a test on the input assignments, allowing those assignments that satisfy the condition to pass through and act as input to subsequent assignments and rejecting the rest. However, atomic formulas do not change assignment functions. More specifically, an input output pair \(\langle g,h\rangle\) is in the interpretation of an atomic formula “\(Rt_1 \ldots t_n\)” just in case \(h=g\) and h assigns “\(t_1\)”… “\(t_n\)” to something in the interpretation of R.