Todos los S son P formula_1 Algún P es S