https://w3id.org/np/RA60JlS8JgiUqSIZlMyYUIeXMpKFgpMQNwjKFWflwAYSU
.trig | .trig.txt | .jelly | .jelly.txt | .jsonld | .jsonld.txt | .nq | .nq.txt | .xml | .xml.txt
@prefix this: <https://w3id.org/np/RA60JlS8JgiUqSIZlMyYUIeXMpKFgpMQNwjKFWflwAYSU> .
@prefix sub: <https://w3id.org/np/RA60JlS8JgiUqSIZlMyYUIeXMpKFgpMQNwjKFWflwAYSU/> .
@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-ha04-15--claim-test> a <https://w3id.org/delphi/ontology/Assessment>;
dc:description "analysis.py downloads the Zenodo zip, checks its SHA-256, and reads Challita_Bhamla_PNAS_2024.xlsx. Rows whose organism name contains the word cicada are scored. A row is a positive excretion record when its mechanism is a jet or a droplet and its speed or diameter is above zero. Mouth and diet clauses are scored only if a column name matches those terms. The pre-registered rule then applies: a scored clause that fails refutes the conjunction.";
<http://www.w3.org/2000/01/rdf-schema#comment> "Measured: 11 cicada rows with a positive jet or droplet (n = 11). Interpretation: Cicadas are Cicadidae and close relatives in the same table. The tongue-like organ is the piercing stylet or rostrum, not a vertebrate tongue. Dew alone means the recorded diet is dew and not xylem or other plant fluid. Excrement means a measured voided fluid, jet, droplet, or excretion event, not a modelled prediction. 'Alone of all creatures' can be scored only when the same table codes mouth presence for a non-cicada. A kinematics table that records cicada excretion can test clause C and cannot, by itself, establish the mouth or diet clauses.";
<http://www.w3.org/2000/01/rdf-schema#label> "Claim test of aristotle-ha04-15: refutes, confidence 0.84";
<http://www.w3.org/2000/01/rdf-schema#seeAlso> <https://github.com/fractastical/delphisci/blob/bf2af6ee0a84e23ffa6414ad7a0a50a8c276506e/test-data/claim-tests/aristotle-biology/aristotle-ha04-15/result.json>;
prov:wasAttributedTo <https://w3id.org/delphi/resource/agent/delphisci-claim-tester-grok-4-7>;
<https://w3id.org/delphi/ontology/admissibleDatasets> "A public table of cicadas with at least one of: mouth or stylet coding, diet coding, or a measured excretion volume or event. Narrative sentences and uncoded videos are not a denominator.";
<https://w3id.org/delphi/ontology/assessmentType> "claim-test/0.1.0";
<https://w3id.org/delphi/ontology/dataKind> "biological";
<https://w3id.org/delphi/ontology/disconfirmingObservation> "A cicada coded with a mouth, a cicada coded as feeding on anything other than dew, or any cicada excretion record above zero.";
<https://w3id.org/delphi/ontology/evidenceAgainst> "A block of duration and volume figures sits beside the named columns without its own header row. Those figures were not used.",
"Clause C fails: 11 of 11 cicada rows are jets, with speed from 0.6 to 3.18 m/s, in Chremistica umbrosa, Fidicinoides duckensis, and Guyalna distanti. Clauses A and B were not scored: the sheet has no mouth or diet column.",
"The 11 rows are not 11 independent insects. Several are averages or repeated filmings of the same species. Each of the three species still has a positive jet speed.",
"The sheet records voided jets. The pre-registration counted a voided jet as excrement. It is not a record of what was found inside a dissected stomach.";
<https://w3id.org/delphi/ontology/expectedObservation> "Cicadas are the only animals coded without a mouth, each has a tongue-like feeding organ, each diet code is dew and nothing else, and every cicada excretion measurement is zero.";
<https://w3id.org/delphi/ontology/failCriterion> "Clause A fails if any cicada is coded with a mouth, or if a non-cicada is coded with no mouth. Clause B fails if any cicada is coded as feeding on xylem, sap, plant fluid, or any food other than dew. Clause C fails if any cicada record has a positive excreted volume, jet, droplet, or excretion event; one such record is enough, because the claim says excrement is never found. If a scored clause fails, the verdict is refutes. If some scored clauses pass and others fail, the verdict is mixed and the clauses are named. If C passes and A or B cannot be coded, the verdict is mixed: C supports and the missing clauses are not operationalizable. If the file has no cicada rows and no mouth, diet, or excretion column, the verdict is inconclusive with reason data-unavailable. If the only cicada excretion records are fewer than 10 and all are zero, the verdict is inconclusive with reason underpowered.";
<https://w3id.org/delphi/ontology/hasConfidence> "0.84"^^xsd:double;
<https://w3id.org/delphi/ontology/hasEvidence> <https://w3id.org/delphi/resource/evidence/aristotle-ha04-15--claim-test--dataset-1>;
<https://w3id.org/delphi/ontology/hasVerdict> "refutes";
<https://w3id.org/delphi/ontology/hypothesis> "The cicada, alone of all creatures, has no mouth but a long tongue-like organ, feeds on dew alone, and no excrement is ever found in its stomach.";
<https://w3id.org/delphi/ontology/inferenceMethod> "Clauses are scored only from columns that exist. A failed scored clause refutes the conjunction. Mixed is used when scored clauses disagree, or when clause C passes and clause A or B has no column. All three must pass for support. No usable cicada rows is inconclusive, reason data-unavailable. Fewer than 10 all-zero excretion records, with no positive record, is inconclusive, reason underpowered.";
<https://w3id.org/delphi/ontology/passCriterion> "Three clauses, all required. Clause A (mouth): cicadas are coded with no mouth and with a tongue-like organ, and at least one non-cicada in the same table is coded with a mouth, so that 'alone' has a denominator. Clause B (dew): every scored cicada is coded as feeding on dew and on nothing else, with at least 10 cicadas. Clause C (excrement): every cicada excretion record is zero (no positive volume, jet, droplet, or excretion event), with at least 10 records. The claim passes only if A, B, and C all pass.";
<https://w3id.org/delphi/ontology/preregistered> "false"^^xsd:boolean .
<https://w3id.org/delphi/resource/claim/aristotle-ha04-15> <https://w3id.org/delphi/ontology/hasAssessment>
<https://w3id.org/delphi/resource/assessment/aristotle-ha04-15--claim-test> .
<https://w3id.org/delphi/resource/evidence/aristotle-ha04-15--claim-test--dataset-1>
a <https://w3id.org/delphi/ontology/EvidenceItem>;
dc:description "Species-level excretion kinematics. Cicada rows are jets with positive speed. No mouth or diet column.";
dc:license "CC BY 4.0";
<http://www.w3.org/2000/01/rdf-schema#label> "Dataset: Challita and Bhamla 2024, unifying fluidic excretion across life, Zenodo";
prov:atLocation <https://zenodo.org/api/records/10645370/files/bhamla-lab/Cicada_Challita_Bhamla_PNAS_2024-v0.zip/content>;
prov:wasDerivedFrom <https://zenodo.org/records/10645370>;
<https://w3id.org/delphi/ontology/hasChecksum> "sha256:8ac797b55eb18a5232f911f48b471338950eb7e93fd37f3a9e67b88c7a651019" .
}
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-c-7ef1)";
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-ha04-15/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.758Z"^^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-ha04-15--claim-test>;
<http://www.w3.org/2000/01/rdf-schema#label> "Claim test of aristotle-ha04-15: refutes, confidence 0.84";
<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 "xNYT1onfvALNbzTGrB8j67f2K/Mf+qL7Zf5QBGw52TrPMquZgSeYgOzDjIp4U9F0n5PCi+CMLbZ0r5cSOk+izeHRZX29vPHQGZEhM6eRUQ/RKh2+yF30Ympz4H5sZwEaCbvmgkUzSOjrTg9X8BUmr1sEoUguXwtEuESV5/IxQFCaTQ08tnjEzbuzx8neykll90zT1UWupfBKFoDjJkPYdY1zEP2zS7WHnKVFdWrO1yBaC2TodhNogCX7/S6S6ykwKyiezK1pJTREd4Om9xB+Af4HSZj9Qzho256lJxf7XgpYPGnbb4JzjwajX/3A1CIrlhJmUGnGeni88FDJ+KGcFA==";
npx:hasSignatureTarget this:;
npx:signedBy <https://orcid.org/0009-0007-4948-9192> .
}