 Occasionally, a more fine-grained distinction between types of conditionals (luzūmī or ittifāqī) or types of disjunctions (exclusive and exhaustive; exclusive but non-exhaustive; inclusive) is required. Similarly, it is sometimes necessary to identify antecedents and consequents of conditionals (for conversion and inferential relations with disjunctions). In such cases the above abbreviations are expanded to include the required additional information. For instance to express the claim that a universal affirmative exclusive and exhaustive disjunction implies a universal affirmative luzūmī conditional in which antecedent and consequent are contradictories and may be any of the parts of the disjunctive, I will write that (a-\(\mathbb{D}\)1)a1a2 implies (a-\(\mathbb{C}\)l)a1o2, (a-\(\mathbb{C}\)l)a2o1, (a-\(\mathbb{C}\)l)o1a2, and (a-\(\mathbb{C}\)l)o2a1, where superscript “l” stands for luzūmī, and the superscript numbers are used to track the disjuncts where they appear as antecedent or consequent of the conditional statements.