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: "RAF8bYRcNsqfIzSok2CTD74JM4UE__RrpgT9kPdaIAnR0" } } rows { namespace { name: "this" value { prefix_id: 1 } } } rows { prefix { value: "https://w3id.org/np/RAF8bYRcNsqfIzSok2CTD74JM4UE__RrpgT9kPdaIAnR0/" } } 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-ha07-07--claim-test" } } rows { name { value: "description" } } rows { quad { s_iri { prefix_id: 9 } p_iri { prefix_id: 7 } o_literal { lex: "The Figshare article record was fetched, then the PNG it names. Tesseract read the table. A row counts in the forty-day window when its post-fertilization day range overlaps 38 to 42. An average crown-rump length more than five times the specimen length on the same row was marked as an OCR error and not averaged. The Dryad ant body-length file was requested and returned HTTP 401, so no ant length entered the comparison. The PNG has no column for limbs, penis, eyes, or sex." } 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: 12.233333333333334 mm mean of average crown-rump lengths in the 38-42 day window (n = 3). Interpretation: Forty days is read as estimated post-fertilization age, not as days since the last menstrual period, unless the table only offers a menstrual-age column, in which case the column is reported and the post-fertilization reading is not imputed. About the size of one of the large kind of ants is a length comparison, not a metaphor to be skipped. Limbs, penis, and disproportionately large eyes are three further clauses. An unsexed series does not confirm the claim\'s male embryo." } } } rows { name { value: "label" } } rows { quad { p_iri { } o_literal { lex: "Claim test of aristotle-ha07-07: inconclusive, confidence 0.8" } } } rows { name { value: "seeAlso" } } rows { prefix { value: "https://github.com/fractastical/delphisci/blob/bf2af6ee0a84e23ffa6414ad7a0a50a8c276506e/test-data/claim-tests/aristotle-biology/aristotle-ha07-07/" } } 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 checksummed embryo table with an age and a length, and a checksummed ant body-length table. A narrative page, Wikipedia, and a remembered millimetre value are not admissible. A missing column is not a negative observation." } } } 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 window length more than twice the longest ant in the ant table, or less than half the shortest large ant, or a table entry that a named structure is not yet present." } } } rows { name { value: "evidenceAgainst" } } rows { quad { p_iri { } o_literal { lex: "Limbs, the penis, eye size, and sex have no column in the table. A missing column does not refute those clauses, and an unsexed series does not establish the male embryo. The eye-proportion clause needs a relative eye size, which is not in the file." } } } rows { quad { o_literal { lex: "Tesseract misread the stage 13 average (the cell was dropped from the mean). Stages 19, 21, and 22 did not parse as complete rows. None of those stages fall in the window. The window rows are the ones with a day range and seven fields." } } } rows { quad { o_literal { lex: "The size clause is not scored. Stages 16, 17, and 18 have day ranges 37\342\200\22340, 39\342\200\22342, and 42\342\200\22345, which overlap the pre-registered window of 38 to 42 days. Their average crown-rump lengths are 9.6 mm (N=37), 12.2 mm (N=26), and 14.9 mm (N=33). The mean of those three averages is 12.233 mm. No checksummed ant body-length table was obtained: the Dryad file request returned HTTP 401 and 56 bytes, not a CSV. A remembered ant length was not substituted." } } } rows { quad { o_literal { lex: "The table lists embryos used to reconstruct the heart, plus the collection average for good or excellent specimens at that stage. It is not a series of forty-day abortions, and it does not say the embryos are male." } } } rows { name { value: "expectedObservation" } } rows { quad { p_iri { } o_literal { lex: "Embryos whose age overlaps 38 to 42 days post fertilization have a crown-rump length inside the large-ant body-length range, and the same table says limbs, penis, and a disproportionately large eye are visible." } } } rows { name { value: "failCriterion" } } rows { quad { p_iri { } o_literal { lex: "The size clause refutes if the window length is greater than twice the maximum body length in the ant table, or smaller than half the minimum body length of the large-ant class. A miss inside that factor-of-two band is underpowered, because the claim says about the size of a large ant. A visibility clause refutes if the embryo table says that structure is absent or not yet formed inside the window. If one clause refutes and another supports, the verdict is mixed and the clauses are named. If the embryo table has no age in days or weeks, the verdict is inconclusive with reason not-operationalizable. If no ant-length table is obtained, the size clause is inconclusive with reason not-operationalizable and is not filled from memory. If the embryo table is not obtained, the verdict is inconclusive with reason data-unavailable. A column that is missing does not refute the clause it would have measured." } } } 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-ha07-07--claim-test--dataset-1" } } rows { quad { p_iri { } o_iri { prefix_id: 14 } } } rows { name { value: "aristotle-ha07-07--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, a human embryo at about forty days has a crown-rump length inside the body-length range of a large ant, and the same records say that limbs, the penis, and disproportionately large eyes are already visible." } } } rows { name { value: "inferenceMethod" } } rows { quad { p_iri { } o_literal { lex: "Apply the day window first. Compare the window length with the ant table\'s own large-ant range. Score each visibility clause only from a field in the embryo table. Name any clause that cannot be scored." } } } rows { name { value: "passCriterion" } } rows { quad { p_iri { } o_literal { lex: "The age window is estimated post-fertilization age overlapping the closed interval from 38 to 42 days. A length in weeks is converted by multiplying by 7 before that test. The size clause supports if the crown-rump length of embryos in that window, or the mean when several lengths are given, falls inside the body-length range of the large-ant class in a checksummed ant table. Large ants are the rows that table codes as major, soldier, or the upper quartile of body length. The limb, penis, and eye clauses support only if the embryo table itself says that structure is visible in the window. The eye clause supports the disproportion claim only if the table gives an eye size relative to the head or the body, not from the word eye alone. Overall supports only if the size clause and all three visibility clauses support. Rows that are not identified as male do not establish the male clause." } } } 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-ha07-07" } } 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: "post-fertilization age range and crown-rump length by Carnegie stage" } } } rows { name { value: "license" } } rows { quad { p_iri { name_id: 39 } o_literal { lex: "CC BY 4.0. The Figshare article record says 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: Hikspoors supplemental table 2, Carnegie embryos used for heart reconstructions" } } } rows { name { value: "atLocation" } } rows { prefix { value: "https://api.figshare.com/v2/articles/" } } rows { name { value: "17144156" } } rows { quad { p_iri { prefix_id: 5 name_id: 41 } o_iri { prefix_id: 16 } } } rows { prefix { id: 6 value: "https://s3-eu-west-1.amazonaws.com/pfigshare-u-tempfiles/33943892/SupplTable2_Hikspoors.PNG?X-Amz-Algorithm=AWS4-HMAC-SHA256&X-Amz-Credential=AKIAIYCQYOYV5JSSROOA/20261102/eu-west-1/s3/" } } rows { name { value: "aws4_request&X-Amz-Date=20261102T043423Z&X-Amz-Expires=10&X-Amz-SignedHeaders=host&X-Amz-Signature=b8ae15086e69786334514ddc9c77884e0d56701efae21769d30f32e5a6bdd161" } } rows { quad { o_iri { prefix_id: 6 } } } rows { name { value: "wasDerivedFrom" } } rows { prefix { id: 8 value: "https://figshare.com/articles/figure/Supplemental_Table_2/" } } rows { quad { p_iri { prefix_id: 5 } o_iri { prefix_id: 8 name_id: 42 } } } rows { name { value: "hasChecksum" } } rows { quad { p_iri { prefix_id: 10 name_id: 45 } o_literal { lex: "sha256:6314f2c288f610aeb5e31003f46c0f08bd1fcc9aadaddd7f9369267a7e9fa25b" } } } rows { quad { o_literal { lex: "sha256:afc286eb8b753dfcb45154da597053e9c36dc1fe756cf76536aeb1519beb596d" } } } rows { quad { s_iri { prefix_id: 14 name_id: 31 } p_iri { prefix_id: 7 name_id: 13 } o_literal { lex: "attempted source of large-ant body length; the response was HTTP 401 and not a table" } } } rows { quad { p_iri { name_id: 39 } o_literal { lex: "unresolved. The file was not downloaded." } } } 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: Dryad file 4399251, attempted AntBodySize.csv" } } } rows { prefix { id: 1 value: "https://datadryad.org/api/v2/files/4399251/" } } rows { name { value: "download" } } rows { quad { p_iri { prefix_id: 5 name_id: 41 } o_iri { prefix_id: 1 name_id: 46 } } } rows { prefix { id: 3 value: "https://datadryad.org/dataset/doi:10.5061/" } } rows { name { value: "dryad.c866t1ggn" } } rows { quad { p_iri { prefix_id: 5 name_id: 44 } o_iri { prefix_id: 3 name_id: 47 } } } rows { quad { p_iri { prefix_id: 10 name_id: 45 } o_literal { lex: "sha256:1ac025323ea66e58c9a8a0b960db5a839ef812e1ff8bfea2f3aff74dc3961296" } } } 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: 48 } 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-anatomy-b-3f24)" } } } rows { name { value: "actedOnBehalfOf" } } rows { prefix { id: 12 value: "https://orcid.org/" } } rows { name { value: "0009-0007-4948-9192" } } rows { quad { p_iri { prefix_id: 5 name_id: 49 } o_iri { prefix_id: 12 } } } rows { name { value: "usesModel" } } rows { prefix { id: 15 value: "https://w3id.org/delphi/resource/model/" } } rows { name { value: "grok-4-7" } } rows { quad { p_iri { prefix_id: 10 } o_iri { prefix_id: 15 } } } rows { name { value: "identifier" } } rows { quad { s_iri { name_id: 52 } 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: 54 } } } rows { quad { s_iri { prefix_id: 2 name_id: 4 } p_iri { prefix_id: 5 name_id: 19 } o_iri { prefix_id: 13 } } } rows { prefix { id: 9 value: "https://github.com/fractastical/delphisci/blob/bf2af6ee0a84e23ffa6414ad7a0a50a8c276506e/test-data/claim-tests/aristotle-biology/aristotle-ha07-07/" } } rows { quad { p_iri { prefix_id: 5 name_id: 44 } o_iri { prefix_id: 9 name_id: 18 } } } rows { name { value: "wasGeneratedBy" } } rows { name { value: "test" } } rows { quad { p_iri { prefix_id: 5 name_id: 55 } o_iri { prefix_id: 2 } } } rows { name { value: "plan" } } rows { name { value: "hadPlan" } } rows { prefix { id: 16 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: 16 } } } rows { name { value: "Activity" } } rows { quad { s_iri { prefix_id: 2 name_id: 56 } p_iri { prefix_id: 4 name_id: 10 } o_iri { prefix_id: 5 name_id: 60 } } } rows { name { value: "qualifiedAssociation" } } rows { quad { p_iri { } o_iri { prefix_id: 2 name_id: 57 } } } rows { name { value: "wasAssociatedWith" } } rows { quad { p_iri { prefix_id: 5 name_id: 62 } o_iri { prefix_id: 13 name_id: 20 } } } rows { prefix { id: 6 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: 6 name_id: 1 } p_iri { prefix_id: 7 name_id: 63 } o_literal { lex: "2026-11-08T16:24:31.776Z" datatype: 3 } g_iri { prefix_id: 2 name_id: 9 } } } rows { name { value: "creator" } } rows { quad { p_iri { prefix_id: 7 name_id: 64 } o_iri { prefix_id: 12 name_id: 50 } } } rows { prefix { id: 8 value: "https://creativecommons.org/licenses/by/4.0/" } } rows { quad { p_iri { prefix_id: 7 name_id: 39 } o_iri { prefix_id: 8 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: 65 } o_iri { prefix_id: 10 name_id: 14 } } } rows { name { value: "introduces" } } rows { prefix { id: 1 value: "https://w3id.org/delphi/resource/assessment/" } } rows { quad { p_iri { prefix_id: 14 name_id: 66 } o_iri { prefix_id: 1 name_id: 12 } } } rows { quad { p_iri { prefix_id: 11 name_id: 16 } o_literal { lex: "Claim test of aristotle-ha07-07: inconclusive, confidence 0.8" } } } rows { name { value: "domain" } } rows { prefix { id: 3 value: "https://w3id.org/delphi/resource/domain/" } } rows { name { value: "aristotle-biology" } } rows { quad { p_iri { prefix_id: 10 name_id: 67 } o_iri { prefix_id: 3 } } } 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: "LjhU61L4JmXZpuf/YlvTs9EOaD15FPIlTUWkx/X1pSUvQHTayQtwrAxKPo0kVWmaohBxZ7SzMpVOekeU1Vllsa0tUcaEVoYLCZ940MKcDJeLUUBxaIQ7uiYaM9XziQNwdEgcbLV5Zd3EALoDvnaJVWaiwW+zFY/nHZRL8WP+uemuXjzNP/WZWgz15+V4zXIvE4eZoZ+00/LBNwqisBb85WlvseIN8y6XKxE3WhYcOVh5HF280DdKEcTZrUq+cDBTT57iYFgxYFP2fxtjCvYGQOCkWILomxPsZoG+zZqH02XWR28Nk7tymH06tMY7aOOi7L+iQs9ZjdYJ0Pwla4ntCA==" } } } rows { name { value: "hasSignatureTarget" } } rows { quad { p_iri { } o_iri { prefix_id: 6 name_id: 1 } } } rows { name { value: "signedBy" } } rows { quad { p_iri { prefix_id: 14 name_id: 74 } o_iri { prefix_id: 12 name_id: 50 } } }