El hecho de que "x" sea del tipo "S" implica que será cierto que "P"("x").