Q22, run 2026-11-05-1227-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, rated RD in A22.

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

✅ R1 csv run 4 graded by code

E08, which reached RD in A22.

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

✅ R1 csv run 5 graded by code

E08, which reached RD in A22.

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

✅ R2 rdf run 1 graded by code

E08 (RD, A22).

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

✅ R2 rdf run 2 graded by code

E08, through the RD rating in A22.

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

✅ R2 rdf run 3 graded by code

E08 (A22, RD).

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

✅ R2 rdf run 4 graded by code

E08, from A22 (RD).

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

✅ R2 rdf run 5 graded by code

E08 (RD, A22).

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

✅ R6 rdf+ontology run 1 graded by code

E08, which reached RD in A22.

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

✅ R6 rdf+ontology run 2 graded by code

E08. It was rated RD (A22).

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

✅ R6 rdf+ontology run 3 graded by code

E08, which reached RD (a default) in A22.

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

✅ R6 rdf+ontology run 4 graded by code

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

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

✅ R6 rdf+ontology run 5 graded by code

E08, which reached RD in A22.

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

✅ R5 csv+ontology run 1 graded by code

E08. It reached RD in A22.

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

✅ R5 csv+ontology run 2 graded by code

E08, which reached RD in 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, which reached RD in A22.

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

✅ R5 csv+ontology run 5 graded by code

E08. A22 gave it RD, a default.

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

✅ R4 csv+markdown run 1 graded by code

E08, which reached RD in A22.

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 (A22).

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

✅ R4 csv+markdown run 4 graded by code

E08, which reached RD in A22.

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

✅ R4 csv+markdown run 5 graded by code

E08, which reached RD in A22.

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

✅ R3 csv+padding run 1 graded by code

E08, which reached RD (A22).

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

✅ R3 csv+padding run 2 graded by code

E08, because of the RD in A22.

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

✅ R3 csv+padding run 3 graded by code

E08 (RD, A22).

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

✅ R3 csv+padding run 4 graded by code

E08 (A22).

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

✅ R3 csv+padding run 5 graded by code

E08 (A22).

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

✅ R10 executed run 1 graded by code

E08 (RD, A22).

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

✅ R10 executed run 2 graded by code

E08, which was rated RD (A22).

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

✅ R10 executed run 3 graded by code

Saxby Shipping (E08, A22).

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

✅ R10 executed run 4 graded by code

E08 (RD, A22).

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

✅ R10 executed run 5 graded by code

E08 (RD, A22).

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

✅ R7 csv+neutral run 1 graded by code

E08. It reached RD in A22, which is the only default in the data.

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

✅ R7 csv+neutral run 2 graded by code

E08, which reached RD (A22).

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

✅ R7 csv+neutral run 3 graded by code

E08, which reached RD in A22.

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

✅ R7 csv+neutral run 4 graded by code

E08, which reached RD in A22.

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

✅ R7 csv+neutral run 5 graded by code

E08, which reached RD in A22.

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

✅ R8 csv+axioms run 1 graded by code

E08. A22 is an RD rating.

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

✅ R8 csv+axioms run 2 graded by code

E08, which reached RD in A22.

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

✅ R8 csv+axioms run 3 graded by code

E08. A22 gave it RD, and no other record carries RD or D.

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

✅ R8 csv+axioms run 4 graded by code

E08. A22 is RD.

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

✅ R8 csv+axioms run 5 graded by code

E08 only, from the RD rating in A22.

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

✅ R9 csv+axioms+markdown run 1 graded by code

E08, which reached RD in A22.

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

✅ R9 csv+axioms+markdown run 2 graded by code

E08, which reached RD in A22.

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

✅ R9 csv+axioms+markdown run 3 graded by code

E08, which reached RD in A22.

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

✅ R9 csv+axioms+markdown run 4 graded by code

E08, which reached RD in A22.

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

✅ R9 csv+axioms+markdown run 5 graded by code

E08, which reached RD in A22.

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