https://w3id.org/np/RAeR1xVU7GB4NmIYU4mhLEhiZ3MttVHJdNDRGZjcIPyzQ/Head https://w3id.org/np/RAeR1xVU7GB4NmIYU4mhLEhiZ3MttVHJdNDRGZjcIPyzQ http://www.nanopub.org/nschema#hasAssertion https://w3id.org/np/RAeR1xVU7GB4NmIYU4mhLEhiZ3MttVHJdNDRGZjcIPyzQ/assertion https://w3id.org/np/RAeR1xVU7GB4NmIYU4mhLEhiZ3MttVHJdNDRGZjcIPyzQ http://www.nanopub.org/nschema#hasProvenance https://w3id.org/np/RAeR1xVU7GB4NmIYU4mhLEhiZ3MttVHJdNDRGZjcIPyzQ/provenance https://w3id.org/np/RAeR1xVU7GB4NmIYU4mhLEhiZ3MttVHJdNDRGZjcIPyzQ http://www.nanopub.org/nschema#hasPublicationInfo https://w3id.org/np/RAeR1xVU7GB4NmIYU4mhLEhiZ3MttVHJdNDRGZjcIPyzQ/pubinfo https://w3id.org/np/RAeR1xVU7GB4NmIYU4mhLEhiZ3MttVHJdNDRGZjcIPyzQ http://www.w3.org/1999/02/22-rdf-syntax-ns#type http://www.nanopub.org/nschema#Nanopublication https://w3id.org/np/RAeR1xVU7GB4NmIYU4mhLEhiZ3MttVHJdNDRGZjcIPyzQ/assertion https://w3id.org/delphi/resource/assessment/aristotle-ha02-24--claim-test http://purl.org/dc/terms/description Fetched the pre-registered Animal Diversity Web species and family accounts, coded four traits from phrases in the subject clause of each sentence, skipping glossary popovers and everything after the References heading, filled a species gap from its family only when the family stated the trait, and applied the counterexample and minimum-set rules. Phrase lists were not extended. https://w3id.org/delphi/resource/assessment/aristotle-ha02-24--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-ha02-24--claim-test http://www.w3.org/2000/01/rdf-schema#comment Measured: 0 fully coded species that are horned, lack upper incisors, have four chambers and chew the cud (n = 0). Interpretation: The quote identifies the horned animals that are not equally toothed in both jaws with the four-chambered cud-chewers. Antlers and ossicones count as horns because the claim's own examples include the stag and the test's giraffe is scored by the account's wording. A family sentence is used only as a fallback. Camelids are in the panel because they are the living cud-chewers outside the horned, four-chambered set; if their accounts do not state the four traits, the identity is untested rather than assumed. https://w3id.org/delphi/resource/assessment/aristotle-ha02-24--claim-test http://www.w3.org/2000/01/rdf-schema#label Claim test of aristotle-ha02-24: inconclusive, confidence 0.4 https://w3id.org/delphi/resource/assessment/aristotle-ha02-24--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-ha02-24/result.json https://w3id.org/delphi/resource/assessment/aristotle-ha02-24--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-ha02-24--claim-test https://w3id.org/delphi/ontology/admissibleDatasets Public species accounts that state horns or antlers, upper incisors, stomach chambers and cud-chewing for the pre-registered ungulates. A family account fills a trait only when the species account does not state it. Contrast clauses about other animals are not coded. https://w3id.org/delphi/resource/assessment/aristotle-ha02-24--claim-test https://w3id.org/delphi/ontology/assessmentType claim-test/0.1.0 https://w3id.org/delphi/resource/assessment/aristotle-ha02-24--claim-test https://w3id.org/delphi/ontology/dataKind biological https://w3id.org/delphi/resource/assessment/aristotle-ha02-24--claim-test https://w3id.org/delphi/ontology/disconfirmingObservation A horned species without upper incisors has a stomach that is not four-chambered, or a species chews the cud without being in that set. https://w3id.org/delphi/resource/assessment/aristotle-ha02-24--claim-test https://w3id.org/delphi/ontology/evidenceAgainst Glossary popovers and the References section were excluded: a glossary example that names antlers is not a statement that the species has antlers, and a citation title is not a statement that the animal chews the cud. The registered token 'ruminant' does not match the plural 'ruminants' under the word-boundary rule, and that token was not added. https://w3id.org/delphi/resource/assessment/aristotle-ha02-24--claim-test https://w3id.org/delphi/ontology/evidenceAgainst Phrase coding of prose can miss a trait that the account states in other words. Unstated is not a biological zero. https://w3id.org/delphi/resource/assessment/aristotle-ha02-24--claim-test https://w3id.org/delphi/ontology/evidenceAgainst The panel is twelve species, not every ungulate. One counterexample on the panel can refute a universal; agreement of the panel does not prove the universal beyond those accounts. https://w3id.org/delphi/resource/assessment/aristotle-ha02-24--claim-test https://w3id.org/delphi/ontology/expectedObservation Every coded horned species that lacks upper incisors has four stomach chambers and chews the cud, and every coded cud-chewer is one of those species. https://w3id.org/delphi/resource/assessment/aristotle-ha02-24--claim-test https://w3id.org/delphi/ontology/failCriterion Pre-registered. A conditional counterexample is a fully coded horned species without upper incisors whose chamber count is not 4 or that does not chew the cud. An identity counterexample is a fully coded cud-chewer that is not in that antecedent set or does not have four chambers. One counterexample refutes the claim (confidence 0.70). If there is no counterexample but the minimum set is incomplete, the verdict is inconclusive with reason underpowered, or data-unavailable if no account could be fetched (confidence 0.40). https://w3id.org/delphi/resource/assessment/aristotle-ha02-24--claim-test https://w3id.org/delphi/ontology/hasConfidence 0.4 https://w3id.org/delphi/resource/assessment/aristotle-ha02-24--claim-test https://w3id.org/delphi/ontology/hasEvidence https://w3id.org/delphi/resource/evidence/aristotle-ha02-24--claim-test--dataset-1 https://w3id.org/delphi/resource/assessment/aristotle-ha02-24--claim-test https://w3id.org/delphi/ontology/hasVerdict inconclusive https://w3id.org/delphi/resource/assessment/aristotle-ha02-24--claim-test https://w3id.org/delphi/ontology/hypothesis If horned quadrupeds that lack upper front teeth have four stomach chambers and are exactly the animals that chew the cud, species accounts will show that combination and will not show a cud-chewer outside it or a member of it with another stomach. https://w3id.org/delphi/resource/assessment/aristotle-ha02-24--claim-test https://w3id.org/delphi/ontology/inferenceMethod Match the preregistered phrases in the subject clause of each sentence, with priority or exclusive mode as set per trait. Apply the minimum set and the counterexample rule. https://w3id.org/delphi/resource/assessment/aristotle-ha02-24--claim-test https://w3id.org/delphi/ontology/passCriterion Pre-registered. A species is in the antecedent when horns are paired, single, antlers or ossicones, and upper incisors are absent. It matches when it also has four chambers and chews the cud. Support requires at least three matching antecedent species, including one bovid and one cervid, at least one coded species that is not antecedent and does not chew the cud, and at least one camelid with all four traits coded, and no counterexample. Confidence 0.60. https://w3id.org/delphi/resource/assessment/aristotle-ha02-24--claim-test https://w3id.org/delphi/ontology/preregistered false https://w3id.org/delphi/resource/claim/aristotle-ha02-24 https://w3id.org/delphi/ontology/hasAssessment https://w3id.org/delphi/resource/assessment/aristotle-ha02-24--claim-test https://w3id.org/delphi/resource/evidence/aristotle-ha02-24--claim-test--dataset-1 http://purl.org/dc/terms/description wording of horns, incisors, stomach chambers and rumination https://w3id.org/delphi/resource/evidence/aristotle-ha02-24--claim-test--dataset-1 http://purl.org/dc/terms/license https://w3id.org/delphi/resource/evidence/aristotle-ha02-24--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-ha02-24--claim-test--dataset-1 http://www.w3.org/2000/01/rdf-schema#label Dataset: Animal Diversity Web ungulate species and family accounts https://w3id.org/delphi/resource/evidence/aristotle-ha02-24--claim-test--dataset-1 http://www.w3.org/ns/prov#wasDerivedFrom https://animaldiversity.org/ https://w3id.org/delphi/resource/evidence/aristotle-ha02-24--claim-test--dataset-1 https://w3id.org/delphi/ontology/hasChecksum sha256:24e7e8d5268b96016f848529082309fb4529d933c88fcd4c01743813afc19a1c https://w3id.org/delphi/resource/evidence/aristotle-ha02-24--claim-test--dataset-1 https://w3id.org/delphi/ontology/hasChecksum sha256:35aabab83d5037c61f9d3a7d5825d64589de292d0bb0e1e2ed44581c8be3d1cc https://w3id.org/delphi/resource/evidence/aristotle-ha02-24--claim-test--dataset-1 https://w3id.org/delphi/ontology/hasChecksum sha256:3742fd05f26c775c7e1a61c97525e5a067bfec50577ae284b680e5f87635da5a https://w3id.org/delphi/resource/evidence/aristotle-ha02-24--claim-test--dataset-1 https://w3id.org/delphi/ontology/hasChecksum sha256:4598a901e0c3bbafd0eb8d159332035c8693700eb735e861a4f6888f73c89359 https://w3id.org/delphi/resource/evidence/aristotle-ha02-24--claim-test--dataset-1 https://w3id.org/delphi/ontology/hasChecksum sha256:502737b986562f9d760786571b55dbb452bf960962284c2a1ec55e539bcfda6a https://w3id.org/delphi/resource/evidence/aristotle-ha02-24--claim-test--dataset-1 https://w3id.org/delphi/ontology/hasChecksum sha256:537a2447d20c138c26fe6361e34007f5ea0ac17e5a65fa390c6dcfaca5406d35 https://w3id.org/delphi/resource/evidence/aristotle-ha02-24--claim-test--dataset-1 https://w3id.org/delphi/ontology/hasChecksum sha256:65cb3c31c85ad991eab8475b46553cd629281d4448cb6ce376e34bd33aceeef2 https://w3id.org/delphi/resource/evidence/aristotle-ha02-24--claim-test--dataset-1 https://w3id.org/delphi/ontology/hasChecksum sha256:678fee48dcb63a3534f20c3aa94c1a85434f5f95161f99700c4499e52744559b https://w3id.org/delphi/resource/evidence/aristotle-ha02-24--claim-test--dataset-1 https://w3id.org/delphi/ontology/hasChecksum sha256:896c105453182f292a21c143192a4978411f159d2ff6a25ab7c5e04b352a3200 https://w3id.org/delphi/resource/evidence/aristotle-ha02-24--claim-test--dataset-1 https://w3id.org/delphi/ontology/hasChecksum sha256:9a01273f8a69bac45a3c5c004feab01b6884f584261e07666da1ea97ff0ccc3d https://w3id.org/delphi/resource/evidence/aristotle-ha02-24--claim-test--dataset-1 https://w3id.org/delphi/ontology/hasChecksum sha256:a7f8c49429f7984c1ee1755c2eb330c2dc2350699add8f5425b4fb12ecf22403 https://w3id.org/delphi/resource/evidence/aristotle-ha02-24--claim-test--dataset-1 https://w3id.org/delphi/ontology/hasChecksum sha256:b51af144cfa14f687502921a4ee1247de79a89c74d5471de2a460c11b965eff5 https://w3id.org/delphi/resource/evidence/aristotle-ha02-24--claim-test--dataset-1 https://w3id.org/delphi/ontology/hasChecksum sha256:b8a60cdaca62cc0c13701be0006868d2e1b90fbe812653997579b459bdac1e80 https://w3id.org/delphi/resource/evidence/aristotle-ha02-24--claim-test--dataset-1 https://w3id.org/delphi/ontology/hasChecksum sha256:c2253f2952e25aa16c0dfb4e0987fdcb8f8597712a7760b6996e646c1fb47c49 https://w3id.org/delphi/resource/evidence/aristotle-ha02-24--claim-test--dataset-1 https://w3id.org/delphi/ontology/hasChecksum sha256:cc55cabb88be2803cc04a54bbac0b3aa4083e391f2c84b91c2ad6bfbe402bd1a https://w3id.org/delphi/resource/evidence/aristotle-ha02-24--claim-test--dataset-1 https://w3id.org/delphi/ontology/hasChecksum sha256:d4932521ff1cd44933e31c5e19038166f6fd2e83e0f3844d037bc5e3208daf8f https://w3id.org/delphi/resource/evidence/aristotle-ha02-24--claim-test--dataset-1 https://w3id.org/delphi/ontology/hasChecksum sha256:db613726fd82d42e4841ebed4454083f5bc364a70143511e5bd5ecdc938ba738 https://w3id.org/delphi/resource/evidence/aristotle-ha02-24--claim-test--dataset-1 https://w3id.org/delphi/ontology/hasChecksum sha256:db725a361ff3c86e7ad671d934b5de9236342d4b5dda36fe83e7693583ede786 https://w3id.org/delphi/resource/evidence/aristotle-ha02-24--claim-test--dataset-1 https://w3id.org/delphi/ontology/hasChecksum sha256:f61317456183332012c08fea104c63d0be3512ab1eb845cba512c78e8abcde88 https://w3id.org/delphi/resource/evidence/aristotle-ha02-24--claim-test--dataset-1 https://w3id.org/delphi/ontology/hasChecksum sha256:fb915ecc57ad9ecf00a8bb0ea8591a75c3056eee0ff3339500648ecfd014d650 https://w3id.org/np/RAeR1xVU7GB4NmIYU4mhLEhiZ3MttVHJdNDRGZjcIPyzQ/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; bc-37abdfd5-2c7d-45b6-8f26-227da55194a4) 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/RAeR1xVU7GB4NmIYU4mhLEhiZ3MttVHJdNDRGZjcIPyzQ/assertion http://www.w3.org/ns/prov#wasAttributedTo https://w3id.org/delphi/resource/agent/delphisci-claim-tester-grok-4-7 https://w3id.org/np/RAeR1xVU7GB4NmIYU4mhLEhiZ3MttVHJdNDRGZjcIPyzQ/assertion http://www.w3.org/ns/prov#wasDerivedFrom https://github.com/fractastical/delphisci/blob/bf2af6ee0a84e23ffa6414ad7a0a50a8c276506e/test-data/claim-tests/aristotle-biology/aristotle-ha02-24/result.json https://w3id.org/np/RAeR1xVU7GB4NmIYU4mhLEhiZ3MttVHJdNDRGZjcIPyzQ/assertion http://www.w3.org/ns/prov#wasGeneratedBy https://w3id.org/np/RAeR1xVU7GB4NmIYU4mhLEhiZ3MttVHJdNDRGZjcIPyzQ/test https://w3id.org/np/RAeR1xVU7GB4NmIYU4mhLEhiZ3MttVHJdNDRGZjcIPyzQ/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/RAeR1xVU7GB4NmIYU4mhLEhiZ3MttVHJdNDRGZjcIPyzQ/test http://www.w3.org/1999/02/22-rdf-syntax-ns#type http://www.w3.org/ns/prov#Activity https://w3id.org/np/RAeR1xVU7GB4NmIYU4mhLEhiZ3MttVHJdNDRGZjcIPyzQ/test http://www.w3.org/ns/prov#qualifiedAssociation https://w3id.org/np/RAeR1xVU7GB4NmIYU4mhLEhiZ3MttVHJdNDRGZjcIPyzQ/plan https://w3id.org/np/RAeR1xVU7GB4NmIYU4mhLEhiZ3MttVHJdNDRGZjcIPyzQ/test http://www.w3.org/ns/prov#wasAssociatedWith https://w3id.org/delphi/resource/agent/delphisci-claim-tester-grok-4-7 https://w3id.org/np/RAeR1xVU7GB4NmIYU4mhLEhiZ3MttVHJdNDRGZjcIPyzQ/pubinfo https://w3id.org/np/RAeR1xVU7GB4NmIYU4mhLEhiZ3MttVHJdNDRGZjcIPyzQ http://purl.org/dc/terms/created 2026-11-08T16:24:31.753Z https://w3id.org/np/RAeR1xVU7GB4NmIYU4mhLEhiZ3MttVHJdNDRGZjcIPyzQ http://purl.org/dc/terms/creator https://orcid.org/0009-0007-4948-9192 https://w3id.org/np/RAeR1xVU7GB4NmIYU4mhLEhiZ3MttVHJdNDRGZjcIPyzQ http://purl.org/dc/terms/license https://creativecommons.org/licenses/by/4.0/ https://w3id.org/np/RAeR1xVU7GB4NmIYU4mhLEhiZ3MttVHJdNDRGZjcIPyzQ http://purl.org/nanopub/x/hasNanopubType https://w3id.org/delphi/ontology/Assessment https://w3id.org/np/RAeR1xVU7GB4NmIYU4mhLEhiZ3MttVHJdNDRGZjcIPyzQ http://purl.org/nanopub/x/introduces https://w3id.org/delphi/resource/assessment/aristotle-ha02-24--claim-test https://w3id.org/np/RAeR1xVU7GB4NmIYU4mhLEhiZ3MttVHJdNDRGZjcIPyzQ http://www.w3.org/2000/01/rdf-schema#label Claim test of aristotle-ha02-24: inconclusive, confidence 0.4 https://w3id.org/np/RAeR1xVU7GB4NmIYU4mhLEhiZ3MttVHJdNDRGZjcIPyzQ https://w3id.org/delphi/ontology/domain https://w3id.org/delphi/resource/domain/aristotle-biology https://w3id.org/np/RAeR1xVU7GB4NmIYU4mhLEhiZ3MttVHJdNDRGZjcIPyzQ/sig http://purl.org/nanopub/x/hasAlgorithm RSA https://w3id.org/np/RAeR1xVU7GB4NmIYU4mhLEhiZ3MttVHJdNDRGZjcIPyzQ/sig http://purl.org/nanopub/x/hasPublicKey MIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAyFHtPB6p0mCjDozxlOY9CmO3nBm7Te3jFbXyLmM+G1tGe47Da0jYIbhkl9Oo1ZjxmCa3LCwlEqK8gj6hEIcL4ahW30JXh9HycfKVk1bugkzMEV15tJdTzAU3sGMFnbNsn43xY2LFLy45tApkRm5byEiM7oRRrooIdwoQKnP4Wzq/bfAoJ9qvW+MGkelyOTd1jbSt+KfmT7xKmDfWzAHddUlWwMX2QJOLxDaffOteTop6ZRgPiNmPJKA/S62Gac9XtSYT3oDkZ6/nr5cxxNLpOyxTf5FPISiCe11xYO/unYjY+mwnOfA8yhJIyx1l0O9I0vpOpn+E5TvyHJV+oSTrvwIDAQAB https://w3id.org/np/RAeR1xVU7GB4NmIYU4mhLEhiZ3MttVHJdNDRGZjcIPyzQ/sig http://purl.org/nanopub/x/hasSignature musC6gTsBoD2qd74Wse+3M7EMWcbqIi2zwiHnFLS3jHwJ+LZjz/wTq4pUeBjFuw6Sgq93WNZ6HkWO04Vmeinyi8Q/WH9C/JKa7XbnwsIK/qkJ3ARIdDbN6prONkHPiMcmTGzqOGjaJTNKKMlIlQz5ZMsPWa01kjUpgbQTixpV6JEm4kwh0jyQjEPzyowQZ9doOuS6rhNfGxPdP6NO4sV5fNBxm/m+2/+/3v7RWqvMxzWpFH4kf7qcVsmFBEIV6ason+V1ZlZVgCutxyGbNzOCb/tgUBD4OYqb9kz+XwfF1hcCDuy1zIC76RYKFvwWJ9lrMtUoC3OhuMfmJmsVmuDQg== https://w3id.org/np/RAeR1xVU7GB4NmIYU4mhLEhiZ3MttVHJdNDRGZjcIPyzQ/sig http://purl.org/nanopub/x/hasSignatureTarget https://w3id.org/np/RAeR1xVU7GB4NmIYU4mhLEhiZ3MttVHJdNDRGZjcIPyzQ https://w3id.org/np/RAeR1xVU7GB4NmIYU4mhLEhiZ3MttVHJdNDRGZjcIPyzQ/sig http://purl.org/nanopub/x/signedBy https://orcid.org/0009-0007-4948-9192