атомарная формула

Atomic expression