@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 "Each Dryad file was retrieved by solving the Anubis fast challenge and following the redirect to the object store. SquamBase Limbs values were mapped with the pre-registered codebook: a leading integer is that count, limbless is 0, forelimbs-only or hindlimbs-only is 2, and reduced or four well-developed limbs is 4. Arthropod rows with Leg count greater than 4 were checked for a vertebrate class or order from the pre-registered list."; "Measured: 0 counterexamples (squamate limb counts outside {0, 2, 4}, plus many-legged specimens coded vertebrate) (n = 11744, category strings mapped with the pre-registered codebook; leading integer wins when the cell starts with a digit). Interpretation: Scope maps 'blooded' to vertebrates and 'bloodless' to invertebrates. 'Feet' are paired locomotory limbs or walking legs, not digits. SquamBase categories follow Meiri's codebook: a numeric cell is that count; 'limbless' or 'absent' or 'none' maps to 0; 'forelimb only', 'hindlimb only', 'front only', 'hind only' or 'one pair' maps to 2; 'fully limbed', 'four', 'both pairs' or 'reduced' (short limbs, not an extra pair) maps to 4. A tiny vestige that the dataset itself calls limbless stays 0. Digit counts are ignored. Vertebrate coding in the arthropod file is a taxonomic field containing Vertebrata, Mammalia, Aves, Reptilia, Amphibia, Actinopterygii, Chondrichthyes, or an order in {Primates, Carnivora, Rodentia, Cetacea, Artiodactyla, Perissodactyla, Chiroptera, Squamata, Testudines, Crocodylia, Anura, Caudata, Gymnophiona, Perciformes, Cypriniformes, Siluriformes, Salmoniformes, Squaliformes, Rajiformes}."; "Claim test of aristotle-ha01-08: supports, confidence 0.78"; ; prov:wasAttributedTo ; "Species- or specimen-level public tables that state a limb or walking-leg count and a taxon name, assembled independently of this claim, with a licence that permits download. The squamate table must cover snakes and lizards, not a single genus. The many-legged table must state walking-leg counts rather than a presence/absence of limbs."; "claim-test/0.1.0"; "biological"; "A squamate with a limb count other than 0, 2 or 4, or a vertebrate specimen with more than four walking legs."; "Mammals, birds, amphibians and fishes are not in these two files. The pre-registration treats that absence as coverage, not as a failure.", "SquamBase 'reduced' is mapped to 4 because the codebook says reduced means short limbs, not an extra pair. Digit counts are not a separate column in this file.", "The arthropod table is a comparative specimen sample, not a census of arthropods."; "Every coded squamate has 0, 2 or 4 limbs, and every arthropod specimen with more than four walking legs is non-vertebrate."; "Any mapped squamate limb count is outside {0, 2, 4}, or any specimen with more than four walking legs is coded as a vertebrate. If either file cannot be retrieved, or fewer than 5000 squamates map, or fewer than 30 many-legged arthropod specimens are present, and no counterexample has already been found, the verdict is inconclusive with reason data-unavailable or underpowered as appropriate. Unmapped limb strings that are more than 1% of SquamBase rows and that do not themselves state a count outside {0, 2, 4} make the verdict inconclusive with reason other, unless a mapped counterexample is already present, in which case the verdict is refutes."; "0.78"^^xsd:double; , ; "supports"; "If every animal with more than four feet is bloodless, and every blooded animal has no feet, two feet or four feet, then squamates (blooded) have only 0, 2 or 4 limbs and every arthropod specimen with more than four walking legs is outside the vertebrates."; "Map each row to a limb count with the codebook above. A universal is refuted by one counterexample. A pass requires both sample-size floors and zero counterexamples. No phylogenetic model."; "Both of the following. (1) In SquamBase, at least 5000 species have a limb count mapped to a number, and none of those counts is outside {0, 2, 4}. (2) In the arthropod feet dataset, at least 30 specimens have a walking-leg count strictly greater than 4, and none of those specimens is coded in a vertebrate class, phylum or order. Mammals, birds, amphibians and fishes are outside these two files and do not have to be present for a pass; their absence is a coverage caveat, not a fail."; "false"^^xsd:boolean . . a ; dc:description "limb category for each squamate species"; dc:license "https://spdx.org/licenses/CC0-1.0.html"; "Dataset: SquamBase 1.0 – a dataset of squamate species traits"; prov:atLocation ; prov:wasDerivedFrom ; "sha256:e850eb807240e1012d0af3e5f2c33a84dab406d50e86a8e3dc591f51a64912af" . a ; dc:description "walking-leg count and taxonomic class or order for each specimen"; dc:license "https://spdx.org/licenses/CC0-1.0.html"; "Dataset: Data from: Which arthropods have feet and why? Addressing an argument for aquatic fossil scorpions"; prov:atLocation ; prov:wasDerivedFrom ; "sha256:0ca5307235e1ce60306fa2d3fd6535bdb011f2b08f172b6eb52fddf2edfa110c" . } sub:provenance { a prov:SoftwareAgent; "delphisci claim tester (Grok 4.7; cursor/aristotle-biology-tests-4186)"; 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.746Z"^^xsd:dateTime; dc:creator ; dc:license ; npx:hasNanopubType ; npx:introduces ; "Claim test of aristotle-ha01-08: supports, confidence 0.78"; . sub:sig npx:hasAlgorithm "RSA"; npx:hasPublicKey "MIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAyFHtPB6p0mCjDozxlOY9CmO3nBm7Te3jFbXyLmM+G1tGe47Da0jYIbhkl9Oo1ZjxmCa3LCwlEqK8gj6hEIcL4ahW30JXh9HycfKVk1bugkzMEV15tJdTzAU3sGMFnbNsn43xY2LFLy45tApkRm5byEiM7oRRrooIdwoQKnP4Wzq/bfAoJ9qvW+MGkelyOTd1jbSt+KfmT7xKmDfWzAHddUlWwMX2QJOLxDaffOteTop6ZRgPiNmPJKA/S62Gac9XtSYT3oDkZ6/nr5cxxNLpOyxTf5FPISiCe11xYO/unYjY+mwnOfA8yhJIyx1l0O9I0vpOpn+E5TvyHJV+oSTrvwIDAQAB"; npx:hasSignature "TalLmGa4Qy06jOrCDzrmAmZXSyEn+Z+FVI7Dl+gRDa+9nDmc289D8c4SWBlunyQ/v0Ab7To2i4nYX84nPUzkWovD1/97ffALwAfIsk9YbMQ/aOFVsgsdUUfCqUuN0O3+W6q8IQc898liqoMa1BPb5vAepwKOT1twJLep5YT5auZ0/Nf+5S7jwQVZG2GxSsIOdUmxZIs1zVwPv9tEfr1AkSuQ8lAh2ePUGQ3kuU2Fwl/9ldstzcf0GkXKSld7WCYbA7NPwKwRDwmdZhLlKq4mbqkySzrYWKotd3eX2+O9JrpXPyuKJmkBOXZa1gvQAA7VyqE8JDT/5apt53gLJrCJVw=="; npx:hasSignatureTarget this:; npx:signedBy . }