Q28, run 2026-11-06-0855-haiku
How many distinct works from Rostval Technical University (I09) cite Kesting University's research works?
Tests: Citations rolled up: a work counts once, not once per author.
Expected: count = 1
csv+axioms run 1
1: W32. The only other citing works from Kesting's output (W33, W34, W35, W36) are not from Rostval.
JSON: {"count": 1}
csv+axioms run 2
1. Only W32 (Rostval) cites a Kesting research work (W20).
JSON: {"count": 1}
csv+axioms run 3
1. Only W32 (Rostval-authored) cites a Kesting research work (W20).
JSON: {"count": 1}
csv+axioms run 4
1. Only W32 (Rostval) cites a Kesting research work (W20).
JSON: {"count": 1}
csv+axioms run 5
1. Only W32 (Rostval) cites a Kesting research work (W20).
JSON: {"count": 1}
csv+axioms+markdown run 1
1. Only W32 (I09) cites a Kesting research work.
JSON: {"count": 1}
csv+axioms+markdown run 2
1. Only W32 is from I09 among the citers of Kesting's research works.
JSON: {"count": 1}
csv+axioms+markdown run 3
1 (W32).
JSON: {"count": 1}
csv+axioms+markdown run 4
1. Only W32, by Rostval authors, cites a Kesting research work.
JSON: {"count": 1}
csv+axioms+markdown run 5
1. Only W32, from Rostval authors, cites a Kesting work (W20).
JSON: {"count": 1}