What should be considered before calling a restriction redundant?

Implicit and Imaginative Metaphor: Competing Accounts and al-Sakkaki’s Definitions

• Whether it excludes a case not excluded by the rest of the definition
• Whether it contains few Arabic letters
• Whether it precedes the example
• Whether it can be used in poetry