Q43, run 2026-11-04-1825-sonnet
How many distinct entities are domiciled in Luxembourg (LU)?
Tests: Local rule: the RESEARCH record's country is overruled by the RATINGS record's.
Expected: count = 0
csv run 1
0. The only LU record is E17, a duplicate of E10, which is DE in the primary record.
JSON: {"count": 0}
csv run 2
0. The only LU record is E17, a research-system duplicate of E10, which is domiciled in DE.
JSON: {"count": 0}
csv run 3
0. The only LU record is E17, a duplicate of the DE-domiciled E10.
JSON: {"count": 0}
csv run 4
0. The only LU record is E17, a RESEARCH duplicate of E10, whose primary record says DE. If you trust E17, the answer would be 1.
JSON: {"count": 0}
csv run 5
0. The only LU record is E17, a RESEARCH duplicate of E10, which is DE in the RATINGS record.
JSON: {"count": 0}
csv+ontology run 1
0. The only LU record is E17, and RATINGS overrides it with DE.
JSON: {"count": 0}
csv+ontology run 2
0. The only LU record is E17, and the RATINGS record for that entity says DE.
JSON: {"count": 0}
csv+ontology run 3
0. The only LU record is E17, and RATINGS puts that entity in DE.
JSON: {"count": 0}
csv+ontology run 4
0. The only LU record is E17, and the RATINGS record for the same entity says DE.
JSON: {"count": 0}
csv+ontology run 5
0. The only LU record is E17, and the RATINGS record for that entity says DE.
JSON: {"count": 0}
csv+axioms run 1
0. E17 resolves to DE, so no entity is domiciled in LU.
JSON: {"count": 0}
csv+axioms run 2
0. E17's LU is overridden by E10's DE.
JSON: {"count": 0}
csv+axioms run 3
0. E17's LU is overridden by the RATINGS record for the same entity (E10, DE).
JSON: {"count": 0}
csv+axioms run 4
0. E17's LU is overridden by E10's DE domicile.
JSON: {"count": 0}
csv+axioms run 5
0. The only LU record is E17, which is E10 and therefore domiciled in DE.
JSON: {"count": 0}
csv+axioms+markdown run 1
0. E17 is domiciled in DE through its RATINGS twin E10, and no other entity has LU.
JSON: {"count": 0}
csv+axioms+markdown run 2
0. E17 resolves to DE.
JSON: {"count": 0}
csv+axioms+markdown run 3
0. E17's LU is overridden by the RATINGS country of DE.
JSON: {"count": 0}
csv+axioms+markdown run 4
0. The only LU record is E17, and E10's RATINGS record gives DE.
JSON: {"count": 0}
csv+axioms+markdown run 5
0. E17 says LU, but it is the same entity as E10, whose RATINGS record says DE.
JSON: {"count": 0}