phrase(uses_atom_body, [recognized]).