Recognises one relationship stated as two fact types
Two fact types state the same relationship under different names, so the rules about it split into two groups nobody compares.
Can AI do this?
AI does this well Most of the tested AI models master this. 7 of 10 models master it.
| Model | Tier | Probability of mastery | Status |
|---|---|---|---|
| gemini-4-argon | Flagship | 82% | Not shown |
| gemini-3.1-pro-preview | Flagship | 100% | Mastered |
| gpt-6-astra | Flagship | 100% | Mastered |
| claude-fable-5-1 | Flagship | 83% | Not shown |
| gemini-3.8-flash | Mid tier | 100% | Mastered |
| gpt-6.1-sol | Mid tier | 100% | Mastered |
| claude-sonnet-5-5 | Mid tier | 100% | Mastered |
| gemini-3.5-flash-lite | Low cost | 35% | Not shown |
| gpt-6-luna | Low cost | 100% | Mastered |
| claude-haiku-5-5 | Low cost | 100% | Mastered |
Mastered means a probability of at least 90% that the model has this knobit, estimated from its graded answers. “Not shown” means the answers do not settle it either way. How the models are tested.
What it looks like in practice
Expected result: The fact types to merge
How it is assessed: Flags the deficient case and passes the acceptable one. Deficient: FT-1: Account has ledger balance (is-property-of) and FT-5: Account has ledger balance (associative) Acceptable: One fact type with one kind; the kind decides whether it becomes an attribute or a relationship (FCT-008)
Also known as: Same term, two fact types (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 8