Refactor quantifiers attributes.