What is the logical role of qad yakūn in this section?

Further Conditional Divisions, Quantification and Conditional Quantifiers

• Universal denial of a relation
• Making ability the necessary topic
• Only marking future tense
• Affirming a relation in some suppositions