Q24, run 2026-11-06-0855-haiku

← back to the run

How many research works has Lena Vossberg (A09) authored?

Tests: Retractions: W23 is retracted.

Expected: count = 3

✅ R8 csv+axioms run 1 graded by code

3: W20, W21 and W22. W23 is retracted.

JSON: {"count": 3}

✅ R8 csv+axioms run 2 graded by code

3. A09 is an author of W20, W21 and W22 (W23 is retracted).

JSON: {"count": 3}

✅ R8 csv+axioms run 3 graded by code

3. Lena Vossberg's research works are W20, W21 and W22 (W23 is retracted).

JSON: {"count": 3}

✅ R8 csv+axioms run 4 graded by code

3. Lena Vossberg's research works are W20, W21 and W22. W23 is retracted.

JSON: {"count": 3}

✅ R8 csv+axioms run 5 graded by code

3. Lena Vossberg (A09) has research works W20, W21 and W22; W23 is retracted.

JSON: {"count": 3}

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

3. W20, W21 and W22 are research works; W23 is retracted.

JSON: {"count": 3}

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

3. W20, W21 and W22 are research works by A09; W23 is retracted.

JSON: {"count": 3}

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

3 (W20, W21, W22). W23 is retracted.

JSON: {"count": 3}

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

3. Lena Vossberg (A09) is on W20, W21 and W22, and W23 is retracted.

JSON: {"count": 3}

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

3. W20, W21 and W22. W23 is retracted.

JSON: {"count": 3}