Фактически, большинство приведённых примеров пресуппозирует некий предмет Х, задавая разнообразие/онтологию Х. Типа если у Х есть/выделяют/говорят некие разновидности, то существование Х становится более убедительным.Фактически, большинство примеров создают воронку пресуппозиций для Х.