Recognises a data rule no valid data can satisfy
A rule that cannot be satisfied by any data that also satisfies its neighbours. The consequence of row 1, and worth naming separately because it is the rule that will never fire.
Can AI do this?
Not tested yet
No AI benchmark covers this knobit yet. New results are announced in the Can AI Do the Job? newsletter.
What it looks like in practice
Expected result: The rule and the neighbouring rules it cannot coexist with
How it is assessed: Flags the deficient case and passes the acceptable one. Deficient: BR-2 above: no row can ever satisfy it while BR-1 stands Acceptable: Resolve the contradiction; the surviving rule is satisfiable (ANO-006)
Also known as: Vacuous rule (data rule)
Related knobits
Builds on
All 28 knobits of Document data rules as SBVR fact types and rule statements.
Source: Review checklist 03-data-rules, row 2