Tipo O: algún S es No-P.