* In model theory, structures assign an interpretation to the atomic formulas.
* In proof theory, polarity assignment for atomic formulas is an essential component of focusing.
* Atomic sentence

References