What does “bi-l-taḥqīq” accomplish in the definition of metaphor?

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

• Require an explicit simile particle
• Restrict metaphor to sentence endings
• Equate metaphor with morphological derivatives
• Use the actual assigned sense rather than an imaginatively extended class