Recognises undeclared subtype constraints
A supertype with subtypes and nothing saying whether an instance can belong to more than one subtype (disjoint or overlapping) or to none (total or partial).
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 | 100% | Mastered |
| gemini-3.1-pro-preview | Flagship | 93% | Mastered |
| gpt-6-astra | Flagship | 35% | Not shown |
| claude-fable-5-1 | Flagship | 100% | Mastered |
| gemini-3.8-flash | Mid tier | 100% | Mastered |
| gpt-6.1-sol | Mid tier | 33% | Not shown |
| claude-sonnet-5-5 | Mid tier | 100% | Mastered |
| gemini-3.5-flash-lite | Low cost | 0% | 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 supertype and the undeclared disjointness or completeness
How it is assessed: Flags the deficient case and passes the acceptable one. Deficient: Party → Person, Organisation, with nothing saying whether a sole trader (FIE) is one, the other, both or neither Acceptable: Stated as disjoint and total; FIE modelled as a Person with a business role; the discriminator's value set lists exactly the subtypes (LOG-013)
Also known as: Undeclared subtype constraints (logical model)
Related knobits
Builds on
Needed for
All 56 knobits of Derive the logical data model.
Source: Review checklist 05-logical, row 19; E&N 4.3