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. |