====== Zadání Ac4ft-kvantifikátoru ======

Součástí zadání množiny relevantních akčních pravidel  φ ∧ Φ ≈ ψ ∧ Ψ i podmíněných akčních pravidel φ ∧ Φ ≈ ψ ∧ Ψ /χ je i zadání Ac4ft-kvantifikátoru ≈ v okně dle následujícího obrázku.
 {{ :zadavani_ac4ft-kvantifikatoru.png?400 |}}

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

  * Tlačítkem ''Add statistical quantifier'' se zadávají statistické Ac4ft-kvantifikátory popsané {{ :statisticke_ac4ft_kvantifikatory.pdf |zde}}.
  * Tlačítkem ''Add simple frequencies quantifier'' se zadávají jednoduché frekvenční Ac4ft-kvantifikátory popsané {{ :jednoduche_frekvencni_ac4ft_kvantifikatory.pdf |zde}}.