@prefix this: . @prefix sub: . @prefix np: . @prefix rdf: . @prefix prov: . @prefix npx: . @prefix dc: . @prefix xsd: . sub:Head { this: a np:Nanopublication; np:hasAssertion sub:assertion; np:hasProvenance sub:provenance; np:hasPublicationInfo sub:pubinfo . } sub:assertion { a ; dc:description "Species were matched with strict=true on the GBIF species API (Panthera leo usageKey 5219404; Panthera pardus usageKey 5219436). Each regional count is an occurrence search with limit=0, hasCoordinate=true, and the six pre-registered basisOfRecord values. Libya is the sum of country counts for LY, TN, DZ and MA. Europe outside the Achelous–Nessus box is the continent=EUROPE count minus the same count restricted to the pre-registered polygon. Asia Minor is the pre-registered Anatolia polygon. No area correction was applied. A 20-record European sample was read only to describe what the European counts contain; it is not an input to the four clauses."; "Measured: 4 clauses failed out of 4 (n = 27012). Interpretation: Quote: 'lions are more numerous in Libya, and in that district of Europe that lies between the Achelous and the Nessus; the leopard is more abundant in Asia Minor, and is not found in Europe at all.' 'More numerous' and 'more abundant' are mapped to GBIF occurrence-record counts, the denominator fixed before download; area-normalized density was the alternative and was not chosen. Libya is the four modern countries west of Egypt, not the modern state alone and not Egypt. The boxes are geographic operationalizations of the two rivers and of Anatolia, not polygons drawn around occurrence clusters. This is a modern occurrence-record proxy for a present-tense ancient distribution: later extirpation is a caveat, not a second dataset."; "Claim test of aristotle-ha08-36: refutes, confidence 0.55"; ; prov:wasAttributedTo ; "A public occurrence index that returns a record count for a named species inside a pre-registered country set or polygon, with coordinates, a basis-of-record field that can drop fossils and living captives, and a licence stated by the index. The count must be of records, not of a density another column would have to supply. Wikipedia and undated memory are not admissible."; "claim-test/0.1.0"; "biological"; "One or more of those inequalities is false, or the European leopard count is positive. A tie is a failure of 'more numerous'. Counts below 30 worldwide for either species do not confirm or refute; they leave the test underpowered."; "A 20-record sample of the European hits, not used in the verdict, shows lion records from 1990–2019 in France, Germany and Sweden, including Zoologischer Garten Frankfurt and Tiergarten Nürnberg, and leopard records that are mostly MATERIAL_CITATION (17 of 20), including cave sites, plus one preserved specimen whose locality is a zoo. The basisOfRecord filter removed FOSSIL_SPECIMEN and LIVING_SPECIMEN and did not remove those.", "All four pre-registered clauses fail. Lion records: Libya (LY+TN+DZ+MA) 5, of which LY is 1, TN 0, DZ 1 and MA 3; Achelous–Nessus box 1; Europe outside the box 54. Leopard records: Asia Minor polygon 3, Libya 3, Europe 31.", "The claim is in the present tense about the fourth century BCE. This index is mostly modern. Extirpation after Aristotle would make a formerly true statement fail this proxy, and that history is not what these counts measure.", "The denominator is occurrence records, not animals. Europe is recorded more densely than Libya or Anatolia, which works against the claim. The lion gap (5 and 1 versus 54) is not a tie.", "The polygons are fixed geographic approximations of the Achelous, the Nessus/Nestos and Anatolia, not surveyed ancient boundaries. GBIF continent=EUROPE includes the northern Caucasus."; "Under the fixed filters, Panthera leo record counts in Libya and in the Achelous–Nessus box each exceed the lion count in the rest of Europe; Panthera pardus record counts are higher in the Asia Minor box than in Europe and than in Libya, and the European leopard count is zero."; "Pre-registered. With both species at or above 30 worldwide records: if 3 or 4 clauses fail, the verdict is refutes; if 1 or 2 clauses fail, the verdict is mixed. A 'more numerous' or 'more abundant' clause fails when its inequality is false (a tie fails). Clause 4 fails when the European leopard count is 1 or greater. If a GBIF query errors or a species match is not exact, the verdict is inconclusive with reason other. Density is not computed and cannot be substituted after the counts are seen."; "0.55"^^xsd:double; ; "refutes"; "If lions are more numerous in Libya and in the European district between the Achelous and the Nessus, and the leopard is more abundant in Asia Minor and absent from Europe, then GBIF georeferenced occurrence-record counts (the pre-registered denominator) will be higher for lions in those two districts than in the rest of Europe, higher for leopards in Asia Minor than in Europe or Libya, and zero for leopards in Europe."; "Four pre-registered comparisons of GBIF occurrence counts. No area correction, no effort covariate, no post-hoc change of polygon. Support requires all four true; three or four failures refute; one or two failures are mixed; fewer than 30 worldwide records for either species is inconclusive (underpowered)."; "Pre-registered. Denominator is the count of GBIF occurrence records, not area and not a density. Filters, fixed before any count is read: species match of Panthera leo and of Panthera pardus (exact species-rank match; taxonKey includes subordinate taxa), hasCoordinate=true, basisOfRecord in {HUMAN_OBSERVATION, PRESERVED_SPECIMEN, MATERIAL_SAMPLE, OCCURRENCE, MACHINE_OBSERVATION, MATERIAL_CITATION} (fossils and living/captive specimens excluded). Regions, fixed before any count is read: Libya = GBIF countries LY, TN, DZ and MA summed (Aristotle's Libya in this chapter is North Africa west of Egypt; the same chapter treats Egypt separately); Achelous–Nessus box = WKT POLYGON((21.0 38.3, 24.8 38.3, 24.8 41.5, 21.0 41.5, 21.0 38.3)) intersected with continent=EUROPE (west edge the Achelous near 21°E, east edge the Nessus/Nestos near 24.8°E, south the Achelous mouth near 38.3°N, north the upper Nestos near 41.5°N); Europe outside that box = continent=EUROPE minus the box count; Asia Minor = POLYGON((26.3 36.0, 44.0 36.0, 44.0 42.0, 26.3 42.0, 26.3 36.0)); Europe for the leopard = continent=EUROPE. Four clauses pass only if: (1) lion count in Libya > lion count in Europe outside the box; (2) lion count in the box > lion count in Europe outside the box; (3) leopard count in Asia Minor > leopard count in Europe and > leopard count in Libya; (4) leopard count in Europe = 0. The claim is supported only if all four pass. A species with fewer than 30 records worldwide under the same filters makes the test inconclusive (underpowered)."; "false"^^xsd:boolean . . a ; dc:description "Georeferenced occurrence-record counts, the pre-registered denominator"; dc:license "Each contributing dataset carries its own licence (CC0, CC BY, or CC BY-NC). GBIF's data-use terms are at https://www.gbif.org/terms."; "Dataset: GBIF occurrence search and species match for Panthera leo and Panthera pardus"; prov:atLocation , , , , , , , , , , , , , , , , , , , ; prov:wasDerivedFrom ; "sha256:27355b4cd2ec6529def1ebd1fe075bf5390acc9f8ac7acf9ee33a87983140b99", "sha256:34cadd6a9721ecd61d0c98c3353b5140bec3c30a3c57a2277c52fa5288198f87", "sha256:3a0a3ff659c3cbc3aa42b17b271bb2a9cc492e5478415a55a9cc8ce36d97902b", "sha256:48a8d41df132b2d8e933ede7662b7c5164936d1611ff1ec5945f2496bcfd9722", "sha256:842e210a1dc11a43b863a7438d0b8ae273f0182c290a7c64e760c176778cc9fa", "sha256:8eff51864d652a76e2b27c6a37c6ef37365a3eb83299b8d701d881e590ae4e7f", "sha256:8fd78501d7fd80d209d4a42b4c07961b118910a474fec87524486b1970cf2ff5", "sha256:8ff3b05f382e3ed80c5c607cad96b412b7446a1a03be22b19a9256adc07d0cab", "sha256:9793b108bab87ebb00f13e4d3df5c36634040de0878e9a2060b4c119155858a0", "sha256:ac70273e6e3c55c4fd9f2c17eb5a18d6acae12398b195409de222f4f294b514f", "sha256:e0c62a6db79bc8ece634c40cc40640723d800ff5bacd4545588f5d800f62b029", "sha256:e5a3a1b20c230f73e93a1f07e4b42c61c86b3b863ff60c1ed98eebab46992259" . } sub:provenance { a prov:SoftwareAgent; "delphisci claim tester (grok-4.7; cursor/aristotle-life-history-i-b0f1)"; prov:actedOnBehalfOf ; . a ; dc:identifier "grok-4.7" . sub:assertion prov:wasAttributedTo ; prov:wasDerivedFrom ; prov:wasGeneratedBy sub:test . sub:plan prov:hadPlan . sub:test a prov:Activity; prov:qualifiedAssociation sub:plan; prov:wasAssociatedWith . } sub:pubinfo { this: dc:created "2026-11-08T16:24:31.782Z"^^xsd:dateTime; dc:creator ; dc:license ; npx:hasNanopubType ; npx:introduces ; "Claim test of aristotle-ha08-36: refutes, confidence 0.55"; . sub:sig npx:hasAlgorithm "RSA"; npx:hasPublicKey "MIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAyFHtPB6p0mCjDozxlOY9CmO3nBm7Te3jFbXyLmM+G1tGe47Da0jYIbhkl9Oo1ZjxmCa3LCwlEqK8gj6hEIcL4ahW30JXh9HycfKVk1bugkzMEV15tJdTzAU3sGMFnbNsn43xY2LFLy45tApkRm5byEiM7oRRrooIdwoQKnP4Wzq/bfAoJ9qvW+MGkelyOTd1jbSt+KfmT7xKmDfWzAHddUlWwMX2QJOLxDaffOteTop6ZRgPiNmPJKA/S62Gac9XtSYT3oDkZ6/nr5cxxNLpOyxTf5FPISiCe11xYO/unYjY+mwnOfA8yhJIyx1l0O9I0vpOpn+E5TvyHJV+oSTrvwIDAQAB"; npx:hasSignature "jPMdeWikkm/lP4F8dQZ6XFcPUB0SAO1RHHCYwW4uSce89WiblJk/0pIUkqI9U/paEwt5XP52r/Ox+/CyABZ3INc/5Fl2+Ol8xcYT3/uhpeES+hlKqL6qE0FTKR5ahsCDnRAg6xQ94N00bss6g9Hi9cKGSPLuqGRwmHvDk2efE5lc2Ontif96UJnBglPHDzesJEWMK1ppciv//SpEU6tPOPtSkNCnEvZW1OFq1geKA5/tKofZZwu6JGLL9CieVJg5APODr5YbMdPY81YvCzTFOxd3Wq0qNP45zK3LHLOdHo55O5jGkTIEWqrJSKjqIqeZGu6aSSSrScXWt9Hg2k90Xw=="; npx:hasSignatureTarget this:; npx:signedBy . }