@prefix this: <https://w3id.org/np/RAmzFScHBz5LlaKpwpn21DaMm_Sikid2v3402iAjIAHJY> .
@prefix sub: <https://w3id.org/np/RAmzFScHBz5LlaKpwpn21DaMm_Sikid2v3402iAjIAHJY/> .
@prefix np: <http://www.nanopub.org/nschema#> .
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix npx: <http://purl.org/nanopub/x/> .
@prefix dc: <http://purl.org/dc/terms/> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .

sub:Head {
  this: a np:Nanopublication;
    np:hasAssertion sub:assertion;
    np:hasProvenance sub:provenance;
    np:hasPublicationInfo sub:pubinfo .
}

sub:assertion {
  <https://w3id.org/delphi/resource/assessment/bravais1850-03--claim-test> a <https://w3id.org/delphi/ontology/Assessment>;
    dc:description "COD spacegroup count endpoint queried for one representative space group per Bravais lattice in the spellings the COD uses; a lattice counts as realised at 100 or more entries.";
    <http://www.w3.org/2000/01/rdf-schema#comment> "Measured: 14 Bravais lattices with at least 100 COD entries in a representative space group (of 14) (n = 14). Interpretation: Completeness (exactly fourteen) is a theorem and is not tested; what is tested is the empirical half, that all fourteen occur in real crystals. The count is of database entries, not distinct substances, and a lattice realised only by a handful of entries would still count as realised under the mixed rule.";
    <http://www.w3.org/2000/01/rdf-schema#label> "Claim test of bravais1850-03: supports, confidence 0.9";
    <http://www.w3.org/2000/01/rdf-schema#seeAlso> <https://github.com/fractastical/delphisci/blob/bf2af6ee0a84e23ffa6414ad7a0a50a8c276506e/test-data/claim-tests/crystals-and-form/bravais1850-03/result.json>;
    prov:wasAttributedTo <https://w3id.org/delphi/resource/agent/delphisci-claim-tester-claude-fable-5-1>;
    <https://w3id.org/delphi/ontology/admissibleDatasets> "Planned datasets: cod-search-api";
    <https://w3id.org/delphi/ontology/assessmentType> "claim-test/0.1.0";
    <https://w3id.org/delphi/ontology/dataKind> "physical";
    <https://w3id.org/delphi/ontology/disconfirmingObservation> "Any lattice whose every spelling returns 0: refutes (that mode is not realised). Any lattice between 1 and 99: mixed. Any query that errors or times out after three attempts: inconclusive.";
    <https://w3id.org/delphi/ontology/evidenceAgainst> "Completeness (no fifteenth lattice) is a theorem and is not what this tests.",
      "Counts are of database entries, not distinct substances.", "One representative space group per lattice; counts understate how often each lattice occurs.";
    <https://w3id.org/delphi/ontology/expectedObservation> "For each of the 14 Bravais lattices, the COD spacegroup count for a representative space group (aP P-1; mP P21/c; mC C2/c; oP Pnma; oC Cmcm; oI Imma; oF Fddd; tP P4/mmm; tI I4/mmm; hR R-3m; hP P63/mmc; cP Pm-3m; cI Im-3m; cF Fm-3m), trying the COD spellings of the Hermann-Mauguin symbol (with or without the full-setting 1s, e.g. 'P 1 21/c 1' and 'P 21/c'), is at least 100: supports.";
    <https://w3id.org/delphi/ontology/failCriterion> "Any lattice whose every spelling returns 0: refutes (that mode is not realised). Any lattice between 1 and 99: mixed. Any query that errors or times out after three attempts: inconclusive.";
    <https://w3id.org/delphi/ontology/hasConfidence> "0.9"^^xsd:double;
    <https://w3id.org/delphi/ontology/hasEvidence> <https://w3id.org/delphi/resource/evidence/bravais1850-03--claim-test--dataset-1>;
    <https://w3id.org/delphi/ontology/hasVerdict> "supports";
    <https://w3id.org/delphi/ontology/hypothesis> "If there are fourteen lattice modes and nature realises them, every one of the fourteen Bravais lattices is the lattice of at least one experimentally determined crystal structure.";
    <https://w3id.org/delphi/ontology/inferenceMethod> "COD spacegroup count endpoint queried for one representative space group per Bravais lattice in the spellings the COD uses; a lattice counts as realised at 100 or more entries.";
    <https://w3id.org/delphi/ontology/passCriterion> "For each of the 14 Bravais lattices, the COD spacegroup count for a representative space group (aP P-1; mP P21/c; mC C2/c; oP Pnma; oC Cmcm; oI Imma; oF Fddd; tP P4/mmm; tI I4/mmm; hR R-3m; hP P63/mmc; cP Pm-3m; cI Im-3m; cF Fm-3m), trying the COD spellings of the Hermann-Mauguin symbol (with or without the full-setting 1s, e.g. 'P 1 21/c 1' and 'P 21/c'), is at least 100: supports.";
    <https://w3id.org/delphi/ontology/preregistered> "true"^^xsd:boolean .
  
  <https://w3id.org/delphi/resource/claim/bravais1850-03> <https://w3id.org/delphi/ontology/hasAssessment>
      <https://w3id.org/delphi/resource/assessment/bravais1850-03--claim-test> .
  
  <https://w3id.org/delphi/resource/evidence/bravais1850-03--claim-test--dataset-1>
    a <https://w3id.org/delphi/ontology/EvidenceItem>;
    dc:description "";
    dc:license "CC0 (COD data are public domain)";
    <http://www.w3.org/2000/01/rdf-schema#comment> "Location (not a URL): https://www.crystallography.net/cod/result?spacegroup=<symbol>&format=count";
    <http://www.w3.org/2000/01/rdf-schema#label> "Dataset: Crystallography Open Database (COD) search API and CIF files";
    prov:wasDerivedFrom <https://www.crystallography.net/cod/> .
}

