ہر تعریف کی تحقیق میں تین سوالات الگ کیے جاتے ہیں:
1. قید کا مقصد: کون سی غلط صورت کو تعریف سے خارج کرنا ہے؟
2. قید کی ضرورت: کیا تعریف کی باقی عبارت سے بھی وہ صورت پہلے ہی خارج ہوچکی تھی؟
3. قید کا اثر: کہیں ایسا تو نہیں کہ ایک درست صورت بھی غیر ضروری طور پر خارج ہوجائے؟
«من غير تأويل»، «بالتحقيق» اور «في اصطلاح به التخاطب» کے بارے میں اختلاف اسی پیمانے سے سمجھ میں آتا ہے۔ محض یہ کہ کسی عبارت میں زیادہ شرطیں آ گئیں، اس کی علمی برتری کی دلیل نہیں؛ شرط اپنے کام میں واضح ہو اور دوسری شرطوں سے متصادم نہ ہو۔
تدریسی مثال «رأيت أسداً يخطب» میں وضع، مراد، قرینہ اور ادعائی تشبیہ کو ایک ایک کر کے متعین کرنے سے ان قیدوں کی افادیت واضح ہوتی ہے۔