atomic_formula