Recognises a definitional rule filed as operative

Mida see tähendab

A rule that cannot be violated, recorded as a constraint. It becomes a check that can never fail.

Kuidas seda hinnatakse

Flags the deficient case and passes the acceptable one. Deficient: "An available balance is the ledger balance less holds", `kind: data`, `enforcement: constraint` Acceptable: `kind: definitional`, `modality: alethic`, realised as a derivation or in the term's definition (`RUL-014`)

Tugineb

Explains alethic and deontic modality of rulesK-352 · Teadmine

Vajalik

Puudub