Q22, run 2026-11-04-2013-sonnet

← back to the run

Which entities have ever been in default?

Tests: Default semantics: RD is a default; WD is not.

Expected: entities = ['E08']

✅ R1 csv run 1 graded by code

E08, which reached RD in A22.

JSON: {"entities": ["E08"]}

✅ R1 csv run 2 graded by code

E08, which reached RD in A22.

JSON: {"entities": ["E08"]}

✅ R1 csv run 3 graded by code

E08, via the RD in A22.

JSON: {"entities": ["E08"]}

✅ R1 csv run 4 graded by code

E08, which reached RD (A22).

JSON: {"entities": ["E08"]}

✅ R1 csv run 5 graded by code

E08, which reached RD (A22).

JSON: {"entities": ["E08"]}

✅ R5 csv+ontology run 1 graded by code

E08, which reached RD in A22.

JSON: {"entities": ["E08"]}

✅ R5 csv+ontology run 2 graded by code

E08, which reached RD (A22).

JSON: {"entities": ["E08"]}

✅ R5 csv+ontology run 3 graded by code

E08, which reached RD in A22.

JSON: {"entities": ["E08"]}

✅ R5 csv+ontology run 4 graded by code

E08. Its RD in A22 is the only default in the data.

JSON: {"entities": ["E08"]}

✅ R5 csv+ontology run 5 graded by code

E08. Its RD in A22 is a default, and no other entity has RD or D.

JSON: {"entities": ["E08"]}

✅ R4 csv+markdown run 1 graded by code

E08. A22 moved it to RD, a default.

JSON: {"entities": ["E08"]}

✅ R4 csv+markdown run 2 graded by code

E08, which reached RD in A22.

JSON: {"entities": ["E08"]}

✅ R4 csv+markdown run 3 graded by code

E08, which reached RD in A22.

JSON: {"entities": ["E08"]}

✅ R4 csv+markdown run 4 graded by code

E08. It reached RD in A22.

JSON: {"entities": ["E08"]}

✅ R4 csv+markdown run 5 graded by code

E08.

JSON: {"entities": ["E08"]}

✅ R8 csv+axioms run 1 graded by code

E08. It reached RD in A22.

JSON: {"entities": ["E08"]}

✅ R8 csv+axioms run 2 graded by code

E08. It is the only entity ever rated RD or D (A22).

JSON: {"entities": ["E08"]}

✅ R8 csv+axioms run 3 graded by code

E08. It is the only entity ever rated RD or D (A22).

JSON: {"entities": ["E08"]}

✅ R8 csv+axioms run 4 graded by code

E08, rated RD in A22.

JSON: {"entities": ["E08"]}

✅ R8 csv+axioms run 5 graded by code

E08, via RD in A22.

JSON: {"entities": ["E08"]}