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: "RAwrJzyNfqKL3P0E_AuBCIbgeqH6ZujhRatYpdQ5qtLZM" } } rows { namespace { name: "this" value { prefix_id: 1 } } } rows { prefix { value: "https://w3id.org/np/RAwrJzyNfqKL3P0E_AuBCIbgeqH6ZujhRatYpdQ5qtLZM/" } } 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-ga02-05--claim-test" } } rows { name { value: "description" } } rows { quad { s_iri { prefix_id: 9 } p_iri { prefix_id: 7 } o_literal { lex: "Tried the Dryad mode file (not downloaded: csv https://datadryad.org/downloads/file_stream/4253772: HTTP Error 403: Forbidden). Classified internal live bearers as placental only when the note still says placenta after removing \'aplacental\' and \'without a placenta\'. Joined to FishBase species.AirBreathing. One matched non-air-breathing placental species refutes the universal. Yolk-only live birth was not used as a counterexample." } 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: 75 placentally viviparous species coded not air-breathing (n = 75). Interpretation: Internally viviparous follows Aristotle\'s contrast in this chapter: the embryo is kept inside and nourished by the mother, as in man, viviparous quadrupeds and cetaceans, as against cartilaginous fishes that \'first lay eggs within themselves\' and are only afterwards externally viviparous. Placental viviparity, oophagy and uterine-milk (histotroph) live birth are maternal nourishment. Yolk-only live birth is the egg-inside case and is excluded from the test class. Breathing air means the FishBase air-breathing field is affirmative, including facultative air-breathing. Gill ventilation of water is not air-breathing. The parenthetical scope (man, viviparous quadrupeds, cetaceans) names the animals Aristotle counted as internally viviparous; the sentence under test is the universal \'nothing is internally viviparous unless it breathe air\', so a water-breathing placental fish is inside the claim." } } } rows { name { value: "label" } } rows { quad { p_iri { } o_literal { lex: "Claim test of aristotle-ga02-05: 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-ga02-05/" } } 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: "An open species-level reproductive-mode table that separates placental viviparity, other matrotrophy, yolk-only live birth and egg-laying for chondrichthyans, joined to a FishBase snapshot field that records air-breathing. The FishBase reproduc text is a backup only if the Dryad mode file cannot be fetched, and only rows whose guild is internal live-bearing and whose text matches the pre-registered patterns." } } } 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: "At least one placentally viviparous species is coded as not air-breathing. Yolk-only live-bearing fishes do not count as that counterexample." } } } rows { name { value: "evidenceAgainst" } } rows { quad { p_iri { } o_literal { lex: "Analysis: All 75 species whose notes still say placenta are coded \'only water-breathing (assumed)\' (WaterAssumed), FishBase\'s default water-breathing category, rather than from a species-by-species respiration paper. The code is the database\'s statement that they are not air-breathers. It is not a new measurement of gill ventilation. Genera in the set: Carcharhinus, Chaenogaleus, Eusphyra, Glyphis, Hemigaleus, Hypogaleus, Iago, Isogomphodon, Lamiopsis, Leptocharias, Loxodon, Mustelus, Nasolamia, Negaprion, Paragaleus, Prionace, Rhizoprionodon, Scoliodon, Scylliogaleus, Sphyrna, Triaenodon." } } } rows { quad { o_literal { lex: "Analysis: The Dryad file shark_modepruned_E.csv was not used. The download URL returns an interstitial bot check rather than the CSV. The pre-registered FishBase reproduc backup was used instead." } } } rows { quad { o_literal { lex: "Analysis: The test class is the FishBase internal-live-bearer notes that still contain the word placenta after the negation filter. It does not re-survey mammals, and it does not add yolk-only live birth. A single non-air-breathing placental fish refutes the universal. Species whose notes never use the word placenta are outside this backup pattern." } } } rows { quad { o_literal { lex: "Landing-page documentation for the Dryad deposit and the FishBase snapshot listing were viewed before this commit. The mode CSV and the parquet tables were not downloaded, and no species was classified." } } } rows { quad { o_literal { lex: "Most FishBase species, including the placental elasmobranchs and teleosts in this count, are coded \'only water-breathing (assumed)\' rather than from a species-by-species respiration paper. The code is the database\'s statement that they are not air-breathers. It is not a new measurement of gill ventilation." } } } rows { quad { o_literal { lex: "The Dryad file shark_modepruned_E.csv was not used. The download URL returns an interstitial bot check rather than the CSV. The pre-registered FishBase reproduc backup was used instead." } } } rows { quad { o_literal { lex: "The test class is FishBase\'s placental live-bearers, which are fishes. It does not re-survey mammals. A single non-air-breathing placental fish refutes the universal." } } } rows { name { value: "expectedObservation" } } rows { quad { p_iri { } o_literal { lex: "Every species coded as placentally viviparous in the reproductive-mode table is coded as air-breathing in FishBase." } } } rows { name { value: "failCriterion" } } rows { quad { p_iri { } o_literal { lex: "Pre-registered (claim refuted). At least one species coded Placental_viviparity matches a FishBase record that is not air-breathing. If the mode table contains no placental species, the same rule is applied to the wider matrotrophic set (Placental_viviparity, Live-bearing_with_oophagy, Live-bearing_with_uterine_milk) and a single non-air-breathing match refutes. Yolk-only viviparity does not refute and does not support: Aristotle already classed cartilaginous fishes that keep a yolky egg inside and then bear the young as externally viviparous. Verdict \'mixed\' is not used unless the placental class is entirely air-breathing or unmatched while at least one oophagy or uterine-milk species is a matched non-air-breather, in which case the strict placental reading is unscored and the wider matrotrophic reading is refuted. Verdict \'inconclusive\' with reason \'data-unavailable\' if neither the Dryad mode file nor the FishBase reproduc backup can be read, or if no air-breathing field exists. Verdict \'inconclusive\' with reason \'underpowered\' if fewer than 15 species fall in the class being tested or fewer than half of them match a respiration record and the matched non-air-breathing count is zero. Confidence: 0.80 if at least five placental species are matched non-air-breathers; 0.65 if the refutation uses fewer than five placental species or only the wider matrotrophic set; 0.40 if the verdict is supports (the table covers chondrichthyans, so an absence of counterexamples is not a survey of all animals); 0.35 if inconclusive." } } } 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-ga02-05--claim-test--dataset-1" } } rows { quad { p_iri { } o_iri { prefix_id: 14 } } } rows { name { value: "aristotle-ga02-05--claim-test--dataset-2" } } rows { quad { o_iri { } } } 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 the claim holds, every animal that is internally viviparous in Aristotle\'s sense also breathes air, so a survey that separates maternal nourishment of the embryo from mere retention of a yolky egg will find no water-breathing species in the internally viviparous class." } } } rows { name { value: "inferenceMethod" } } rows { quad { p_iri { } o_literal { lex: "Count species by mode. Match binomials to FishBase. A species is not air-breathing when the air-breathing field is no, false, 0, water or gill, and is air-breathing when it is yes, true, 1, obligate or facultative. One matched placental non-air-breather refutes the universal. Thresholds and the backup text patterns are fixed in pass_criterion, fail_criterion and the backup note in method_preregistered." } } } rows { name { value: "passCriterion" } } rows { quad { p_iri { } o_literal { lex: "Pre-registered (claim supported). Using the reproductive-mode table, at least 15 species are coded Placental_viviparity, at least 90 percent of those species match a FishBase respiration record, and every matched placental species is coded as air-breathing. Yolk-only live birth and egg-laying are not counted as internal viviparity." } } } 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-ga02-05" } } 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: "air-breathing code for each species, with the seven-row code list" } } } rows { name { value: "license" } } rows { quad { p_iri { name_id: 39 } o_literal { } } } 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: FishBase species table snapshot v26.06, air-breathing field, via the rfishbase source.coop release" } } } rows { name { value: "atLocation" } } rows { prefix { value: "https://data.source.coop/cboettig/fishbase/fb/v26.06/parquet/" } } rows { name { value: "airbreathingref.parquet" } } rows { quad { p_iri { prefix_id: 5 name_id: 41 } o_iri { prefix_id: 16 } } } rows { name { value: "species.parquet" } } rows { quad { o_iri { } } } rows { name { value: "wasDerivedFrom" } } rows { prefix { id: 6 value: "https://www.fishbase.se/" } } rows { quad { p_iri { prefix_id: 5 } o_iri { prefix_id: 6 name_id: 2 } } } rows { name { value: "hasChecksum" } } rows { quad { p_iri { prefix_id: 10 name_id: 45 } o_literal { lex: "sha256:14c8af688933e28be5be0e9a480b0be1b2d4afc5fe0358817d0e9c042f214897" } } } rows { quad { o_literal { lex: "sha256:87c99bc57f368c6102ea4042e7e6c8019c7405d5a352ead840f06244609ab101" } } } rows { quad { s_iri { prefix_id: 14 name_id: 31 } p_iri { prefix_id: 7 name_id: 13 } o_literal { lex: "internal live bearers whose notes state a placenta, used because the Dryad mode file could not be downloaded" } } } 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: FishBase reproduc table snapshot v26.06" } } } rows { name { value: "reproduc.parquet" } } rows { quad { p_iri { prefix_id: 5 name_id: 41 } o_iri { prefix_id: 16 name_id: 46 } } } rows { prefix { id: 8 value: "https://www.fishbase.org/manual/english/" } } rows { name { value: "FishBaseThe_REPRODUCTION_Table.htm" } } rows { quad { p_iri { prefix_id: 5 name_id: 44 } o_iri { prefix_id: 8 name_id: 47 } } } rows { quad { p_iri { prefix_id: 10 name_id: 45 } o_literal { lex: "sha256:b631704f0f4972acdb2edb5d3105f0a6172adb4c473d73e505113f8288418247" } } } 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-biology-claim-tests-05bb)" } } } 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: 49 } 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" } } rows { quad { p_iri { prefix_id: 10 } o_iri { prefix_id: 3 } } } 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 { quad { p_iri { prefix_id: 5 name_id: 44 } 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: 55 } 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: 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: 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: 63 } o_literal { lex: "2026-11-08T16:24:31.733Z" 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: 1 name_id: 50 } } } rows { prefix { id: 6 value: "https://creativecommons.org/licenses/by/4.0/" } } rows { quad { p_iri { prefix_id: 7 name_id: 39 } o_iri { prefix_id: 6 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: 16 value: "https://w3id.org/delphi/resource/assessment/" } } rows { quad { p_iri { prefix_id: 14 name_id: 66 } 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-ga02-05: refutes, confidence 0.8" } } } 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: 67 } o_iri { prefix_id: 8 } } } 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: "TFEWtCwY5wRfHrQNsuEDxkBHb3mE5Hr3mWNajafWR7369qv2EPRjKVC8dIEdxjZU9ukQ9SbrlGHjcB+2Mgc+aXWg0fzchyoXYFitItf3wVhe/DGrNvofs9S5IWaAUPjeuOx/Ia4guTqOKZFzmtEdorhrWt6MR590R80auIJ+wJo9KC28NIYIEEaWr7suxNxOka1Q+RJ9GVGddz6+JFHrP9rU/CQ9XcdBevOkjPJRP56Ar84AcZRcscu9IUSsIWAqV+rLsbWjRFbJ8zlDdCaE5sPLV/VDLWGUpwdZ1rseW0PqBEryY2FcCPy37EXEpMyPdOARN0xPPTLFnsROtt1yJg==" } } } 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: 14 name_id: 74 } o_iri { prefix_id: 1 name_id: 50 } } }