Četnosti použití predikátů v krocích řešení úloh

Popisuje strukturu použití predikátů v jednotlivých krocích řešení úloh.

Čestnosti použití pravidel v řešení úloh

Popisuje strukturu úlohy, resp. použití pravidel při řešení jednotlivých úloh.