Q5, run 2026-11-06-0855-haiku
Is the M. Ellison who wrote W08 the same person as the Mara Ellison who wrote W01?
Tests: Identity: a name variant shared with a different person.
Expected: same = no
csv+axioms run 1
No. A04 (W08) has ORCID 0000-0004-8662-8360 and A01 (W01) has 0000-0002-9841-6229.
JSON: {"same": "no"}
csv+axioms run 2
No. A04 (ORCID 0000-0004-8662-8360) and A01 (ORCID 0000-0002-9841-6229) have different ORCIDs.
JSON: {"same": "no"}
csv+axioms run 3
No. A04 (W08) and A01 (W01) have different ORCIDs.
JSON: {"same": "no"}
csv+axioms run 4
No. A04 (ORCID 0000-0004-8662-8360) and A01 (ORCID 0000-0002-9841-6229) are different people.
JSON: {"same": "no"}
csv+axioms run 5
No. A04 (ORCID 0004-8662-8360) wrote W08 and A01 (ORCID 0002-9841-6229) wrote W01, so they are different people.
JSON: {"same": "no"}
csv+axioms+markdown run 1
No. W08 is by A04 (ORCID 0000-0004-8662-8360) and W01 by A01 (ORCID 0000-0002-9841-6229).
JSON: {"same": "no"}
csv+axioms+markdown run 2
No. A04 (ORCID 0000-0004-8662-8360) and A01 (0000-0002-9841-6229) have different ORCIDs.
JSON: {"same": "no"}
csv+axioms+markdown run 3
No. A04 has ORCID 0000-0004-8662-8360; A01 has 0000-0002-9841-6229.
JSON: {"same": "no"}
csv+axioms+markdown run 4
No. W08 is by A04 (ORCID …8662-8360) and W01 is by A01 (ORCID …9841-6229), which are different ORCIDs.
JSON: {"same": "no"}
csv+axioms+markdown run 5
No. A04 has ORCID 0000-0004-8662-8360 and A01 has 0000-0002-9841-6229.
JSON: {"same": "no"}