@prefix this: <https://w3id.org/np/RAoJT9LJvkAfQrgq357IuMfV3KVtjrGTM5tyyWs53VIAc> .
@prefix sub: <https://w3id.org/np/RAoJT9LJvkAfQrgq357IuMfV3KVtjrGTM5tyyWs53VIAc/> .
@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/claim/hauy1801-09> a <https://w3id.org/delphi/ontology/Claim>;
    dc:description "Primitive forms and integrant molecules can be common to substances of different natures: rock salt and pyrite both have the cube as primitive form, and ruby and native bismuth the regular octahedron.";
    dc:type "empirical-generalization";
    <http://www.w3.org/2000/01/rdf-schema#comment> "Formalization: several. Cubic salt and pyrite: supported. Octahedral ruby and bismuth: refuted by their trigonal structures.";
    <http://www.w3.org/2000/01/rdf-schema#label> "Different substances can share a primitive form: salt and pyrite are both cubic";
    <https://w3id.org/delphi/ontology/context> "Haüy RJ, “Traité de minéralogie, tome premier”, Conseil des Mines, Paris (Chez Louis) (1801); Formes primitives, p. 53. Scope: Halite, pyrite, corundum, bismuth." .
}

sub:provenance {
  <https://archive.org/details/traitdeminra01ha> a prov:Entity, <https://schema.org/CreativeWork>;
    dc:bibliographicCitation "Haüy RJ. Traité de minéralogie, tome premier. Conseil des Mines, Paris (Chez Louis) (1801)";
    dc:creator "René Just Haüy";
    dc:date "1801"^^xsd:gYear;
    dc:description "Volume 1 holds the general theory of crystal structure: integrant molecules, the primitive form, and the laws of decrement first published in the 1784 Essai. The 1784 Essai (archive.org bub_gb_HbJDAAAAcAAJ) was fetched but its eighteenth-century OCR (long s) is too corrupt to quote; see SEARCHES.md. French.";
    dc:rights "Public domain (1801).";
    dc:title "Traité de minéralogie, tome premier";
    <http://spdx.org/rdf/terms#checksum> sub:sourceChecksum;
    <http://www.w3.org/2000/01/rdf-schema#label> "Reading copy of Traité de minéralogie, tome premier";
    <https://schema.org/about> <https://archive.org/details/traitdeminra01ha> .
  
  <https://w3id.org/delphi/resource/agent/delphisci-crystals-and-form-extractor> a prov:SoftwareAgent;
    <http://www.w3.org/2000/01/rdf-schema#label> "delphisci crystals-and-form claim extractor";
    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>;
    <http://www.w3.org/2000/01/rdf-schema#label> "Claude Fable 5.1" .
  
  sub:assertion prov:wasAttributedTo <https://w3id.org/delphi/resource/agent/delphisci-crystals-and-form-extractor>;
    prov:wasDerivedFrom <https://archive.org/details/traitdeminra01ha>, sub:quote;
    prov:wasGeneratedBy sub:extraction .
  
  sub:extraction a prov:Activity;
    prov:qualifiedAssociation sub:extractionPlan;
    prov:used <https://archive.org/details/traitdeminra01ha>, <https://github.com/fractastical/delphisci/blob/5241dc54170fa807613109d52197d32342021641/claim-sources/crystals-and-form/inputs/sources.json>;
    prov:wasAssociatedWith <https://w3id.org/delphi/resource/agent/delphisci-crystals-and-form-extractor> .
  
  sub:extractionPlan prov:hadPlan <https://github.com/fractastical/delphisci/blob/5241dc54170fa807613109d52197d32342021641/claim-sources/crystals-and-form/build/generate.mjs> .
  
  sub:quote a prov:Entity;
    <http://www.w3.org/2000/01/rdf-schema#comment> "Page 53 of the reading copy; paragraph 361 of the normalised text 1801-hauy.txt (sha256 75e8725eafc33d75d3da5d556fa40bdfeaf55bd1fcb6fddfa8cdb23a59082d19), produced by build/fetch.py and checked by build/check-quotes.mjs. The text itself is not committed.";
    prov:hadPrimarySource <https://archive.org/details/traitdeminra01ha>;
    prov:wasQuotedFrom <https://archive.org/details/traitdeminra01ha>;
    <https://schema.org/text> "la soude muriatëe et le fer sulfure ont l'un et l'autre le cube pour forme primitive. L'octaèdre régulier est celle du rubis et en même temps celle du bism-uth natif" .
  
  sub:sourceChecksum <http://spdx.org/rdf/terms#algorithm> <http://spdx.org/rdf/terms#checksumAlgorithm_sha256>;
    <http://spdx.org/rdf/terms#checksumValue> "75e8725eafc33d75d3da5d556fa40bdfeaf55bd1fcb6fddfa8cdb23a59082d19";
    <http://www.w3.org/2000/01/rdf-schema#comment> "Checksum of the normalised one-paragraph-per-line text derived from the reading copy, not of the reading copy itself." .
}

sub:pubinfo {
  <https://w3id.org/delphi/resource/domain/crystals-and-form> <http://www.w3.org/2000/01/rdf-schema#label>
      "crystals-and-form" .
  
  this: dc:created "2026-11-07T03:18:23.997Z"^^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/Claim>;
    npx:introduces <https://w3id.org/delphi/resource/claim/hauy1801-09>;
    <http://www.w3.org/2000/01/rdf-schema#label> "René Just Haüy 1801 claim: Different substances can share a primitive form: salt and pyrite are both cubic";
    <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 "ceKfLOkMEdqRJpGjgVSQYLNFYaTLk4nVekxsXU3n57D2zAe4ds1FF4DGYtU937S9kad6gjs9sGbGrXs98m4TzTx+ecy1YbP6iikTyxbWDSiC48150xkDMRpLzhKV/WBUhy2hq/uYvah+PthLPMjK4xBeystOWVghePc53TCG/tcs/5vMIAENGvwZUPC6YD9c7u1Vzn3MmXoVdte75RfhbPmlT0jPvYaXPVuANkGlfReMDYxcqjDv3p90Vs8ektrf94xmbTtmd2+8nwWOtgPw99ASBlrf9te8jHdduAoGGmC8k/vgIyJNqN6ijAIhcap9CrgVTVdyXbvDI3LGaZNw5g==";
    npx:hasSignatureTarget this:;
    npx:signedBy <https://orcid.org/0009-0007-4948-9192> .
}