 Avicenna recognizes two basic types of proposition (qaḍiyya): (1) categoricals (ḥamliyyāt), atomic subject-predicate propositions, qualified in various ways; and (2) hypotheticals (šarṭiyyāt), molecular propositions governed by a main connective, which may express a conditional (muttaṣil) or a disjunctive (munfaṣil) statement taking as its parts categoricals, hypotheticals, or a combination thereof.