rows { options { physical_type: PHYSICAL_STREAM_TYPE_QUADS max_name_table_size: 128 max_prefix_table_size: 16 max_datatype_table_size: 16 logical_type: LOGICAL_STREAM_TYPE_DATASETS version: 2 } } rows { prefix { value: "https://w3id.org/np/" } } rows { name { value: "RAP2qddxTVYNkVTXzJLXoM0j-n8C3e7KGwiFNjgmTcFS4" } } rows { namespace { name: "this" value { prefix_id: 1 } } } rows { prefix { value: "https://w3id.org/np/RAP2qddxTVYNkVTXzJLXoM0j-n8C3e7KGwiFNjgmTcFS4/" } } rows { name { } } rows { namespace { name: "sub" value { prefix_id: 2 } } } rows { prefix { value: "http://www.nanopub.org/nschema#" } } rows { namespace { name: "np" value { prefix_id: 3 name_id: 2 } } } rows { prefix { value: "http://www.w3.org/1999/02/22-rdf-syntax-ns#" } } rows { namespace { name: "rdf" value { prefix_id: 4 name_id: 2 } } } rows { prefix { value: "http://www.w3.org/ns/prov#" } } rows { namespace { name: "prov" value { prefix_id: 5 name_id: 2 } } } rows { prefix { value: "http://purl.org/nanopub/x/" } } rows { namespace { name: "npx" value { prefix_id: 6 name_id: 2 } } } rows { prefix { value: "http://purl.org/dc/terms/" } } rows { namespace { name: "dc" value { prefix_id: 7 name_id: 2 } } } rows { prefix { value: "http://www.w3.org/2001/XMLSchema#" } } rows { namespace { name: "xsd" value { prefix_id: 8 name_id: 2 } } } rows { name { value: "hasAssertion" } } rows { name { value: "assertion" } } rows { name { value: "Head" } } rows { quad { s_iri { prefix_id: 1 name_id: 1 } p_iri { prefix_id: 3 name_id: 3 } o_iri { prefix_id: 2 } g_iri { } } } rows { name { value: "hasProvenance" } } rows { name { value: "provenance" } } rows { quad { p_iri { prefix_id: 3 } o_iri { prefix_id: 2 } } } rows { name { value: "hasPublicationInfo" } } rows { name { value: "pubinfo" } } rows { quad { p_iri { prefix_id: 3 } o_iri { prefix_id: 2 } } } rows { name { value: "type" } } rows { name { value: "Nanopublication" } } rows { quad { p_iri { prefix_id: 4 } o_iri { prefix_id: 3 } } } rows { prefix { value: "https://w3id.org/delphi/resource/assessment/" } } rows { name { value: "aristotle-pa04-34--claim-test" } } rows { name { value: "description" } } rows { quad { s_iri { prefix_id: 9 } p_iri { prefix_id: 7 } o_literal { lex: "Downloaded the ZFIN anatomy-item file and the synonym file, hashed them, and searched for the exact string testis. An exact anatomy name refutes the claim that no fish has testicles internally. A missing term would be inconclusive, because the file does not record absences. Snakes were not in the file and were not scored." } g_iri { prefix_id: 2 name_id: 4 } } } rows { prefix { value: "https://w3id.org/delphi/ontology/" } } rows { name { value: "Assessment" } } rows { quad { p_iri { prefix_id: 4 name_id: 10 } o_iri { prefix_id: 10 name_id: 14 } } } rows { prefix { value: "http://www.w3.org/2000/01/rdf-schema#" } } rows { name { value: "comment" } } rows { quad { p_iri { prefix_id: 11 } o_literal { lex: "Measured: 2 ZFIN anatomy rows whose name or synonym is exactly testis (n = 1, exact string match; one species, Danio rerio). Interpretation: Aristotle says no fish has testicles externally or internally, and neither does any footless animal, including serpents. \'Internally\' closes the reading on which he only meant a scrotum. A testis is the sperm-producing organ, internal in a fish. Danio rerio is a fish. One fish with a testis refutes the universal. The serpents clause is not tested here. The ZFIN term is a curated structure of the zebrafish, with a stage range, not a dictionary definition invented apart from the animal." } } } rows { name { value: "label" } } rows { quad { p_iri { } o_literal { lex: "Claim test of aristotle-pa04-34: refutes, confidence 0.8" } } } rows { name { value: "seeAlso" } } rows { prefix { value: "https://github.com/fractastical/delphisci/blob/bf2af6ee0a84e23ffa6414ad7a0a50a8c276506e/test-data/claim-tests/aristotle-biology/aristotle-pa04-34/" } } rows { name { value: "result.json" } } rows { quad { p_iri { } o_iri { prefix_id: 12 } } } rows { name { value: "wasAttributedTo" } } rows { prefix { value: "https://w3id.org/delphi/resource/agent/" } } rows { name { value: "delphisci-claim-tester-grok-4-7" } } rows { quad { p_iri { prefix_id: 5 } o_iri { prefix_id: 13 } } } rows { name { value: "admissibleDatasets" } } rows { quad { p_iri { prefix_id: 10 } o_literal { lex: "A public anatomical record of a named fish species in which organs are terms curated for that species. A logical definition that says \'a testis is a gonad\' without a species record does not count." } } } rows { name { value: "assessmentType" } } rows { quad { p_iri { } o_literal { lex: "claim-test/0.1.0" } } } rows { name { value: "dataKind" } } rows { quad { p_iri { } o_literal { lex: "biological" } } } rows { name { value: "disconfirmingObservation" } } rows { quad { p_iri { } o_literal { lex: "A zebrafish anatomy term named testis, or a synonym testis on a zebrafish anatomy term." } } } rows { name { value: "evidenceAgainst" } } rows { quad { p_iri { } o_literal { lex: "A curated term can outlive a mistake. The verdict is only as strong as ZFIN\'s curation of this one structure. It does not describe testes in every fish lineage, and it says nothing about snakes." } } } rows { quad { o_literal { lex: "The downloads page and the field counts of the first lines of anatomy_item.txt and anatomy_synonyms.txt were inspected before registration. The line text was not stored, and the file was not searched for \'testis\'." } } } rows { name { value: "expectedObservation" } } rows { quad { p_iri { } o_literal { lex: "No anatomy term or synonym \'testis\' for the zebrafish. That observation is not available from a missing row, so the dataset cannot confirm the claim." } } } rows { name { value: "failCriterion" } } rows { quad { p_iri { } o_literal { lex: "Pre-registered. The claim is refuted if anatomy_item.txt contains a row whose anatomy name is exactly \'testis\', case-insensitive. The same verdict follows if that exact name is absent and anatomy_synonyms.txt contains the synonym \'testis\' (case-insensitive) attached to an anatomy name. If the anatomy file cannot be fetched, the verdict is inconclusive with reason data-unavailable. If the term is absent, the verdict is inconclusive with reason other: absence of a curated term is not absence of the organ." } } } rows { name { value: "hasConfidence" } } rows { datatype { value: "http://www.w3.org/2001/XMLSchema#double" } } rows { quad { p_iri { } o_literal { lex: "0.8" datatype: 1 } } } rows { name { value: "hasEvidence" } } rows { prefix { value: "https://w3id.org/delphi/resource/evidence/" } } rows { name { value: "aristotle-pa04-34--claim-test--dataset-1" } } rows { quad { p_iri { } o_iri { prefix_id: 14 } } } rows { name { value: "hasVerdict" } } rows { quad { p_iri { prefix_id: 10 } o_literal { lex: "refutes" } } } rows { name { value: "hypothesis" } } rows { quad { p_iri { } o_literal { lex: "If no fish has testicles, either external or internal, the zebrafish anatomical table will not contain a testis." } } } rows { name { value: "inferenceMethod" } } rows { quad { p_iri { } o_literal { lex: "Exact string match on the anatomy name, then on the synonym column. Presence refutes. Absence is inconclusive, reason other. No count of males and no histological measurement is required beyond the curated term." } } } rows { name { value: "passCriterion" } } rows { quad { p_iri { } o_literal { lex: "Pre-registered. This dataset cannot support the claim. A missing row is not a record that the organ was looked for and found absent. There is no pass outcome. Snakes and other footless animals are not in this table and are not scored." } } } rows { name { value: "preregistered" } } rows { datatype { value: "http://www.w3.org/2001/XMLSchema#boolean" } } rows { quad { p_iri { } o_literal { lex: "false" datatype: 2 } } } rows { prefix { value: "https://w3id.org/delphi/resource/claim/" } } rows { name { value: "aristotle-pa04-34" } } rows { name { value: "hasAssessment" } } rows { quad { s_iri { prefix_id: 15 } p_iri { prefix_id: 10 } o_iri { prefix_id: 9 name_id: 12 } } } rows { quad { s_iri { prefix_id: 14 name_id: 30 } p_iri { prefix_id: 7 name_id: 13 } o_literal { lex: "whether the zebrafish anatomical record contains a testis" } } } rows { name { value: "license" } } rows { quad { p_iri { name_id: 38 } o_literal { lex: "ZFIN public download; the downloads page asks for attribution and does not name an SPDX licence" } } } rows { name { value: "EvidenceItem" } } rows { quad { p_iri { prefix_id: 4 name_id: 10 } o_iri { prefix_id: 10 name_id: 39 } } } rows { quad { p_iri { prefix_id: 11 name_id: 16 } o_literal { lex: "Dataset: ZFIN zebrafish anatomy terms and synonyms" } } } rows { name { value: "atLocation" } } rows { prefix { value: "https://zfin.org/downloads/" } } rows { name { value: "anatomy_item.txt" } } rows { quad { p_iri { prefix_id: 5 name_id: 40 } o_iri { prefix_id: 16 } } } rows { name { value: "anatomy_synonyms.txt" } } rows { quad { o_iri { } } } rows { name { value: "wasDerivedFrom" } } rows { prefix { id: 6 value: "https://zfin.org/" } } rows { name { value: "downloads" } } rows { quad { p_iri { prefix_id: 5 } o_iri { prefix_id: 6 } } } rows { name { value: "hasChecksum" } } rows { quad { p_iri { prefix_id: 10 } o_literal { lex: "sha256:b5d296611d1b28992f6ff7a576da45c598611de98d308bd8cbddb5ccd49de7f1" } } } rows { quad { o_literal { lex: "sha256:bde4adf702730ab7c928a539d558d69949805bc2024a5e7de23d090fb886a75d" } } } rows { name { value: "SoftwareAgent" } } rows { quad { s_iri { prefix_id: 13 name_id: 20 } p_iri { prefix_id: 4 name_id: 10 } o_iri { prefix_id: 5 name_id: 46 } g_iri { prefix_id: 2 name_id: 7 } } } rows { quad { p_iri { prefix_id: 11 name_id: 16 } o_literal { lex: "delphisci claim tester (grok-4.7; cursor/aristotle-biology-claim-tests-1551)" } } } rows { name { value: "actedOnBehalfOf" } } rows { prefix { id: 8 value: "https://orcid.org/" } } rows { name { value: "0009-0007-4948-9192" } } rows { quad { p_iri { prefix_id: 5 name_id: 47 } o_iri { prefix_id: 8 } } } rows { name { value: "usesModel" } } rows { prefix { id: 1 value: "https://w3id.org/delphi/resource/model/" } } rows { name { value: "grok-4-7" } } rows { quad { p_iri { prefix_id: 10 } o_iri { prefix_id: 1 } } } rows { name { value: "identifier" } } rows { quad { s_iri { name_id: 50 } p_iri { prefix_id: 7 } o_literal { lex: "grok-4.7" } } } rows { name { value: "LanguageModel" } } rows { quad { p_iri { prefix_id: 4 name_id: 10 } o_iri { prefix_id: 10 name_id: 52 } } } rows { quad { s_iri { prefix_id: 2 name_id: 4 } p_iri { prefix_id: 5 name_id: 19 } o_iri { prefix_id: 13 } } } rows { quad { p_iri { prefix_id: 5 name_id: 43 } o_iri { prefix_id: 12 name_id: 18 } } } rows { name { value: "wasGeneratedBy" } } rows { name { value: "test" } } rows { quad { p_iri { prefix_id: 5 name_id: 53 } o_iri { prefix_id: 2 } } } rows { name { value: "plan" } } rows { name { value: "hadPlan" } } rows { prefix { id: 3 value: "https://github.com/fractastical/delphisci/blob/bf2af6ee0a84e23ffa6414ad7a0a50a8c276506e/test-data/claim-tests/" } } rows { name { value: "README.md" } } rows { quad { s_iri { } p_iri { prefix_id: 5 } o_iri { prefix_id: 3 } } } rows { name { value: "Activity" } } rows { quad { s_iri { prefix_id: 2 name_id: 54 } p_iri { prefix_id: 4 name_id: 10 } o_iri { prefix_id: 5 name_id: 58 } } } rows { name { value: "qualifiedAssociation" } } rows { quad { p_iri { } o_iri { prefix_id: 2 name_id: 55 } } } rows { name { value: "wasAssociatedWith" } } rows { quad { p_iri { prefix_id: 5 name_id: 60 } o_iri { prefix_id: 13 name_id: 20 } } } rows { prefix { id: 15 value: "https://w3id.org/np/" } } rows { name { value: "created" } } rows { datatype { value: "http://www.w3.org/2001/XMLSchema#dateTime" } } rows { quad { s_iri { prefix_id: 15 name_id: 1 } p_iri { prefix_id: 7 name_id: 61 } o_literal { lex: "2026-11-08T16:24:31.802Z" datatype: 3 } g_iri { prefix_id: 2 name_id: 9 } } } rows { name { value: "creator" } } rows { quad { p_iri { prefix_id: 7 name_id: 62 } o_iri { prefix_id: 8 name_id: 48 } } } rows { prefix { id: 9 value: "https://creativecommons.org/licenses/by/4.0/" } } rows { quad { p_iri { prefix_id: 7 name_id: 38 } o_iri { prefix_id: 9 name_id: 2 } } } rows { prefix { id: 14 value: "http://purl.org/nanopub/x/" } } rows { name { value: "hasNanopubType" } } rows { quad { p_iri { prefix_id: 14 name_id: 63 } o_iri { prefix_id: 10 name_id: 14 } } } rows { name { value: "introduces" } } rows { prefix { id: 16 value: "https://w3id.org/delphi/resource/assessment/" } } rows { quad { p_iri { prefix_id: 14 name_id: 64 } o_iri { prefix_id: 16 name_id: 12 } } } rows { quad { p_iri { prefix_id: 11 name_id: 16 } o_literal { lex: "Claim test of aristotle-pa04-34: refutes, confidence 0.8" } } } rows { name { value: "domain" } } rows { prefix { id: 6 value: "https://w3id.org/delphi/resource/domain/" } } rows { name { value: "aristotle-biology" } } rows { quad { p_iri { prefix_id: 10 name_id: 65 } o_iri { prefix_id: 6 } } } rows { name { value: "sig" } } rows { name { value: "hasAlgorithm" } } rows { quad { s_iri { prefix_id: 2 } p_iri { prefix_id: 14 } o_literal { lex: "RSA" } } } rows { name { value: "hasPublicKey" } } rows { quad { p_iri { } o_literal { lex: "MIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAyFHtPB6p0mCjDozxlOY9CmO3nBm7Te3jFbXyLmM+G1tGe47Da0jYIbhkl9Oo1ZjxmCa3LCwlEqK8gj6hEIcL4ahW30JXh9HycfKVk1bugkzMEV15tJdTzAU3sGMFnbNsn43xY2LFLy45tApkRm5byEiM7oRRrooIdwoQKnP4Wzq/bfAoJ9qvW+MGkelyOTd1jbSt+KfmT7xKmDfWzAHddUlWwMX2QJOLxDaffOteTop6ZRgPiNmPJKA/S62Gac9XtSYT3oDkZ6/nr5cxxNLpOyxTf5FPISiCe11xYO/unYjY+mwnOfA8yhJIyx1l0O9I0vpOpn+E5TvyHJV+oSTrvwIDAQAB" } } } rows { name { value: "hasSignature" } } rows { quad { p_iri { } o_literal { lex: "Di5QyS6LL3D6jCzlUr/GqKgBq/NarS/mCbWShqH/uUezB6U2QReCyUso4QgVh60GW3ihHuktgGE4cp/k92wWAuZQU2d3OVHmtLYbDTHfQSldQceC9flWmuv/muobS9hk8FQQ8UlFhGzgeAkbngat7dRRHeqgWUqEapCYHO4ESXmh74R3fCA1T+hrjqQi8SOMMC+Z0xnmhR52lxyWcNIMN8+D4HdpAP+tvwgQQiIJ557zcaucW7dMMxO6Ls1QGmLA7Oq+UeF4+IYStsKm4azP4V0qhvJ1nTUFTqGHg0QWl6PZTTH52ve5dzY+OYW/VFsLVN1BC6ni4nqtIn6ru+AETQ==" } } } rows { name { value: "hasSignatureTarget" } } rows { quad { p_iri { } o_iri { prefix_id: 15 name_id: 1 } } } rows { name { value: "signedBy" } } rows { quad { p_iri { prefix_id: 14 name_id: 72 } o_iri { prefix_id: 8 name_id: 48 } } }