Q44, run 2026-11-05-1515-sonnet-query

← back to the run

Is Valdoria Telecom's 2027 note a local-currency obligation?

Tests: Local codes: XVD is the Valdorian dollar.

Expected: local_currency = yes

✅ D1 sql run 1 graded by code · query session

Yes. I07 is denominated in XVD, which I take to be Valdoria's local currency (inferred from the code, not stated in the data).

JSON: {"local_currency": "yes"}

✅ D1 sql run 2 graded by code · query session

Yes. I07 is denominated in XVD, the Valdoria currency.

JSON: {"local_currency": "yes"}

✅ D1 sql run 3 graded by code · query session

Yes. I07 is denominated in XVD, the Valdoria currency.

JSON: {"local_currency": "yes"}

✅ D1 sql run 4 graded by code · query session

Yes. I07 is denominated in XVD, Valdoria's currency.

JSON: {"local_currency": "yes"}

✅ D1 sql run 5 graded by code · query session

Yes. I07 is denominated in XVD, Valdoria's currency.

JSON: {"local_currency": "yes"}

✅ D2 sql+markdown run 1 graded by code · query session

Yes. I07 is in XVD, the domestic currency of VD, where the issuer is domiciled.

JSON: {"local_currency": "yes"}

✅ D2 sql+markdown run 2 graded by code · query session

Yes. I07 pays in XVD, the domestic currency of VD.

JSON: {"local_currency": "yes"}

✅ D2 sql+markdown run 3 graded by code · query session

Yes. I07 pays in XVD, Valdoria's domestic currency.

JSON: {"local_currency": "yes"}

✅ D2 sql+markdown run 4 graded by code · query session

Yes. I07 pays in XVD, the domestic currency of VD.

JSON: {"local_currency": "yes"}

✅ D2 sql+markdown run 5 graded by code · query session

Yes. I07 is in XVD, the domestic currency of VD.

JSON: {"local_currency": "yes"}

✅ D4 sparql run 1 graded by code · query session

Yes. I07 is denominated in XVD, Valdoria's local currency.

JSON: {"local_currency": "yes"}

✅ D4 sparql run 2 graded by code · query session

Yes. I07's currency is XVD, Valdoria's local currency.

JSON: {"local_currency": "yes"}

✅ D4 sparql run 3 graded by code · query session

Yes. I07's currency is XVD, Valdoria's local currency.

JSON: {"local_currency": "yes"}

✅ D4 sparql run 4 graded by code · query session

Yes. I07 is denominated in XVD, Valdoria's local currency.

JSON: {"local_currency": "yes"}

✅ D4 sparql run 5 graded by code · query session

Yes. I07 is denominated in XVD, the local currency.

JSON: {"local_currency": "yes"}

✅ D5 sparql+ontology run 1 graded by code · query session

Yes. I07 is in XVD, VD's domestic currency.

JSON: {"local_currency": "yes"}

✅ D5 sparql+ontology run 2 graded by code · query session

Yes. I07 is in XVD, the domestic currency of VD.

JSON: {"local_currency": "yes"}

✅ D5 sparql+ontology run 3 graded by code · query session

Yes. The note (I07) pays in XVD.

JSON: {"local_currency": "yes"}

✅ D5 sparql+ontology run 4 graded by code · query session

Yes. XVD is Valdoria's domestic currency.

JSON: {"local_currency": "yes"}

✅ D5 sparql+ontology run 5 graded by code · query session

Yes. I07 is denominated in XVD, the domestic currency of VD.

JSON: {"local_currency": "yes"}

✅ D3 sql+executed run 1 graded by code · query session

Yes. I07 is flagged local_currency=yes, in XVD.

JSON: {"local_currency": "yes"}

✅ D3 sql+executed run 2 graded by code · query session

Yes. I07 has local_currency = yes and is denominated in XVD.

JSON: {"local_currency": "yes"}

✅ D3 sql+executed run 3 graded by code · query session

Yes. I07 has local_currency = yes and is denominated in XVD.

JSON: {"local_currency": "yes"}

✅ D3 sql+executed run 4 graded by code · query session

Yes. I07 is in XVD with local_currency = yes.

JSON: {"local_currency": "yes"}

✅ D3 sql+executed run 5 graded by code · query session

Yes. I07 is flagged local_currency=yes (currency XVD).

JSON: {"local_currency": "yes"}

✅ D6 sparql+axioms run 1 graded by code · query session

Yes. I07 is flagged local currency and is denominated in XVD.

JSON: {"local_currency": "yes"}

✅ D6 sparql+axioms run 2 graded by code · query session

Yes. I07 has localCurrency true.

JSON: {"local_currency": "yes"}

✅ D6 sparql+axioms run 3 graded by code · query session

Yes. I07 is in XVD with localCurrency true.

JSON: {"local_currency": "yes"}

✅ D6 sparql+axioms run 4 graded by code · query session

Yes. I07 has localCurrency true.

JSON: {"local_currency": "yes"}

✅ D6 sparql+axioms run 5 graded by code · query session

Yes (I07 has localCurrency true).

JSON: {"local_currency": "yes"}