Т.е. пресуппозиция выделяет некий класс в этой онтологии, а субъект:
— конгруэнтный — конкретный элемент класса
— полярный — элемент противоположного класса
— мета-полярный — элемент класса противоположного суперкласса


В хрустальном шаре несколько типов пресуппозиций:

--пресуппозиции существования элементов онтологии в их целом множестве
--«логические» пресуппозиции поуровневого считывания/ развёртывания онтологии