https://w3id.org/np/RA4q-AyvGKOpyaXWrgcBJF_4YzocyMLmN5fL7Rq5oJosQ
.trig | .trig.txt | .jelly | .jelly.txt | .jsonld | .jsonld.txt | .nq | .nq.txt | .xml | .xml.txt
@prefix this: <https://w3id.org/np/RA4q-AyvGKOpyaXWrgcBJF_4YzocyMLmN5fL7Rq5oJosQ> .
@prefix sub: <https://w3id.org/np/RA4q-AyvGKOpyaXWrgcBJF_4YzocyMLmN5fL7Rq5oJosQ/> .
@prefix np: <http://www.nanopub.org/nschema#> .
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix npx: <http://purl.org/nanopub/x/> .
@prefix dc: <http://purl.org/dc/terms/> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
sub:Head {
this: a np:Nanopublication;
np:hasAssertion sub:assertion;
np:hasProvenance sub:provenance;
np:hasPublicationInfo sub:pubinfo .
}
sub:assertion {
<https://w3id.org/delphi/resource/assessment/aristotle-pa03-22--claim-test> a <https://w3id.org/delphi/ontology/Assessment>;
dc:description "Text was extracted from the proceedings PDF with pypdf. Sentences containing bladder were matched to lizards, snakes, crocodilians, birds, tuatara and fishes. A group described as having a bladder, or as mostly having one, is a counterexample. A group described as lacking a bladder is consistent. Turtles and tortoises are the stated exception and are not counterexamples. Amphibian sentences are stored and not scored. One counterexample group refutes the universal. Birds, tuatara and fishes had no bladder sentence.";
<http://www.w3.org/2000/01/rdf-schema#comment> "Measured: 0.6667 fraction of in-scope groups described as lacking a urinary bladder (n = 3, 1 counterexample groups). Interpretation: Parts of Animals III.8 says that animals which drink little and are clad with feathers or scales or scaly plates are invariably without a bladder, and that tortoises, which have scaly plates, are the only exception. Amphibians are naked-skinned, so a bladder in a frog does not touch this sentence. The History of Animals sentence about non-viviparous animals is a different claim and is not reused. 'Most of the group have a bladder' falsifies 'invariably without' for that group.";
<http://www.w3.org/2000/01/rdf-schema#label> "Claim test of aristotle-pa03-22: refutes, confidence 0.76";
<http://www.w3.org/2000/01/rdf-schema#seeAlso> <https://github.com/fractastical/delphisci/blob/bf2af6ee0a84e23ffa6414ad7a0a50a8c276506e/test-data/claim-tests/aristotle-biology/aristotle-pa03-22/result.json>;
prov:wasAttributedTo <https://w3id.org/delphi/resource/agent/delphisci-claim-tester-grok-4-7>;
<https://w3id.org/delphi/ontology/admissibleDatasets> "A checksummed veterinary or anatomical paper that states bladder presence for reptiles or birds. Amphibian sentences do not enter the fraction. A swim bladder is not a urinary bladder.";
<https://w3id.org/delphi/ontology/assessmentType> "claim-test/0.1.0";
<https://w3id.org/delphi/ontology/dataKind> "biological";
<https://w3id.org/delphi/ontology/disconfirmingObservation> "Any in-scope group, such as lizards or birds, is described as having a urinary bladder.";
<https://w3id.org/delphi/ontology/evidenceAgainst> "Amphibians are in the same 'most have a bladder' sentence and are not scored. This is the integument claim, not the non-viviparous claim.",
"Birds are not given a bladder sentence in this chapter, so feathers are untested here. No Creative Commons license is printed on the PDF.",
"Lizards are the counterexample. The chapter says the urinary bladder is present in most lizards, and also in all turtles. Snakes and crocodilians are said to lack urinary bladders, so two of the three scored groups agree with the claim and one does not. A universal fails on the one group that has the organ. f = 2/3 = 0.6667 is the share that lack a bladder, and the verdict is still refutes.",
"The denominator is three named groups, not a species count. Several lizard species are said to lack a bladder or to have a vestigial one, which is already covered by 'most', not 'all', lizards having one.",
"Turtles and tortoises are the stated exception and are described as having bladders, including accessory bladders. That part of the sentence agrees with the chapter and is not counted against the claim.";
<https://w3id.org/delphi/ontology/expectedObservation> "At least four in-scope groups are each described as lacking a urinary bladder, and the only group described as having one is the tortoises.";
<https://w3id.org/delphi/ontology/failCriterion> "Refutes if at least one in-scope group is a counterexample. Mixed if the text both affirms and denies a bladder for the same in-scope group and no group is an uncontradicted counterexample. Inconclusive, reason underpowered, if the file is fetched but no in-scope group has a present-or-absent sentence. Inconclusive, reason data-unavailable, if the file cannot be fetched. This score is computed from this file only. It is not taken from aristotle-ha05-06.";
<https://w3id.org/delphi/ontology/hasConfidence> "0.76"^^xsd:double;
<https://w3id.org/delphi/ontology/hasEvidence> <https://w3id.org/delphi/resource/evidence/aristotle-pa03-22--claim-test--dataset-1>;
<https://w3id.org/delphi/ontology/hasVerdict> "refutes";
<https://w3id.org/delphi/ontology/hypothesis> "Animals clad in feathers, scales or scaly plates lack a urinary bladder, and tortoises are the only exception.";
<https://w3id.org/delphi/ontology/inferenceMethod> "One in-scope group described as having a urinary bladder refutes the universal. A pass requires at least four in-scope groups, none of them a counterexample. Tortoises are the stated exception.";
<https://w3id.org/delphi/ontology/passCriterion> "Read a checksummed anatomical text that says, group by group, whether a urinary bladder is present. In-scope groups are those the text identifies as birds, lizards, snakes, crocodilians, tuatara or fishes. Tortoises, turtles and chelonians are the stated exception: a bladder in that group is recorded and is not a counterexample, and the group is not required to lack a bladder. Amphibians and mammals are out of scope even if the text mentions their bladders, because the sentence is about feathers, scales and scaly plates. A group is a counterexample if the text says that group, or most of that group, has a urinary bladder. The claim passes only if at least four in-scope groups are described and none of them is a counterexample.";
<https://w3id.org/delphi/ontology/preregistered> "false"^^xsd:boolean .
<https://w3id.org/delphi/resource/claim/aristotle-pa03-22> <https://w3id.org/delphi/ontology/hasAssessment>
<https://w3id.org/delphi/resource/assessment/aristotle-pa03-22--claim-test> .
<https://w3id.org/delphi/resource/evidence/aristotle-pa03-22--claim-test--dataset-1>
a <https://w3id.org/delphi/ontology/EvidenceItem>;
dc:description "Group-level sentences on which reptiles have a urinary bladder";
dc:license "No Creative Commons grant is printed in the extracted text. The file is the public PDF of the proceedings chapter.";
<http://www.w3.org/2000/01/rdf-schema#label> "Dataset: Wyneken J. Reptilian renal structure and function. Proceedings of the Association of Reptilian and Amphibian Veterinarians, 2013, pp. 72-78";
prov:atLocation <https://cdn.ymaws.com/members.arav.org/resource/resmgr/Files/Proceedings_2013/41.pdf>;
prov:wasDerivedFrom <https://cdn.ymaws.com/members.arav.org/resource/resmgr/Files/Proceedings_2013/41.pdf>;
<https://w3id.org/delphi/ontology/hasChecksum> "sha256:ac00c6034463633329d2f3120e024f2900f6325ba7217b960bef206082de4b84" .
}
sub:provenance {
<https://w3id.org/delphi/resource/agent/delphisci-claim-tester-grok-4-7> a prov:SoftwareAgent;
<http://www.w3.org/2000/01/rdf-schema#label> "delphisci claim tester (Grok 4.7; cursor/aristotle-life-history-g-a908)";
prov:actedOnBehalfOf <https://orcid.org/0009-0007-4948-9192>;
<https://w3id.org/delphi/ontology/usesModel> <https://w3id.org/delphi/resource/model/grok-4-7> .
<https://w3id.org/delphi/resource/model/grok-4-7> a <https://w3id.org/delphi/ontology/LanguageModel>;
dc:identifier "Grok 4.7" .
sub:assertion prov:wasAttributedTo <https://w3id.org/delphi/resource/agent/delphisci-claim-tester-grok-4-7>;
prov:wasDerivedFrom <https://github.com/fractastical/delphisci/blob/bf2af6ee0a84e23ffa6414ad7a0a50a8c276506e/test-data/claim-tests/aristotle-biology/aristotle-pa03-22/result.json>;
prov:wasGeneratedBy sub:test .
sub:plan prov:hadPlan <https://github.com/fractastical/delphisci/blob/bf2af6ee0a84e23ffa6414ad7a0a50a8c276506e/test-data/claim-tests/README.md> .
sub:test a prov:Activity;
prov:qualifiedAssociation sub:plan;
prov:wasAssociatedWith <https://w3id.org/delphi/resource/agent/delphisci-claim-tester-grok-4-7> .
}
sub:pubinfo {
this: dc:created "2026-11-08T16:24:31.795Z"^^xsd:dateTime;
dc:creator <https://orcid.org/0009-0007-4948-9192>;
dc:license <https://creativecommons.org/licenses/by/4.0/>;
npx:hasNanopubType <https://w3id.org/delphi/ontology/Assessment>;
npx:introduces <https://w3id.org/delphi/resource/assessment/aristotle-pa03-22--claim-test>;
<http://www.w3.org/2000/01/rdf-schema#label> "Claim test of aristotle-pa03-22: refutes, confidence 0.76";
<https://w3id.org/delphi/ontology/domain> <https://w3id.org/delphi/resource/domain/aristotle-biology> .
sub:sig npx:hasAlgorithm "RSA";
npx:hasPublicKey "MIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAyFHtPB6p0mCjDozxlOY9CmO3nBm7Te3jFbXyLmM+G1tGe47Da0jYIbhkl9Oo1ZjxmCa3LCwlEqK8gj6hEIcL4ahW30JXh9HycfKVk1bugkzMEV15tJdTzAU3sGMFnbNsn43xY2LFLy45tApkRm5byEiM7oRRrooIdwoQKnP4Wzq/bfAoJ9qvW+MGkelyOTd1jbSt+KfmT7xKmDfWzAHddUlWwMX2QJOLxDaffOteTop6ZRgPiNmPJKA/S62Gac9XtSYT3oDkZ6/nr5cxxNLpOyxTf5FPISiCe11xYO/unYjY+mwnOfA8yhJIyx1l0O9I0vpOpn+E5TvyHJV+oSTrvwIDAQAB";
npx:hasSignature "Ke+alUtxIb38px2FNN2ThCY1pghcdHbS4Bq+W5Juf13o+KdIGddQx8OY0GYNiB4B0DdaYHtSnmd5IKI8Mg0kXtlHpdILtgTIeirCClwANF+LCr2qgynBIh2thq86jYp6D6/ybEohzVKUj+VISnhAPyQARn4Db1Nx4gI+Q9+Xe40AwLF/ls0ARBz6WHPoibHPErBzpuCCK1EcWPAoKT2QvuC/LAMrK1fjIjtEK3bbEVah7/xDPoIUelfwIwaYQ0Tonl4iMvW7zHuyhxjiz07Mqri1RJd2uM0d8GenRg/GTINx+yHL65R5JoC+snhhKXNP6rYsdNZnQ3WIH+8VYKm4QQ==";
npx:hasSignatureTarget this:;
npx:signedBy <https://orcid.org/0009-0007-4948-9192> .
}