خلاصه ماشینی:
"(2)نحو:«إذا جاء زید فأنا اکرمه»فعامل«إذا»جوابها،ای ما فی جوابها من فعل او شبهه،لأن صدر الکلام جملة اسمیة،و«اذا»و ما أضیف الیه فی رتبة التأخیر کما فی:«یوم تسافر أنا اسافر»و لم تعتبر فاء الربط مانعة من عمل ما بعدها فیما قبلها لأن تقدم الاسم لغرض-و هو تضمنه معنی الشرط الذی له الصدر-جوز ذلک ا هـ(انظر الصبان علی الاشمونی ج 3/52).
(5)فی المغنی ما نصه:(و الرابع)أن تکون للمفاجأة،نص علی ذلک سیبویة و هی الواقعة بعد بینا أو بینما کقوله: استقدر الله خیرا و ارضین به فبینما العسر إذ دارت میاسیر - ق-و هل هی ظرف مکان او زمان او حرف بمعنی المفاجأة،او حرف توکید زائد؟(أقوال)و علی القول بالظرفیة،فقال ابن جنی:عاملها الفعل الذی بعدها لأنها غیر مضافة الیه،و عالم بینا و بینما محذوف یفسره الفعل المذکور و قال الشلوبین«إذ»مصافة الی الجملة،فلا یعمل فیها الفعل،و لا فی«بینا و بینما» لأن المضاف الیه لا یعمل فی المضاف و لا فیما فبله،و إنما عاملها محذوف یدل علیه الکلام و«إذ»بدل منهما.
فان دخلهما الجار فمجروران1،و إلا به إن کان بعده ما ینصبه،و إلا فمبتدأ، ق-2-ذهب الکوفیون الی أنه إذ تقدم الاسم المرفوع بعد«أن» الشرطیة نحو قولک:«إن زید أتانی آته»فانه یرتفع بما عاد الیه من الفعل من غیر تقدیر فعل،و ذهب البصریون إلی أنه یرتفع فعل،و التقدیر فیه: إن أتانی زید،و الفعل المظهر تفسیر لذلک الفعل المقدر.
3-ذهب الکوفیون إلی أنه إذا تقدم الاسم المرفوع فی جواب الشرط، قانه لا یجوز فیه الجزم و وجب الرفع نحو:«إن تأتنی زید یکرمک»و اختلفوا فی تقدیم المنصوب فی جواب الشرط نحو«إن تأتنی زیدا أکرم»فأباه أبو زکریاء،یحیی بن زیاد الفراء،و اجازه ابو الحسن علی بن حمزة الکسائی."