Rule Syntax

Rule Semantic

∀s, client, ∃n: knowledge (s, client, n) ∧ n = 1 ⟹ fail;

If the estimator knowledge about client is equal to 1 then output equal fail.

∀s, client, ∃n: knowledge (s, client, n) ∧ n = 2 ⟹ pass;

If the estimator knowledge about client is equal to 2 then output equal pass.

∀s, client, ∃n: knowledge (s, client, n) ∧ n = 3 ⟹ acceptable;

If the estimator knowledge about client is equal to 3 then output equal acceptable.

∀s, client, ∃n: knowledge (s, client, n) ∧ n = 4 ⟹ good;

If the estimator knowledge about client is equal to 4 then output equal good.

∀s, client, ∃n: knowledge (s, client, n) ∧ n = 5 ⟹ very good;

If the estimator knowledge about client is equal to 5 then output equal very good.