«بالضرورة كل قمر منخسف وقت حيلولة الأرض بينه وبين الشمس لا دائما»
زمین کے چاند اور سورج کے درمیان حائل ہونے کے وقت ہر چاند کو بالضرورۃ گرہن لگتا ہے، لیکن ہمیشہ نہیں۔
یہاں وقتِ حیلولہ خاص وقت کی تعیین کرتا ہے۔ «بالضرورۃ» اسی وقت کے ساتھ حکم کو مقید کرتا ہے، اور «لا دائماً» یہ بتاتا ہے کہ گرہن چاند کے وجود کے ہر لمحے کا وصف نہیں۔
اس مثال کی علمی احتیاط یہ ہے کہ حقیقی چاند گرہن کے لیے محض زمین کا بیچ میں آ جانا کافی نہیں؛ مناسب زاویائی ترتیب بھی ضروری ہے۔ متن کی مثال کا منطقی مقصد قیدِ وقت + نفیِ دوام دکھانا ہے۔