OWL2.Examples.OBOGraph.Json.Nucleus

{-# OPTIONS --safe --cubical #-}

module OWL2.Examples.OBOGraph.Json.Nucleus where

open import OWL2.Prelude
  using ([]; _∷_; _,_; _≡_; refl; Bool; List; ℕ; false; true; Optional; String; present)
import FF.Json.Native as JSON
import OWL2.OBOGraph.Decode as Decode
import OWL2.OBOGraph.Schema as Schema
import OWL2.OBOGraph.Syntax as OG
import OWL2.OBOGraph.ToPortable as OGP
import OWL2.Portable.Syntax as P

sourceJson : String
sourceJson =
  "testdata/obographs-online/nucleus.json"

sourceJsonBytes : ℕ
sourceJsonBytes =
  23525

sourceJsonSha256 : String
sourceJsonSha256 =
  "sha256:d303e887907633bdde8d297af820307a4814b6ed600872612f7b23d5e5a95188"

sourceGenerator : String
sourceGenerator =
  "/Users/marcin/agdaLibs/ff-owl/scripts/json_to_agda_value.py"

jsonValue : JSON.JsonValue
jsonValue =
  JSON.jobject (("graphs" , JSON.jarray (JSON.jobject (("id" , JSON.jstring "http://purl.obolibrary.org/obo/go-test.owl") ∷ ("meta" , JSON.jobject (("basicPropertyValues" , JSON.jarray (JSON.jobject (("pred" , JSON.jstring "http://www.geneontology.org/formats/oboInOwl#hasOBOFormatVersion") ∷ ("val" , JSON.jstring "1.2") ∷ []) ∷ [])) ∷ ("version" , JSON.jstring "http://purl.obolibrary.org/obo/go-test/releases/2016-10-22/go-test.owl") ∷ [])) ∷ ("nodes" , JSON.jarray (JSON.jobject (("id" , JSON.jstring "http://purl.obolibrary.org/obo/GO_0005575") ∷ ("lbl" , JSON.jstring "cellular_component") ∷ ("type" , JSON.jstring "CLASS") ∷ ("meta" , JSON.jobject (("definition" , JSON.jobject (("val" , JSON.jstring "The part of a cell or its extracellular environment in which a gene product is located. A gene product may be located in one or more parts of a cell and its location may be as specific as a particular macromolecular complex, that is, a stable, persistent association of macromolecules that function together.") ∷ ("xrefs" , JSON.jarray (JSON.jstring "GOC:go_curators" ∷ JSON.jstring "NIF_Subcellular:sao-1337158144" ∷ [])) ∷ [])) ∷ ("comments" , JSON.jarray (JSON.jstring "Note that, in addition to forming the root of the cellular component ontology, this term is recommended for use for the annotation of gene products whose cellular component is unknown. Note that when this term is used for annotation, it indicates that no information was available about the cellular component of the gene product annotated as of the date the annotation was made; the evidence code ND, no data, is used to indicate this." ∷ [])) ∷ ("subsets" , JSON.jarray (JSON.jstring "http://purl.obolibrary.org/obo/go-test#goslim_aspergillus" ∷ JSON.jstring "http://purl.obolibrary.org/obo/go-test#goslim_candida" ∷ JSON.jstring "http://purl.obolibrary.org/obo/go-test#goslim_chembl" ∷ JSON.jstring "http://purl.obolibrary.org/obo/go-test#goslim_generic" ∷ JSON.jstring "http://purl.obolibrary.org/obo/go-test#goslim_metagenomics" ∷ JSON.jstring "http://purl.obolibrary.org/obo/go-test#goslim_pir" ∷ JSON.jstring "http://purl.obolibrary.org/obo/go-test#goslim_plant" ∷ JSON.jstring "http://purl.obolibrary.org/obo/go-test#goslim_yeast" ∷ JSON.jstring "http://purl.obolibrary.org/obo/go-test#gosubset_prok" ∷ [])) ∷ ("synonyms" , JSON.jarray (JSON.jobject (("pred" , JSON.jstring "hasExactSynonym") ∷ ("val" , JSON.jstring "cell or subcellular entity") ∷ []) ∷ JSON.jobject (("synonymType" , JSON.jstring "http://purl.obolibrary.org/obo/go-test#systematic_synonym") ∷ ("pred" , JSON.jstring "hasExactSynonym") ∷ ("val" , JSON.jstring "cellular component") ∷ []) ∷ JSON.jobject (("pred" , JSON.jstring "hasRelatedSynonym") ∷ ("val" , JSON.jstring "subcellular entity") ∷ ("xrefs" , JSON.jarray (JSON.jstring "NIF_Subcellular:nlx_subcell_100315" ∷ [])) ∷ []) ∷ [])) ∷ ("xrefs" , JSON.jarray (JSON.jobject (("val" , JSON.jstring "NIF_Subcellular:sao-1337158144") ∷ []) ∷ JSON.jobject (("val" , JSON.jstring "NIF_Subcellular:sao1337158144") ∷ []) ∷ [])) ∷ ("basicPropertyValues" , JSON.jarray (JSON.jobject (("pred" , JSON.jstring "http://www.geneontology.org/formats/oboInOwl#hasAlternativeId") ∷ ("val" , JSON.jstring "GO:0008372") ∷ []) ∷ JSON.jobject (("pred" , JSON.jstring "http://www.geneontology.org/formats/oboInOwl#hasOBONamespace") ∷ ("val" , JSON.jstring "cellular_component") ∷ []) ∷ [])) ∷ [])) ∷ []) ∷ JSON.jobject (("id" , JSON.jstring "http://purl.obolibrary.org/obo/GO_0005622") ∷ ("lbl" , JSON.jstring "intracellular") ∷ ("type" , JSON.jstring "CLASS") ∷ ("meta" , JSON.jobject (("definition" , JSON.jobject (("val" , JSON.jstring "The living contents of a cell; the matter contained within (but not including) the plasma membrane, usually taken to exclude large vacuoles and masses of secretory or ingested material. In eukaryotes it includes the nucleus and cytoplasm.") ∷ ("xrefs" , JSON.jarray (JSON.jstring "ISBN:0198506732" ∷ [])) ∷ [])) ∷ ("subsets" , JSON.jarray (JSON.jstring "http://purl.obolibrary.org/obo/go-test#goslim_chembl" ∷ JSON.jstring "http://purl.obolibrary.org/obo/go-test#goslim_generic" ∷ JSON.jstring "http://purl.obolibrary.org/obo/go-test#goslim_metagenomics" ∷ JSON.jstring "http://purl.obolibrary.org/obo/go-test#goslim_pir" ∷ JSON.jstring "http://purl.obolibrary.org/obo/go-test#goslim_plant" ∷ JSON.jstring "http://purl.obolibrary.org/obo/go-test#gosubset_prok" ∷ [])) ∷ ("synonyms" , JSON.jarray (JSON.jobject (("pred" , JSON.jstring "hasExactSynonym") ∷ ("val" , JSON.jstring "internal to cell") ∷ []) ∷ JSON.jobject (("pred" , JSON.jstring "hasExactSynonym") ∷ ("val" , JSON.jstring "protoplasm") ∷ []) ∷ JSON.jobject (("pred" , JSON.jstring "hasRelatedSynonym") ∷ ("val" , JSON.jstring "nucleocytoplasm") ∷ ("xrefs" , JSON.jarray (JSON.jstring "GOC:mah" ∷ [])) ∷ []) ∷ JSON.jobject (("pred" , JSON.jstring "hasRelatedSynonym") ∷ ("val" , JSON.jstring "protoplast") ∷ ("xrefs" , JSON.jarray (JSON.jstring "GOC:mah" ∷ [])) ∷ []) ∷ [])) ∷ ("xrefs" , JSON.jarray (JSON.jobject (("val" , JSON.jstring "Wikipedia:Intracellular") ∷ []) ∷ [])) ∷ ("basicPropertyValues" , JSON.jarray (JSON.jobject (("pred" , JSON.jstring "http://www.geneontology.org/formats/oboInOwl#hasOBONamespace") ∷ ("val" , JSON.jstring "cellular_component") ∷ []) ∷ [])) ∷ [])) ∷ []) ∷ JSON.jobject (("id" , JSON.jstring "http://purl.obolibrary.org/obo/GO_0005623") ∷ ("lbl" , JSON.jstring "cell") ∷ ("type" , JSON.jstring "CLASS") ∷ ("meta" , JSON.jobject (("definition" , JSON.jobject (("val" , JSON.jstring "The basic structural and functional unit of all organisms. Includes the plasma membrane and any external encapsulating structures such as the cell wall and cell envelope.") ∷ ("xrefs" , JSON.jarray (JSON.jstring "GOC:go_curators" ∷ [])) ∷ [])) ∷ ("subsets" , JSON.jarray (JSON.jstring "http://purl.obolibrary.org/obo/go-test#goslim_chembl" ∷ JSON.jstring "http://purl.obolibrary.org/obo/go-test#goslim_generic" ∷ JSON.jstring "http://purl.obolibrary.org/obo/go-test#goslim_plant" ∷ JSON.jstring "http://purl.obolibrary.org/obo/go-test#gosubset_prok" ∷ [])) ∷ ("xrefs" , JSON.jarray (JSON.jobject (("val" , JSON.jstring "NIF_Subcellular:sao1813327414") ∷ []) ∷ JSON.jobject (("val" , JSON.jstring "Wikipedia:Cell_(biology)") ∷ []) ∷ [])) ∷ ("basicPropertyValues" , JSON.jarray (JSON.jobject (("pred" , JSON.jstring "http://purl.obolibrary.org/obo/IAO_0000589") ∷ ("val" , JSON.jstring "cell and encapsulating structures") ∷ []) ∷ JSON.jobject (("pred" , JSON.jstring "http://www.geneontology.org/formats/oboInOwl#hasOBONamespace") ∷ ("val" , JSON.jstring "cellular_component") ∷ []) ∷ [])) ∷ [])) ∷ []) ∷ JSON.jobject (("id" , JSON.jstring "http://purl.obolibrary.org/obo/GO_0005634") ∷ ("lbl" , JSON.jstring "nucleus") ∷ ("type" , JSON.jstring "CLASS") ∷ ("meta" , JSON.jobject (("definition" , JSON.jobject (("val" , JSON.jstring "A membrane-bounded organelle of eukaryotic cells in which chromosomes are housed and replicated. In most cells, the nucleus contains all of the cell's chromosomes except the organellar chromosomes, and is the site of RNA synthesis and processing. In some species, or in specialized cell types, RNA metabolism or DNA replication may be absent.") ∷ ("xrefs" , JSON.jarray (JSON.jstring "GOC:go_curators" ∷ [])) ∷ [])) ∷ ("subsets" , JSON.jarray (JSON.jstring "http://purl.obolibrary.org/obo/go-test#goslim_aspergillus" ∷ JSON.jstring "http://purl.obolibrary.org/obo/go-test#goslim_candida" ∷ JSON.jstring "http://purl.obolibrary.org/obo/go-test#goslim_chembl" ∷ JSON.jstring "http://purl.obolibrary.org/obo/go-test#goslim_generic" ∷ JSON.jstring "http://purl.obolibrary.org/obo/go-test#goslim_metagenomics" ∷ JSON.jstring "http://purl.obolibrary.org/obo/go-test#goslim_pir" ∷ JSON.jstring "http://purl.obolibrary.org/obo/go-test#goslim_plant" ∷ JSON.jstring "http://purl.obolibrary.org/obo/go-test#goslim_yeast" ∷ [])) ∷ ("synonyms" , JSON.jarray (JSON.jobject (("synonymType" , JSON.jstring "http://purl.obolibrary.org/obo/go-test#systematic_synonym") ∷ ("pred" , JSON.jstring "hasExactSynonym") ∷ ("val" , JSON.jstring "cell nucleus") ∷ []) ∷ [])) ∷ ("xrefs" , JSON.jarray (JSON.jobject (("val" , JSON.jstring "NIF_Subcellular:sao1702920020") ∷ []) ∷ JSON.jobject (("val" , JSON.jstring "Wikipedia:Cell_nucleus") ∷ []) ∷ [])) ∷ ("basicPropertyValues" , JSON.jarray (JSON.jobject (("pred" , JSON.jstring "http://www.geneontology.org/formats/oboInOwl#hasOBONamespace") ∷ ("val" , JSON.jstring "cellular_component") ∷ []) ∷ [])) ∷ [])) ∷ []) ∷ JSON.jobject (("id" , JSON.jstring "http://purl.obolibrary.org/obo/GO_0008372") ∷ ("type" , JSON.jstring "CLASS") ∷ ("meta" , JSON.jobject (("basicPropertyValues" , JSON.jarray (JSON.jobject (("pred" , JSON.jstring "http://purl.obolibrary.org/obo/IAO_0000231") ∷ ("val" , JSON.jstring "http://purl.obolibrary.org/obo/IAO_0000227") ∷ []) ∷ JSON.jobject (("pred" , JSON.jstring "http://purl.obolibrary.org/obo/IAO_0100001") ∷ ("val" , JSON.jstring "http://purl.obolibrary.org/obo/GO_0005575") ∷ []) ∷ [])) ∷ ("deprecated" , JSON.jbool true) ∷ [])) ∷ []) ∷ JSON.jobject (("id" , JSON.jstring "http://purl.obolibrary.org/obo/GO_0043226") ∷ ("lbl" , JSON.jstring "organelle") ∷ ("type" , JSON.jstring "CLASS") ∷ ("meta" , JSON.jobject (("definition" , JSON.jobject (("val" , JSON.jstring "Organized structure of distinctive morphology and function. Includes the nucleus, mitochondria, plastids, vacuoles, vesicles, ribosomes and the cytoskeleton, and prokaryotic structures such as anammoxosomes and pirellulosomes. Excludes the plasma membrane.") ∷ ("xrefs" , JSON.jarray (JSON.jstring "GOC:go_curators" ∷ [])) ∷ [])) ∷ ("subsets" , JSON.jarray (JSON.jstring "http://purl.obolibrary.org/obo/go-test#goslim_chembl" ∷ JSON.jstring "http://purl.obolibrary.org/obo/go-test#goslim_generic" ∷ JSON.jstring "http://purl.obolibrary.org/obo/go-test#goslim_pir" ∷ JSON.jstring "http://purl.obolibrary.org/obo/go-test#gosubset_prok" ∷ [])) ∷ ("xrefs" , JSON.jarray (JSON.jobject (("val" , JSON.jstring "NIF_Subcellular:sao1539965131") ∷ []) ∷ JSON.jobject (("val" , JSON.jstring "Wikipedia:Organelle") ∷ []) ∷ [])) ∷ ("basicPropertyValues" , JSON.jarray (JSON.jobject (("pred" , JSON.jstring "http://www.geneontology.org/formats/oboInOwl#hasOBONamespace") ∷ ("val" , JSON.jstring "cellular_component") ∷ []) ∷ [])) ∷ [])) ∷ []) ∷ JSON.jobject (("id" , JSON.jstring "http://purl.obolibrary.org/obo/GO_0043227") ∷ ("lbl" , JSON.jstring "membrane-bounded organelle") ∷ ("type" , JSON.jstring "CLASS") ∷ ("meta" , JSON.jobject (("definition" , JSON.jobject (("val" , JSON.jstring "Organized structure of distinctive morphology and function, bounded by a single or double lipid bilayer membrane. Includes the nucleus, mitochondria, plastids, vacuoles, and vesicles. Excludes the plasma membrane.") ∷ ("xrefs" , JSON.jarray (JSON.jstring "GOC:go_curators" ∷ [])) ∷ [])) ∷ ("subsets" , JSON.jarray (JSON.jstring "http://purl.obolibrary.org/obo/go-test#gosubset_prok" ∷ [])) ∷ ("synonyms" , JSON.jarray (JSON.jobject (("pred" , JSON.jstring "hasExactSynonym") ∷ ("val" , JSON.jstring "membrane-enclosed organelle") ∷ []) ∷ [])) ∷ ("xrefs" , JSON.jarray (JSON.jobject (("val" , JSON.jstring "NIF_Subcellular:sao414196390") ∷ []) ∷ [])) ∷ ("basicPropertyValues" , JSON.jarray (JSON.jobject (("pred" , JSON.jstring "http://www.geneontology.org/formats/oboInOwl#hasOBONamespace") ∷ ("val" , JSON.jstring "cellular_component") ∷ []) ∷ [])) ∷ [])) ∷ []) ∷ JSON.jobject (("id" , JSON.jstring "http://purl.obolibrary.org/obo/GO_0043229") ∷ ("lbl" , JSON.jstring "intracellular organelle") ∷ ("type" , JSON.jstring "CLASS") ∷ ("meta" , JSON.jobject (("definition" , JSON.jobject (("val" , JSON.jstring "Organized structure of distinctive morphology and function, occurring within the cell. Includes the nucleus, mitochondria, plastids, vacuoles, vesicles, ribosomes and the cytoskeleton. Excludes the plasma membrane.") ∷ ("xrefs" , JSON.jarray (JSON.jstring "GOC:go_curators" ∷ [])) ∷ [])) ∷ ("subsets" , JSON.jarray (JSON.jstring "http://purl.obolibrary.org/obo/go-test#goslim_pir" ∷ JSON.jstring "http://purl.obolibrary.org/obo/go-test#gosubset_prok" ∷ [])) ∷ ("basicPropertyValues" , JSON.jarray (JSON.jobject (("pred" , JSON.jstring "http://www.geneontology.org/formats/oboInOwl#hasOBONamespace") ∷ ("val" , JSON.jstring "cellular_component") ∷ []) ∷ [])) ∷ [])) ∷ []) ∷ JSON.jobject (("id" , JSON.jstring "http://purl.obolibrary.org/obo/GO_0043231") ∷ ("lbl" , JSON.jstring "intracellular membrane-bounded organelle") ∷ ("type" , JSON.jstring "CLASS") ∷ ("meta" , JSON.jobject (("definition" , JSON.jobject (("val" , JSON.jstring "Organized structure of distinctive morphology and function, bounded by a single or double lipid bilayer membrane and occurring within the cell. Includes the nucleus, mitochondria, plastids, vacuoles, and vesicles. Excludes the plasma membrane.") ∷ ("xrefs" , JSON.jarray (JSON.jstring "GOC:go_curators" ∷ [])) ∷ [])) ∷ ("subsets" , JSON.jarray (JSON.jstring "http://purl.obolibrary.org/obo/go-test#goslim_pir" ∷ JSON.jstring "http://purl.obolibrary.org/obo/go-test#gosubset_prok" ∷ [])) ∷ ("synonyms" , JSON.jarray (JSON.jobject (("pred" , JSON.jstring "hasExactSynonym") ∷ ("val" , JSON.jstring "intracellular membrane-enclosed organelle") ∷ []) ∷ [])) ∷ ("basicPropertyValues" , JSON.jarray (JSON.jobject (("pred" , JSON.jstring "http://www.geneontology.org/formats/oboInOwl#hasOBONamespace") ∷ ("val" , JSON.jstring "cellular_component") ∷ []) ∷ [])) ∷ [])) ∷ []) ∷ JSON.jobject (("id" , JSON.jstring "http://purl.obolibrary.org/obo/GO_0044424") ∷ ("lbl" , JSON.jstring "intracellular part") ∷ ("type" , JSON.jstring "CLASS") ∷ ("meta" , JSON.jobject (("definition" , JSON.jobject (("val" , JSON.jstring "Any constituent part of the living contents of a cell; the matter contained within (but not including) the plasma membrane, usually taken to exclude large vacuoles and masses of secretory or ingested material. In eukaryotes it includes the nucleus and cytoplasm.") ∷ ("xrefs" , JSON.jarray (JSON.jstring "GOC:jl" ∷ [])) ∷ [])) ∷ ("comments" , JSON.jarray (JSON.jstring "Note that this term is in the subset of terms that should not be used for direct gene product annotation. Instead, select a child term or, if no appropriate child term exists, please request a new term. Direct annotations to this term may be amended during annotation QC." ∷ [])) ∷ ("subsets" , JSON.jarray (JSON.jstring "http://purl.obolibrary.org/obo/go-test#goantislim_grouping" ∷ JSON.jstring "http://purl.obolibrary.org/obo/go-test#gocheck_do_not_annotate" ∷ JSON.jstring "http://purl.obolibrary.org/obo/go-test#gosubset_prok" ∷ [])) ∷ ("basicPropertyValues" , JSON.jarray (JSON.jobject (("pred" , JSON.jstring "http://www.geneontology.org/formats/oboInOwl#hasOBONamespace") ∷ ("val" , JSON.jstring "cellular_component") ∷ []) ∷ [])) ∷ [])) ∷ []) ∷ JSON.jobject (("id" , JSON.jstring "http://purl.obolibrary.org/obo/GO_0044464") ∷ ("lbl" , JSON.jstring "cell part") ∷ ("type" , JSON.jstring "CLASS") ∷ ("meta" , JSON.jobject (("definition" , JSON.jobject (("val" , JSON.jstring "Any constituent part of a cell, the basic structural and functional unit of all organisms.") ∷ ("xrefs" , JSON.jarray (JSON.jstring "GOC:jl" ∷ [])) ∷ [])) ∷ ("comments" , JSON.jarray (JSON.jstring "Note that this term is in the subset of terms that should not be used for direct gene product annotation. Instead, select a child term or, if no appropriate child term exists, please request a new term. Direct annotations to this term may be amended during annotation QC." ∷ [])) ∷ ("subsets" , JSON.jarray (JSON.jstring "http://purl.obolibrary.org/obo/go-test#goantislim_grouping" ∷ JSON.jstring "http://purl.obolibrary.org/obo/go-test#gocheck_do_not_annotate" ∷ JSON.jstring "http://purl.obolibrary.org/obo/go-test#goslim_pir" ∷ JSON.jstring "http://purl.obolibrary.org/obo/go-test#gosubset_prok" ∷ [])) ∷ ("synonyms" , JSON.jarray (JSON.jobject (("pred" , JSON.jstring "hasExactSynonym") ∷ ("val" , JSON.jstring "cellular subcomponent") ∷ ("xrefs" , JSON.jarray (JSON.jstring "NIF_Subcellular:sao628508602" ∷ [])) ∷ []) ∷ JSON.jobject (("pred" , JSON.jstring "hasRelatedSynonym") ∷ ("val" , JSON.jstring "protoplast") ∷ ("xrefs" , JSON.jarray (JSON.jstring "GOC:mah" ∷ [])) ∷ []) ∷ [])) ∷ ("xrefs" , JSON.jarray (JSON.jobject (("val" , JSON.jstring "NIF_Subcellular:sao628508602") ∷ []) ∷ [])) ∷ ("basicPropertyValues" , JSON.jarray (JSON.jobject (("pred" , JSON.jstring "http://www.geneontology.org/formats/oboInOwl#hasOBONamespace") ∷ ("val" , JSON.jstring "cellular_component") ∷ []) ∷ [])) ∷ [])) ∷ []) ∷ JSON.jobject (("id" , JSON.jstring "http://purl.obolibrary.org/obo/BFO_0000050") ∷ ("lbl" , JSON.jstring "part of") ∷ ("type" , JSON.jstring "PROPERTY") ∷ ("propertyType" , JSON.jstring "OBJECT") ∷ ("meta" , JSON.jobject (("xrefs" , JSON.jarray (JSON.jobject (("val" , JSON.jstring "BFO:0000050") ∷ []) ∷ [])) ∷ ("basicPropertyValues" , JSON.jarray (JSON.jobject (("pred" , JSON.jstring "http://www.geneontology.org/formats/oboInOwl#hasOBONamespace") ∷ ("val" , JSON.jstring "external") ∷ []) ∷ JSON.jobject (("pred" , JSON.jstring "http://www.geneontology.org/formats/oboInOwl#shorthand") ∷ ("val" , JSON.jstring "part_of") ∷ []) ∷ [])) ∷ [])) ∷ []) ∷ JSON.jobject (("id" , JSON.jstring "http://purl.obolibrary.org/obo/IAO_0000115") ∷ ("lbl" , JSON.jstring "definition") ∷ ("type" , JSON.jstring "PROPERTY") ∷ ("propertyType" , JSON.jstring "ANNOTATION") ∷ []) ∷ JSON.jobject (("id" , JSON.jstring "http://www.geneontology.org/formats/oboInOwl#SubsetProperty") ∷ ("lbl" , JSON.jstring "subset_property") ∷ ("type" , JSON.jstring "PROPERTY") ∷ ("propertyType" , JSON.jstring "ANNOTATION") ∷ []) ∷ JSON.jobject (("id" , JSON.jstring "http://www.geneontology.org/formats/oboInOwl#SynonymTypeProperty") ∷ ("lbl" , JSON.jstring "synonym_type_property") ∷ ("type" , JSON.jstring "PROPERTY") ∷ ("propertyType" , JSON.jstring "ANNOTATION") ∷ []) ∷ JSON.jobject (("id" , JSON.jstring "http://www.geneontology.org/formats/oboInOwl#hasAlternativeId") ∷ ("lbl" , JSON.jstring "has_alternative_id") ∷ ("type" , JSON.jstring "PROPERTY") ∷ ("propertyType" , JSON.jstring "ANNOTATION") ∷ []) ∷ JSON.jobject (("id" , JSON.jstring "http://www.geneontology.org/formats/oboInOwl#hasDbXref") ∷ ("lbl" , JSON.jstring "database_cross_reference") ∷ ("type" , JSON.jstring "PROPERTY") ∷ ("propertyType" , JSON.jstring "ANNOTATION") ∷ []) ∷ JSON.jobject (("id" , JSON.jstring "http://www.geneontology.org/formats/oboInOwl#hasExactSynonym") ∷ ("lbl" , JSON.jstring "has_exact_synonym") ∷ ("type" , JSON.jstring "PROPERTY") ∷ ("propertyType" , JSON.jstring "ANNOTATION") ∷ []) ∷ JSON.jobject (("id" , JSON.jstring "http://www.geneontology.org/formats/oboInOwl#hasOBOFormatVersion") ∷ ("lbl" , JSON.jstring "has_obo_format_version") ∷ ("type" , JSON.jstring "PROPERTY") ∷ ("propertyType" , JSON.jstring "ANNOTATION") ∷ []) ∷ JSON.jobject (("id" , JSON.jstring "http://www.geneontology.org/formats/oboInOwl#hasOBONamespace") ∷ ("lbl" , JSON.jstring "has_obo_namespace") ∷ ("type" , JSON.jstring "PROPERTY") ∷ ("propertyType" , JSON.jstring "ANNOTATION") ∷ []) ∷ JSON.jobject (("id" , JSON.jstring "http://www.geneontology.org/formats/oboInOwl#hasRelatedSynonym") ∷ ("lbl" , JSON.jstring "has_related_synonym") ∷ ("type" , JSON.jstring "PROPERTY") ∷ ("propertyType" , JSON.jstring "ANNOTATION") ∷ []) ∷ JSON.jobject (("id" , JSON.jstring "http://www.geneontology.org/formats/oboInOwl#hasScope") ∷ ("lbl" , JSON.jstring "has_scope") ∷ ("type" , JSON.jstring "PROPERTY") ∷ ("propertyType" , JSON.jstring "ANNOTATION") ∷ []) ∷ JSON.jobject (("id" , JSON.jstring "http://www.geneontology.org/formats/oboInOwl#hasSynonymType") ∷ ("lbl" , JSON.jstring "has_synonym_type") ∷ ("type" , JSON.jstring "PROPERTY") ∷ ("propertyType" , JSON.jstring "ANNOTATION") ∷ []) ∷ JSON.jobject (("id" , JSON.jstring "http://www.geneontology.org/formats/oboInOwl#id") ∷ ("type" , JSON.jstring "PROPERTY") ∷ ("propertyType" , JSON.jstring "ANNOTATION") ∷ []) ∷ JSON.jobject (("id" , JSON.jstring "http://www.geneontology.org/formats/oboInOwl#inSubset") ∷ ("lbl" , JSON.jstring "in_subset") ∷ ("type" , JSON.jstring "PROPERTY") ∷ ("propertyType" , JSON.jstring "ANNOTATION") ∷ []) ∷ JSON.jobject (("id" , JSON.jstring "http://www.geneontology.org/formats/oboInOwl#shorthand") ∷ ("lbl" , JSON.jstring "shorthand") ∷ ("type" , JSON.jstring "PROPERTY") ∷ ("propertyType" , JSON.jstring "ANNOTATION") ∷ []) ∷ JSON.jobject (("id" , JSON.jstring "http://www.w3.org/2000/01/rdf-schema#comment") ∷ ("type" , JSON.jstring "PROPERTY") ∷ ("propertyType" , JSON.jstring "ANNOTATION") ∷ []) ∷ JSON.jobject (("id" , JSON.jstring "http://www.w3.org/2000/01/rdf-schema#label") ∷ ("type" , JSON.jstring "PROPERTY") ∷ ("propertyType" , JSON.jstring "ANNOTATION") ∷ []) ∷ JSON.jobject (("id" , JSON.jstring "http://purl.obolibrary.org/obo/go-test#goantislim_grouping") ∷ ("meta" , JSON.jobject (("comments" , JSON.jarray (JSON.jstring "Grouping classes that can be excluded" ∷ [])) ∷ [])) ∷ []) ∷ JSON.jobject (("id" , JSON.jstring "http://purl.obolibrary.org/obo/go-test#gocheck_do_not_annotate") ∷ ("meta" , JSON.jobject (("comments" , JSON.jarray (JSON.jstring "Term not to be used for direct annotation" ∷ [])) ∷ [])) ∷ []) ∷ JSON.jobject (("id" , JSON.jstring "http://purl.obolibrary.org/obo/go-test#gocheck_do_not_manually_annotate") ∷ ("meta" , JSON.jobject (("comments" , JSON.jarray (JSON.jstring "Term not to be used for direct manual annotation" ∷ [])) ∷ [])) ∷ []) ∷ JSON.jobject (("id" , JSON.jstring "http://purl.obolibrary.org/obo/go-test#goslim_aspergillus") ∷ ("meta" , JSON.jobject (("comments" , JSON.jarray (JSON.jstring "Aspergillus GO slim" ∷ [])) ∷ [])) ∷ []) ∷ JSON.jobject (("id" , JSON.jstring "http://purl.obolibrary.org/obo/go-test#goslim_candida") ∷ ("meta" , JSON.jobject (("comments" , JSON.jarray (JSON.jstring "Candida GO slim" ∷ [])) ∷ [])) ∷ []) ∷ JSON.jobject (("id" , JSON.jstring "http://purl.obolibrary.org/obo/go-test#goslim_chembl") ∷ ("meta" , JSON.jobject (("comments" , JSON.jarray (JSON.jstring "ChEMBL protein targets summary" ∷ [])) ∷ [])) ∷ []) ∷ JSON.jobject (("id" , JSON.jstring "http://purl.obolibrary.org/obo/go-test#goslim_generic") ∷ ("meta" , JSON.jobject (("comments" , JSON.jarray (JSON.jstring "Generic GO slim" ∷ [])) ∷ [])) ∷ []) ∷ JSON.jobject (("id" , JSON.jstring "http://purl.obolibrary.org/obo/go-test#goslim_goa") ∷ ("meta" , JSON.jobject (("comments" , JSON.jarray (JSON.jstring "GOA and proteome slim" ∷ [])) ∷ [])) ∷ []) ∷ JSON.jobject (("id" , JSON.jstring "http://purl.obolibrary.org/obo/go-test#goslim_metagenomics") ∷ ("meta" , JSON.jobject (("comments" , JSON.jarray (JSON.jstring "Metagenomics GO slim" ∷ [])) ∷ [])) ∷ []) ∷ JSON.jobject (("id" , JSON.jstring "http://purl.obolibrary.org/obo/go-test#goslim_pir") ∷ ("meta" , JSON.jobject (("comments" , JSON.jarray (JSON.jstring "PIR GO slim" ∷ [])) ∷ [])) ∷ []) ∷ JSON.jobject (("id" , JSON.jstring "http://purl.obolibrary.org/obo/go-test#goslim_plant") ∷ ("meta" , JSON.jobject (("comments" , JSON.jarray (JSON.jstring "Plant GO slim" ∷ [])) ∷ [])) ∷ []) ∷ JSON.jobject (("id" , JSON.jstring "http://purl.obolibrary.org/obo/go-test#goslim_pombe") ∷ ("meta" , JSON.jobject (("comments" , JSON.jarray (JSON.jstring "Fission yeast GO slim" ∷ [])) ∷ [])) ∷ []) ∷ JSON.jobject (("id" , JSON.jstring "http://purl.obolibrary.org/obo/go-test#goslim_synapse") ∷ ("meta" , JSON.jobject (("comments" , JSON.jarray (JSON.jstring "synapse GO slim" ∷ [])) ∷ [])) ∷ []) ∷ JSON.jobject (("id" , JSON.jstring "http://purl.obolibrary.org/obo/go-test#goslim_virus") ∷ ("meta" , JSON.jobject (("comments" , JSON.jarray (JSON.jstring "Viral GO slim" ∷ [])) ∷ [])) ∷ []) ∷ JSON.jobject (("id" , JSON.jstring "http://purl.obolibrary.org/obo/go-test#goslim_yeast") ∷ ("meta" , JSON.jobject (("comments" , JSON.jarray (JSON.jstring "Yeast GO slim" ∷ [])) ∷ [])) ∷ []) ∷ JSON.jobject (("id" , JSON.jstring "http://purl.obolibrary.org/obo/go-test#gosubset_prok") ∷ ("meta" , JSON.jobject (("comments" , JSON.jarray (JSON.jstring "Prokaryotic GO subset" ∷ [])) ∷ [])) ∷ []) ∷ JSON.jobject (("id" , JSON.jstring "http://purl.obolibrary.org/obo/go-test#mf_needs_review") ∷ ("meta" , JSON.jobject (("comments" , JSON.jarray (JSON.jstring "Catalytic activity terms in need of attention" ∷ [])) ∷ [])) ∷ []) ∷ JSON.jobject (("id" , JSON.jstring "http://purl.obolibrary.org/obo/go-test#syngo_official_label") ∷ ("lbl" , JSON.jstring "label approved by the SynGO project") ∷ []) ∷ JSON.jobject (("id" , JSON.jstring "http://purl.obolibrary.org/obo/go-test#systematic_synonym") ∷ ("lbl" , JSON.jstring "Systematic synonym") ∷ ("meta" , JSON.jobject (("basicPropertyValues" , JSON.jarray (JSON.jobject (("pred" , JSON.jstring "http://www.geneontology.org/formats/oboInOwl#hasScope") ∷ ("val" , JSON.jstring "http://www.geneontology.org/formats/oboInOwl#hasExactSynonym") ∷ []) ∷ [])) ∷ [])) ∷ []) ∷ JSON.jobject (("id" , JSON.jstring "http://purl.obolibrary.org/obo/go-test#termgenie_unvetted") ∷ ("meta" , JSON.jobject (("comments" , JSON.jarray (JSON.jstring "Terms created by TermGenie that do not follow a template and require additional vetting by editors" ∷ [])) ∷ [])) ∷ []) ∷ JSON.jobject (("id" , JSON.jstring "http://purl.obolibrary.org/obo/go-test#virus_checked") ∷ ("meta" , JSON.jobject (("comments" , JSON.jarray (JSON.jstring "Viral overhaul terms" ∷ [])) ∷ [])) ∷ []) ∷ [])) ∷ ("edges" , JSON.jarray (JSON.jobject (("sub" , JSON.jstring "http://purl.obolibrary.org/obo/GO_0005622") ∷ ("pred" , JSON.jstring "is_a") ∷ ("obj" , JSON.jstring "http://purl.obolibrary.org/obo/GO_0044464") ∷ []) ∷ JSON.jobject (("sub" , JSON.jstring "http://purl.obolibrary.org/obo/GO_0005623") ∷ ("pred" , JSON.jstring "is_a") ∷ ("obj" , JSON.jstring "http://purl.obolibrary.org/obo/GO_0005575") ∷ []) ∷ JSON.jobject (("sub" , JSON.jstring "http://purl.obolibrary.org/obo/GO_0005634") ∷ ("pred" , JSON.jstring "is_a") ∷ ("obj" , JSON.jstring "http://purl.obolibrary.org/obo/GO_0043231") ∷ []) ∷ JSON.jobject (("sub" , JSON.jstring "http://purl.obolibrary.org/obo/GO_0043226") ∷ ("pred" , JSON.jstring "is_a") ∷ ("obj" , JSON.jstring "http://purl.obolibrary.org/obo/GO_0005575") ∷ []) ∷ JSON.jobject (("sub" , JSON.jstring "http://purl.obolibrary.org/obo/GO_0043227") ∷ ("pred" , JSON.jstring "is_a") ∷ ("obj" , JSON.jstring "http://purl.obolibrary.org/obo/GO_0043226") ∷ []) ∷ JSON.jobject (("sub" , JSON.jstring "http://purl.obolibrary.org/obo/GO_0043229") ∷ ("pred" , JSON.jstring "is_a") ∷ ("obj" , JSON.jstring "http://purl.obolibrary.org/obo/GO_0043226") ∷ []) ∷ JSON.jobject (("sub" , JSON.jstring "http://purl.obolibrary.org/obo/GO_0043229") ∷ ("pred" , JSON.jstring "is_a") ∷ ("obj" , JSON.jstring "http://purl.obolibrary.org/obo/GO_0044424") ∷ []) ∷ JSON.jobject (("sub" , JSON.jstring "http://purl.obolibrary.org/obo/GO_0043231") ∷ ("pred" , JSON.jstring "is_a") ∷ ("obj" , JSON.jstring "http://purl.obolibrary.org/obo/GO_0043227") ∷ []) ∷ JSON.jobject (("sub" , JSON.jstring "http://purl.obolibrary.org/obo/GO_0043231") ∷ ("pred" , JSON.jstring "is_a") ∷ ("obj" , JSON.jstring "http://purl.obolibrary.org/obo/GO_0043229") ∷ []) ∷ JSON.jobject (("sub" , JSON.jstring "http://purl.obolibrary.org/obo/GO_0044424") ∷ ("pred" , JSON.jstring "is_a") ∷ ("obj" , JSON.jstring "http://purl.obolibrary.org/obo/GO_0044464") ∷ []) ∷ JSON.jobject (("sub" , JSON.jstring "http://purl.obolibrary.org/obo/GO_0044424") ∷ ("pred" , JSON.jstring "http://purl.obolibrary.org/obo/BFO_0000050") ∷ ("obj" , JSON.jstring "http://purl.obolibrary.org/obo/GO_0005622") ∷ []) ∷ JSON.jobject (("sub" , JSON.jstring "http://purl.obolibrary.org/obo/GO_0044464") ∷ ("pred" , JSON.jstring "is_a") ∷ ("obj" , JSON.jstring "http://purl.obolibrary.org/obo/GO_0005575") ∷ []) ∷ JSON.jobject (("sub" , JSON.jstring "http://purl.obolibrary.org/obo/GO_0044464") ∷ ("pred" , JSON.jstring "http://purl.obolibrary.org/obo/BFO_0000050") ∷ ("obj" , JSON.jstring "http://purl.obolibrary.org/obo/GO_0005623") ∷ []) ∷ JSON.jobject (("sub" , JSON.jstring "http://purl.obolibrary.org/obo/BFO_0000050") ∷ ("pred" , JSON.jstring "inverseOf") ∷ ("obj" , JSON.jstring "http://purl.obolibrary.org/obo/go-test#has_part") ∷ []) ∷ [])) ∷ ("logicalDefinitionAxioms" , JSON.jarray (JSON.jobject (("definedClassId" , JSON.jstring "http://purl.obolibrary.org/obo/GO_0044424") ∷ ("genusIds" , JSON.jarray (JSON.jstring "http://purl.obolibrary.org/obo/GO_0005575" ∷ [])) ∷ ("restrictions" , JSON.jarray (JSON.jobject (("propertyId" , JSON.jstring "http://purl.obolibrary.org/obo/BFO_0000050") ∷ ("fillerId" , JSON.jstring "http://purl.obolibrary.org/obo/GO_0005622") ∷ []) ∷ [])) ∷ []) ∷ JSON.jobject (("definedClassId" , JSON.jstring "http://purl.obolibrary.org/obo/GO_0044464") ∷ ("genusIds" , JSON.jarray (JSON.jstring "http://purl.obolibrary.org/obo/GO_0005575" ∷ [])) ∷ ("restrictions" , JSON.jarray (JSON.jobject (("propertyId" , JSON.jstring "http://purl.obolibrary.org/obo/BFO_0000050") ∷ ("fillerId" , JSON.jstring "http://purl.obolibrary.org/obo/GO_0005623") ∷ []) ∷ [])) ∷ []) ∷ [])) ∷ []) ∷ [])) ∷ [])

jsonDiagnostics : List Schema.SchemaDiagnostic
jsonDiagnostics =
  Schema.schemaDiagnostics jsonValue

jsonDiagnostics-ok : jsonDiagnostics ≡ []
jsonDiagnostics-ok =
  refl


decodedGraphDocument : Optional OG.GraphDocument
decodedGraphDocument =
  Decode.decodeGraphDocument jsonValue

graphDocument : OG.GraphDocument
graphDocument =
  Decode.fromMaybe (OG.graphDocument []) decodedGraphDocument

decodeGraphDocument-ok : decodedGraphDocument ≡ present graphDocument
decodeGraphDocument-ok =
  refl

ontologyDocument : P.OntologyDocument
ontologyDocument =
  OGP.toOntologyDocument graphDocument