Tipo A: todos los S son P.