Atomic_formula loading ...