«وسور الموجبة الجزئية فيهما «قد يكون»»
For an affirmative particular conditional—connective or disjunctive—the marker is qad yakūn.
Its role here is to affirm the relevant judgment for some suppositions. A relation holding in some cases does not, merely for that reason, establish that it holds universally.
Thus qad yakūn is not simply a conversational hesitation. In this logical classification it functions as the marker of particular affirmative quantity.