https://w3id.org/np/RAcDv3OGDnbQyJnrcqPnFiyAwrfnSgruNPQCjHVOj9wHk/Head https://w3id.org/np/RAcDv3OGDnbQyJnrcqPnFiyAwrfnSgruNPQCjHVOj9wHk http://www.nanopub.org/nschema#hasAssertion https://w3id.org/np/RAcDv3OGDnbQyJnrcqPnFiyAwrfnSgruNPQCjHVOj9wHk/assertion https://w3id.org/np/RAcDv3OGDnbQyJnrcqPnFiyAwrfnSgruNPQCjHVOj9wHk http://www.nanopub.org/nschema#hasProvenance https://w3id.org/np/RAcDv3OGDnbQyJnrcqPnFiyAwrfnSgruNPQCjHVOj9wHk/provenance https://w3id.org/np/RAcDv3OGDnbQyJnrcqPnFiyAwrfnSgruNPQCjHVOj9wHk http://www.nanopub.org/nschema#hasPublicationInfo https://w3id.org/np/RAcDv3OGDnbQyJnrcqPnFiyAwrfnSgruNPQCjHVOj9wHk/pubinfo https://w3id.org/np/RAcDv3OGDnbQyJnrcqPnFiyAwrfnSgruNPQCjHVOj9wHk http://www.w3.org/1999/02/22-rdf-syntax-ns#type http://www.nanopub.org/nschema#Nanopublication https://w3id.org/np/RAcDv3OGDnbQyJnrcqPnFiyAwrfnSgruNPQCjHVOj9wHk/assertion https://w3id.org/delphi/resource/assessment/aristotle-ha01-08--claim-test http://purl.org/dc/terms/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. https://w3id.org/delphi/resource/assessment/aristotle-ha01-08--claim-test http://www.w3.org/1999/02/22-rdf-syntax-ns#type https://w3id.org/delphi/ontology/Assessment https://w3id.org/delphi/resource/assessment/aristotle-ha01-08--claim-test http://www.w3.org/2000/01/rdf-schema#comment 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}. https://w3id.org/delphi/resource/assessment/aristotle-ha01-08--claim-test http://www.w3.org/2000/01/rdf-schema#label Claim test of aristotle-ha01-08: supports, confidence 0.78 https://w3id.org/delphi/resource/assessment/aristotle-ha01-08--claim-test http://www.w3.org/2000/01/rdf-schema#seeAlso https://github.com/fractastical/delphisci/blob/bf2af6ee0a84e23ffa6414ad7a0a50a8c276506e/test-data/claim-tests/aristotle-biology/aristotle-ha01-08/result.json https://w3id.org/delphi/resource/assessment/aristotle-ha01-08--claim-test http://www.w3.org/ns/prov#wasAttributedTo https://w3id.org/delphi/resource/agent/delphisci-claim-tester-grok-4-7 https://w3id.org/delphi/resource/assessment/aristotle-ha01-08--claim-test https://w3id.org/delphi/ontology/admissibleDatasets 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. https://w3id.org/delphi/resource/assessment/aristotle-ha01-08--claim-test https://w3id.org/delphi/ontology/assessmentType claim-test/0.1.0 https://w3id.org/delphi/resource/assessment/aristotle-ha01-08--claim-test https://w3id.org/delphi/ontology/dataKind biological https://w3id.org/delphi/resource/assessment/aristotle-ha01-08--claim-test https://w3id.org/delphi/ontology/disconfirmingObservation A squamate with a limb count other than 0, 2 or 4, or a vertebrate specimen with more than four walking legs. https://w3id.org/delphi/resource/assessment/aristotle-ha01-08--claim-test https://w3id.org/delphi/ontology/evidenceAgainst Mammals, birds, amphibians and fishes are not in these two files. The pre-registration treats that absence as coverage, not as a failure. https://w3id.org/delphi/resource/assessment/aristotle-ha01-08--claim-test https://w3id.org/delphi/ontology/evidenceAgainst 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. https://w3id.org/delphi/resource/assessment/aristotle-ha01-08--claim-test https://w3id.org/delphi/ontology/evidenceAgainst The arthropod table is a comparative specimen sample, not a census of arthropods. https://w3id.org/delphi/resource/assessment/aristotle-ha01-08--claim-test https://w3id.org/delphi/ontology/expectedObservation Every coded squamate has 0, 2 or 4 limbs, and every arthropod specimen with more than four walking legs is non-vertebrate. https://w3id.org/delphi/resource/assessment/aristotle-ha01-08--claim-test https://w3id.org/delphi/ontology/failCriterion 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. https://w3id.org/delphi/resource/assessment/aristotle-ha01-08--claim-test https://w3id.org/delphi/ontology/hasConfidence 0.78 https://w3id.org/delphi/resource/assessment/aristotle-ha01-08--claim-test https://w3id.org/delphi/ontology/hasEvidence https://w3id.org/delphi/resource/evidence/aristotle-ha01-08--claim-test--dataset-1 https://w3id.org/delphi/resource/assessment/aristotle-ha01-08--claim-test https://w3id.org/delphi/ontology/hasEvidence https://w3id.org/delphi/resource/evidence/aristotle-ha01-08--claim-test--dataset-2 https://w3id.org/delphi/resource/assessment/aristotle-ha01-08--claim-test https://w3id.org/delphi/ontology/hasVerdict supports https://w3id.org/delphi/resource/assessment/aristotle-ha01-08--claim-test https://w3id.org/delphi/ontology/hypothesis 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. https://w3id.org/delphi/resource/assessment/aristotle-ha01-08--claim-test https://w3id.org/delphi/ontology/inferenceMethod 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. https://w3id.org/delphi/resource/assessment/aristotle-ha01-08--claim-test https://w3id.org/delphi/ontology/passCriterion 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. https://w3id.org/delphi/resource/assessment/aristotle-ha01-08--claim-test https://w3id.org/delphi/ontology/preregistered false https://w3id.org/delphi/resource/claim/aristotle-ha01-08 https://w3id.org/delphi/ontology/hasAssessment https://w3id.org/delphi/resource/assessment/aristotle-ha01-08--claim-test https://w3id.org/delphi/resource/evidence/aristotle-ha01-08--claim-test--dataset-1 http://purl.org/dc/terms/description limb category for each squamate species https://w3id.org/delphi/resource/evidence/aristotle-ha01-08--claim-test--dataset-1 http://purl.org/dc/terms/license https://spdx.org/licenses/CC0-1.0.html https://w3id.org/delphi/resource/evidence/aristotle-ha01-08--claim-test--dataset-1 http://www.w3.org/1999/02/22-rdf-syntax-ns#type https://w3id.org/delphi/ontology/EvidenceItem https://w3id.org/delphi/resource/evidence/aristotle-ha01-08--claim-test--dataset-1 http://www.w3.org/2000/01/rdf-schema#label Dataset: SquamBase 1.0 – a dataset of squamate species traits https://w3id.org/delphi/resource/evidence/aristotle-ha01-08--claim-test--dataset-1 http://www.w3.org/ns/prov#atLocation https://datadryad.org/downloads/file_stream/2884612 https://w3id.org/delphi/resource/evidence/aristotle-ha01-08--claim-test--dataset-1 http://www.w3.org/ns/prov#wasDerivedFrom https://datadryad.org/dataset/doi:10.5061/dryad.76hdr7t3b https://w3id.org/delphi/resource/evidence/aristotle-ha01-08--claim-test--dataset-1 https://w3id.org/delphi/ontology/hasChecksum sha256:e850eb807240e1012d0af3e5f2c33a84dab406d50e86a8e3dc591f51a64912af https://w3id.org/delphi/resource/evidence/aristotle-ha01-08--claim-test--dataset-2 http://purl.org/dc/terms/description walking-leg count and taxonomic class or order for each specimen https://w3id.org/delphi/resource/evidence/aristotle-ha01-08--claim-test--dataset-2 http://purl.org/dc/terms/license https://spdx.org/licenses/CC0-1.0.html https://w3id.org/delphi/resource/evidence/aristotle-ha01-08--claim-test--dataset-2 http://www.w3.org/1999/02/22-rdf-syntax-ns#type https://w3id.org/delphi/ontology/EvidenceItem https://w3id.org/delphi/resource/evidence/aristotle-ha01-08--claim-test--dataset-2 http://www.w3.org/2000/01/rdf-schema#label Dataset: Data from: Which arthropods have feet and why? Addressing an argument for aquatic fossil scorpions https://w3id.org/delphi/resource/evidence/aristotle-ha01-08--claim-test--dataset-2 http://www.w3.org/ns/prov#atLocation https://datadryad.org/downloads/file_stream/4221035 https://w3id.org/delphi/resource/evidence/aristotle-ha01-08--claim-test--dataset-2 http://www.w3.org/ns/prov#wasDerivedFrom https://datadryad.org/dataset/doi:10.5061/dryad.98sf7m0tk https://w3id.org/delphi/resource/evidence/aristotle-ha01-08--claim-test--dataset-2 https://w3id.org/delphi/ontology/hasChecksum sha256:0ca5307235e1ce60306fa2d3fd6535bdb011f2b08f172b6eb52fddf2edfa110c https://w3id.org/np/RAcDv3OGDnbQyJnrcqPnFiyAwrfnSgruNPQCjHVOj9wHk/provenance https://w3id.org/delphi/resource/agent/delphisci-claim-tester-grok-4-7 http://www.w3.org/1999/02/22-rdf-syntax-ns#type http://www.w3.org/ns/prov#SoftwareAgent https://w3id.org/delphi/resource/agent/delphisci-claim-tester-grok-4-7 http://www.w3.org/2000/01/rdf-schema#label delphisci claim tester (Grok 4.7; cursor/aristotle-biology-tests-4186) https://w3id.org/delphi/resource/agent/delphisci-claim-tester-grok-4-7 http://www.w3.org/ns/prov#actedOnBehalfOf https://orcid.org/0009-0007-4948-9192 https://w3id.org/delphi/resource/agent/delphisci-claim-tester-grok-4-7 https://w3id.org/delphi/ontology/usesModel https://w3id.org/delphi/resource/model/grok-4-7 https://w3id.org/delphi/resource/model/grok-4-7 http://purl.org/dc/terms/identifier Grok 4.7 https://w3id.org/delphi/resource/model/grok-4-7 http://www.w3.org/1999/02/22-rdf-syntax-ns#type https://w3id.org/delphi/ontology/LanguageModel https://w3id.org/np/RAcDv3OGDnbQyJnrcqPnFiyAwrfnSgruNPQCjHVOj9wHk/assertion http://www.w3.org/ns/prov#wasAttributedTo https://w3id.org/delphi/resource/agent/delphisci-claim-tester-grok-4-7 https://w3id.org/np/RAcDv3OGDnbQyJnrcqPnFiyAwrfnSgruNPQCjHVOj9wHk/assertion http://www.w3.org/ns/prov#wasDerivedFrom https://github.com/fractastical/delphisci/blob/bf2af6ee0a84e23ffa6414ad7a0a50a8c276506e/test-data/claim-tests/aristotle-biology/aristotle-ha01-08/result.json https://w3id.org/np/RAcDv3OGDnbQyJnrcqPnFiyAwrfnSgruNPQCjHVOj9wHk/assertion http://www.w3.org/ns/prov#wasGeneratedBy https://w3id.org/np/RAcDv3OGDnbQyJnrcqPnFiyAwrfnSgruNPQCjHVOj9wHk/test https://w3id.org/np/RAcDv3OGDnbQyJnrcqPnFiyAwrfnSgruNPQCjHVOj9wHk/plan http://www.w3.org/ns/prov#hadPlan https://github.com/fractastical/delphisci/blob/bf2af6ee0a84e23ffa6414ad7a0a50a8c276506e/test-data/claim-tests/README.md https://w3id.org/np/RAcDv3OGDnbQyJnrcqPnFiyAwrfnSgruNPQCjHVOj9wHk/test http://www.w3.org/1999/02/22-rdf-syntax-ns#type http://www.w3.org/ns/prov#Activity https://w3id.org/np/RAcDv3OGDnbQyJnrcqPnFiyAwrfnSgruNPQCjHVOj9wHk/test http://www.w3.org/ns/prov#qualifiedAssociation https://w3id.org/np/RAcDv3OGDnbQyJnrcqPnFiyAwrfnSgruNPQCjHVOj9wHk/plan https://w3id.org/np/RAcDv3OGDnbQyJnrcqPnFiyAwrfnSgruNPQCjHVOj9wHk/test http://www.w3.org/ns/prov#wasAssociatedWith https://w3id.org/delphi/resource/agent/delphisci-claim-tester-grok-4-7 https://w3id.org/np/RAcDv3OGDnbQyJnrcqPnFiyAwrfnSgruNPQCjHVOj9wHk/pubinfo https://w3id.org/np/RAcDv3OGDnbQyJnrcqPnFiyAwrfnSgruNPQCjHVOj9wHk http://purl.org/dc/terms/created 2026-11-08T16:24:31.746Z https://w3id.org/np/RAcDv3OGDnbQyJnrcqPnFiyAwrfnSgruNPQCjHVOj9wHk http://purl.org/dc/terms/creator https://orcid.org/0009-0007-4948-9192 https://w3id.org/np/RAcDv3OGDnbQyJnrcqPnFiyAwrfnSgruNPQCjHVOj9wHk http://purl.org/dc/terms/license https://creativecommons.org/licenses/by/4.0/ https://w3id.org/np/RAcDv3OGDnbQyJnrcqPnFiyAwrfnSgruNPQCjHVOj9wHk http://purl.org/nanopub/x/hasNanopubType https://w3id.org/delphi/ontology/Assessment https://w3id.org/np/RAcDv3OGDnbQyJnrcqPnFiyAwrfnSgruNPQCjHVOj9wHk http://purl.org/nanopub/x/introduces https://w3id.org/delphi/resource/assessment/aristotle-ha01-08--claim-test https://w3id.org/np/RAcDv3OGDnbQyJnrcqPnFiyAwrfnSgruNPQCjHVOj9wHk http://www.w3.org/2000/01/rdf-schema#label Claim test of aristotle-ha01-08: supports, confidence 0.78 https://w3id.org/np/RAcDv3OGDnbQyJnrcqPnFiyAwrfnSgruNPQCjHVOj9wHk https://w3id.org/delphi/ontology/domain https://w3id.org/delphi/resource/domain/aristotle-biology https://w3id.org/np/RAcDv3OGDnbQyJnrcqPnFiyAwrfnSgruNPQCjHVOj9wHk/sig http://purl.org/nanopub/x/hasAlgorithm RSA https://w3id.org/np/RAcDv3OGDnbQyJnrcqPnFiyAwrfnSgruNPQCjHVOj9wHk/sig http://purl.org/nanopub/x/hasPublicKey MIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAyFHtPB6p0mCjDozxlOY9CmO3nBm7Te3jFbXyLmM+G1tGe47Da0jYIbhkl9Oo1ZjxmCa3LCwlEqK8gj6hEIcL4ahW30JXh9HycfKVk1bugkzMEV15tJdTzAU3sGMFnbNsn43xY2LFLy45tApkRm5byEiM7oRRrooIdwoQKnP4Wzq/bfAoJ9qvW+MGkelyOTd1jbSt+KfmT7xKmDfWzAHddUlWwMX2QJOLxDaffOteTop6ZRgPiNmPJKA/S62Gac9XtSYT3oDkZ6/nr5cxxNLpOyxTf5FPISiCe11xYO/unYjY+mwnOfA8yhJIyx1l0O9I0vpOpn+E5TvyHJV+oSTrvwIDAQAB https://w3id.org/np/RAcDv3OGDnbQyJnrcqPnFiyAwrfnSgruNPQCjHVOj9wHk/sig http://purl.org/nanopub/x/hasSignature TalLmGa4Qy06jOrCDzrmAmZXSyEn+Z+FVI7Dl+gRDa+9nDmc289D8c4SWBlunyQ/v0Ab7To2i4nYX84nPUzkWovD1/97ffALwAfIsk9YbMQ/aOFVsgsdUUfCqUuN0O3+W6q8IQc898liqoMa1BPb5vAepwKOT1twJLep5YT5auZ0/Nf+5S7jwQVZG2GxSsIOdUmxZIs1zVwPv9tEfr1AkSuQ8lAh2ePUGQ3kuU2Fwl/9ldstzcf0GkXKSld7WCYbA7NPwKwRDwmdZhLlKq4mbqkySzrYWKotd3eX2+O9JrpXPyuKJmkBOXZa1gvQAA7VyqE8JDT/5apt53gLJrCJVw== https://w3id.org/np/RAcDv3OGDnbQyJnrcqPnFiyAwrfnSgruNPQCjHVOj9wHk/sig http://purl.org/nanopub/x/hasSignatureTarget https://w3id.org/np/RAcDv3OGDnbQyJnrcqPnFiyAwrfnSgruNPQCjHVOj9wHk https://w3id.org/np/RAcDv3OGDnbQyJnrcqPnFiyAwrfnSgruNPQCjHVOj9wHk/sig http://purl.org/nanopub/x/signedBy https://orcid.org/0009-0007-4948-9192