原子命題_atomic_formula