Zadání CF-kvantifikátoru

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

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

• Tlačítkem Add distribution quantifier se zadávají distribuční CF-kvantifikátory popsané zde.
• Tlačítkem Add simple frequencies quantifier se zadávají jednoduché frekvenční
  CF-kvantifikátory popsané zde.
• Tlačítkem Add step-up/down quantifier se zadávají step-up/down CF-kvantifikátory popsané zde.
• Tlačítkem Add pattern-difference quantifier se zadávají rozdílové CF-kvantifikátory popsané zde.

Při zadávání jednoduchých frekvenčních, step-up/down a rozdílových CF-kvantifikátorů je možno použít Category range.

Při zadávání rozdílových CF-kvantifikátorů je možno použít galerii uložených vzorů.