Q11, run 2026-11-06-0855-haiku
How many research works is Kesting University (I07) credited with, its units included?
Tests: Hierarchy with retraction and test records: the institute's W24 counts; W23 (retracted) and W90 to W92 (STG) don't.
Expected: count = 6
csv+axioms run 1
6 research works: W08, W16, W20, W21, W22, W24. W23 is retracted and W90–W92 are staging records.
JSON: {"count": 6}
csv+axioms run 2
6. Kesting-credited research works are W08, W16, W20, W21, W22 and W24 (W23 is retracted).
JSON: {"count": 6}
csv+axioms run 3
6. Kesting's credited research works are W08, W16, W20, W21, W22 and W24, with I08 (W21, W24) rolling up to I07.
JSON: {"count": 6}
csv+axioms run 4
6. Credited to I07 or I08, the research works are W08, W16, W20, W21, W22 and W24. W23 is retracted and W90–W92 are staging loads.
JSON: {"count": 6}
csv+axioms run 5
6. Kesting (I07, with I08 as a unit) is credited on W08, W16, W20, W21, W22 and W24. W23 is retracted and W90–W92 are staging records.
JSON: {"count": 6}
csv+axioms+markdown run 1
6. W08, W16, W20, W21, W22 and W24 (I07 and its unit I08); W23 is retracted.
JSON: {"count": 6}
csv+axioms+markdown run 2
6. W08, W16, W20, W21, W22 and W24 are credited to I07 or its unit I08. W23 is retracted and W90–W92 are staging records.
JSON: {"count": 6}
csv+axioms+markdown run 3
6 (W08, W16, W20, W21, W22, W24). W23 is retracted and W90–W92 are staging records; I08 (W21, W24) is a unit of I07.
JSON: {"count": 6}
csv+axioms+markdown run 4
6. The research works credited to I07 or I08 are W08, W16, W20, W21, W22 and W24; W23 is retracted and W90–W92 are staging records.
JSON: {"count": 6}
csv+axioms+markdown run 5
6. W08, W16, W20, W21, W22 and W24 are credited to I07 or its unit I08.
JSON: {"count": 6}