@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 "Read Fertilization for every non-empty FishBase reproduc row in snapshot v26.06, counted distinct SpecCode values, and classed each code with the pre-registered list plus the article-dropping deviation. Walked ZFIN part-of and is-a links from mouth and intestine toward a shared digestive ancestor, and checked continuous-with edges between mouth and gonad terms."; "Measured: 0 species whose Fertilization code describes a gut-to-uterus route (n = 14117). Interpretation: The sentence under test is Aristotle's denial: fish are not conceived by the female swallowing the male's milt, because the passage from the mouth leads to the intestine and not to the uterus. The denial is about that path. Fertilization 'in the mouth' is pre-registered as a different event and is counted separately. One zebrafish graph does not survey every fish; it tests the anatomical clause in a species whose anatomy is coded, while FishBase tests the fertilization clause across the species that have a code."; "Claim test of aristotle-ga03-15: mixed, confidence 0.78"; ; prov:wasAttributedTo ; "The public FishBase reproduction table, which is a database of fishes independent of Aristotle, and the ZFIN anatomy relationship table for Danio rerio, a teleost with an explicit anatomical graph. Buccal fertilization and mouth brooding are admissible observations but are a different event from milt reaching the uterus through the gut. A login-walled source is not admissible."; "claim-test/0.1.0"; "biological"; "Any species coded as fertilizing through the intestine, gut, or by swallowed milt, or an ontology link that joins the oral cavity directly to the ovary or uterus."; "The anatomical clause is tested in Danio rerio only. A pass does not prove the same graph for every fish lineage.", "The retired Ruby endpoint https://fishbase.ropensci.org/reproduc returned HTTP 404. The planned file is the v26.06 parquet at data.source.coop, whose HEAD response gave Content-Length 381404.", "This file was committed before the FishBase parquet or the ZFIN relationship file was downloaded or read for this test.", "Unclassified codes are not silently folded into 'external'. They block a support verdict."; "No FishBase fertilization code describes conception via the gut to the uterus, and the zebrafish mouth is part of the digestive tract while the ovary is not directly connected to the mouth."; "Pre-registered. Refuted if one or more species carry a refuting fertilization code, or if the zebrafish anatomy file records a continuous_with or connected_to relationship between a mouth or oral-cavity term and an ovary, uterus, or gonad term. Mixed if the fertilization counts meet the support thresholds but the anatomy file lacks a mouth term and an intestine term, or if unclassified species are more than zero while refuting species are zero. Inconclusive with reason underpowered if the number of coded species is between 1 and 199. Inconclusive with reason data-unavailable if the parquet file or a Fertilization column cannot be read."; "0.78"^^xsd:double; , ; "mixed"; "If the claim holds, fishes are not recorded as conceiving by milt that travels from the mouth through the intestine to the uterus, and in a documented teleost the mouth opens into the digestive tract rather than into the ovary."; "Distinct species are counted by SpecCode under the closed code list in pass_criterion. The anatomical subtest passes if some mouth or oral-cavity item and some intestine item share a part_of or is_a chain into one digestive or alimentary item, and no continuous_with or connected_to edge joins a mouth item to an ovary, uterus, or gonad item. Thresholds are in pass_criterion and fail_criterion."; "Pre-registered. From FishBase reproduc (Source Cooperative snapshot v26.06, table reproduc) count distinct SpecCode values whose Fertilization cell is non-empty. Normalize by stripping, casefolding, and collapsing whitespace. A value is refuting if it contains intestin, gut, swallow, ingest, or uterus. Otherwise it is compatible if it is exactly one of: external; internal; internal (in the oviduct); in the mouth; in a brood pouch; in a brood pouch or similar structure; elsewhere; or if it starts with 'external', 'internal', or 'in a brood pouch'. Any other non-empty value is unclassified. 'In the mouth' is compatible: it places the meeting of egg and sperm in the buccal cavity and does not send milt through the intestine to the uterus, which is the route Aristotle calls impossible. Supported only if refuting species = 0, unclassified species = 0, species with a fertilization code >= 200, and the zebrafish anatomy subtest affirms separation."; "false"^^xsd:boolean . . a ; dc:description "where egg and sperm meet, one row set per species"; dc:license ""; "Dataset: FishBase reproduction table, rfishbase snapshot v26.06"; prov:atLocation ; prov:wasDerivedFrom ; "sha256:b631704f0f4972acdb2edb5d3105f0a6172adb4c473d73e505113f8288418247" . a ; dc:description "zebrafish graph of mouth, intestine and gonad"; dc:license ""; "Dataset: ZFIN anatomy item and relationship tables"; prov:atLocation , ; prov:wasDerivedFrom ; "sha256:1384fc8ac17767874f6b3c6093edac3c488cd477542340c4140f707cb860ce02", "sha256:b5d296611d1b28992f6ff7a576da45c598611de98d308bd8cbddb5ccd49de7f1" . } sub:provenance { a prov:SoftwareAgent; "delphisci claim tester (Grok 4.7; cursor/aristotle-biology-claims-4b39)"; 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.739Z"^^xsd:dateTime; dc:creator ; dc:license ; npx:hasNanopubType ; npx:introduces ; "Claim test of aristotle-ga03-15: mixed, confidence 0.78"; . sub:sig npx:hasAlgorithm "RSA"; npx:hasPublicKey "MIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAyFHtPB6p0mCjDozxlOY9CmO3nBm7Te3jFbXyLmM+G1tGe47Da0jYIbhkl9Oo1ZjxmCa3LCwlEqK8gj6hEIcL4ahW30JXh9HycfKVk1bugkzMEV15tJdTzAU3sGMFnbNsn43xY2LFLy45tApkRm5byEiM7oRRrooIdwoQKnP4Wzq/bfAoJ9qvW+MGkelyOTd1jbSt+KfmT7xKmDfWzAHddUlWwMX2QJOLxDaffOteTop6ZRgPiNmPJKA/S62Gac9XtSYT3oDkZ6/nr5cxxNLpOyxTf5FPISiCe11xYO/unYjY+mwnOfA8yhJIyx1l0O9I0vpOpn+E5TvyHJV+oSTrvwIDAQAB"; npx:hasSignature "YJQcGQmDKGfQlUI8f/HQOHDZmL6Nj/txEnhav+oSc10rDEyEc+xJrmFdG74vQEkJ48WtcPb2Sezi6nRVrubzIH6IfM5hSv+th8fG0baZ27e0ORDrgJimZRkTHQWRUU/GiofOZUOuLk3QOG9fW1whC9K9gdGVoc7yLM2E/DxonL1l2vQH5UJSTlW5FyEwcvGcvWp/jZJTe3qofQZxsn9uNNLQNtSenhcDZA+S9jsafXCa6XqdvMZ2XaQMuXN3sJbPVN6vkCe2z5JtHeI/xjofPWScJC+fYAZx50IPL6+GO4ziT6322sbb1Ugr11UEL4h8bbituN3unZWvhmiMEbrj/A=="; npx:hasSignatureTarget this:; npx:signedBy . }