modification on the hierarchy of certain atoms for Relex2Logic