Q48, run 2026-11-06-0855-sonnet
Why is W70 not one of the University of Albury's research works, though its author lists the Tessel Laboratory?
Tests: Local rules: the last-listed affiliation, and affiliated institutes.
Expected: Tomasz Wierzba lists the Tessel Laboratory first and the Halloran Institute second; the house rule credits the last-listed one, Halloran. Halloran is an affiliated institute (AFF): its parent link is an agreement, so its works are not the University of Albury's.
csv+axioms run 1
A08's credited affiliation on W70 is the one with the highest affiliation sequence, which is I06 (sequence 2). I06 is an affiliated institute and does not roll up to the University of Albury, so I04 does not count.
Why: Says the last-sequence affiliation counts and that the affiliated institute doesn't roll up to Albury, but does not name the Halloran Institute explicitly (only I06), and the Tessel Laboratory point is not addressed; mostly meets both points.
csv+axioms run 2
Credit goes to the author's highest-numbered affiliation on the work. On W70, A08 lists I04 (sequence 1) and I06 (sequence 2), so W70 is credited to I06, which is an affiliated institute that does not roll up to I02.
csv+axioms run 3
A08 lists I04 first (sequence 1) and I06 second (sequence 2), and the highest sequence is the one credited. I06 is an affiliated institute, so it does not roll up into I02.
Why: Correctly says the last-listed (highest sequence) affiliation counts, so W70 goes to I06, and that I06 is an affiliated institute not rolling up to I02; but it doesn't state it as the Halloran Institute / not a unit explicitly in names, and uses IDs only. Substantively it meets both points, so this is a lenient partial.
csv+axioms run 4
A08 lists I04 at affiliation sequence 1 and I06 at sequence 2 on W70. Credit goes to the highest sequence, so W70 is credited only to I06. I06 is an affiliated institute and does not roll up to the University of Albury. (W71 reverses the order, so it is credited to I04 and its parents.)
csv+axioms run 5
W70's credited affiliation is its highest affiliation sequence, which is I06 (the Halloran Institute, seq 2). I06 is an affiliated institute, so it does not count towards I02 despite its parent link, and W70 is therefore not credited to I02.
csv+axioms+markdown run 1
A08 listed I04 (sequence 1) and I06 (sequence 2) on W70. The house rule credits only the last-listed affiliation, so W70 goes to I06. I06 is an affiliated institute, and its parent link to I02 does not make it a unit, so the work never reaches the University of Albury.
csv+axioms+markdown run 2
A08 listed I04 (seq 1) and I06 (seq 2) on W70, and only the highest sequence counts, so the credit goes to I06. I06 is an affiliated institute, so its parent link to I02 does not make it a unit and nothing flows up to the University of Albury.
csv+axioms+markdown run 3
A08 listed I04 (sequence 1) and I06 (sequence 2) on W70, and only the last-listed affiliation is credited, which is I06. I06 is an affiliated institute, so its parent link to I02 is not membership, and the work does not count towards I02.
csv+axioms+markdown run 4
A08 lists I04 first and I06 last on W70, and the last-listed affiliation is the one credited. I06 is an affiliated institute, so it is not a unit of the University of Albury and its works are not credited upward.
csv+axioms+markdown run 5
A08 listed I04 (sequence 1) and I06 (sequence 2), and only the highest sequence is credited, so W70 goes to I06. I06 is an affiliated institute, not a unit of I02, so the credit does not roll up to the University of Albury.