Zadání SDCF-kvantifikátoru

Součástí zadání množiny relevantních SDCF-výrazů je zadání SDCF-kvantifikátoru ≈ v okně dle následujícího obrázku.

SDCF-kvantifikátor ≈ je dán jako konjunkce SDCF-kvantifikátorů zadaných v tomto okně. To znamená, že podmínka definující SDCF-kvantifikátor ≈ je konjunkcí podmínek definujících jednotlivé zadané SDCF-kvantifikátory. Každé z uvedených tlačítek zahajuje zadávání jiného typu SDCF-kvantifikátoru.

Při zadávání CF-kvantifikátorů se často používá Category range.