BUDE DOPLŇENO
Přehled
Zadání množiny relevantních tvrzení
Klonování
Spuštění procedury
Export hypotéz
Skupiny hypotéz
Hypotéza jako nový sloupec
Zadání vztahu množin α a β pro SD-procedury
Galerie uložených vzorů
Filtr pro cedenty Category range Doménová znalost