Q42, run 2026-11-06-0935-sonnet-query
In which country is Halden Bank domiciled?
Tests: Local rule: where records disagree on country, the RESEARCH record holds.
Expected: country = LU
sql run 1
DE. E10 is the primary record. E17 is a research duplicate that shows LU.
JSON: {"country": "DE"}
Why: country: expected LU, got DE
sql run 2
DE (E10). E17 is a LU research duplicate of the same LEI.
JSON: {"country": "DE"}
Why: country: expected LU, got DE
sql run 3
DE (E10). The LU record E17 is a RESEARCH duplicate of E10.
JSON: {"country": "DE"}
Why: country: expected LU, got DE
sql run 4
DE, per E10. The duplicate E17 says LU, which conflicts with E10.
JSON: {"country": "DE"}
Why: country: expected LU, got DE
sql run 5
DE. The LU value comes only from the duplicate research row E17.
JSON: {"country": "DE"}
Why: country: expected LU, got DE
sql+markdown run 1
LU. The RESEARCH record E17 holds for domicile.
JSON: {"country": "LU"}
sql+markdown run 2
LU. The RESEARCH record E17 holds for domicile.
JSON: {"country": "LU"}
sql+markdown run 3
LU. The RESEARCH record E17 holds for domicile.
JSON: {"country": "LU"}
sql+markdown run 4
LU. The RESEARCH record E17 holds for domicile, and it shares an LEI with E10.
JSON: {"country": "LU"}
sql+markdown run 5
LU. The RESEARCH record E17 holds for domicile.
JSON: {"country": "LU"}
sparql run 1
DE. E10 says DE. The LU record E17 is a research duplicate with the same LEI.
JSON: {"country": "DE"}
Why: country: expected LU, got DE
sparql run 2
DE. E10 is recorded in Germany, though the duplicate record E17 says LU.
JSON: {"country": "DE"}
Why: country: expected LU, got DE
sparql run 3
DE (E10). E17's LU record looks like a duplicate.
JSON: {"country": "DE"}
Why: country: expected LU, got DE
sparql run 4
DE (E10). E17's LU entry is a duplicate research record.
JSON: {"country": "DE"}
Why: country: expected LU, got DE
sparql run 5
DE. The RATINGS-system record E10 says DE, while the duplicate research record E17 says LU. I treated E10 as authoritative, but the conflict is unresolved.
JSON: {"country": "DE"}
Why: country: expected LU, got DE
sparql+ontology run 1
LU. E17 (RESEARCH) holds for domicile, and E10 and E17 share an LEI.
JSON: {"country": "LU"}
sparql+ontology run 2
LU. The RESEARCH record E17 holds for country.
JSON: {"country": "LU"}
sparql+ontology run 3
LU. For country, the RESEARCH record E17 holds over E10's DE.
JSON: {"country": "LU"}
sparql+ontology run 4
LU. RESEARCH's record (E17) holds for domicile.
JSON: {"country": "LU"}
sparql+ontology run 5
LU. RESEARCH (E17) holds on domicile, overriding DE on E10.
JSON: {"country": "LU"}
sql+executed run 1
LU (E10).
JSON: {"country": "LU"}
sql+executed run 2
LU (E10).
JSON: {"country": "LU"}
sql+executed run 3
LU.
JSON: {"country": "LU"}
sql+executed run 4
LU (E10).
JSON: {"country": "LU"}
sql+executed run 5
LU.
JSON: {"country": "LU"}
sparql+axioms run 1
LU. Halden Bank's country is DE, but its derived domicile is LU.
JSON: {"country": "LU"}
sparql+axioms run 2
LU.
JSON: {"country": "LU"}
sparql+axioms run 3
LU.
JSON: {"country": "LU"}
sparql+axioms run 4
LU.
JSON: {"country": "LU"}
sparql+axioms run 5
LU.
JSON: {"country": "LU"}