sub:provenance {
  <https://w3id.org/delphi/resource/agent/delphisci-claim-tester-claude-fable-5-1> a
      prov:SoftwareAgent;
    <http://www.w3.org/2000/01/rdf-schema#label> "delphisci claim tester (claude-fable-5.1; crystals-and-form-tests-1)";
    prov:actedOnBehalfOf <https://orcid.org/0009-0007-4948-9192>;
    <https://w3id.org/delphi/ontology/usesModel> <https://w3id.org/delphi/resource/model/claude-fable-5-1> .
  
  <https://w3id.org/delphi/resource/model/claude-fable-5-1> a <https://w3id.org/delphi/ontology/LanguageModel>;
    dc:identifier "claude-fable-5.1" .
  
  sub:assertion prov:wasAttributedTo <https://w3id.org/delphi/resource/agent/delphisci-claim-tester-claude-fable-5-1>;
    prov:wasDerivedFrom <https://github.com/fractastical/delphisci/blob/bf2af6ee0a84e23ffa6414ad7a0a50a8c276506e/test-data/claim-tests/crystals-and-form/bravais1850-03/result.json>;
    prov:wasGeneratedBy sub:test .
  
  sub:plan prov:hadPlan <https://github.com/fractastical/delphisci/blob/bf2af6ee0a84e23ffa6414ad7a0a50a8c276506e/test-data/claim-tests/README.md> .
  
  sub:test a prov:Activity;
    prov:qualifiedAssociation sub:plan;
    prov:wasAssociatedWith <https://w3id.org/delphi/resource/agent/delphisci-claim-tester-claude-fable-5-1> .
}

sub:pubinfo {
  this: dc:created "2026-11-08T16:24:31.804Z"^^xsd:dateTime;
    dc:creator <https://orcid.org/0009-0007-4948-9192>;
    dc:license <https://creativecommons.org/licenses/by/4.0/>;
    npx:hasNanopubType <https://w3id.org/delphi/ontology/Assessment>;
    npx:introduces <https://w3id.org/delphi/resource/assessment/bravais1850-03--claim-test>;
    <http://www.w3.org/2000/01/rdf-schema#label> "Claim test of bravais1850-03: supports, confidence 0.9";
    <https://w3id.org/delphi/ontology/domain> <https://w3id.org/delphi/resource/domain/crystals-and-form> .
  
  sub:sig npx:hasAlgorithm "RSA";
    npx:hasPublicKey "MIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAyFHtPB6p0mCjDozxlOY9CmO3nBm7Te3jFbXyLmM+G1tGe47Da0jYIbhkl9Oo1ZjxmCa3LCwlEqK8gj6hEIcL4ahW30JXh9HycfKVk1bugkzMEV15tJdTzAU3sGMFnbNsn43xY2LFLy45tApkRm5byEiM7oRRrooIdwoQKnP4Wzq/bfAoJ9qvW+MGkelyOTd1jbSt+KfmT7xKmDfWzAHddUlWwMX2QJOLxDaffOteTop6ZRgPiNmPJKA/S62Gac9XtSYT3oDkZ6/nr5cxxNLpOyxTf5FPISiCe11xYO/unYjY+mwnOfA8yhJIyx1l0O9I0vpOpn+E5TvyHJV+oSTrvwIDAQAB";
    npx:hasSignature "s1TtioMBqx0memhCcVd5AkmpvO7uQpGAnNBTDC7I+iLnx/u317MAH49RILo+R+mQaeYKR9rgXXFr09UbsVRMUBu4+NWZnghBxM1B33uv4ArsjMSo3W94Bz/TVTFrFX5ISLm+OTyOR6Y7gzLi7JdIltDX7W8DXSdep4GuehhmT0qQgQovnUqtZFAeGNdawlDgYY/lVqoYSsiVlwN53jsmHVWg82gIFrJfj7GaYTesEHVrhb61Ufx3W4wrqDcgjizjVMuTZaIBR5jXU4an/TCH8HS5Hu8OXt8g8CoG/4ZngLcoWHwYFxNQltZpi3Ml2jmTjw1/speZH8OLo8Wvj3QhZg==";
    npx:hasSignatureTarget this:;
    npx:signedBy <https://orcid.org/0009-0007-4948-9192> .
}