[ { "@id": "https://w3id.org/np/RAt1g7RBQC1USg4hRInV1fDUm6iIWDLYUaWc6uUxHWUTc/provenance", "@graph": [ { "@id": "https://w3id.org/delphi/resource/agent/delphisci-claim-tester-grok-4-7", "@type": [ "http://www.w3.org/ns/prov#SoftwareAgent" ], "http://www.w3.org/2000/01/rdf-schema#label": [ { "@value": "delphisci claim tester (Grok 4.7; cursor/aristotle-biology-claim-tests-2a8b)" } ], "http://www.w3.org/ns/prov#actedOnBehalfOf": [ { "@id": "https://orcid.org/0009-0007-4948-9192" } ], "https://w3id.org/delphi/ontology/usesModel": [ { "@id": "https://w3id.org/delphi/resource/model/grok-4-7" } ] }, { "@id": "https://w3id.org/delphi/resource/model/grok-4-7", "http://purl.org/dc/terms/identifier": [ { "@value": "Grok 4.7" } ], "@type": [ "https://w3id.org/delphi/ontology/LanguageModel" ] }, { "@id": "https://w3id.org/np/RAt1g7RBQC1USg4hRInV1fDUm6iIWDLYUaWc6uUxHWUTc/assertion", "http://www.w3.org/ns/prov#wasAttributedTo": [ { "@id": "https://w3id.org/delphi/resource/agent/delphisci-claim-tester-grok-4-7" } ], "http://www.w3.org/ns/prov#wasDerivedFrom": [ { "@id": "https://github.com/fractastical/delphisci/blob/bf2af6ee0a84e23ffa6414ad7a0a50a8c276506e/test-data/claim-tests/aristotle-biology/aristotle-ha06-26/result.json" } ], "http://www.w3.org/ns/prov#wasGeneratedBy": [ { "@id": "https://w3id.org/np/RAt1g7RBQC1USg4hRInV1fDUm6iIWDLYUaWc6uUxHWUTc/test" } ] }, { "@id": "https://w3id.org/np/RAt1g7RBQC1USg4hRInV1fDUm6iIWDLYUaWc6uUxHWUTc/test", "@type": [ "http://www.w3.org/ns/prov#Activity" ], "http://www.w3.org/ns/prov#qualifiedAssociation": [ { "@id": "https://w3id.org/np/RAt1g7RBQC1USg4hRInV1fDUm6iIWDLYUaWc6uUxHWUTc/plan" } ], "http://www.w3.org/ns/prov#wasAssociatedWith": [ { "@id": "https://w3id.org/delphi/resource/agent/delphisci-claim-tester-grok-4-7" } ] }, { "@id": "https://w3id.org/np/RAt1g7RBQC1USg4hRInV1fDUm6iIWDLYUaWc6uUxHWUTc/plan", "http://www.w3.org/ns/prov#hadPlan": [ { "@id": "https://github.com/fractastical/delphisci/blob/bf2af6ee0a84e23ffa6414ad7a0a50a8c276506e/test-data/claim-tests/README.md" } ] } ] }, { "@id": "https://w3id.org/np/RAt1g7RBQC1USg4hRInV1fDUm6iIWDLYUaWc6uUxHWUTc/Head", "@graph": [ { "@id": "https://w3id.org/np/RAt1g7RBQC1USg4hRInV1fDUm6iIWDLYUaWc6uUxHWUTc", "http://www.nanopub.org/nschema#hasAssertion": [ { "@id": "https://w3id.org/np/RAt1g7RBQC1USg4hRInV1fDUm6iIWDLYUaWc6uUxHWUTc/assertion" } ], "http://www.nanopub.org/nschema#hasProvenance": [ { "@id": "https://w3id.org/np/RAt1g7RBQC1USg4hRInV1fDUm6iIWDLYUaWc6uUxHWUTc/provenance" } ], "http://www.nanopub.org/nschema#hasPublicationInfo": [ { "@id": "https://w3id.org/np/RAt1g7RBQC1USg4hRInV1fDUm6iIWDLYUaWc6uUxHWUTc/pubinfo" } ], "@type": [ "http://www.nanopub.org/nschema#Nanopublication" ] } ] }, { "@id": "https://w3id.org/np/RAt1g7RBQC1USg4hRInV1fDUm6iIWDLYUaWc6uUxHWUTc/pubinfo", "@graph": [ { "@id": "https://w3id.org/np/RAt1g7RBQC1USg4hRInV1fDUm6iIWDLYUaWc6uUxHWUTc", "http://purl.org/dc/terms/created": [ { "@value": "2026-11-08T16:24:31.772Z", "@type": "http://www.w3.org/2001/XMLSchema#dateTime" } ], "http://purl.org/dc/terms/creator": [ { "@id": "https://orcid.org/0009-0007-4948-9192" } ], "http://purl.org/dc/terms/license": [ { "@id": "https://creativecommons.org/licenses/by/4.0/" } ], "http://purl.org/nanopub/x/hasNanopubType": [ { "@id": "https://w3id.org/delphi/ontology/Assessment" } ], "http://purl.org/nanopub/x/introduces": [ { "@id": "https://w3id.org/delphi/resource/assessment/aristotle-ha06-26--claim-test" } ], "http://www.w3.org/2000/01/rdf-schema#label": [ { "@value": "Claim test of aristotle-ha06-26: mixed, confidence 0.5" } ], "https://w3id.org/delphi/ontology/domain": [ { "@id": "https://w3id.org/delphi/resource/domain/aristotle-biology" } ] }, { "@id": "https://w3id.org/np/RAt1g7RBQC1USg4hRInV1fDUm6iIWDLYUaWc6uUxHWUTc/sig", "http://purl.org/nanopub/x/hasAlgorithm": [ { "@value": "RSA" } ], "http://purl.org/nanopub/x/hasPublicKey": [ { "@value": "MIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAyFHtPB6p0mCjDozxlOY9CmO3nBm7Te3jFbXyLmM+G1tGe47Da0jYIbhkl9Oo1ZjxmCa3LCwlEqK8gj6hEIcL4ahW30JXh9HycfKVk1bugkzMEV15tJdTzAU3sGMFnbNsn43xY2LFLy45tApkRm5byEiM7oRRrooIdwoQKnP4Wzq/bfAoJ9qvW+MGkelyOTd1jbSt+KfmT7xKmDfWzAHddUlWwMX2QJOLxDaffOteTop6ZRgPiNmPJKA/S62Gac9XtSYT3oDkZ6/nr5cxxNLpOyxTf5FPISiCe11xYO/unYjY+mwnOfA8yhJIyx1l0O9I0vpOpn+E5TvyHJV+oSTrvwIDAQAB" } ], "http://purl.org/nanopub/x/hasSignature": [ { "@value": "njJUPuP34BFGcMpNWUIij1+oX85JIeoqN/pj1lN/ziJkkwbu0Ku3CF+e9LYIFo/4TUgoIRUWS0Shxe0i3I0KgwrI2UWoEzQO6wvaGJczUTcs7h5Dz0HAvDGixBm1uZBi4y0ab29B5X5K2cYiyCAaQkbglCOYS5/nmxq0rOuzApnBaQB4RqT64scCSHEhfGpjra2TGRMPxUWXllAXXa/pcSlgRfMyVsf6eR17MUxm4MKKta7jFopHxBZ7GXfuITFDEgvDpJqS48LdYI/ycvpu9NvWP08THWc88Vt3uxseZlacLppSxY/KywWS+KFgY2T/Mi7xcER8XoAdvERFYXEfTQ==" } ], "http://purl.org/nanopub/x/hasSignatureTarget": [ { "@id": "https://w3id.org/np/RAt1g7RBQC1USg4hRInV1fDUm6iIWDLYUaWc6uUxHWUTc" } ], "http://purl.org/nanopub/x/signedBy": [ { "@id": "https://orcid.org/0009-0007-4948-9192" } ] } ] }, { "@id": "https://w3id.org/np/RAt1g7RBQC1USg4hRInV1fDUm6iIWDLYUaWc6uUxHWUTc/assertion", "@graph": [ { "@id": "https://w3id.org/delphi/resource/assessment/aristotle-ha06-26--claim-test", "http://purl.org/dc/terms/description": [ { "@value": "Downloaded the FishBase v26.06 species and families parquet files from Source Cooperative, checked both SHA-256 values against the first retrieval, and read only SpecCode, names, family, Fresh, Brack, Saltwater and AnaCat. Yes-flags accept 1 and -1. The European eel and the six pre-registered Mediterranean mullet binomials were scored with the pre-registered strict-majority rule. The same species' live summary pages were re-fetched and the migration word on the Ecology line was compared with AnaCat; that comparison is reported and is not an input to the verdict. Glossary pages were fetched to pin the term definitions used in the mapping." } ], "@type": [ "https://w3id.org/delphi/ontology/Assessment" ], "http://www.w3.org/2000/01/rdf-schema#comment": [ { "@value": "Measured: 1 migration components supported, of 2 (eel seaward; mullet inland from the sea) (n = 6, mullet inland-support 0/5; mullet catadromous-or-other 5/5). Interpretation: The claim states a contrast of direction: grey mullets move from the sea up into marshes and rivers, and eels move down from marshes and rivers to the sea. It does not state a spawning rule, a season, or a distance. FishBase AnaCat is the migration pattern 'normally for spawning or feeding'. The eel sentence is scored only against catadromous, whose FishBase glossary definition is migrating from freshwater to the sea to spawn. The mullet sentence ('goes up from the sea') is scored only against anadromous (ascend rivers to spawn) and amphidromous (the glossary's return from the sea into fresh water). Catadromous is not counted as support for mullets. That refuses a modern life-cycle reading on which every catadromous fish also has a young stage that enters rivers from the sea: the AnaCat field does not record that stage, and treating the field as if it did would erase the contrast the sentence draws. The Cyrene-to-Mediterranean scope is the European eel and the six grey-mullet species long treated as the native Mediterranean Mugilidae; Lessepsian mullets are not in the pre-registered list. Marshes are scored as brackish or fresh water, which is what FishBase records." } ], "http://www.w3.org/2000/01/rdf-schema#label": [ { "@value": "Claim test of aristotle-ha06-26: mixed, confidence 0.5" } ], "http://www.w3.org/2000/01/rdf-schema#seeAlso": [ { "@id": "https://github.com/fractastical/delphisci/blob/bf2af6ee0a84e23ffa6414ad7a0a50a8c276506e/test-data/claim-tests/aristotle-biology/aristotle-ha06-26/result.json" } ], "http://www.w3.org/ns/prov#wasAttributedTo": [ { "@id": "https://w3id.org/delphi/resource/agent/delphisci-claim-tester-grok-4-7" } ], "https://w3id.org/delphi/ontology/admissibleDatasets": [ { "@value": "A versioned, publicly fetchable snapshot of FishBase species records with the AnaCat migration field and fresh, brackish and saltwater flags, plus the FishBase glossary entries that define those migration words. Records must be editorially compiled from the fisheries literature, not from Aristotle's text. Species outside Anguilla anguilla and the six named Mediterranean Mugilidae binomials do not count. Habitat flags alone, without AnaCat, do not count as a direction." } ], "https://w3id.org/delphi/ontology/assessmentType": [ { "@value": "claim-test/0.1.0" } ], "https://w3id.org/delphi/ontology/dataKind": [ { "@value": "biological" } ], "https://w3id.org/delphi/ontology/disconfirmingObservation": [ { "@value": "The eel's recorded migration is not seaward from fresh water, or the majority migration category of those grey mullets is not an inland movement from the sea. Catadromous on a mullet is a disconfirming observation for the mullet sentence, because that code means fresh water to the sea, the direction the claim assigns to eels rather than to mullets." } ], "https://w3id.org/delphi/ontology/evidenceAgainst": [ { "@value": "AnaCat does not encode the juvenile shoreward run of a catadromous fish. A mullet coded catadromous can still be caught entering a marsh. That fact is outside this field and is not a reason to change the criterion after the codes are seen." }, { "@value": "Criteria in this file were written before the FishBase species parquet was downloaded and before any AnaCat value for these species was read." }, { "@value": "FishBase is a compiled database (CC BY-NC 4.0), not a telemetry study. The test measures the recorded categories, not a new count of tagged fish." }, { "@value": "Live fishbase.se summary pages (version string (06/2026) and Attribution-NonCommercial 4.0 International on search.php) carry the same migration word as AnaCat. Their raw SHA-256 is not stable, because the HTML includes a per-request processing time; sha256 on those files is of the HTML with that number replaced by TIME." }, { "@value": "Oedalechilus labeo has no AnaCat in snapshot v26.06, so the mullet majority is taken over the five rows that have a category. Confidence 0.5 is the pre-registered value for a vote on four or five mullet rows." }, { "@value": "The rOpenSci live API host presented a self-signed certificate on 2026-11-01 and was not used. The versioned parquet snapshot on Source Cooperative is the admissible file." } ], "https://w3id.org/delphi/ontology/expectedObservation": [ { "@value": "Anguilla anguilla is coded catadromous (FishBase glossary: migrating from freshwater to the sea to spawn) and occurs in both the sea and fresh or brackish water, and a strict majority of Mugil cephalus, Chelon auratus, Chelon labrosus, Chelon ramada, Chelon saliens and Oedalechilus labeo are coded anadromous or amphidromous and occur in both the sea and fresh or brackish water." } ], "https://w3id.org/delphi/ontology/failCriterion": [ { "@value": "Pre-registered. The eel component is refuted if a valid Anguilla anguilla row exists and AnaCat is one of anadromous, amphidromous, potamodromous, limnodromous, oceanodromous or non-migratory. The mullet component is refuted if at least 4 Mugilidae rows with non-missing AnaCat are resolved and a strict majority have AnaCat in {catadromous, potamodromous, limnodromous, oceanodromous, non-migratory}, or if a strict majority fail the salt-water plus fresh-or-brackish presence requirement even when AnaCat is anadromous or amphidromous. Overall verdict is refutes if both components are refuted, and mixed if one is supported and the other is refuted. A tie (no strict majority) on the mullet vote, a missing AnaCat for the eel, fewer than 4 resolved mullet rows, or two or more species rows for the same binomial, is not a refutation: the verdict is inconclusive with reason underpowered. If the snapshot cannot be downloaded or the checksum of a re-download does not match the checksum recorded at first retrieval, the verdict is inconclusive with reason data-unavailable." } ], "https://w3id.org/delphi/ontology/hasConfidence": [ { "@value": "0.5", "@type": "http://www.w3.org/2001/XMLSchema#double" } ], "https://w3id.org/delphi/ontology/hasEvidence": [ { "@id": "https://w3id.org/delphi/resource/evidence/aristotle-ha06-26--claim-test--dataset-1" }, { "@id": "https://w3id.org/delphi/resource/evidence/aristotle-ha06-26--claim-test--dataset-2" }, { "@id": "https://w3id.org/delphi/resource/evidence/aristotle-ha06-26--claim-test--dataset-3" } ], "https://w3id.org/delphi/ontology/hasVerdict": [ { "@value": "mixed" } ], "https://w3id.org/delphi/ontology/hypothesis": [ { "@value": "If the claim holds in FishBase's recorded migration categories, the European eel's category is a seaward migration from fresh water to the sea, and a strict majority of the named Mediterranean grey mullets have a category whose definition is movement from the sea up into fresh or brackish water." } ], "https://w3id.org/delphi/ontology/inferenceMethod": [ { "@value": "Exact match of AnaCat to the glossary terms named in the pass and fail criteria, combined with a yes/no reading of the habitat flags. The mullet component is a strict majority among resolved rows. The two components are scored separately and then combined: both supported → supports; both refuted → refutes; one of each → mixed; an undecided component → inconclusive (underpowered, or data-unavailable if the file cannot be fetched). No other statistic is used for the verdict." } ], "https://w3id.org/delphi/ontology/passCriterion": [ { "@value": "Pre-registered (claim supported). Both components below are supported. Eel component: the valid species row for Anguilla anguilla has AnaCat, after casefolding and stripping whitespace, equal to catadromous, and it is flagged present in salt water and in fresh or brackish water. Mullet component: at least 4 of the 6 pre-registered Mediterranean Mugilidae binomials resolve to a valid species row in family Mugilidae with non-missing AnaCat, and a strict majority of those resolved rows have AnaCat in {anadromous, amphidromous} and are flagged present in salt water and in fresh or brackish water. Presence flags accept FishBase's yes codes 1 and -1; 0 is absence; any other value is missing. A missing habitat flag does not by itself support a component." } ], "https://w3id.org/delphi/ontology/preregistered": [ { "@value": "false", "@type": "http://www.w3.org/2001/XMLSchema#boolean" } ] }, { "@id": "https://w3id.org/delphi/resource/evidence/aristotle-ha06-26--claim-test--dataset-1", "http://purl.org/dc/terms/description": [ { "@value": "AnaCat migration category and fresh, brackish and saltwater flags for the European eel and six Mediterranean grey mullets; family names for the Mugilidae check" } ], "http://purl.org/dc/terms/license": [ { "@value": "CC BY-NC 4.0" } ], "@type": [ "https://w3id.org/delphi/ontology/EvidenceItem" ], "http://www.w3.org/2000/01/rdf-schema#label": [ { "@value": "Dataset: FishBase backend snapshot v26.06, species and families tables (rfishbase parquet)" } ], "http://www.w3.org/ns/prov#atLocation": [ { "@id": "https://data.source.coop/cboettig/fishbase/fb/v26.06/parquet/families.parquet" }, { "@id": "https://data.source.coop/cboettig/fishbase/fb/v26.06/parquet/species.parquet" } ], "http://www.w3.org/ns/prov#wasDerivedFrom": [ { "@id": "https://source.coop/cboettig/fishbase" } ], "https://w3id.org/delphi/ontology/hasChecksum": [ { "@value": "sha256:2f5e806d0af38aa4fe5422d29cdff94a2532382203b0d6b60412e48f4f4b4147" }, { "@value": "sha256:87c99bc57f368c6102ea4042e7e6c8019c7405d5a352ead840f06244609ab101" } ] }, { "@id": "https://w3id.org/delphi/resource/evidence/aristotle-ha06-26--claim-test--dataset-2", "http://purl.org/dc/terms/description": [ { "@value": "definitions that fix how AnaCat strings map onto the directions in the claim" } ], "http://purl.org/dc/terms/license": [ { "@value": "CC BY-NC 4.0" } ], "@type": [ "https://w3id.org/delphi/ontology/EvidenceItem" ], "http://www.w3.org/2000/01/rdf-schema#label": [ { "@value": "Dataset: FishBase glossary entries for catadromous, anadromous and amphidromous" } ], "http://www.w3.org/ns/prov#atLocation": [ { "@id": "https://www.fishbase.se/glossary/Glossary.php?q=amphidromous" }, { "@id": "https://www.fishbase.se/glossary/Glossary.php?q=anadromous" }, { "@id": "https://www.fishbase.se/glossary/Glossary.php?q=catadromous" } ], "http://www.w3.org/ns/prov#wasDerivedFrom": [ { "@id": "https://www.fishbase.se/glossary/Glossary.php" } ], "https://w3id.org/delphi/ontology/hasChecksum": [ { "@value": "sha256:24865c20cd048f86900a8fdd143fc0fb6fb4f707e789372141b735074b8e7ba2" }, { "@value": "sha256:2f7667452f210c473fccffff400de34e8e275e36ceb309ede73ccde63523bb27" }, { "@value": "sha256:e584f4c01407b75924827f5761ee1ec0325d263a812eaca75e418973fb8e08a9" } ] }, { "@id": "https://w3id.org/delphi/resource/evidence/aristotle-ha06-26--claim-test--dataset-3", "http://purl.org/dc/terms/description": [ { "@value": "same-day re-query of the live source; the Ecology migration word is checked against AnaCat and is not used to choose the verdict" } ], "http://purl.org/dc/terms/license": [ { "@value": "CC BY-NC 4.0" } ], "@type": [ "https://w3id.org/delphi/ontology/EvidenceItem" ], "http://www.w3.org/2000/01/rdf-schema#label": [ { "@value": "Dataset: FishBase species summary pages for the seven SpecCodes" } ], "http://www.w3.org/ns/prov#atLocation": [ { "@id": "https://www.fishbase.se/summary/16324" }, { "@id": "https://www.fishbase.se/summary/1735" }, { "@id": "https://www.fishbase.se/summary/1736" }, { "@id": "https://www.fishbase.se/summary/2499" }, { "@id": "https://www.fishbase.se/summary/35" }, { "@id": "https://www.fishbase.se/summary/4583" }, { "@id": "https://www.fishbase.se/summary/785" } ], "http://www.w3.org/ns/prov#wasDerivedFrom": [ { "@id": "https://www.fishbase.se/" } ], "https://w3id.org/delphi/ontology/hasChecksum": [ { "@value": "sha256:0d140a8b629bd0fe708d9cc1e26d0bf498547b8e2173f8da81400c76248040cb" }, { "@value": "sha256:33a8f992bf9567e49214482c7e242e11d36d4a29423b1f8376e619804b9569f5" }, { "@value": "sha256:4cc75ea8baccaf34d408e59781b25166a0648a7b286992047ea761a27f123d72" }, { "@value": "sha256:771fd72cb7cbb559fae8cc3541e34d9535d4ae277e5006ab1c31bf1ccf59f648" }, { "@value": "sha256:92399a6af73f05c58f1863e6093f7cc9ea26f70320a2294798ee9bdb7dd6a791" }, { "@value": "sha256:9c410bc3bc3cc683483ca8c64ddeb7280fa23c6e3661fee02f13a4c1b8ed1df1" }, { "@value": "sha256:f74b9295a703fea1b5eac68e2c6c384ce807929a878b0874eec5ca541abe8a8a" } ] }, { "@id": "https://w3id.org/delphi/resource/claim/aristotle-ha06-26", "https://w3id.org/delphi/ontology/hasAssessment": [ { "@id": "https://w3id.org/delphi/resource/assessment/aristotle-ha06-26--claim-test" } ] } ] } ]