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: "RAMHKttnrqlL4yNsHlKcMOY5zDCxc7tfissdvcZq67eGk" } } rows { namespace { name: "this" value { prefix_id: 1 } } } rows { prefix { value: "https://w3id.org/np/RAMHKttnrqlL4yNsHlKcMOY5zDCxc7tfissdvcZq67eGk/" } } 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-ha09-38--claim-test" } } rows { name { value: "description" } } rows { quad { s_iri { prefix_id: 9 } p_iri { prefix_id: 7 } o_literal { lex: "Downloaded HerbiTraits 1.2 and the Hartigan dentition file. A ruminant is an extant species whose Fermentation.Type is exactly Foregut Ruminant. Column I is the top-incisor count, as the file header states. Each dental common name is attached to one genus by the fixed map, or, if it is not in the map, by an exact match to one HerbiTraits common name after case-folding. Every extant species of that genus receives that count. The example clause and the 80 percent group clause are then applied as pre-registered. Species with no count are excluded from the fraction." } 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: 1 fraction of joined extant foregut ruminants with top-incisor count 0 (n = 7). Interpretation: Rumination is read as HerbiTraits\' class Foregut Ruminant, which is cud-chewing foregut fermentation, not the broader class Foregut Non-ruminant. Upper front teeth are the upper incisors, the teeth ruminants replace with a dental pad. The claim allows a few ruminants with teeth in both jaws, so the pass threshold is 80 percent without upper incisors rather than every species. The test does not ask whether every mammal that lacks upper incisors ruminates. Cattle, sheep and goats are the examples named in the claim. The common-name map is only a link from the dental file\'s labels to genera; it is not itself a fermentation measurement." } } } rows { name { value: "label" } } rows { quad { p_iri { } o_literal { lex: "Claim test of aristotle-ha09-38: inconclusive, confidence 0.48" } } } rows { name { value: "seeAlso" } } rows { prefix { value: "https://github.com/fractastical/delphisci/blob/bf2af6ee0a84e23ffa6414ad7a0a50a8c276506e/test-data/claim-tests/aristotle-biology/aristotle-ha09-38/" } } 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-high-fast" } } 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: "An open species-level fermentation classification that separates foregut ruminants from other herbivores, and an open dental-formula table that counts upper incisors separately from lower incisors. The fermentation class must not be copied from the dental table. Extinct species do not count. A login wall 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: "Cattle, sheep or goats are not foregut ruminants or have upper incisors, or most foregut ruminants that can be matched to a dental formula have upper incisors." } } } rows { name { value: "evidenceAgainst" } } rows { quad { p_iri { } o_literal { lex: "Before this registration the HerbiTraits metadata dictionary was read, including the five fermentation labels. The trait table of species and the dental-formula file were not opened. No species was scored." } } } rows { quad { o_literal { lex: "HerbiTraits covers large herbivores of at least 10 kg. Small ruminants under that mass are absent." } } } rows { quad { o_literal { lex: "One count is copied to every extant species of the matched genus. Cervus receives the elk and deer formulae, which agree at 0 upper incisors." } } } rows { quad { o_literal { lex: "One dental formula is applied to every extant species of the mapped genus. A species that differs from that genus pattern would be mis-scored. The map was written before either data file was opened." } } } rows { quad { o_literal { lex: "The Hartigan file\'s labels that hit the fixed map are elk, deer, moose and reindeer. Cattle, sheep and goat are not labels in that file, so Bos, Ovis and Capra receive no top-incisor count. The map was not extended to fill that gap." } } } rows { name { value: "expectedObservation" } } rows { quad { p_iri { } o_literal { lex: "Extant foregut ruminants, including cattle, sheep and goats, have no upper incisors, aside from a minority of ruminant species that do have upper incisors." } } } rows { name { value: "failCriterion" } } rows { quad { p_iri { } o_literal { lex: "Pre-registered refutation rule. The example clause fails if any of Bos, Ovis or Capra has a joined extant species that is not a Foregut Ruminant or that has a top-incisor count greater than 0. The group clause fails if at least 8 extant Foregut Ruminant species have a count and fewer than 50 percent of them have a count of 0. Any failed clause refutes the claim. If no clause fails and the group has fewer than 8 joined ruminants, the verdict is inconclusive with reason underpowered. If a file cannot be downloaded, the verdict is inconclusive with reason data-unavailable. If both files download but the top-incisor column cannot be identified, the verdict is inconclusive with reason other. If the group fraction is at least 50 percent and below 80 percent and the example clause does not fail, the verdict is mixed. If the example genera are missing from the join and the group clause passes, the verdict is mixed." } } } rows { name { value: "hasConfidence" } } rows { datatype { value: "http://www.w3.org/2001/XMLSchema#double" } } rows { quad { p_iri { } o_literal { lex: "0.48" datatype: 1 } } } rows { name { value: "hasEvidence" } } rows { prefix { value: "https://w3id.org/delphi/resource/evidence/" } } rows { name { value: "aristotle-ha09-38--claim-test--dataset-1" } } rows { quad { p_iri { } o_iri { prefix_id: 14 } } } rows { name { value: "aristotle-ha09-38--claim-test--dataset-2" } } rows { quad { o_iri { } } } rows { name { value: "hasVerdict" } } rows { quad { p_iri { prefix_id: 10 } o_literal { lex: "inconclusive" } } } rows { name { value: "hypothesis" } } rows { quad { p_iri { } o_literal { lex: "If the claim holds, the living animals classified as ruminants lack upper front teeth, with only a few ruminant species carrying teeth in the upper jaw as well, and the named examples cattle, sheep and goats are ruminants without upper incisors." } } } rows { name { value: "inferenceMethod" } } rows { quad { p_iri { } o_literal { lex: "Join the dental common names to genera with the fixed map in pass_criterion, give every extant species of that genus the same top-incisor count, then apply the example clause and the 80 percent group clause. The fraction uses extant Foregut Ruminant species only. Species with no joined count are excluded, not scored as having teeth. A fraction from 50 percent up to but not including 80 percent is mixed. Fewer than 8 joined ruminants is underpowered." } } } rows { name { value: "passCriterion" } } rows { quad { p_iri { } o_literal { lex: "Pre-registered support rule. A species is a ruminant when HerbiTraits Fermentation.Type is exactly Foregut Ruminant and Species.Status contains the word Extant. Upper front teeth are the top-incisor count in the Hartigan mammal dentition file. A dental common name is applied to every extant HerbiTraits species of one genus, using this fixed map and no other: cow, ox, cattle, bull to Bos; sheep, ewe, ram to Ovis; goat to Capra; deer to Cervus; elk to Cervus; moose to Alces; caribou and reindeer to Rangifer; camel to Camelus; llama and alpaca to Lama; giraffe to Giraffa; pig, hog and boar to Sus; horse, mare and stallion to Equus; hippopotamus and hippo to Hippopotamus. If the dental name is not in that map, it matches a HerbiTraits common name only when the two normalized strings are equal. A name that would attach to more than one genus is not used. The example clause passes if at least one extant species in each of Bos, Ovis and Capra is a Foregut Ruminant and has a top-incisor count of 0. The group clause passes if at least 8 extant Foregut Ruminant species receive a top-incisor count and at least 80 percent of them have a count of 0. The claim is supported only when both clauses pass. A count of 0 is the absence of upper incisors. A positive count is teeth in the upper jaw." } } } 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-ha09-38" } } 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: "fermentation class, independent of the dental formulae; Foregut Ruminant is the ruminant class" } } } rows { name { value: "license" } } rows { quad { p_iri { name_id: 39 } o_literal { lex: "CC BY 4.0" } } } rows { name { value: "EvidenceItem" } } rows { quad { p_iri { prefix_id: 4 name_id: 10 } o_iri { prefix_id: 10 name_id: 40 } } } rows { quad { p_iri { prefix_id: 11 name_id: 16 } o_literal { lex: "Dataset: HerbiTraits 1.2, functional traits of late Quaternary large-bodied herbivores" } } } rows { name { value: "atLocation" } } rows { prefix { value: "https://raw.githubusercontent.com/MegaPast2Future/HerbiTraits/master/Data/HerbiTraits_1.2/HerbiTraits_1.2/" } } rows { name { value: "HerbiTraits_1.2.csv" } } rows { quad { p_iri { prefix_id: 5 name_id: 41 } o_iri { prefix_id: 16 } } } rows { name { value: "wasDerivedFrom" } } rows { prefix { id: 6 value: "https://github.com/MegaPast2Future/" } } rows { name { value: "HerbiTraits" } } 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:b9762e9f7794b6bc51556a20d9c5b7609ba1c77f428ee124406e13011575831c" } } } rows { quad { s_iri { prefix_id: 14 name_id: 31 } p_iri { prefix_id: 7 name_id: 13 } o_literal { lex: "upper-incisor counts; column I is named as top incisors in the file header" } } } rows { quad { p_iri { name_id: 39 } o_literal { } } } rows { quad { p_iri { prefix_id: 4 name_id: 10 } o_iri { prefix_id: 10 name_id: 40 } } } rows { quad { p_iri { prefix_id: 11 name_id: 16 } o_literal { lex: "Dataset: Dentition of mammals, Hartigan Clustering Algorithms page 170, Burkardt file19" } } } rows { prefix { id: 8 value: "https://people.sc.fsu.edu/~jburkardt/datasets/hartigan/" } } rows { name { value: "file19.txt" } } rows { quad { p_iri { prefix_id: 5 name_id: 41 } o_iri { prefix_id: 8 name_id: 46 } } } rows { quad { p_iri { prefix_id: 5 name_id: 43 } } } rows { quad { p_iri { prefix_id: 10 name_id: 45 } o_literal { lex: "sha256:76cdc59d9627273829764aa3eeb6293ce9c094be4d36716aa2f182279970287e" } } } 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: 47 } 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-high-fast; cursor/aristotle-biology-claim-tests-957f)" } } } rows { name { value: "actedOnBehalfOf" } } rows { prefix { id: 1 value: "https://orcid.org/" } } rows { name { value: "0009-0007-4948-9192" } } rows { quad { p_iri { prefix_id: 5 name_id: 48 } o_iri { prefix_id: 1 } } } rows { name { value: "usesModel" } } rows { prefix { id: 3 value: "https://w3id.org/delphi/resource/model/" } } rows { name { value: "grok-4-7-high-fast" } } rows { quad { p_iri { prefix_id: 10 } o_iri { prefix_id: 3 } } } rows { name { value: "identifier" } } rows { quad { s_iri { name_id: 51 } p_iri { prefix_id: 7 } o_literal { lex: "grok-4.7-high-fast" } } } rows { name { value: "LanguageModel" } } rows { quad { p_iri { prefix_id: 4 name_id: 10 } o_iri { prefix_id: 10 name_id: 53 } } } 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: 54 } o_iri { prefix_id: 2 } } } rows { name { value: "plan" } } rows { name { value: "hadPlan" } } rows { prefix { id: 15 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: 15 } } } rows { name { value: "Activity" } } rows { quad { s_iri { prefix_id: 2 name_id: 55 } p_iri { prefix_id: 4 name_id: 10 } o_iri { prefix_id: 5 name_id: 59 } } } rows { name { value: "qualifiedAssociation" } } rows { quad { p_iri { } o_iri { prefix_id: 2 name_id: 56 } } } rows { name { value: "wasAssociatedWith" } } rows { quad { p_iri { prefix_id: 5 name_id: 61 } o_iri { prefix_id: 13 name_id: 20 } } } rows { prefix { id: 9 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: 9 name_id: 1 } p_iri { prefix_id: 7 name_id: 62 } o_literal { lex: "2026-11-08T16:24:31.788Z" datatype: 3 } g_iri { prefix_id: 2 name_id: 9 } } } rows { name { value: "creator" } } rows { quad { p_iri { prefix_id: 7 name_id: 63 } o_iri { prefix_id: 1 name_id: 49 } } } rows { prefix { id: 16 value: "https://creativecommons.org/licenses/by/4.0/" } } rows { quad { p_iri { prefix_id: 7 name_id: 39 } o_iri { prefix_id: 16 name_id: 2 } } } rows { prefix { id: 6 value: "http://purl.org/nanopub/x/" } } rows { name { value: "hasNanopubType" } } rows { quad { p_iri { prefix_id: 6 name_id: 64 } o_iri { prefix_id: 10 name_id: 14 } } } rows { name { value: "introduces" } } rows { prefix { id: 14 value: "https://w3id.org/delphi/resource/assessment/" } } rows { quad { p_iri { prefix_id: 6 name_id: 65 } o_iri { prefix_id: 14 name_id: 12 } } } rows { quad { p_iri { prefix_id: 11 name_id: 16 } o_literal { lex: "Claim test of aristotle-ha09-38: inconclusive, confidence 0.48" } } } rows { name { value: "domain" } } rows { prefix { id: 8 value: "https://w3id.org/delphi/resource/domain/" } } rows { name { value: "aristotle-biology" } } rows { quad { p_iri { prefix_id: 10 name_id: 66 } o_iri { prefix_id: 8 } } } rows { name { value: "sig" } } rows { name { value: "hasAlgorithm" } } rows { quad { s_iri { prefix_id: 2 } p_iri { prefix_id: 6 } 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: "XgCnY/sKk7bbfgxuIRZ8QQRaDEXAUqwrrHOxJKsrJErVC/JrRzPFa3bcXZpEVcLvQSYylYTx6xmvBGEJrUejRHQCoMDYOkzcWqhuYdatYfZjYe+KkXNavzqmkeYgd/owteA1Hf8SEMKix7nsTKsYXoa/ALZJ7zHcNcgYh6YVRF5E2tv/ii1mhl/fslCcTS9Ibnv+CZr3AzFRPAUEPnkUSwPI0Ay8+Cax0//KNJe+UzXCMsW9+4snvgHvV6gh0KmRC+cqXZc1x1Pmp8F9mL3q2Qdj6SA4J+ZZGAx7OFP4f6/IMQFng15qYwg0qbZiWQ2/T8rtPwb93njcy4V1NbnPrw==" } } } rows { name { value: "hasSignatureTarget" } } rows { quad { p_iri { } o_iri { prefix_id: 9 name_id: 1 } } } rows { name { value: "signedBy" } } rows { quad { p_iri { prefix_id: 6 name_id: 73 } o_iri { prefix_id: 1 name_id: 49 } } }