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: "RAZjJ_8sLOOsSdPHl9wULDt9AjMScw24CgXrTwSkRNe98" } } rows { namespace { name: "this" value { prefix_id: 1 } } } rows { prefix { value: "https://w3id.org/np/RAZjJ_8sLOOsSdPHl9wULDt9AjMScw24CgXrTwSkRNe98/" } } 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-ha05-24--claim-test" } } rows { name { value: "description" } } rows { quad { s_iri { prefix_id: 9 } p_iri { prefix_id: 7 } o_literal { lex: "Opened the AnAge species table and the PanTHERIA WR05 table and kept the Equus caballus row in each. AnAge columns were scanned for a typical, median or mean lifespan, for a sex split of longevity, and for an age at last reproduction. The only longevity figure is Maximum longevity (yrs) = 57. PanTHERIA\'s only longevity column is 17-1_MaxLongevity_m = 744 months (62 years). Both are maxima above 30 years, with no sex-specific typical lifespan, so the pre-registered rule returns inconclusive, not-operationalizable. Maturity ages are recorded and do not score lifelong sexual capacity." } 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: 57 years, AnAge maximum longevity of Equus caballus (n = 1, one species-level maximum; PanTHERIA maximum is 744 months). Interpretation: The stallion and the mare are the two sexes of the domestic horse, Equus caballus. \'As a rule\' is a typical lifespan, so a record maximum above 40 does not by itself refute a typical life of 35, and it does not confirm it either. \'A little over forty\' is the interval (40, 50] years. \'Almost all their lives\' is a reproductive span covering at least three quarters of the typical lifespan. The inference from lifespan to lifelong sexual capacity is scored only when a reproductive-senescence or age-at-last-reproduction field is in the downloaded row." } } } rows { name { value: "label" } } rows { quad { p_iri { } o_literal { lex: "Claim test of aristotle-ha05-24: inconclusive, confidence 0.9" } } } rows { name { value: "seeAlso" } } rows { prefix { value: "https://github.com/fractastical/delphisci/blob/bf2af6ee0a84e23ffa6414ad7a0a50a8c276506e/test-data/claim-tests/aristotle-biology/aristotle-ha05-24/" } } 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: "AnAge and PanTHERIA rows for Equus caballus only. Maximum longevity is admissible as a maximum, not as a substitute for the typical lifespan. No demographic paper is added after seeing the rows." } } } 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: "Sex-specific typical longevities fall outside 28 to 42 years for males or outside just over 40 to 55 for females, females do not outlive males, the recorded maximum is under 30 years, or reproductive lifespan is under 60 percent of longevity." } } } rows { name { value: "evidenceAgainst" } } rows { quad { p_iri { } o_literal { lex: "Female and male maturity ages are present (AnAge) and are not an age at last reproduction, so the clause that horses stay sexually capable almost all their lives is untested." } } } rows { quad { o_literal { lex: "No demographic paper was added after seeing these rows, which is the pre-registered limit." } } } rows { quad { o_literal { lex: "The claim is about the lifespan as a rule, by sex. Both tables give one maximum for the species. A maximum of 57 or 62 years does not confirm or refute a typical stallion life of about 35 or a mare life of a little over 40." } } } rows { name { value: "expectedObservation" } } rows { quad { p_iri { } o_literal { lex: "Typical male horse longevity falls between 30 and 40 years, typical female longevity falls between just over 40 and 50 years and exceeds the male, and age at last reproduction is at least 75 percent of typical longevity in both sexes." } } } rows { name { value: "failCriterion" } } rows { quad { p_iri { } o_literal { lex: "Refutes if sex-specific typical longevities are present and the male value is outside [28, 42] or the female value is outside (40, 55] or the female value is not greater than the male value. Refutes if a reproductive-lifespan fraction is present and is < 0.60 for either sex. Mixed if the lifespan windows and the sex order hold but a recorded reproductive fraction is < 0.75, or the reproductive fractions are >= 0.75 but the typical longevities fall outside the support windows and inside the refute windows\' complement only when they are not already a refute. A species-level maximum longevity, with no sex split and no typical-lifespan column, does not confirm or refute the \'as a rule\' figures. If that maximum is < 30 years, refutes, because a typical life of 35 or 40 cannot exceed the maximum. Otherwise inconclusive, reason not-operationalizable. PanTHERIA longevity, if it is a single maximum in months, is converted to years and treated under the same maximum rule. No paper is fetched to fill a sex split that these two tables do not contain." } } } rows { name { value: "hasConfidence" } } rows { datatype { value: "http://www.w3.org/2001/XMLSchema#double" } } rows { quad { p_iri { } o_literal { lex: "0.9" datatype: 1 } } } rows { name { value: "hasEvidence" } } rows { prefix { value: "https://w3id.org/delphi/resource/evidence/" } } rows { name { value: "aristotle-ha05-24--claim-test--dataset-1" } } rows { quad { p_iri { } o_iri { prefix_id: 14 } } } rows { name { value: "aristotle-ha05-24--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 typical lifespan of stallions is about 35 years and of mares a little over 40, mares outlive stallions, and both sexes remain able to reproduce for most of that lifespan." } } } rows { name { value: "inferenceMethod" } } rows { quad { p_iri { } o_literal { lex: "Compare sex-specific typical values with the fixed windows. A maximum-only row yields inconclusive unless the maximum is under 30 years. The sexual-capability clause is scored only from a reproductive-lifespan field and is otherwise untested; support of the whole claim requires that field." } } } rows { name { value: "passCriterion" } } rows { quad { p_iri { } o_literal { lex: "Use the AnAge species row for Equus caballus and the PanTHERIA row for Equus caballus. \'As a rule\' means a typical lifespan (median, mean or \'typical\' column), not a maximum record. Stallion window: typical male longevity in [30, 40] years. Mare window: typical female longevity greater than 40 and at most 50 years. Mares must exceed stallions. \'Sexually capable almost all their lives\' means, for each sex, (age at last reproduction minus age at sexual maturity) is not required; the fraction (longevity minus age at last reproduction) is not used. The fraction required is age_at_last_reproduction / typical_longevity >= 0.75 for each sex that has both fields, or, if age at last reproduction is absent, the clause is untested. Supports only if both sex-specific typical longevities fall in their windows, mare > stallion, and the reproductive fraction is >= 0.75 for both sexes." } } } 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-ha05-24" } } 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: "species-level maximum longevity and maturity ages; no sex-specific typical lifespan" } } } rows { name { value: "license" } } rows { quad { p_iri { name_id: 39 } o_literal { lex: "not stated in the zip" } } } 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: AnAge species dataset, Equus caballus row" } } } rows { name { value: "atLocation" } } rows { prefix { value: "https://genomics.senescence.info/species/" } } rows { name { value: "dataset.zip" } } rows { quad { p_iri { prefix_id: 5 name_id: 41 } o_iri { prefix_id: 16 } } } rows { name { value: "wasDerivedFrom" } } rows { quad { p_iri { prefix_id: 5 } o_iri { prefix_id: 16 name_id: 2 } } } rows { name { value: "hasChecksum" } } rows { quad { p_iri { prefix_id: 10 name_id: 44 } o_literal { lex: "sha256:e3ddb66e32e973a79932859ba53013e8f60d957c6ec01c6eb573e3ea3018d630" } } } rows { quad { s_iri { prefix_id: 14 name_id: 31 } p_iri { prefix_id: 7 name_id: 13 } o_literal { lex: "maximum longevity in months (column 17-1_MaxLongevity_m)" } } } rows { quad { p_iri { name_id: 39 } o_literal { lex: "not stated in the file" } } } 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: PanTHERIA 1.0 WR05, Equus caballus row" } } } rows { prefix { id: 6 value: "https://esapubs.org/archive/ecol/E090/184/" } } rows { name { value: "PanTHERIA_1-0_WR05_Aug2008.txt" } } rows { quad { p_iri { prefix_id: 5 name_id: 41 } o_iri { prefix_id: 6 name_id: 45 } } } rows { quad { p_iri { prefix_id: 5 name_id: 43 } o_iri { prefix_id: 6 name_id: 2 } } } rows { quad { p_iri { prefix_id: 10 name_id: 44 } o_literal { lex: "sha256:36e64314cae0394a966a63b949504d1975ac5c5629e05e36c1b139b3348f044a" } } } 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-breeding-f-77ba)" } } } 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.764Z" 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: 39 } o_iri { prefix_id: 9 name_id: 2 } } } rows { prefix { id: 16 value: "http://purl.org/nanopub/x/" } } rows { name { value: "hasNanopubType" } } rows { quad { p_iri { prefix_id: 16 name_id: 63 } 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: 16 name_id: 64 } 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-ha05-24: inconclusive, confidence 0.9" } } } 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: 16 } 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: "J0h1Tgqg9lWx9DX1i2T97t+u1YSnZIRElUHRK4n7yi4nz+S+UjQ5new1zz8I4hnty+rirQ/d1zEjWf3I+VnnS9BVewoug/TWbHgNPDwUFnwF7M1e92e174LH8Xi7nfFczlY96M8xE0Tm7EqrPmSTM2GxGavUysgJtiDsXOWEvVca5E5Ya/DIjTZbALdsaPSk0C3dUhbH/6DuvV7m05ZQ5utsZ3JsOZH1RI2nj8OL2p9iJ3uLbGpTCvYesLBkZuAaDtn2lmlSwXZpTpPeyZPEEvuDKOLmBG6ZftEsP1mHMrCNWdLXW/3scn2twP4TVBCvIOP4PH4Km8ojol5D5N3MAQ==" } } } 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: 16 name_id: 72 } o_iri { prefix_id: 8 name_id: 48 } } }