En la primera premisa caballo es una "suppositio materialis" mientras que en la segunda es "suppositio formalis".