 In fact, these three types of prosleptic premises are used in constructing three figures of prosleptic syllogisms, which are composed of one prosleptic and one categorical premise; for instance, the following is a first figure prosleptic syllogism: