(Recipe Morning-shot (With-ingredient Ginger)) (Recipe Morning-shot (With-ingredient Orange)) (In-store Apple) (In-store Banana) (In-store Orange) (Hate Apple) (Hate Grape) (Love Banana) (Love Orange) (Love Strawberry) !(transform (Love $fruit) (transform (In-store $fruit) (join (Buy $fruit) (transform (Recipe $recipe (With-ingredient $fruit)) (transform (Recipe $recipe (With-ingredient $ingredient)) (Buy $ingredient) ) ) ) )) !(print_pred_as_metta) (= (pp-sex (ValueAtom 2) $O) (sequential (write ) (pp-sex $O))) (= (into-sequential $O $P) (sequential (missing (is-list $O)) (conjuncts-to-list $O $Q) (into-sequential $Q $P))) (= (into-sequential $O $P) (sequential (length $O $Q) (> $Q (ValueAtom 1)) (equals-ListMappingFn $P ([|] sequential $O)) no-more)) (= (into-sequential $O $O) (:: no-more)) (= ah (sequential (add-history1 fb-stats) (add-history1 mine-overlaps) (add-history1 load-flybase))) (= ah (sequential (add-history fb-stats) (add-history mine-overlaps) (add-history try-overlaps) (add-history load-flybase))) (= list-column-names (:: (missing (and (column-names $O $P) (and (-> (and (length $P $Q) (and (>= $Q (ValueAtom 2)) (fb-pred $O $Q))) True) (missing (and (print (column-names $O $P)) nl))))))) (= (ncRNA-genes-fb-scheme (StringValue " { "$schema": "http://json-schema.org/draft-04/schema#", "title": "RNAcentral ncRNA object", "description": "A sequence to import to RNAcentral. These entries must not be pseudogenes or coding RNA transcripts.", "id": "ncrna.json#", "type": "object", "required": ["primaryId", "taxonId", "soTermId", "sequence", "url"], "additionalProperties": false, "properties": { "primaryId": { "$ref" : "global-id.json#/properties/globalId", "description": "The prefixed primary (MOD) ID for an entity. For internal use, e.g. FLYBASE:FBgn0003301, MGI:87917." }, "taxonId": { "$ref" : "global-id.json#/properties/globalId", "description" : "The NCBI taxonId for the species of the gene entity." }, "soTermId": { "$ref" : "global-id.json#/properties/globalId", "description": "The SO Term that represents as best we can, the bioType, or featureType of the object in the file." }, "ecoTermId": { "$ref" : "global-id.json#/properties/globalId", "description": "The ECO Term that represents the evidence for this sequence having the given SO term." }, "sequence": { "$ref": "sequence.json#properties/sequence", "description": "The DNA sequence of this entry." }, "name": { "type": "string", "description": "The name of this sequence." }, "description": { "type": "string", "description": "An informative human readable description. If not provided then it will be generated using the name and species information." }, "symbol": { "type": "string", "description": "The symbol for this ncRNA" }, "symbolSynonyms": { "type": "array", "items": { "type": "string" }, "uniqueItems": true, "description": "A list of other symbols for the ncRNA" }, "version": { "description": "The version of this sequence, if any" }, "gene": { "$ref": "gene.json#" }, "crossReferenceIds": { "description":"Collection holding a limited set (for now) of database cross references for each gene. That set is defined in geneCrossReferences.json dataSoruce enumeration. NCBI GENE means just the NCBI Gene reference. UniProtKB is swissprot and trembl. Ensembl is just the GENE id for now (not transcript nor protein).", "type": "array", "items": { "$ref" : "global-id.json#/properties/globalId" }, "uniqueItems": true }, "genomeLocations": { "description":"Collection holding the set of locations for this sequence. This should include the exon/intron structure of the sequence.", "type": "array", "items": { "$ref" : "location.json#" }, "uniqueItems": true }, "url": { "type": "string", "format": "uri", "description": "URL to the page for this entry in the database" }, "externalUrl": { "type": "string", "format": "uri", "description": "URL to a synopsis outside the database, like wikipedia." }, "secondaryStructure": { "description": "The secondary structure in dot-bracket notation for this sequence", "$ref": "secondary-structure.json#/properties/dot-bracket" }, "publications": { "description": "List of references to associate with this sequence.", "type": "array", "items": { "anyOf": [ { "$ref": "publications.json#/properties/pubMedId" }, { "$ref": "publications.json#/properties/doi" } ] }, "uniqueItems": true }, "localization": { "description": "Name of the organelle or plasmid this sequence is found in", "enum": [ "mitochondria", "plastid", "chloroplast", "plasmid" ] }, "sequenceFeatures": { "anticodon": { "description": "Information about the anticodon", "$ref": "anticodon.json#" }, "modifications": { "description": "List of the modifications in this sequence", "type": "array", "items": { "$ref": "modification.json#" }, "uniqueItems": true } }, "sourceModel": { "description": "Information about the model used to find this sequence", "$ref" : "global-id.json#/properties/globalId" }, "product": { "description": "The name of the product, this should be more specific than the name of the SO term that was provided", "type": "string" }, "additionalAnnotations": { "isoType": { "description": "The isoType of this tRNA", "enum": [ "Ala", "Cys", "Asp", "Glu", "Phe", "Gly", "His", "Ile", "Lys", "Leu", "iMet", "Met", "Asn", "Pro", "Gln", "Arg", "Ser", "Thr", "Val", "Trp", "Tyr" ] } }, "relatedSequences": { "description": "Information about related sequences, like precursors or targets", "type": "array", "items": { "$ref": "related-sequence.json#" }, "uniqueItems": true }, "inferredPhylogeny": { "description": "A phylogeny that has been inferred for this sequence", "$ref": "inferred-phylogeny.json#" } } }")) True) (= (guess-rest $O $P $Q $R) (sequential (table-n-type $O $P $Q $R) (var $R) (fb-pred $O $S) (functor $T $O $S) (arg $P $T $R) (-> (call $T) True))) (= (table-n-type allele-genetic-interactions (ValueAtom 1) allele-symbol $A10) True) (= (table-n-type allele-genetic-interactions (ValueAtom 2) allele-FBal FBal) True) (= (table-n-type allele-genetic-interactions (ValueAtom 3) interaction $A10) True) (= (table-n-type allele-genetic-interactions (ValueAtom 4) FBrf FBrf) True) (= (table-n-type disease-model-annotations (ValueAtom 1) FBgn FBgn) True) (= (table-n-type disease-model-annotations (ValueAtom 2) Gene-symbol $A10) True) (= (table-n-type disease-model-annotations (ValueAtom 3) HGNC HGNC) True) (= (table-n-type disease-model-annotations (ValueAtom 4) DO-qualifier $A10) True) (= (table-n-type disease-model-annotations (ValueAtom 5) DO $A10) True) (= (table-n-type disease-model-annotations (ValueAtom 6) DO-term $A10) True) (= (table-n-type disease-model-annotations (ValueAtom 7) Allele-used-in-model-(FBal) FBal) True) (= (table-n-type disease-model-annotations (ValueAtom 8) Allele-used-in-model-(symbol) $A10) True) (= (table-n-type disease-model-annotations (ValueAtom 9) Based-on-orthology-with-(HGNC-ID) HGNC) True) (= (table-n-type disease-model-annotations (ValueAtom 10) Based-on-orthology-with-(symbol) $A10) True) (= (table-n-type disease-model-annotations (ValueAtom 11) Evidence/interacting-alleles $A10) True) (= (table-n-type disease-model-annotations (ValueAtom 12) Reference-(FBrf) FBrf) True) (= (table-n-type dmel-gene-sequence-ontology-annotations (ValueAtom 1) gene-primary-id $A10) True) (= (table-n-type dmel-gene-sequence-ontology-annotations (ValueAtom 2) gene-symbol $A10) True) (= (table-n-type dmel-gene-sequence-ontology-annotations (ValueAtom 3) so-term-name $A10) True) (= (table-n-type dmel-gene-sequence-ontology-annotations (ValueAtom 4) so-term-id $A10) True) (= (table-n-type dmel-human-orthologs-disease (ValueAtom 1) Dmel-gene $A10) True) (= (table-n-type dmel-human-orthologs-disease (ValueAtom 2) Dmel-gene-symbol $A10) True) (= (table-n-type dmel-human-orthologs-disease (ValueAtom 3) Human-gene-HGNC HGNC) True) (= (table-n-type dmel-human-orthologs-disease (ValueAtom 4) Human-gene-OMIM OMIM) True) (= (table-n-type dmel-human-orthologs-disease (ValueAtom 5) Human-gene-symbol $A10) True) (= (table-n-type dmel-human-orthologs-disease (ValueAtom 6) DIOPT-score $A10) True) (= (table-n-type dmel-human-orthologs-disease (ValueAtom 7) (ListValue OMIM-Phenotype-IDs) OMIM) True) (= (table-n-type dmel-human-orthologs-disease (ValueAtom 8) OMIM-Phenotype-IDs[name] OMIM) True) (= (table-n-type fbgn-fbtr-fbpp-expanded (ValueAtom 1) organism $A10) True) (= (table-n-type fbgn-fbtr-fbpp-expanded (ValueAtom 2) gene-type $A10) True) (= (table-n-type fbgn-fbtr-fbpp-expanded (ValueAtom 3) gene-ID FBgn) True) (= (table-n-type fbgn-fbtr-fbpp-expanded (ValueAtom 4) gene-symbol $A10) True) (= (table-n-type fbgn-fbtr-fbpp-expanded (ValueAtom 5) gene-fullname $A10) True) (= (table-n-type fbgn-fbtr-fbpp-expanded (ValueAtom 6) annotation-ID $A10) True) (= (table-n-type fbgn-fbtr-fbpp-expanded (ValueAtom 7) transcript-type $A10) True) (= (table-n-type fbgn-fbtr-fbpp-expanded (ValueAtom 8) transcript-ID FBtr) True) (= (table-n-type fbgn-fbtr-fbpp-expanded (ValueAtom 9) transcript-symbol $A10) True) (= (table-n-type fbgn-fbtr-fbpp-expanded (ValueAtom 10) polypeptide-ID FBpp) True) (= (table-n-type fbgn-fbtr-fbpp-expanded (ValueAtom 11) polypeptide-symbol $A10) True) (= (table-n-type fbrf-pmid-pmcid-doi (ValueAtom 1) FBrf FBrf) True) (= (table-n-type fbrf-pmid-pmcid-doi (ValueAtom 2) PMID PMID) True) (= (table-n-type fbrf-pmid-pmcid-doi (ValueAtom 3) PMCID PMCID) True) (= (table-n-type fbrf-pmid-pmcid-doi (ValueAtom 4) DOI DOI) True) (= (table-n-type fbrf-pmid-pmcid-doi (ValueAtom 5) pub-type $A10) True) (= (table-n-type fbrf-pmid-pmcid-doi (ValueAtom 6) miniref $A10) True) (= (table-n-type fbrf-pmid-pmcid-doi (ValueAtom 7) pmid-added $A10) True) (= (table-n-type gene-genetic-interactions (ValueAtom 1) Starting-gene-symbol $A10) True) (= (table-n-type gene-genetic-interactions (ValueAtom 2) Starting-gene-FBgn FBgn) True) (= (table-n-type gene-genetic-interactions (ValueAtom 3) Interacting-gene-symbol $A10) True) (= (table-n-type gene-genetic-interactions (ValueAtom 4) Interacting-gene-FBgn FBgn) True) (= (table-n-type gene-genetic-interactions (ValueAtom 5) Interaction-type $A10) True) (= (table-n-type gene-genetic-interactions (ValueAtom 6) Publication-FBrf FBrf) True) (= (table-n-type gene-map-table (ValueAtom 1) organism-abbreviation $A10) True) (= (table-n-type gene-map-table (ValueAtom 2) current-symbol $A10) True) (= (table-n-type gene-map-table (ValueAtom 3) primary-FBid FBgn) True) (= (table-n-type gene-map-table (ValueAtom 4) recombination-loc $A10) True) (= (table-n-type gene-map-table (ValueAtom 5) cytogenetic-loc $A10) True) (= (table-n-type gene-map-table (ValueAtom 6) sequence-loc $A10) True) (= (table-n-type physical-interactions-mitab (ValueAtom 1) ID-Interactor-A $A10) True) (= (table-n-type physical-interactions-mitab (ValueAtom 2) ID-Interactor-B $A10) True) (= (table-n-type physical-interactions-mitab (ValueAtom 3) Alt-ID-Interactor-A $A10) True) (= (table-n-type physical-interactions-mitab (ValueAtom 4) Alt-ID-Interactor-B $A10) True) (= (table-n-type physical-interactions-mitab (ValueAtom 5) Alias-Interactor-A $A10) True) (= (table-n-type physical-interactions-mitab (ValueAtom 6) Alias-Interactor-B $A10) True) (= (table-n-type physical-interactions-mitab (ValueAtom 7) Interaction-Detection-Method $A10) True) (= (table-n-type physical-interactions-mitab (ValueAtom 8) Publication-1st-Author $A10) True) (= (table-n-type physical-interactions-mitab (ValueAtom 9) Publication $A10) True) (= (table-n-type physical-interactions-mitab (ValueAtom 10) Taxid-Interactor-A $A10) True) (= (table-n-type physical-interactions-mitab (ValueAtom 11) Taxid-Interactor-B $A10) True) (= (table-n-type physical-interactions-mitab (ValueAtom 12) Interaction-Type $A10) True) (= (table-n-type physical-interactions-mitab (ValueAtom 13) Source-Database $A10) True) (= (table-n-type physical-interactions-mitab (ValueAtom 14) Interaction-Identifier $A10) True) (= (table-n-type physical-interactions-mitab (ValueAtom 15) Confidence-Value $A10) True) (= (table-n-type physical-interactions-mitab (ValueAtom 16) Expansion-Method $A10) True) (= (table-n-type physical-interactions-mitab (ValueAtom 17) Biological-Role-Interactor-A $A10) True) (= (table-n-type physical-interactions-mitab (ValueAtom 18) Biological-Role-Interactor-B $A10) True) (= (table-n-type physical-interactions-mitab (ValueAtom 19) Experimental-Role-Interactor-A $A10) True) (= (table-n-type physical-interactions-mitab (ValueAtom 20) Experimental-Role-Interactor-B $A10) True) (= (table-n-type physical-interactions-mitab (ValueAtom 21) Type-Interactor-A $A10) True) (= (table-n-type physical-interactions-mitab (ValueAtom 22) Type-Interactor-B $A10) True) (= (table-n-type physical-interactions-mitab (ValueAtom 23) Xref-Interactor-A $A10) True) (= (table-n-type physical-interactions-mitab (ValueAtom 24) Xref-Interactor-B $A10) True) (= (table-n-type physical-interactions-mitab (ValueAtom 25) Interaction-Xref $A10) True) (= (table-n-type physical-interactions-mitab (ValueAtom 26) Annotation-Interactor-A $A10) True) (= (table-n-type physical-interactions-mitab (ValueAtom 27) Annotation-Interactor-B $A10) True) (= (table-n-type physical-interactions-mitab (ValueAtom 28) Interaction-Annotation $A10) True) (= (table-n-type physical-interactions-mitab (ValueAtom 29) Host-Organism $A10) True) (= (table-n-type physical-interactions-mitab (ValueAtom 30) Interaction-Parameters $A10) True) (= (table-n-type physical-interactions-mitab (ValueAtom 31) Creation-Date $A10) True) (= (table-n-type physical-interactions-mitab (ValueAtom 32) Update-Date $A10) True) (= (table-n-type physical-interactions-mitab (ValueAtom 33) Checksum-Interactor-A $A10) True) (= (table-n-type physical-interactions-mitab (ValueAtom 34) Checksum-Interactor-B $A10) True) (= (table-n-type physical-interactions-mitab (ValueAtom 35) Interaction-Checksum $A10) True) (= (table-n-type physical-interactions-mitab (ValueAtom 36) Negative $A10) True) (= (table-n-type physical-interactions-mitab (ValueAtom 37) Feature-Interactor-A $A10) True) (= (table-n-type physical-interactions-mitab (ValueAtom 38) Feature-Interactor-B $A10) True) (= (table-n-type physical-interactions-mitab (ValueAtom 39) Stoichiometry-Interactor-A $A10) True) (= (table-n-type physical-interactions-mitab (ValueAtom 40) Stoichiometry-Interactor-B $A10) True) (= (table-n-type physical-interactions-mitab (ValueAtom 41) Identification-Method-Participant-A $A10) True) (= (table-n-type physical-interactions-mitab (ValueAtom 42) Identification-Method-Participant-B $A10) True) (= (table-n-type fbal-to-fbgn (ValueAtom 1) AlleleID FBal) True) (= (table-n-type fbal-to-fbgn (ValueAtom 2) AlleleSymbol $A10) True) (= (table-n-type fbal-to-fbgn (ValueAtom 3) GeneID FBgn) True) (= (table-n-type fbal-to-fbgn (ValueAtom 4) GeneSymbol $A10) True) (= (table-n-type cDNA-clone (ValueAtom 1) FBcl FBcl) True) (= (table-n-type cDNA-clone (ValueAtom 2) organism-abbreviation $A10) True) (= (table-n-type cDNA-clone (ValueAtom 3) clone-name $A10) True) (= (table-n-type cDNA-clone (ValueAtom 4) dataset-metadata-name $A10) True) (= (table-n-type cDNA-clone (ValueAtom 5) cDNA-accession $A10) True) (= (table-n-type cDNA-clone (ValueAtom 6) EST-accession $A10) True) (= (table-n-type genomic-clone (ValueAtom 1) FBcl FBcl) True) (= (table-n-type genomic-clone (ValueAtom 2) organism-abbreviation $A10) True) (= (table-n-type genomic-clone (ValueAtom 3) clone-name $A10) True) (= (table-n-type genomic-clone (ValueAtom 4) accession $A10) True) (= (table-n-type automated-gene-summaries (ValueAtom 1) primary-FBgn FBgn) True) (= (table-n-type automated-gene-summaries (ValueAtom 2) summary-text $A10) True) (= (table-n-type best-gene-summary (ValueAtom 1) FBgn FBgn) True) (= (table-n-type best-gene-summary (ValueAtom 2) Gene-Symbol $A10) True) (= (table-n-type best-gene-summary (ValueAtom 3) Summary-Source $A10) True) (= (table-n-type best-gene-summary (ValueAtom 4) Summary $A10) True) (= (table-n-type Dmel-enzyme (ValueAtom 1) gene-group-id $A10) True) (= (table-n-type Dmel-enzyme (ValueAtom 2) gene-group-name $A10) True) (= (table-n-type Dmel-enzyme (ValueAtom 3) gene-group-GO-id $A10) True) (= (table-n-type Dmel-enzyme (ValueAtom 4) gene-group-GO-name $A10) True) (= (table-n-type Dmel-enzyme (ValueAtom 5) gene-group-EC-number $A10) True) (= (table-n-type Dmel-enzyme (ValueAtom 6) gene-group-EC-name $A10) True) (= (table-n-type Dmel-enzyme (ValueAtom 7) gene-id FBgn) True) (= (table-n-type Dmel-enzyme (ValueAtom 8) gene-symbol $A10) True) (= (table-n-type Dmel-enzyme (ValueAtom 9) gene-name $A10) True) (= (table-n-type Dmel-enzyme (ValueAtom 10) gene-EC-number $A10) True) (= (table-n-type Dmel-enzyme (ValueAtom 11) gene-EC-name $A10) True) (= (table-n-type dmel-unique-protein-isoforms (ValueAtom 1) FBgn FBgn) True) (= (table-n-type dmel-unique-protein-isoforms (ValueAtom 2) FB-gene-symbol $A10) True) (= (table-n-type dmel-unique-protein-isoforms (ValueAtom 3) representative-protein $A10) True) (= (table-n-type dmel-unique-protein-isoforms (ValueAtom 4) identical-protein $A10) True) (= (table-n-type fbgn-annotation-ID (ValueAtom 1) gene-symbol $A10) True) (= (table-n-type fbgn-annotation-ID (ValueAtom 2) organism-abbreviation $A10) True) (= (table-n-type fbgn-annotation-ID (ValueAtom 3) primary-FBgn FBgn) True) (= (table-n-type fbgn-annotation-ID (ValueAtom 4) secondary-FBgn FBgn) True) (= (table-n-type fbgn-annotation-ID (ValueAtom 5) annotation-ID FBan) True) (= (table-n-type fbgn-annotation-ID (ValueAtom 6) secondary-annotation-ID FBan) True) (= (table-n-type fbgn-exons2affy1-overlaps (ValueAtom 1) FBgn FBgn) True) (= (table-n-type fbgn-exons2affy1-overlaps (ValueAtom 2) affy $A10) True) (= (table-n-type fbgn-exons2affy2-overlaps (ValueAtom 1) FBgn FBgn) True) (= (table-n-type fbgn-exons2affy2-overlaps (ValueAtom 2) affy $A10) True) (= (table-n-type fbgn-fbtr-fbpp (ValueAtom 1) FBgn FBgn) True) (= (table-n-type fbgn-fbtr-fbpp (ValueAtom 2) FBtr FBtr) True) (= (table-n-type fbgn-fbtr-fbpp (ValueAtom 3) FBpp FBpp) True) (= (table-n-type fbgn-gleanr (ValueAtom 1) organism-abbreviation $A10) True) (= (table-n-type fbgn-gleanr (ValueAtom 2) gene-symbol $A10) True) (= (table-n-type fbgn-gleanr (ValueAtom 3) primary-FBgn FBgn) True) (= (table-n-type fbgn-gleanr (ValueAtom 4) GLEANR $A10) True) (= (table-n-type gene-functional-complementation (ValueAtom 1) Dmel-gene-symbol $A10) True) (= (table-n-type gene-functional-complementation (ValueAtom 2) Dmel-gene-FBgn FBgn) True) (= (table-n-type gene-functional-complementation (ValueAtom 3) ortholog-gene-symbol $A10) True) (= (table-n-type gene-functional-complementation (ValueAtom 4) ortholog-gene-FBgn-ID FBgn) True) (= (table-n-type gene-functional-complementation (ValueAtom 5) reference-FBrf FBrf) True) (= (table-n-type gene-group (ValueAtom 1) FB-group FBgg) True) (= (table-n-type gene-group (ValueAtom 2) FB-group-symbol $A10) True) (= (table-n-type gene-group (ValueAtom 3) FB-group-name $A10) True) (= (table-n-type gene-group (ValueAtom 4) Parent-FB-group FBgg) True) (= (table-n-type gene-group (ValueAtom 5) Parent-FB-group-symbol $A10) True) (= (table-n-type gene-group (ValueAtom 6) Group-member-FB-gene FBgn) True) (= (table-n-type gene-group (ValueAtom 7) Group-member-FB-gene-symbol $A10) True) (= (table-n-type gene-groups-HGNC (ValueAtom 1) FB-group FBgg) True) (= (table-n-type gene-groups-HGNC (ValueAtom 2) FB-group-symbol $A10) True) (= (table-n-type gene-groups-HGNC (ValueAtom 3) FB-group-name $A10) True) (= (table-n-type gene-groups-HGNC (ValueAtom 4) Parent-FB-group FBgg) True) (= (table-n-type gene-groups-HGNC (ValueAtom 5) Parent-FB-group-symbol $A10) True) (= (table-n-type gene-groups-HGNC (ValueAtom 6) Group-member-FB-gene FBgn) True) (= (table-n-type gene-groups-HGNC (ValueAtom 7) Group-member-FB-gene-symbol $A10) True) (= (table-n-type gene-rpkm-matrix (ValueAtom 1) gene-primary-id FBgn) True) (= (table-n-type gene-rpkm-matrix (ValueAtom 2) gene-symbol $A10) True) (= (table-n-type gene-rpkm-matrix (ValueAtom 3) gene-fullname $A10) True) (= (table-n-type gene-rpkm-matrix (ValueAtom 4) gene-type $A10) True) (= (table-n-type gene-rpkm-matrix (ValueAtom 5) BCM-1-E2-4hr-(FBlc0000061) FBlc) True) (= (table-n-type gene-rpkm-matrix (ValueAtom 6) BCM-1-E14-16hr-(FBlc0000062) FBlc) True) (= (table-n-type gene-rpkm-matrix (ValueAtom 7) BCM-1-E2-16hr-(FBlc0000063) FBlc) True) (= (table-n-type gene-rpkm-matrix (ValueAtom 8) BCM-1-E2-16hr100-(FBlc0000064) FBlc) True) (= (table-n-type gene-rpkm-matrix (ValueAtom 9) BCM-1-L3i-(FBlc0000065) FBlc) True) (= (table-n-type gene-rpkm-matrix (ValueAtom 10) BCM-1-L3i100-(FBlc0000066) FBlc) True) (= (table-n-type gene-rpkm-matrix (ValueAtom 11) BCM-1-P3d-(FBlc0000067) FBlc) True) (= (table-n-type gene-rpkm-matrix (ValueAtom 12) BCM-1-FA3d-(FBlc0000068) FBlc) True) (= (table-n-type gene-rpkm-matrix (ValueAtom 13) BCM-1-MA3d-(FBlc0000069) FBlc) True) (= (table-n-type gene-rpkm-matrix (ValueAtom 14) BCM-1-P-(FBlc0000070) FBlc) True) (= (table-n-type gene-rpkm-matrix (ValueAtom 15) BCM-1-L-(FBlc0000071) FBlc) True) (= (table-n-type gene-rpkm-matrix (ValueAtom 16) BCM-1-A17d-(FBlc0000072) FBlc) True) (= (table-n-type gene-rpkm-report (ValueAtom 1) Release-ID $A10) True) (= (table-n-type gene-rpkm-report (ValueAtom 2) FBgn FBgn) True) (= (table-n-type gene-rpkm-report (ValueAtom 3) GeneSymbol $A10) True) (= (table-n-type gene-rpkm-report (ValueAtom 4) Parent-library-FBlc FBlc) True) (= (table-n-type gene-rpkm-report (ValueAtom 5) Parent-library-name $A10) True) (= (table-n-type gene-rpkm-report (ValueAtom 6) RNASource-FBlc FBlc) True) (= (table-n-type gene-rpkm-report (ValueAtom 7) RNASource-name $A10) True) (= (table-n-type gene-rpkm-report (ValueAtom 8) RPKM-value $A10) True) (= (table-n-type gene-rpkm-report (ValueAtom 9) Bin-value $A10) True) (= (table-n-type gene-rpkm-report (ValueAtom 10) Unique-exon-base-count $A10) True) (= (table-n-type gene-rpkm-report (ValueAtom 11) Total-exon-base-count $A10) True) (= (table-n-type gene-rpkm-report (ValueAtom 12) Count-used $A10) True) (= (table-n-type gene-snapshots (ValueAtom 1) FBgn FBgn) True) (= (table-n-type gene-snapshots (ValueAtom 2) GeneSymbol $A10) True) (= (table-n-type gene-snapshots (ValueAtom 3) GeneName $A10) True) (= (table-n-type gene-snapshots (ValueAtom 4) datestamp $A10) True) (= (table-n-type gene-snapshots (ValueAtom 5) gene-snapshot-text $A10) True) (= (table-n-type pathway-group (ValueAtom 1) FB-group FBgg) True) (= (table-n-type pathway-group (ValueAtom 2) FB-group-symbol $A10) True) (= (table-n-type pathway-group (ValueAtom 3) FB-group-name $A10) True) (= (table-n-type pathway-group (ValueAtom 4) Parent-FB-group FBgg) True) (= (table-n-type pathway-group (ValueAtom 5) Parent-FB-group-symbol $A10) True) (= (table-n-type pathway-group (ValueAtom 6) Group-member-FB-gene FBgn) True) (= (table-n-type pathway-group (ValueAtom 7) Group-member-FB-gene-symbol $A10) True) (= (table-n-type insertion-mapping (ValueAtom 1) insertion-symbol $A10) True) (= (table-n-type insertion-mapping (ValueAtom 2) FBti FBti) True) (= (table-n-type insertion-mapping (ValueAtom 3) genomic-location $A10) True) (= (table-n-type insertion-mapping (ValueAtom 4) range $A10) True) (= (table-n-type insertion-mapping (ValueAtom 5) orientation $A10) True) (= (table-n-type insertion-mapping (ValueAtom 6) estimated-cytogenetic-location $A10) True) (= (table-n-type insertion-mapping (ValueAtom 7) observed-cytogenetic-location $A10) True) (= (table-n-type cyto-genetic-seq (ValueAtom 1) Cytogenetic-map-position $A10) True) (= (table-n-type cyto-genetic-seq (ValueAtom 2) Genetic-map-position $A10) True) (= (table-n-type cyto-genetic-seq (ValueAtom 3) Sequence-coordinates-(release-6) $A10) True) (= (table-n-type cyto-genetic-seq (ValueAtom 4) R6-conversion-notes $A10) True) (= (table-n-type dataset-metadata (ValueAtom 1) Dataset-Metadata-ID $A10) True) (= (table-n-type dataset-metadata (ValueAtom 2) Dataset-Metadata-Name $A10) True) (= (table-n-type dataset-metadata (ValueAtom 3) Item-ID $A10) True) (= (table-n-type dataset-metadata (ValueAtom 4) Item-Name $A10) True) (= (table-n-type dmel-paralogs (ValueAtom 1) FBgn FBgn) True) (= (table-n-type dmel-paralogs (ValueAtom 2) GeneSymbol $A10) True) (= (table-n-type dmel-paralogs (ValueAtom 3) Arm/Scaffold $A10) True) (= (table-n-type dmel-paralogs (ValueAtom 4) Location $A10) True) (= (table-n-type dmel-paralogs (ValueAtom 5) Strand $A10) True) (= (table-n-type dmel-paralogs (ValueAtom 6) Paralog-FBgn FBgn) True) (= (table-n-type dmel-paralogs (ValueAtom 7) Paralog-GeneSymbol $A10) True) (= (table-n-type dmel-paralogs (ValueAtom 8) Paralog-Arm/Scaffold $A10) True) (= (table-n-type dmel-paralogs (ValueAtom 9) Paralog-Location $A10) True) (= (table-n-type dmel-paralogs (ValueAtom 10) Paralog-Strand $A10) True) (= (table-n-type dmel-paralogs (ValueAtom 11) DIOPT-score $A10) True) (= (table-n-type entity-publication (ValueAtom 1) entity-id $A10) True) (= (table-n-type entity-publication (ValueAtom 2) entity-name $A10) True) (= (table-n-type entity-publication (ValueAtom 3) FlyBase-publication FBrf) True) (= (table-n-type entity-publication (ValueAtom 4) PubMed $A10) True) (= (table-n-type organism-list (ValueAtom 1) genus $A10) True) (= (table-n-type organism-list (ValueAtom 2) species $A10) True) (= (table-n-type organism-list (ValueAtom 3) abbreviation $A10) True) (= (table-n-type organism-list (ValueAtom 4) common-name $A10) True) (= (table-n-type organism-list (ValueAtom 5) NCBI-taxon $A10) True) (= (table-n-type organism-list (ValueAtom 6) drosophilid? $A10) True) (= (table-n-type stocks (ValueAtom 1) stock-id FBst) True) (= (table-n-type stocks (ValueAtom 2) dbxref-id $A10) True) (= (table-n-type stocks (ValueAtom 3) organism-id $A10) True) (= (table-n-type stocks (ValueAtom 4) name $A10) True) (= (table-n-type stocks (ValueAtom 5) uniquename $A10) True) (= (table-n-type stocks (ValueAtom 6) description $A10) True) (= (table-n-type stocks (ValueAtom 7) type-id $A10) True) (= (table-n-type stocks (ValueAtom 8) is-obsolete $A10) True) (= (table-n-type synonym (ValueAtom 1) primary-FBid FBgn) True) (= (table-n-type synonym (ValueAtom 2) organism-abbreviation $A10) True) (= (table-n-type synonym (ValueAtom 3) current-symbol $A10) True) (= (table-n-type synonym (ValueAtom 4) current-fullname $A10) True) (= (table-n-type synonym (ValueAtom 5) fullname-synonym $A10) True) (= (table-n-type synonym (ValueAtom 6) symbol-synonym $A10) True) (= (flybase-tables (:: analysis analysisfeature analysisgrp analysisgrpmember analysisprop audit-chado cell-line cell-line-loaderm cell-line-loadermprop cell-line-dbxref cell-line-feature cell-line-library cell-line-libraryprop cell-line-pub cell-line-relationship cell-line-strain cell-line-strainprop cell-line-synonym cell-lineprop cell-lineprop-pub contact cv loaderm loaderm-dbxref loaderm-relationship loadermpath loadermprop loadermsynonym db dbxref dbxrefprop eimage environment environment-loaderm expression expression-loaderm expression-loadermprop expression-image expression-pub expressionprop feature feature-loaderm feature-loaderm-dbxref feature-loadermprop feature-dbxref feature-expression feature-expressionprop feature-genotype feature-grpmember feature-grpmember-pub feature-humanhealth-dbxref feature-interaction feature-interaction-pub feature-interactionprop feature-phenotype feature-pub feature-pubprop feature-relationship feature-relationship-pub feature-relationshipprop feature-relationshipprop-pub feature-synonym featureloc featureloc-pub featuremap featuremap-pub featurepos featureprop featureprop-pub featurerange genotype genotype-loaderm genotype-loadermprop genotype-dbxref genotype-pub genotype-synonym genotypeprop genotypeprop-pub grp grp-loaderm grp-dbxref grp-pub grp-pubprop grp-relationship grp-relationship-pub grp-relationshipprop grp-synonym grpmember grpmember-loaderm grpmember-pub grpmemberprop grpmemberprop-pub grpprop grpprop-pub humanhealth humanhealth-loaderm humanhealth-loadermprop humanhealth-dbxref humanhealth-dbxrefprop humanhealth-dbxrefprop-pub humanhealth-feature humanhealth-featureprop humanhealth-phenotype humanhealth-phenotypeprop humanhealth-pub humanhealth-pubprop humanhealth-relationship humanhealth-relationship-pub humanhealth-synonym humanhealthprop humanhealthprop-pub interaction interaction-cell-line interaction-loaderm interaction-loadermprop interaction-expression interaction-expressionprop interaction-group interaction-group-feature-interaction interaction-pub interactionprop interactionprop-pub library library-loaderm library-loadermprop library-dbxref library-dbxrefprop library-expression library-expressionprop library-feature library-featureprop library-grpmember library-humanhealth library-humanhealthprop library-interaction library-pub library-relationship library-relationship-pub library-strain library-strainprop library-synonym libraryprop libraryprop-pub lock organism organism-loaderm organism-loadermprop organism-dbxref organism-grpmember organism-library organism-pub organismprop organismprop-pub phendesc phenotype phenotype-comparison phenotype-comparison-loaderm phenotype-loaderm phenstatement project pub pub-dbxref pub-relationship pubauthor pubprop sql-features sql-implementation-info sql-parts sql-sizing stock stock-loaderm stock-dbxref stock-genotype stock-pub stock-relationship stock-relationship-pub stockcollection stockcollection-stock stockcollectionprop stockprop stockprop-pub strain strain-loaderm strain-loadermprop strain-dbxref strain-feature strain-featureprop strain-phenotype strain-phenotypeprop strain-pub strain-relationship strain-relationship-pub strain-synonym strainprop strainprop-pub synonym tableinfo update-track)) True) (= (eigther-contains $O $P) (sequential (= $O $P) no-more)) (= (eigther-contains $O $P) (sequential (atom-contains $O $P) no-more)) (= (eigther-contains $O $P) (sequential (atom-contains $P $O) no-more)) (= (table-columns-tt $O $P) (:: (column-names $O $P))) (= (table-columns-tt $O $P) (:: (column-names $O $P))) (= (table-columns-tt $O $P) (:: (flybase-cols $O $P))) (= (table-columns-tt $O $P) (:: (t-h-n $O $A10 $P))) (= (table-columns $O $P) (sequential (table-columns-tt $Q $P) (eigther-contains $O $Q) no-more)) (= (flybase-cols allele-genetic-interactions (:: ##allele-symbol allele-FBal# interaction FBrf#)) True) (= (flybase-cols analysis (:: analysis-id name description program programversion algorithm sourcename sourceversion sourceuri timeexecuted)) True) (= (flybase-cols analysisfeature (:: analysisfeature-id feature-id analysis-id rawscore normscore significance identity)) True) (= (flybase-cols analysisgrp (:: analysisgrp-id rawscore normscore significance identity analysis-id grp-id)) True) (= (flybase-cols analysisgrpmember (:: analysisgrpmember-id rawscore normscore significance identity analysis-id grpmember-id)) True) (= (flybase-cols analysisprop (:: analysisprop-id analysis-id type-id value)) True) (= (flybase-cols audit-chado (:: audit-transaction transaction-timestamp userid audited-table record-pkey record-ukey-cols record-ukey-vals audited-cols audited-vals)) True) (= (flybase-cols cell-line (:: cell-line-id name uniquename organism-id timeaccessioned timelastmodified)) True) (= (flybase-cols cell-line-loaderm (:: cell-line-loaderm-id cell-line-id loaderm-id pub-id rank)) True) (= (flybase-cols cell-line-loadermprop (:: cell-line-loadermprop-id cell-line-loaderm-id type-id value rank)) True) (= (flybase-cols cell-line-dbxref (:: cell-line-dbxref-id cell-line-id dbxref-id is-current)) True) (= (flybase-cols cell-line-feature (:: cell-line-feature-id cell-line-id feature-id pub-id)) True) (= (flybase-cols cell-line-library (:: cell-line-library-id cell-line-id library-id pub-id)) True) (= (flybase-cols cell-line-libraryprop (:: cell-line-libraryprop-id cell-line-library-id type-id value rank)) True) (= (flybase-cols cell-line-relationship (:: cell-line-relationship-id subject-id object-id type-id)) True) (= (flybase-cols cell-line-strain (:: cell-line-strain-id strain-id cell-line-id pub-id)) True) (= (flybase-cols cell-line-strainprop (:: cell-line-strainprop-id cell-line-strain-id type-id value rank)) True) (= (flybase-cols cell-line-synonym (:: cell-line-synonym-id cell-line-id synonym-id pub-id is-current is-internal)) True) (= (flybase-cols cell-lineprop (:: cell-lineprop-id cell-line-id type-id value rank)) True) (= (flybase-cols cell-lineprop-pub (:: cell-lineprop-pub-id cell-lineprop-id pub-id)) True) (= (flybase-cols cell-line-pub (:: cell-line-pub-id cell-line-id pub-id)) True) (= (flybase-cols contact (:: contact-id description name)) True) (= (flybase-cols cv (:: cv-id name definition)) True) (= (flybase-cols loaderm (:: loaderm-id cv-id definition dbxref-id is-obsolete is-relationshiptype name)) True) (= (flybase-cols loaderm-dbxref (:: loaderm-dbxref-id loaderm-id dbxref-id is-for-definition)) True) (= (flybase-cols loaderm-relationship (:: loaderm-relationship-id type-id subject-id object-id)) True) (= (flybase-cols loadermpath (:: loadermpath-id type-id subject-id object-id cv-id pathdistance)) True) (= (flybase-cols loadermprop (:: loadermprop-id loaderm-id type-id value rank)) True) (= (flybase-cols loadermsynonym (:: loadermsynonym-id loaderm-id name type-id)) True) (= (flybase-cols db (:: db-id name contact-id description urlprefix url)) True) (= (flybase-cols dbxref (:: dbxref-id db-id accession version description url)) True) (= (flybase-cols dbxrefprop (:: dbxrefprop-id dbxref-id type-id value rank)) True) (= (flybase-cols eimage (:: eimage-id eimage-data eimage-type image-uri)) True) (= (flybase-cols environment (:: environment-id uniquename description)) True) (= (flybase-cols environment-loaderm (:: environment-loaderm-id environment-id loaderm-id)) True) (= (flybase-cols expression (:: expression-id uniquename md5checksum description)) True) (= (flybase-cols expression-loaderm (:: expression-loaderm-id expression-id loaderm-id rank loaderm-type-id)) True) (= (flybase-cols expression-loadermprop (:: expression-loadermprop-id expression-loaderm-id type-id value rank)) True) (= (flybase-cols expression-image (:: expression-image-id expression-id eimage-id)) True) (= (flybase-cols expressionprop (:: expressionprop-id expression-id type-id value rank)) True) (= (flybase-cols expression-pub (:: expression-pub-id expression-id pub-id)) True) (= (flybase-cols feature (:: feature-id dbxref-id organism-id name uniquename residues seqlen md5checksum type-id is-analysis timeaccessioned timelastmodified is-obsolete)) True) (= (flybase-cols feature-loaderm (:: feature-loaderm-id feature-id loaderm-id pub-id is-not)) True) (= (flybase-cols feature-loaderm-dbxref (:: feature-loaderm-dbxref-id feature-loaderm-id dbxref-id)) True) (= (flybase-cols feature-loadermprop (:: feature-loadermprop-id feature-loaderm-id type-id value rank)) True) (= (flybase-cols feature-dbxref (:: feature-dbxref-id feature-id dbxref-id is-current)) True) (= (flybase-cols feature-expression (:: feature-expression-id expression-id feature-id pub-id)) True) (= (flybase-cols feature-expressionprop (:: feature-expressionprop-id feature-expression-id type-id value rank)) True) (= (flybase-cols feature-genotype (:: feature-genotype-id feature-id genotype-id chromosome-id rank cgroup loaderm-id)) True) (= (flybase-cols feature-grpmember (:: feature-grpmember-id grpmember-id feature-id)) True) (= (flybase-cols feature-grpmember-pub (:: feature-grpmember-pub-id pub-id feature-grpmember-id)) True) (= (flybase-cols feature-humanhealth-dbxref (:: feature-humanhealth-dbxref-id humanhealth-dbxref-id feature-id pub-id)) True) (= (flybase-cols feature-interaction (:: feature-interaction-id feature-id interaction-id role-id rank)) True) (= (flybase-cols feature-interactionprop (:: feature-interactionprop-id feature-interaction-id type-id value rank)) True) (= (flybase-cols feature-interaction-pub (:: feature-interaction-pub-id feature-interaction-id pub-id)) True) (= (flybase-cols feature-phenotype (:: feature-phenotype-id feature-id phenotype-id)) True) (= (flybase-cols feature-pubprop (:: feature-pubprop-id feature-pub-id type-id value rank)) True) (= (flybase-cols feature-relationship (:: feature-relationship-id subject-id object-id type-id rank value)) True) (= (flybase-cols feature-relationshipprop (:: feature-relationshipprop-id feature-relationship-id type-id value rank)) True) (= (flybase-cols feature-relationshipprop-pub (:: feature-relationshipprop-pub-id feature-relationshipprop-id pub-id)) True) (= (flybase-cols feature-relationship-pub (:: feature-relationship-pub-id feature-relationship-id pub-id)) True) (= (flybase-cols feature-synonym (:: feature-synonym-id synonym-id feature-id pub-id is-current is-internal)) True) (= (flybase-cols featureloc (:: featureloc-id feature-id srcfeature-id fmin is-fmin-partial fmax is-fmax-partial strand phase residue-info locgroup rank)) True) (= (flybase-cols featureloc-pub (:: featureloc-pub-id featureloc-id pub-id)) True) (= (flybase-cols featuremap (:: featuremap-id name description unittype-id)) True) (= (flybase-cols featuremap-pub (:: featuremap-pub-id featuremap-id pub-id)) True) (= (flybase-cols featurepos (:: featurepos-id featuremap-id feature-id map-feature-id mappos)) True) (= (flybase-cols featureprop (:: featureprop-id feature-id type-id value rank)) True) (= (flybase-cols featureprop-pub (:: featureprop-pub-id featureprop-id pub-id)) True) (= (flybase-cols feature-pub (:: feature-pub-id feature-id pub-id)) True) (= (flybase-cols featurerange (:: featurerange-id featuremap-id feature-id leftstartf-id leftendf-id rightstartf-id rightendf-id rangestr)) True) (= (flybase-cols genotype (:: genotype-id uniquename description name is-obsolete)) True) (= (flybase-cols genotype-loaderm (:: genotype-loaderm-id genotype-id loaderm-id pub-id is-not rank)) True) (= (flybase-cols genotype-loadermprop (:: genotype-loadermprop-id genotype-loaderm-id type-id value rank)) True) (= (flybase-cols genotype-dbxref (:: genotype-dbxref-id genotype-id dbxref-id is-current)) True) (= (flybase-cols genotype-synonym (:: genotype-synonym-id genotype-id synonym-id pub-id is-current is-internal)) True) (= (flybase-cols genotypeprop (:: genotypeprop-id genotype-id type-id value rank cvalue-id)) True) (= (flybase-cols genotypeprop-pub (:: genotypeprop-pub-id genotypeprop-id pub-id)) True) (= (flybase-cols genotype-pub (:: genotype-pub-id genotype-id pub-id)) True) (= (flybase-cols grp (:: grp-id name uniquename type-id is-analysis is-obsolete)) True) (= (flybase-cols grp-loaderm (:: grp-loaderm-id is-not loaderm-id grp-id pub-id)) True) (= (flybase-cols grp-dbxref (:: grp-dbxref-id is-current dbxref-id grp-id)) True) (= (flybase-cols grp-pubprop (:: grp-pubprop-id value rank type-id grp-pub-id)) True) (= (flybase-cols grp-relationship (:: grp-relationship-id value rank type-id subject-id object-id)) True) (= (flybase-cols grp-relationshipprop (:: grp-relationshipprop-id value rank type-id grp-relationship-id)) True) (= (flybase-cols grp-relationship-pub (:: grp-relationship-pub-id pub-id grp-relationship-id)) True) (= (flybase-cols grp-synonym (:: grp-synonym-id synonym-id grp-id pub-id is-current is-internal)) True) (= (flybase-cols grpmember (:: grpmember-id rank type-id grp-id)) True) (= (flybase-cols grpmember-loaderm (:: grpmember-loaderm-id is-not loaderm-id grpmember-id pub-id)) True) (= (flybase-cols grpmemberprop (:: grpmemberprop-id value rank type-id grpmember-id)) True) (= (flybase-cols grpmemberprop-pub (:: grpmemberprop-pub-id pub-id grpmemberprop-id)) True) (= (flybase-cols grpmember-pub (:: grpmember-pub-id pub-id grpmember-id)) True) (= (flybase-cols grpprop (:: grpprop-id value rank type-id grp-id)) True) (= (flybase-cols grpprop-pub (:: grpprop-pub-id pub-id grpprop-id)) True) (= (flybase-cols grp-pub (:: grp-pub-id pub-id grp-id)) True) (= (flybase-cols humanhealth (:: humanhealth-id name uniquename organism-id dbxref-id is-obsolete)) True) (= (flybase-cols humanhealth-loaderm (:: humanhealth-loaderm-id humanhealth-id loaderm-id pub-id)) True) (= (flybase-cols humanhealth-loadermprop (:: humanhealth-loadermprop-id humanhealth-loaderm-id type-id value rank)) True) (= (flybase-cols humanhealth-dbxref (:: humanhealth-dbxref-id humanhealth-id dbxref-id is-current)) True) (= (flybase-cols humanhealth-dbxrefprop (:: humanhealth-dbxrefprop-id humanhealth-dbxref-id type-id value rank)) True) (= (flybase-cols humanhealth-dbxrefprop-pub (:: humanhealth-dbxrefprop-pub-id humanhealth-dbxrefprop-id pub-id)) True) (= (flybase-cols humanhealth-feature (:: humanhealth-feature-id humanhealth-id feature-id pub-id)) True) (= (flybase-cols humanhealth-featureprop (:: humanhealth-featureprop-id humanhealth-feature-id type-id value rank)) True) (= (flybase-cols humanhealth-phenotype (:: humanhealth-phenotype-id humanhealth-id phenotype-id pub-id)) True) (= (flybase-cols humanhealth-phenotypeprop (:: humanhealth-phenotypeprop-id humanhealth-phenotype-id type-id value rank)) True) (= (flybase-cols humanhealth-pubprop (:: humanhealth-pubprop-id value rank type-id humanhealth-pub-id)) True) (= (flybase-cols humanhealth-relationship (:: humanhealth-relationship-id subject-id object-id type-id value rank)) True) (= (flybase-cols humanhealth-relationship-pub (:: humanhealth-relationship-pub-id humanhealth-relationship-id pub-id)) True) (= (flybase-cols humanhealth-synonym (:: humanhealth-synonym-id humanhealth-id synonym-id pub-id is-current is-internal)) True) (= (flybase-cols humanhealthprop (:: humanhealthprop-id humanhealth-id type-id value rank)) True) (= (flybase-cols humanhealthprop-pub (:: humanhealthprop-pub-id humanhealthprop-id pub-id)) True) (= (flybase-cols humanhealth-pub (:: humanhealth-pub-id humanhealth-id pub-id)) True) (= (flybase-cols interaction (:: interaction-id uniquename type-id description is-obsolete)) True) (= (flybase-cols interaction-cell-line (:: interaction-cell-line-id cell-line-id interaction-id pub-id)) True) (= (flybase-cols interaction-loaderm (:: interaction-loaderm-id interaction-id loaderm-id)) True) (= (flybase-cols interaction-loadermprop (:: interaction-loadermprop-id interaction-loaderm-id type-id value rank)) True) (= (flybase-cols interaction-expression (:: interaction-expression-id expression-id interaction-id pub-id)) True) (= (flybase-cols interaction-expressionprop (:: interaction-expressionprop-id interaction-expression-id type-id value rank)) True) (= (flybase-cols interaction-group (:: interaction-group-id uniquename is-obsolete description)) True) (= (flybase-cols interaction-group-feature-interaction (:: interaction-group-feature-interaction-id interaction-group-id feature-interaction-id rank ftype)) True) (= (flybase-cols interactionprop (:: interactionprop-id interaction-id type-id value rank)) True) (= (flybase-cols interactionprop-pub (:: interactionprop-pub-id interactionprop-id pub-id)) True) (= (flybase-cols interaction-pub (:: interaction-pub-id interaction-id pub-id)) True) (= (flybase-cols library (:: library-id organism-id name uniquename type-id is-obsolete timeaccessioned timelastmodified)) True) (= (flybase-cols library-loaderm (:: library-loaderm-id library-id loaderm-id pub-id)) True) (= (flybase-cols library-loadermprop (:: library-loadermprop-id library-loaderm-id type-id value rank)) True) (= (flybase-cols library-dbxref (:: library-dbxref-id library-id dbxref-id is-current)) True) (= (flybase-cols library-dbxrefprop (:: library-dbxrefprop-id library-dbxref-id type-id value rank)) True) (= (flybase-cols library-expression (:: library-expression-id expression-id library-id pub-id)) True) (= (flybase-cols library-expressionprop (:: library-expressionprop-id library-expression-id type-id value rank)) True) (= (flybase-cols library-feature (:: library-feature-id library-id feature-id)) True) (= (flybase-cols library-featureprop (:: library-featureprop-id library-feature-id type-id value rank)) True) (= (flybase-cols library-grpmember (:: library-grpmember-id grpmember-id library-id)) True) (= (flybase-cols library-humanhealth (:: library-humanhealth-id humanhealth-id library-id pub-id)) True) (= (flybase-cols library-humanhealthprop (:: library-humanhealthprop-id library-humanhealth-id type-id value rank)) True) (= (flybase-cols library-interaction (:: library-interaction-id interaction-id library-id pub-id)) True) (= (flybase-cols library-relationship (:: library-relationship-id subject-id object-id type-id)) True) (= (flybase-cols library-relationship-pub (:: library-relationship-pub-id library-relationship-id pub-id)) True) (= (flybase-cols library-strain (:: library-strain-id strain-id library-id pub-id)) True) (= (flybase-cols library-strainprop (:: library-strainprop-id library-strain-id type-id value rank)) True) (= (flybase-cols library-synonym (:: library-synonym-id synonym-id library-id pub-id is-current is-internal)) True) (= (flybase-cols libraryprop (:: libraryprop-id library-id type-id value rank)) True) (= (flybase-cols libraryprop-pub (:: libraryprop-pub-id libraryprop-id pub-id)) True) (= (flybase-cols library-pub (:: library-pub-id library-id pub-id)) True) (= (flybase-cols lock (:: lock-id username locktype lockname lockrank lockstatus timeaccessioend timelastmodified chadoxmlfile comment task)) True) (= (flybase-cols organism (:: organism-id abbreviation genus species common-name comment)) True) (= (flybase-cols organism-loaderm (:: organism-loaderm-id organism-id loaderm-id rank pub-id)) True) (= (flybase-cols organism-loadermprop (:: organism-loadermprop-id organism-loaderm-id type-id value rank)) True) (= (flybase-cols organism-dbxref (:: organism-dbxref-id organism-id dbxref-id is-current)) True) (= (flybase-cols organism-grpmember (:: organism-grpmember-id grpmember-id organism-id)) True) (= (flybase-cols organism-library (:: organism-library-id organism-id library-id)) True) (= (flybase-cols organismprop (:: organismprop-id organism-id type-id value rank)) True) (= (flybase-cols organismprop-pub (:: organismprop-pub-id organismprop-id pub-id)) True) (= (flybase-cols organism-pub (:: organism-pub-id organism-id pub-id)) True) (= (flybase-cols phendesc (:: phendesc-id genotype-id environment-id description type-id pub-id)) True) (= (flybase-cols phenotype (:: phenotype-id uniquename observable-id attr-id value cvalue-id assay-id)) True) (= (flybase-cols phenotype-comparison (:: phenotype-comparison-id genotype1-id environment1-id genotype2-id environment2-id phenotype1-id phenotype2-id pub-id organism-id)) True) (= (flybase-cols phenotype-comparison-loaderm (:: phenotype-comparison-loaderm-id phenotype-comparison-id loaderm-id rank)) True) (= (flybase-cols phenotype-loaderm (:: phenotype-loaderm-id phenotype-id loaderm-id rank)) True) (= (flybase-cols phenstatement (:: phenstatement-id genotype-id environment-id phenotype-id type-id pub-id)) True) (= (flybase-cols project (:: project-id name description)) True) (= (flybase-cols pub (:: pub-id title volumetitle volume series-name issue pyear pages miniref type-id is-obsolete publisher pubplace uniquename)) True) (= (flybase-cols pub-dbxref (:: pub-dbxref-id pub-id dbxref-id is-current)) True) (= (flybase-cols pub-relationship (:: pub-relationship-id type-id subject-id object-id)) True) (= (flybase-cols pubauthor (:: pubauthor-id pub-id rank editor surname givennames suffix)) True) (= (flybase-cols pubprop (:: pubprop-id pub-id type-id value rank)) True) (= (flybase-cols stock (:: stock-id dbxref-id organism-id name uniquename description type-id is-obsolete)) True) (= (flybase-cols stock-loaderm (:: stock-loaderm-id stock-id loaderm-id pub-id)) True) (= (flybase-cols stock-dbxref (:: stock-dbxref-id stock-id dbxref-id is-current)) True) (= (flybase-cols stock-genotype (:: stock-genotype-id stock-id genotype-id)) True) (= (flybase-cols stock-relationship (:: stock-relationship-id subject-id object-id type-id value rank)) True) (= (flybase-cols stock-relationship-pub (:: stock-relationship-pub-id stock-relationship-id pub-id)) True) (= (flybase-cols stockcollection (:: stockcollection-id type-id contact-id name uniquename)) True) (= (flybase-cols stockcollection-stock (:: stockcollection-stock-id stockcollection-id stock-id)) True) (= (flybase-cols stockcollectionprop (:: stockcollectionprop-id stockcollection-id type-id value rank)) True) (= (flybase-cols stockprop (:: stockprop-id stock-id type-id value rank)) True) (= (flybase-cols stockprop-pub (:: stockprop-pub-id stockprop-id pub-id)) True) (= (flybase-cols stock-pub (:: stock-pub-id stock-id pub-id)) True) (= (flybase-cols strain (:: strain-id name uniquename organism-id dbxref-id is-obsolete)) True) (= (flybase-cols strain-loaderm (:: strain-loaderm-id strain-id loaderm-id pub-id)) True) (= (flybase-cols strain-loadermprop (:: strain-loadermprop-id strain-loaderm-id type-id value rank)) True) (= (flybase-cols strain-dbxref (:: strain-dbxref-id strain-id dbxref-id is-current)) True) (= (flybase-cols strain-feature (:: strain-feature-id strain-id feature-id pub-id)) True) (= (flybase-cols strain-featureprop (:: strain-featureprop-id strain-feature-id type-id value rank)) True) (= (flybase-cols strain-phenotype (:: strain-phenotype-id strain-id phenotype-id pub-id)) True) (= (flybase-cols strain-phenotypeprop (:: strain-phenotypeprop-id strain-phenotype-id type-id value rank)) True) (= (flybase-cols strain-relationship (:: strain-relationship-id subject-id object-id type-id value rank)) True) (= (flybase-cols strain-relationship-pub (:: strain-relationship-pub-id strain-relationship-id pub-id)) True) (= (flybase-cols strain-synonym (:: strain-synonym-id strain-id synonym-id pub-id is-current is-internal)) True) (= (flybase-cols strainprop (:: strainprop-id strain-id type-id value rank)) True) (= (flybase-cols strainprop-pub (:: strainprop-pub-id strainprop-id pub-id)) True) (= (flybase-cols strain-pub (:: strain-pub-id strain-id pub-id)) True) (= (flybase-cols synonym (:: synonym-id name type-id synonym-sgml)) True) (= (flybase-cols tableinfo (:: tableinfo-id name primary-key-column is-view view-on-table-id superclass-table-id is-updateable modification-date)) True) (= (flybase-cols update-track (:: update-track-id release fbid time-update author statement comment annotation-id)) True) (= setup-flybase-cols (:: (missing (and (flybase-cols $O $P) (missing (use-flybase-cols $O $P)))))) (= (clip-id $O $P) (sequential (if-then-else (atom-concat $P -id $O) True (= $O $P)) no-more)) (= (make-arity-2-name $O $P $Q) (sequential (clip-id $P $R) (if-then-else (atom-concat $O $A10 $P) (= $Q $P) (atomic-list-concat (:: $O $R) - $Q)))) (= (do-arity-2-names-dc1 $O $P $Q $R) (:: (must-det-ll-r (and (arg (ValueAtom 1) $P $S) (and (arg $Q $P $T) (and (make-arity-2-name $O $R $U) (and (equals-ListMappingFn $V (:: $O $S)) (and (clip-id $R $W) (and (if-then-else (== $R $W) (= $X $T) (equals-ListMappingFn $X (:: $W $T))) (and (equals-ListMappingFn $Y (:: $U $V $X)) (and (fbug (:- $Y $P)) (fb-assert (:- $Y $P))))))))))))) (= (do-arity-2-names-dc $O $P $Q ([|] $R $S)) (sequential (do-arity-2-names-dc1 $O $P $Q $R) no-more (is $T (+ $Q (ValueAtom 1))) (do-arity-2-names-dc $O $P $T $S))) (= (do-arity-2-names-dc $A10 $B10 $C10 ()) True) (= (do-arity-2-names $O ([|] $P $Q)) (:: (must-det-ll-r (and (atom-concat data- $O $R) (and (length ([|] $P $Q) $S) (and (length $T $S) (and (equals-ListMappingFn $U ([|] $R $T)) (do-arity-2-names-dc $O $U (ValueAtom 2) $Q)))))))) (= (use-flybase-cols $O $P) (:: (must-det-ll-r (and (maplist (fix-header-names $P $O) $P $Q) (and (assert (flybase-col-names $O $P $Q)) (do-arity-2-names $O $Q)))))) (= pmt (sequential (flybase-tables $O) (missing (and (member $P $O) (missing (if-then-else (missing (flybase-cols $P $A10)) (format ~N~q.~n (:: (get-fbt $P))) True)))))) (= (fix-header-names $A10 $B10 $O $P) (sequential (number $O) no-more (= $P $O))) (= (fix-header-names $O $P (ListValue $Q) (ListValue $R)) (sequential (fix-header-names $O $P $Q $R) no-more)) (= (fix-header-names $O $P (ListValue $Q) (ListValue $S)) (sequential (fix-header-names $O $P $Q $S) no-more)) (= (fix-header-names $O $P $Q $R) (sequential (member $S (:: # -)) (atom-concat $T $S $Q) no-more (fix-header-names $O $P $T $R))) (= (fix-header-names $O $P $Q $R) (sequential (member $S (:: # -)) (atom-concat $S $T $Q) no-more (fix-header-names $O $P $T $R))) (= (fix-header-names $O $P $Q $R) (sequential (member $S (:: -- )) (atomic-list-concat $T $S $Q) (\= $T (:: $A10)) (atomic-list-concat $T - $U) no-more (fix-header-names $O $P $U $R))) (= (fix-header-names $O $P $Q (ListValue $R)) (sequential (member $S (:: (es) (s) ids)) (atomic-list-concat (:: $T $U) $S $Q) (atomic-list-concat (:: $T $U) - $V) no-more (fix-header-names $O $P $V $R) no-more)) (= (fix-header-names $O $P $Q (ListValue $R)) (sequential (member (= $S $T) (:: (= IDs ID))) (atom-concat $U $S $Q) (atom-concat $U $T $V) (fix-header-names $O $P $V $R) no-more)) (= (fix-header-names $O $P $Q (ListValue $R)) (sequential (member (= $S $T) (:: (= -IDs -ID) (= IDs ID))) (atomic-list-concat (:: $U $V) $S $Q) (atomic-list-concat (:: $U $V) $T $W) no-more (fix-header-names $O $P $W $R) no-more)) (= (fix-header-names $A10 $B10 $O $O) (sequential (missing (too-generic $O)) no-more)) (= (fix-header-names $A10 $B10 $O $O) (sequential (atomic-list-concat ([|] $C10 ([|] $D10 $E10)) - $O) no-more)) (= (fix-header-names $A10 $B10 $O $O) True) (= (fix-header-names $O $P $Q) (sequential (--aux-maplist/3-fix-header-names+2 $P $R $P $O) (include (\= ()) $R $Q))) (= (--aux-maplist/3-fix-header-names+2 () () $A10 $B10) True) (= (--aux-maplist/3-fix-header-names+2 ([|] $O $P) ([|] $Q $R) $S $T) (sequential (fix-header-names $S $T $O $Q) (--aux-maplist/3-fix-header-names+2 $P $R $S $T))) (= (too-generic $O) (sequential (var $O) no-more False)) (= (too-generic pub-id) True) (= (too-generic $O) (:: (missing (atomic-list-concat ([|] $A10 ([|] $B10 ([|] $C10 $D10))) - $O)))) (= (column-names cyto-genetic-seq (:: Cytogenetic-map-position Genetic-map-position Sequence-coordinates-(release-6) R6-conversion-notes)) True) (= (column-names Dmel-enzyme (:: gene-group-id gene-group-name (ListValue gene-group-GO-id) (ListValue gene-group-GO-name) (ListValue gene-group-EC-number) (ListValue gene-group-EC-name) gene-id gene-symbol gene-name (ListValue gene-EC-number) (ListValue gene-EC-name))) True) (= (column-names scRNA-Seq-gene-expression (:: Pub-ID Pub-miniref Clustering-Analysis-ID Clustering-Analysis-Name Source-Tissue-Sex Source-Tissue-Stage Source-Tissue-Anatomy Cluster-ID Cluster-Name Cluster-Cell-Type-ID Cluster-Cell-Type-Name Gene-ID Gene-Symbol Mean-Expression Spread)) True) (= (column-names allele-genetic-interactions (:: allele-symbol allele-FBal interaction FBrf)) True) (= (column-names allele-phenotypic (:: allele-symbol allele-FBal phenotype FBrf)) True) (= (column-names fbal-to-fbgn (:: AlleleID AlleleSymbol GeneID GeneSymbol)) True) (= (column-names genotype-phenotype-data (:: (ListValue genotype-symbols) (ListValue genotype-FBids) phenotype-name phenotype-id (ListValue qualifier-names) (ListValue qualifier-ids) reference)) True) (= (column-names automated-gene-summaries (:: primary-FBgn summary-text)) True) (= (column-names best-gene-summary (:: FBgn Gene-Symbol Summary-Source Summary)) True) (= (column-names cDNA-clone (:: FBcl organism-abbreviation clone-name dataset-metadata-name (ListValue cDNA-accession) (ListValue EST-accession))) True) (= (column-names dataset-metadata (:: Dataset-Metadata-ID Dataset-Metadata-Name Item-ID Item-Name)) True) (= (column-names disease-model-annotations (:: FBgn Gene-symbol HGNC DO-qualifier DO DO-term Allele-used-in-model-(FBal) Allele-used-in-model-(symbol) Based-on-orthology-with-(HGNC-ID) Based-on-orthology-with-(symbol) Evidence/interacting-alleles Reference-(FBrf))) True) (= (column-names dmel-gene-sequence-ontology-annotations (:: gene-primary-id gene-symbol so-term-name so-term-id)) True) (= (column-names dmel-human-orthologs-disease (:: Dmel-gene Dmel-gene-symbol Human-gene-HGNC Human-gene-OMIM Human-gene-symbol DIOPT-score OMIM-Phenotype-IDs OMIM-Phenotype-IDs[name])) True) (= (column-names dmel-paralogs (:: FBgn GeneSymbol Arm/Scaffold Location Strand Paralog-FBgn Paralog-GeneSymbol Paralog-Arm/Scaffold Paralog-Location Paralog-Strand DIOPT-score)) True) (= (column-names dmel-unique-protein-isoforms (:: FBgn FB-gene-symbol representative-protein (ListValue identical-protein))) True) (= (column-names entity-publication (:: entity-id entity-name FlyBase-publication PubMed)) True) (= (column-names fb-synonym (:: primary-FBid organism-abbreviation current-symbol current-fullname (ListValue fullname-synonym) (ListValue symbol-synonym))) True) (= (column-names fbgn-annotation-ID (:: gene-symbol organism-abbreviation primary-FBgn (ListValue secondary-FBgn) annotation-ID (ListValue secondary-annotation-ID))) True) (= (column-names fbgn-exons2affy1-overlaps (:: FBgn (ListValue affy))) True) (= (column-names fbgn-exons2affy2-overlaps (:: FBgn (ListValue affy))) True) (= (column-names fbgn-fbtr-fbpp (:: FBgn FBtr FBpp)) True) (= (column-names fbgn-fbtr-fbpp-expanded (:: organism gene-type gene-ID gene-symbol gene-fullname annotation-ID transcript-type transcript-ID transcript-symbol polypeptide-ID polypeptide-symbol)) True) (= (column-names fbgn-gleanr (:: organism-abbreviation gene-symbol primary-FBgn GLEANR)) True) (= (column-names fbgn-NAseq-Uniprot (:: gene-symbol organism-abbreviation primary-FBgn nucleotide-accession na-based-protein-accession UniprotKB/Swiss-Prot/TrEMBL-accession EntrezGene RefSeq-transcripts RefSeq-proteins)) True) (= (column-names fbgn-uniprot (:: primary-FBgn gene-symbol CG UniprotKB/Swiss-Prot/TrEMBL-accession)) True) (= (column-names fbrf-pmid-pmcid-doi (:: FBrf PMID PMCID DOI pub-type miniref pmid-added)) True) (= (column-names gene-functional-complementation (:: Dmel-gene-symbol Dmel-gene-FBgn ortholog-gene-symbol ortholog-gene-FBgn-ID reference-FBrf)) True) (= (column-names gene-genetic-interactions (:: (ListValue Starting-gene-symbol) (ListValue Starting-gene-FBgn) (ListValue Interacting-gene-symbol) (ListValue Interacting-gene-FBgn) Interaction-type Publication-FBrf)) True) (= (column-names gene-group (:: FB-group FB-group-symbol FB-group-name Parent-FB-group Parent-FB-group-symbol Group-member-FB-gene Group-member-FB-gene-symbol)) True) (= (column-names gene-groups-HGNC (:: FB-group FB-group-symbol FB-group-name HGNC-family)) True) (= (column-names gene-map-table (:: organism-abbreviation current-symbol primary-FBid recombination-loc cytogenetic-loc sequence-loc)) True) (= (column-names gene-rpkm-matrix (:: gene-primary-id gene-symbol gene-fullname gene-type DATASAMPLE-NAME-(DATASET-ID))) True) (= (column-names gene-rpkm-report (:: Release-ID FBgn GeneSymbol Parent-library-FBlc Parent-library-name RNASource-FBlc RNASource-name RPKM-value Bin-value Unique-exon-base-count Total-exon-base-count Count-used)) True) (= (column-names gene-snapshots (:: FBgn GeneSymbol GeneName datestamp gene-snapshot-text)) True) (= (column-names genomic-clone (:: FBcl organism-abbreviation clone-name accession)) True) (= (column-names insertion-mapping (:: insertion-symbol FBti genomic-location range orientation estimated-cytogenetic-location observed-cytogenetic-location)) True) (= (column-names organism-list (:: genus species abbreviation common-name NCBI-taxon drosophilid?)) True) (= (column-names pathway-group (:: FB-group FB-group-symbol FB-group-name Parent-FB-group Parent-FB-group-symbol Group-member-FB-gene Group-member-FB-gene-symbol)) True) (= (column-names physical-interactions-mitab (:: (ListValue ID-Interactor-A) (ListValue ID-Interactor-B) (ListValue Alt-ID-Interactor-A) (ListValue Alt-ID-Interactor-B) (ListValue Alias-Interactor-A) (ListValue Alias-Interactor-B) (ListValue Interaction-Detection-Method) (ListValue Publication-1st-Author) (ListValue Publication) Taxid-Interactor-A Taxid-Interactor-B (ListValue Interaction-Type) (ListValue Source-Database) (ListValue Interaction-Identifier) (ListValue Confidence-Value) (ListValue Expansion-Method) (ListValue Biological-Role-Interactor-A) (ListValue Biological-Role-Interactor-B) (ListValue Experimental-Role-Interactor-A) (ListValue Experimental-Role-Interactor-B) (ListValue Type-Interactor-A) (ListValue Type-Interactor-B) (ListValue Xref-Interactor-A) (ListValue Xref-Interactor-B) (ListValue Interaction-Xref) (ListValue Annotation-Interactor-A) (ListValue Annotation-Interactor-B) (ListValue Interaction-Annotation) (ListValue Host-Organism) Interaction-Parameters Creation-Date Update-Date Checksum-Interactor-A Checksum-Interactor-B Interaction-Checksum Negative (ListValue Feature-Interactor-A) (ListValue Feature-Interactor-B) Stoichiometry-Interactor-A Stoichiometry-Interactor-B (ListValue Identification-Method-Participant-A) (ListValue Identification-Method-Participant-B))) True) (= (column-names pmid-fbgn-uniprot (:: FBrf PMID FBgn UniProt-database UniProt-id)) True) (= (column-names synonym (:: primary-FBid organism-abbreviation current-symbol current-fullname (ListValue fullname-synonym) (ListValue symbol-synonym))) True) (= (column-description allele-FBal (StringValue "Current FlyBase identifier (FBal) of allele.") identifier Allele Identifier) True) (= (column-description allele-symbol (StringValue "Current FlyBase allele symbol.") symbol Allele Symbol) True) (= (column-description Bin-value (StringValue "The expression bin classification of this gene in this RNA-Seq experiment, based on RPKM value.") numeric Expression Bin) True) (= (column-description Cluster-Cell-Type-ID (StringValue "The FlyBase FBbt ID for the cell type represented by the cell cluster.") identifier Cell Type) True) (= (column-description Cluster-Cell-Type-Name (StringValue "The FlyBase name for the cell type represented by the cell cluster.") name (StringValue "Cell Type Name")) True) (= (column-description Cluster-ID (StringValue "The FlyBase FBlc ID for the dataset representing the cell cluster.") identifier Cell Cluster) True) (= (column-description Cluster-Name (StringValue "The FlyBase name for the dataset representing the cell cluster.") name (StringValue "Cell Cluster Name")) True) (= (column-description Clustering-Analysis-ID (StringValue "The FlyBase FBlc ID for the dataset representing the clustering analysis.") identifier Dataset) True) (= (column-description Clustering-Analysis-Name (StringValue "The FlyBase name for the dataset representing the clustering analysis.") name Dataset Name) True) (= (column-description Count-used (StringValue "Indicates if the RPKM expression value was calculated using only the exonic regions unique to the gene and not overlapping exons of other genes (Unique), or, if the RPKM expression value was calculated based on all exons of the gene regardless of overlap with other genes (Total).") category Count Type) True) (= (column-description current-fullname (StringValue "Current full name used in FlyBase for the object.") name Name) True) (= (column-description current-symbol (StringValue "Current symbol used in FlyBase for the object.") symbol Symbol) True) (= (column-description DATASAMPLE-NAME-(DATASET-ID) (StringValue "Each subsequent column reports the gene RPKM values for the sample listed in the header.") matrix Expression Matrix) True) (= (column-description FBgn (StringValue "The unique FlyBase gene ID for this gene.") identifier Gene) True) (= (column-description FBgn-id (StringValue "Unique FlyBase gene ID.") identifier Gene) True) (= (column-description FBrf (StringValue "Current FlyBase identifer (FBrf) of publication from which data came.") identifier Publication Identifier) True) (= (column-description FBrf-id (StringValue "FlyBase reference ID for the publication.") identifier Reference) True) (= (column-description gene-fullname (StringValue "The official full name for this gene.") name Gene Name) True) (= (column-description Gene-ID (StringValue "The FlyBase FBgn ID for the expressed gene.") identifier Gene) True) (= (column-description gene-primary-id (StringValue "The unique FlyBase gene ID for this gene.") identifier Gene) True) (= (column-description Gene-Symbol (StringValue "The FlyBase symbol for the expressed gene.") symbol Gene Symbol) True) (= (column-description gene-symbol (StringValue "The official FlyBase symbol for this gene.") symbol Gene Symbol) True) (= (column-description gene-type (StringValue "The type of gene.") category Gene Type) True) (= (column-description GeneSymbol (StringValue "The official FlyBase symbol for this gene.") symbol Gene Symbol) True) (= (column-description interaction (StringValue "Interaction information associated with allele.") text Interaction Info) True) (= (column-description Interaction-type (StringValue "Type of interaction observed, either 'suppressible' or 'enhanceable'.") category Interaction Type) True) (= (column-description Mean-Expression (StringValue "The average level of expression of the gene across all cells of the cluster.") numeric Expression Level) True) (= (column-description organism-abbreviation (StringValue "Abbreviation indicating the species of origin.") abbreviation Organism) True) (= (column-description Parent-library-FBlc (StringValue "The unique FlyBase ID for the dataset project to which the RNA-Seq experiment belongs.") identifier Dataset Project) True) (= (column-description Parent-library-name (StringValue "The official FlyBase symbol for the dataset project to which the RNA-Seq experiment belongs.") name (StringValue "Dataset Project Name")) True) (= (column-description phenotype-id (StringValue "Phenotypic identifier associated with the genotype.") identifier Phenotype Identifier) True) (= (column-description phenotype-name (StringValue "Phenotypic name associated with the genotype.") name Phenotype Name) True) (= (column-description PMID (StringValue "PubMed ID for the publication.") identifier Publication) True) (= (column-description primary-FBid (StringValue "Primary FlyBase identifier for the object.") identifier Object) True) (= (column-description Pub-ID (StringValue "The FlyBase FBrf ID for the reference in which the expression was reported.") identifier Publication) True) (= (column-description Pub-miniref (StringValue "The FlyBase citation for the publication in which the expression was reported.") citation Publication Citation) True) (= (column-description Publication-FBrf (StringValue "Current FlyBase identifier (FBrf) of publication from which the data came.") identifier Publication Reference) True) (= (column-description reference (StringValue "Current FlyBase identifer (FBrf) of publication from which data came.") identifier Publication Identifier) True) (= (column-description Release-ID (StringValue "The D. melanogaster annotation set version from which the gene model used in the analysis derives.") version Annotation Version) True) (= (column-description RNASource-FBlc (StringValue "The unique FlyBase ID for the RNA-Seq experiment used for RPKM expression calculation.") identifier RNA-Seq Experiment) True) (= (column-description RNASource-name (StringValue "The official FlyBase symbol for the RNA-Seq experiment used for RPKM expression calculation.") name (StringValue "RNA-Seq Experiment Name")) True) (= (column-description RPKM-value (StringValue "The RPKM expression value for the gene in the specified RNA-Seq experiment.") numeric Expression Value) True) (= (column-description Source-Tissue-Anatomy (StringValue "The anatomical region of the source tissue used for the experiment.") category Tissue Anatomy) True) (= (column-description Source-Tissue-Sex (StringValue "The sex of the source tissue used for the experiment.") category Tissue Sex) True) (= (column-description Source-Tissue-Stage (StringValue "The life stage of the source tissue used for the experiment.") category Tissue Stage) True) (= (column-description Spread (StringValue "The proportion of cells in the cluster in which the gene is detected.") proportion Expression Spread) True) (= (column-description Total-exon-base-count (StringValue "The number of bases in all exons of this gene.") numeric (StringValue "Total Exonic Base Count")) True) (= (column-description UniProt-database (StringValue "Database in UniProt where the protein is listed (either UniProt/TrEMBL or UniProt/Swiss-Prot).") category Protein Database) True) (= (column-description UniProt-id (StringValue "Unique identifier for the protein in UniProt.") identifier Protein) True) (= (column-description Unique-exon-base-count (StringValue "The number of exonic bases unique to the gene (not overlapping exons of other genes).") numeric (StringValue "Exonic Base Count")) True) (= (column-description (ListValue fullname-synonym) (StringValue "Non-current full name(s) associated with the object.") list Name Synonyms) True) (= (column-description (ListValue genotype-FBids) (StringValue "Current FlyBase identifier(s) of the components that make up the genotype.") list Genotype Identifiers) True) (= (column-description (ListValue genotype-symbols) (StringValue "Current FlyBase symbol(s) of the components that make up the genotype.") list Genotype Symbols) True) (= (column-description (ListValue Interacting-gene-FBgn) (StringValue "Current FlyBase identifier (FBgn) of gene(s) involved in the interacting genotype.") list Gene Identifier) True) (= (column-description (ListValue Interacting-gene-symbol) (StringValue "Current FlyBase symbol of gene(s) involved in the interacting genotype.") list Gene Symbol) True) (= (column-description (ListValue qualifier-ids) (StringValue "Qualifier identifier(s) associated with phenotypic data for genotype.") list Qualifier Identifiers) True) (= (column-description (ListValue qualifier-names) (StringValue "Qualifier name(s) associated with phenotypic data for genotype.") list Qualifier Names) True) (= (column-description (ListValue Starting-gene-FBgn) (StringValue "Current FlyBase identifier (FBgn) of gene(s) involved in the starting genotype.") list Gene Identifier) True) (= (column-description (ListValue Starting-gene-symbol) (StringValue "Current FlyBase symbol of gene(s) involved in the starting genotype.") list Gene Symbol) True) (= (column-description (ListValue symbol-synonym) (StringValue "Non-current symbol(s) associated with the object.") list Symbol Synonyms) True) (= (reprefix (:: GO- GO-- BiologicalProcess:GO:) GO:) True) (= (reprefix (:: flybase: FLYBASE: comment:) ()) True) (= (reprefix (:: FBpp:) FBpp) True) (= (reprefix (:: FBgn:) FBgn) True) (= (reprefix (:: FB:FB) FB) True) (= (fix-concept $O $P) (sequential (is-list $O) (--aux-maplist/3-fix-concept+0 $O $P) no-more)) (= (fix-concept $O $O) (sequential (missing (atom $O)) (missing (string $O)) no-more)) (= (fix-concept $O $P) (sequential (number $O) no-more (= $O $P))) (= (fix-concept $O $P) (sequential (reprefix $Q $R) (member $S $Q) (atom-concat $S $T $O) (atom-concat $R $T $P))) (= (fix-concept $O $P) (sequential (atom-concat FB $A10 $O) (atomic-list-concat (:: $Q $R) : $O) no-more (atom-concat $Q $R $P))) (= (fix-concept $O $P) (sequential (atom $O) no-more (if-then-else (atom-number $O $P) True (= $P $O)))) (= (fix-concept $O $P) (sequential (number-string $P $O) no-more)) (= (fix-concept $O $O) (:: no-more)) (= (--aux-maplist/3-fix-concept+0 () ()) True) (= (--aux-maplist/3-fix-concept+0 ([|] $O $P) ([|] $Q $R)) (sequential (fix-concept $O $Q) (--aux-maplist/3-fix-concept+0 $P $R))) (= (as-list $A10 $O $P) (sequential (as-list $O $P) no-more)) (= (as-list $O $P $Q) (sequential (member $R $O) (catch-ignore (atomic-list-concat $S $R $P)) (\= $S (:: $A10)) no-more (--aux-maplist/3-fix-concept+0 $S $Q))) (= (as-list $A10 $O $P) (sequential (member $Q (:: | and or)) (catch-ignore (atomic-list-concat $R $Q $O)) (\= $R (:: $B10)) no-more (--aux-maplist/3-fix-concept+0 $R $P))) (= (as-list $A10 $O (:: $P)) (:: (fix-concept $O $P))) (= (as-list $O $P) (sequential (is-list $O) no-more (= $P $O))) (= (as-list $O $P) (sequential (var $O) no-more (= $P ()))) (= (as-list - ()) True) (= (as-list (StringValue "-") ()) True) (= (as-list () ()) True) (= (as-list $O (:: $O)) (sequential (number $O) no-more)) (= (as-list (StringValue "") ()) True) (= (as-list ()) True) (= (as-list (StringValue " ") ()) True) (= (assert-new1 $O) (sequential (missing (missing (call $O))) no-more)) (= (assert-new1 $O) (:: (assert $O))) (= (retract1 $O) (sequential (missing (call $O)) no-more)) (= (retract1 $O) (:: (if-then-else (missing (retract $O)) True True))) (= (assert-new $O) (sequential (call $O) no-more (assert-new1 (repeats $O)))) (= (assert-new $O) (sequential (assert $O) (flag assert-new $P (+ $P (ValueAtom 1))) (assert-new1 (not-repeats $O)) no-more)) (= save-value-atom-cols (sequential (missing (and (is-valueatom $O $P $Q) (missing (assert-new (numeric-value-p-n $O $P $Q))))) (listing (/ numeric-value-p-n (ValueAtom 3))))) (= (fis-valueatom $O $P) (sequential (findall (- $Q $R) (is-valueatom $Q $R $A10) $O) (length $O $P))) (= (numeric-value-p-n dmel-human-orthologs-disease (ValueAtom 6) DIOPT-score) True) (= (numeric-value-p-n dmel-human-orthologs-disease (ValueAtom 7) OMIM-Phenotype-IDs) True) (= (numeric-value-p-n fbrf-pmid-pmcid-doi (ValueAtom 2) PMID) True) (= (numeric-value-p-n pmid-fbgn-uniprot (ValueAtom 2) gene-symbol) True) (= (numeric-value-p-n fbgn-NAseq-Uniprot (ValueAtom 7) EntrezGene) True) (= (numeric-value-p-n gene-groups-HGNC (ValueAtom 4) Parent-FB-group) True) (= (numeric-value-p-n gene-rpkm-matrix (ValueAtom 5) BCM-1-E2-4hr-(FBlc0000061)) True) (= (numeric-value-p-n gene-rpkm-matrix (ValueAtom 6) BCM-1-E14-16hr-(FBlc0000062)) True) (= (numeric-value-p-n gene-rpkm-matrix (ValueAtom 7) BCM-1-E2-16hr-(FBlc0000063)) True) (= (numeric-value-p-n gene-rpkm-matrix (ValueAtom 8) BCM-1-E2-16hr100-(FBlc0000064)) True) (= (numeric-value-p-n gene-rpkm-matrix (ValueAtom 9) BCM-1-L3i-(FBlc0000065)) True) (= (numeric-value-p-n gene-rpkm-matrix (ValueAtom 10) BCM-1-L3i100-(FBlc0000066)) True) (= (numeric-value-p-n gene-rpkm-matrix (ValueAtom 11) BCM-1-P3d-(FBlc0000067)) True) (= (numeric-value-p-n gene-rpkm-matrix (ValueAtom 12) BCM-1-FA3d-(FBlc0000068)) True) (= (numeric-value-p-n gene-rpkm-matrix (ValueAtom 13) BCM-1-MA3d-(FBlc0000069)) True) (= (numeric-value-p-n gene-rpkm-matrix (ValueAtom 14) BCM-1-P-(FBlc0000070)) True) (= (numeric-value-p-n gene-rpkm-matrix (ValueAtom 15) BCM-1-L-(FBlc0000071)) True) (= (numeric-value-p-n gene-rpkm-matrix (ValueAtom 16) BCM-1-A17d-(FBlc0000072)) True) (= (numeric-value-p-n gene-rpkm-matrix (ValueAtom 17) mE-mRNA-em0-2hr-(FBlc0000086)) True) (= (numeric-value-p-n gene-rpkm-matrix (ValueAtom 18) mE-mRNA-em2-4hr-(FBlc0000087)) True) (= (numeric-value-p-n gene-rpkm-matrix (ValueAtom 19) mE-mRNA-em4-6hr-(FBlc0000088)) True) (= (numeric-value-p-n gene-rpkm-matrix (ValueAtom 20) mE-mRNA-em6-8hr-(FBlc0000089)) True) (= (numeric-value-p-n gene-rpkm-matrix (ValueAtom 21) mE-mRNA-em8-10hr-(FBlc0000090)) True) (= (numeric-value-p-n gene-rpkm-matrix (ValueAtom 22) mE-mRNA-em10-12hr-(FBlc0000091)) True) (= (numeric-value-p-n gene-rpkm-matrix (ValueAtom 23) mE-mRNA-em12-14hr-(FBlc0000092)) True) (= (numeric-value-p-n gene-rpkm-matrix (ValueAtom 24) mE-mRNA-em14-16hr-(FBlc0000093)) True) (= (numeric-value-p-n gene-rpkm-matrix (ValueAtom 25) mE-mRNA-em16-18hr-(FBlc0000094)) True) (= (numeric-value-p-n gene-rpkm-matrix (ValueAtom 26) mE-mRNA-em18-20hr-(FBlc0000095)) True) (= (numeric-value-p-n gene-rpkm-matrix (ValueAtom 27) mE-mRNA-em20-22hr-(FBlc0000096)) True) (= (numeric-value-p-n gene-rpkm-matrix (ValueAtom 28) mE-mRNA-em22-24hr-(FBlc0000097)) True) (= (numeric-value-p-n gene-rpkm-matrix (ValueAtom 29) mE-mRNA-L1-(FBlc0000098)) True) (= (numeric-value-p-n gene-rpkm-matrix (ValueAtom 30) mE-mRNA-L2-(FBlc0000099)) True) (= (numeric-value-p-n gene-rpkm-matrix (ValueAtom 31) mE-mRNA-L3-12hr-(FBlc0000100)) True) (= (numeric-value-p-n gene-rpkm-matrix (ValueAtom 32) mE-mRNA-L3-PS1-2-(FBlc0000101)) True) (= (numeric-value-p-n gene-rpkm-matrix (ValueAtom 33) mE-mRNA-L3-PS3-6-(FBlc0000102)) True) (= (numeric-value-p-n gene-rpkm-matrix (ValueAtom 34) mE-mRNA-L3-PS7-9-(FBlc0000103)) True) (= (numeric-value-p-n gene-rpkm-matrix (ValueAtom 35) mE-mRNA-WPP-(FBlc0000104)) True) (= (numeric-value-p-n gene-rpkm-matrix (ValueAtom 36) mE-mRNA-P5-(FBlc0000105)) True) (= (numeric-value-p-n gene-rpkm-matrix (ValueAtom 37) mE-mRNA-P6-(FBlc0000106)) True) (= (numeric-value-p-n gene-rpkm-matrix (ValueAtom 38) mE-mRNA-P8-(FBlc0000107)) True) (= (numeric-value-p-n gene-rpkm-matrix (ValueAtom 39) mE-mRNA-P9-10-(FBlc0000108)) True) (= (numeric-value-p-n gene-rpkm-matrix (ValueAtom 40) mE-mRNA-P15-(FBlc0000109)) True) (= (numeric-value-p-n gene-rpkm-matrix (ValueAtom 41) mE-mRNA-AdF-Ecl-1days-(FBlc0000110)) True) (= (numeric-value-p-n gene-rpkm-matrix (ValueAtom 42) mE-mRNA-AdF-Ecl-5days-(FBlc0000111)) True) (= (numeric-value-p-n gene-rpkm-matrix (ValueAtom 43) mE-mRNA-AdF-Ecl-30days-(FBlc0000112)) True) (= (numeric-value-p-n gene-rpkm-matrix (ValueAtom 44) mE-mRNA-AdM-Ecl-1days-(FBlc0000113)) True) (= (numeric-value-p-n gene-rpkm-matrix (ValueAtom 45) mE-mRNA-AdM-Ecl-5days-(FBlc0000114)) True) (= (numeric-value-p-n gene-rpkm-matrix (ValueAtom 46) mE-mRNA-AdM-Ecl-30days-(FBlc0000115)) True) (= (numeric-value-p-n gene-rpkm-matrix (ValueAtom 47) mE-mRNA-A-MateF-1d-head-(FBlc0000207)) True) (= (numeric-value-p-n gene-rpkm-matrix (ValueAtom 48) mE-mRNA-A-MateF-4d-ovary-(FBlc0000208)) True) (= (numeric-value-p-n gene-rpkm-matrix (ValueAtom 49) mE-mRNA-A-MateM-1d-head-(FBlc0000209)) True) (= (numeric-value-p-n gene-rpkm-matrix (ValueAtom 50) mE-mRNA-A-VirF-1d-head-(FBlc0000210)) True) (= (numeric-value-p-n gene-rpkm-matrix (ValueAtom 51) mE-mRNA-A-VirF-4d-head-(FBlc0000211)) True) (= (numeric-value-p-n gene-rpkm-matrix (ValueAtom 52) mE-mRNA-A-MateF-20d-head-(FBlc0000212)) True) (= (numeric-value-p-n gene-rpkm-matrix (ValueAtom 53) mE-mRNA-A-MateF-4d-head-(FBlc0000213)) True) (= (numeric-value-p-n gene-rpkm-matrix (ValueAtom 54) mE-mRNA-A-MateM-20d-head-(FBlc0000214)) True) (= (numeric-value-p-n gene-rpkm-matrix (ValueAtom 55) mE-mRNA-A-MateM-4d-acc-gland-(FBlc0000215)) True) (= (numeric-value-p-n gene-rpkm-matrix (ValueAtom 56) mE-mRNA-A-MateM-4d-head-(FBlc0000216)) True) (= (numeric-value-p-n gene-rpkm-matrix (ValueAtom 57) mE-mRNA-A-MateM-4d-testis-(FBlc0000217)) True) (= (numeric-value-p-n gene-rpkm-matrix (ValueAtom 58) mE-mRNA-A-1d-carcass-(FBlc0000218)) True) (= (numeric-value-p-n gene-rpkm-matrix (ValueAtom 59) mE-mRNA-A-1d-dig-sys-(FBlc0000219)) True) (= (numeric-value-p-n gene-rpkm-matrix (ValueAtom 60) mE-mRNA-A-20d-carcass-(FBlc0000220)) True) (= (numeric-value-p-n gene-rpkm-matrix (ValueAtom 61) mE-mRNA-A-20d-dig-sys-(FBlc0000221)) True) (= (numeric-value-p-n gene-rpkm-matrix (ValueAtom 62) mE-mRNA-A-4d-carcass-(FBlc0000222)) True) (= (numeric-value-p-n gene-rpkm-matrix (ValueAtom 63) mE-mRNA-A-4d-dig-sys-(FBlc0000223)) True) (= (numeric-value-p-n gene-rpkm-matrix (ValueAtom 64) mE-mRNA-P8-CNS-(FBlc0000224)) True) (= (numeric-value-p-n gene-rpkm-matrix (ValueAtom 65) mE-mRNA-L3-CNS-(FBlc0000225)) True) (= (numeric-value-p-n gene-rpkm-matrix (ValueAtom 66) mE-mRNA-L3-Wand-carcass-(FBlc0000226)) True) (= (numeric-value-p-n gene-rpkm-matrix (ValueAtom 67) mE-mRNA-L3-Wand-dig-sys-(FBlc0000227)) True) (= (numeric-value-p-n gene-rpkm-matrix (ValueAtom 68) mE-mRNA-L3-Wand-fat-(FBlc0000228)) True) (= (numeric-value-p-n gene-rpkm-matrix (ValueAtom 69) mE-mRNA-L3-Wand-imag-disc-(FBlc0000229)) True) (= (numeric-value-p-n gene-rpkm-matrix (ValueAtom 70) mE-mRNA-L3-Wand-saliv-(FBlc0000230)) True) (= (numeric-value-p-n gene-rpkm-matrix (ValueAtom 71) mE-mRNA-A-VirF-20d-head-(FBlc0000231)) True) (= (numeric-value-p-n gene-rpkm-matrix (ValueAtom 72) mE-mRNA-A-VirF-4d-ovary-(FBlc0000232)) True) (= (numeric-value-p-n gene-rpkm-matrix (ValueAtom 73) mE-mRNA-WPP-fat-(FBlc0000233)) True) (= (numeric-value-p-n gene-rpkm-matrix (ValueAtom 74) mE-mRNA-WPP-saliv-(FBlc0000234)) True) (= (numeric-value-p-n gene-rpkm-matrix (ValueAtom 75) mE-mRNA-P8-fat-(FBlc0000235)) True) (= (numeric-value-p-n gene-rpkm-matrix (ValueAtom 76) mE-mRNA-A-4d-Cold1-(FBlc0000237)) True) (= (numeric-value-p-n gene-rpkm-matrix (ValueAtom 77) mE-mRNA-A-4d-Cold2-(FBlc0000238)) True) (= (numeric-value-p-n gene-rpkm-matrix (ValueAtom 78) mE-mRNA-L3-Cu-0.5mM-(FBlc0000239)) True) (= (numeric-value-p-n gene-rpkm-matrix (ValueAtom 79) mE-mRNA-L3-late-Zn-5mM-(FBlc0000240)) True) (= (numeric-value-p-n gene-rpkm-matrix (ValueAtom 80) mE-mRNA-A-4d-Cu-15mM-(FBlc0000241)) True) (= (numeric-value-p-n gene-rpkm-matrix (ValueAtom 81) mE-mRNA-A-4d-Zn-4.5mM-(FBlc0000242)) True) (= (numeric-value-p-n gene-rpkm-matrix (ValueAtom 82) mE-mRNA-A-4d-Caffeine-25mg/ml-(FBlc0000243)) True) (= (numeric-value-p-n gene-rpkm-matrix (ValueAtom 83) mE-mRNA-A-4d-Caffeine-2.5mg/ml-(FBlc0000244)) True) (= (numeric-value-p-n gene-rpkm-matrix (ValueAtom 84) mE-mRNA-L3-Caffeine-1.5mg/ml-(FBlc0000245)) True) (= (numeric-value-p-n gene-rpkm-matrix (ValueAtom 85) mE-mRNA-A-4d-Cd-0.1M-(FBlc0000246)) True) (= (numeric-value-p-n gene-rpkm-matrix (ValueAtom 86) mE-mRNA-A-4d-Cd-0.05M-(FBlc0000247)) True) (= (numeric-value-p-n gene-rpkm-matrix (ValueAtom 87) mE-mRNA-L3-Cd-12h-(FBlc0000248)) True) (= (numeric-value-p-n gene-rpkm-matrix (ValueAtom 88) mE-mRNA-L3-Cd-6hr-(FBlc0000249)) True) (= (numeric-value-p-n gene-rpkm-matrix (ValueAtom 89) mE-mRNA-A-4d-Paraquat-5mM-(FBlc0000250)) True) (= (numeric-value-p-n gene-rpkm-matrix (ValueAtom 90) mE-mRNA-A-4d-Paraquat-10mM-(FBlc0000251)) True) (= (numeric-value-p-n gene-rpkm-matrix (ValueAtom 91) mE-mRNA-L3-Rotenone-8ug-(FBlc0000252)) True) (= (numeric-value-p-n gene-rpkm-matrix (ValueAtom 92) mE-mRNA-L3-Rotenone-2ug-(FBlc0000253)) True) (= (numeric-value-p-n gene-rpkm-matrix (ValueAtom 93) mE-mRNA-L3-EtOH-10-(FBlc0000254)) True) (= (numeric-value-p-n gene-rpkm-matrix (ValueAtom 94) mE-mRNA-L3-EtOH-5-(FBlc0000255)) True) (= (numeric-value-p-n gene-rpkm-matrix (ValueAtom 95) mE-mRNA-L3-EtOH-2.5-(FBlc0000256)) True) (= (numeric-value-p-n gene-rpkm-matrix (ValueAtom 96) mE-mRNA-A-4d-Heatshock-(FBlc0000257)) True) (= (numeric-value-p-n gene-rpkm-matrix (ValueAtom 97) mE-mRNA-A-10d-Resveratrol-100uM-(FBlc0000672)) True) (= (numeric-value-p-n gene-rpkm-matrix (ValueAtom 98) mE-mRNA-A-10d-Rotenone-Starved-(FBlc0000673)) True) (= (numeric-value-p-n gene-rpkm-matrix (ValueAtom 99) mE-mRNA-F-Sindbis-virus-(FBlc0000674)) True) (= (numeric-value-p-n gene-rpkm-matrix (ValueAtom 100) mE-mRNA-L-Sindbis-virus-(FBlc0000675)) True) (= (numeric-value-p-n gene-rpkm-matrix (ValueAtom 101) mE-mRNA-M-Sindbis-virus-(FBlc0000676)) True) (= (numeric-value-p-n gene-rpkm-matrix (ValueAtom 102) mE-mRNA-P-Sindbis-virus-(FBlc0000677)) True) (= (numeric-value-p-n gene-rpkm-matrix (ValueAtom 103) mE-mRNA-CME-W2-cells-(FBlc0000261)) True) (= (numeric-value-p-n gene-rpkm-matrix (ValueAtom 104) mE-mRNA-GM2-cells-(FBlc0000262)) True) (= (numeric-value-p-n gene-rpkm-matrix (ValueAtom 105) mE-mRNA-mbn2-cells-(FBlc0000263)) True) (= (numeric-value-p-n gene-rpkm-matrix (ValueAtom 106) mE-mRNA-BG2-c2-cells-(FBlc0000264)) True) (= (numeric-value-p-n gene-rpkm-matrix (ValueAtom 107) mE-mRNA-D20-c5-cells-(FBlc0000265)) True) (= (numeric-value-p-n gene-rpkm-matrix (ValueAtom 108) mE-mRNA-S3-cells-(FBlc0000266)) True) (= (numeric-value-p-n gene-rpkm-matrix (ValueAtom 109) mE-mRNA-1182-4H-cells-(FBlc0000267)) True) (= (numeric-value-p-n gene-rpkm-matrix (ValueAtom 110) mE-mRNA-CME-L1-cells-(FBlc0000268)) True) (= (numeric-value-p-n gene-rpkm-matrix (ValueAtom 111) mE-mRNA-Kc167-cells-(FBlc0000269)) True) (= (numeric-value-p-n gene-rpkm-matrix (ValueAtom 112) mE-mRNA-BG1-c1-cells-(FBlc0000270)) True) (= (numeric-value-p-n gene-rpkm-matrix (ValueAtom 113) mE-mRNA-D11-cells-(FBlc0000271)) True) (= (numeric-value-p-n gene-rpkm-matrix (ValueAtom 114) mE-mRNA-D16-c3-cells-(FBlc0000272)) True) (= (numeric-value-p-n gene-rpkm-matrix (ValueAtom 115) mE-mRNA-D17-c3-cells-(FBlc0000273)) True) (= (numeric-value-p-n gene-rpkm-matrix (ValueAtom 116) mE-mRNA-D21-cells-(FBlc0000274)) True) (= (numeric-value-p-n gene-rpkm-matrix (ValueAtom 117) mE-mRNA-D32-cells-(FBlc0000275)) True) (= (numeric-value-p-n gene-rpkm-matrix (ValueAtom 118) mE-mRNA-D4-c1-cells-(FBlc0000276)) True) (= (numeric-value-p-n gene-rpkm-matrix (ValueAtom 119) mE-mRNA-D8-cells-(FBlc0000277)) True) (= (numeric-value-p-n gene-rpkm-matrix (ValueAtom 120) mE-mRNA-D9-cells-(FBlc0000278)) True) (= (numeric-value-p-n gene-rpkm-matrix (ValueAtom 121) mE-mRNA-S1-cells-(FBlc0000279)) True) (= (numeric-value-p-n gene-rpkm-matrix (ValueAtom 122) mE-mRNA-S2R+-cells-(FBlc0000280)) True) (= (numeric-value-p-n gene-rpkm-matrix (ValueAtom 123) mE-mRNA-Sg4-cells-(FBlc0000281)) True) (= (numeric-value-p-n gene-rpkm-matrix (ValueAtom 124) mE-mRNA-OSS-cells-(FBlc0000282)) True) (= (numeric-value-p-n gene-rpkm-matrix (ValueAtom 125) mE-mRNA-OSC-cells-(FBlc0000283)) True) (= (numeric-value-p-n gene-rpkm-matrix (ValueAtom 126) mE-mRNA-fGS-cells-(FBlc0000284)) True) (= (numeric-value-p-n gene-rpkm-matrix (ValueAtom 127) Knoblich-mRNA-L3-CNS-neuroblast-(FBlc0000505)) True) (= (numeric-value-p-n gene-rpkm-matrix (ValueAtom 128) Knoblich-mRNA-L3-CNS-neuron-(FBlc0000506)) True) (= (numeric-value-p-n gene-rpkm-matrix (ValueAtom 129) RNA-Seq-Profile-FlyAtlas2-Adult-Female-Brain-(FBlc0003619)) True) (= (numeric-value-p-n gene-rpkm-matrix (ValueAtom 130) RNA-Seq-Profile-FlyAtlas2-Adult-Female-Crop-(FBlc0003620)) True) (= (numeric-value-p-n gene-rpkm-matrix (ValueAtom 131) RNA-Seq-Profile-FlyAtlas2-Adult-Female-Carcass-(FBlc0003621)) True) (= (numeric-value-p-n gene-rpkm-matrix (ValueAtom 132) RNA-Seq-Profile-FlyAtlas2-Adult-Female-Eye-(FBlc0003622)) True) (= (numeric-value-p-n gene-rpkm-matrix (ValueAtom 133) RNA-Seq-Profile-FlyAtlas2-Adult-Female-FatBody-(FBlc0003623)) True) (= (numeric-value-p-n gene-rpkm-matrix (ValueAtom 134) RNA-Seq-Profile-FlyAtlas2-Adult-Female-Head-(FBlc0003624)) True) (= (numeric-value-p-n gene-rpkm-matrix (ValueAtom 135) RNA-Seq-Profile-FlyAtlas2-Adult-Female-Hindgut-(FBlc0003625)) True) (= (numeric-value-p-n gene-rpkm-matrix (ValueAtom 136) RNA-Seq-Profile-FlyAtlas2-Adult-Female-Midgut-(FBlc0003626)) True) (= (numeric-value-p-n gene-rpkm-matrix (ValueAtom 137) RNA-Seq-Profile-FlyAtlas2-Adult-Female-Ovary-(FBlc0003627)) True) (= (numeric-value-p-n gene-rpkm-matrix (ValueAtom 138) RNA-Seq-Profile-FlyAtlas2-Adult-Female-RectalPad-(FBlc0003628)) True) (= (numeric-value-p-n gene-rpkm-matrix (ValueAtom 139) RNA-Seq-Profile-FlyAtlas2-Adult-Female-SalivaryGland-(FBlc0003629)) True) (= (numeric-value-p-n gene-rpkm-matrix (ValueAtom 140) RNA-Seq-Profile-FlyAtlas2-Adult-Female-ThoracicoAbdominalGanglion-(FBlc0003630)) True) (= (numeric-value-p-n gene-rpkm-matrix (ValueAtom 141) RNA-Seq-Profile-FlyAtlas2-Adult-Female-MalpighianTubule-(FBlc0003631)) True) (= (numeric-value-p-n gene-rpkm-matrix (ValueAtom 142) RNA-Seq-Profile-FlyAtlas2-Adult-Female-Mated-Spermathecum-(FBlc0003632)) True) (= (numeric-value-p-n gene-rpkm-matrix (ValueAtom 143) RNA-Seq-Profile-FlyAtlas2-Adult-Female-Virgin-Spermathecum-(FBlc0003633)) True) (= (numeric-value-p-n gene-rpkm-matrix (ValueAtom 144) RNA-Seq-Profile-FlyAtlas2-Adult-Female-Whole-(FBlc0003634)) True) (= (numeric-value-p-n gene-rpkm-matrix (ValueAtom 145) RNA-Seq-Profile-FlyAtlas2-Adult-Male-Brain-(FBlc0003635)) True) (= (numeric-value-p-n gene-rpkm-matrix (ValueAtom 146) RNA-Seq-Profile-FlyAtlas2-Adult-Male-Crop-(FBlc0003636)) True) (= (numeric-value-p-n gene-rpkm-matrix (ValueAtom 147) RNA-Seq-Profile-FlyAtlas2-Adult-Male-Carcass-(FBlc0003637)) True) (= (numeric-value-p-n gene-rpkm-matrix (ValueAtom 148) RNA-Seq-Profile-FlyAtlas2-Adult-Male-Eye-(FBlc0003638)) True) (= (numeric-value-p-n gene-rpkm-matrix (ValueAtom 149) RNA-Seq-Profile-FlyAtlas2-Adult-Male-FatBody-(FBlc0003639)) True) (= (numeric-value-p-n gene-rpkm-matrix (ValueAtom 150) RNA-Seq-Profile-FlyAtlas2-Adult-Male-Head-(FBlc0003640)) True) (= (numeric-value-p-n gene-rpkm-matrix (ValueAtom 151) RNA-Seq-Profile-FlyAtlas2-Adult-Male-Hindgut-(FBlc0003641)) True) (= (numeric-value-p-n gene-rpkm-matrix (ValueAtom 152) RNA-Seq-Profile-FlyAtlas2-Adult-Male-Midgut-(FBlc0003642)) True) (= (numeric-value-p-n gene-rpkm-matrix (ValueAtom 153) RNA-Seq-Profile-FlyAtlas2-Adult-Male-RectalPad-(FBlc0003643)) True) (= (numeric-value-p-n gene-rpkm-matrix (ValueAtom 154) RNA-Seq-Profile-FlyAtlas2-Adult-Male-SalivaryGland-(FBlc0003644)) True) (= (numeric-value-p-n gene-rpkm-matrix (ValueAtom 155) RNA-Seq-Profile-FlyAtlas2-Adult-Male-ThoracicoAbdominalGanglion-(FBlc0003645)) True) (= (numeric-value-p-n gene-rpkm-matrix (ValueAtom 156) RNA-Seq-Profile-FlyAtlas2-Adult-Male-MalpighianTubule-(FBlc0003646)) True) (= (numeric-value-p-n gene-rpkm-matrix (ValueAtom 157) RNA-Seq-Profile-FlyAtlas2-Adult-Male-Testis-(FBlc0003647)) True) (= (numeric-value-p-n gene-rpkm-matrix (ValueAtom 158) RNA-Seq-Profile-FlyAtlas2-Adult-Male-AccessoryGland-(FBlc0003648)) True) (= (numeric-value-p-n gene-rpkm-matrix (ValueAtom 159) RNA-Seq-Profile-FlyAtlas2-Adult-Male-Whole-(FBlc0003649)) True) (= (numeric-value-p-n gene-rpkm-matrix (ValueAtom 160) RNA-Seq-Profile-FlyAtlas2-L3-CNS-(FBlc0003650)) True) (= (numeric-value-p-n gene-rpkm-matrix (ValueAtom 161) RNA-Seq-Profile-FlyAtlas2-L3-FatBody-(FBlc0003651)) True) (= (numeric-value-p-n gene-rpkm-matrix (ValueAtom 162) RNA-Seq-Profile-FlyAtlas2-L3-Hindgut-(FBlc0003652)) True) (= (numeric-value-p-n gene-rpkm-matrix (ValueAtom 163) RNA-Seq-Profile-FlyAtlas2-L3-MalpighianTubule-(FBlc0003653)) True) (= (numeric-value-p-n gene-rpkm-matrix (ValueAtom 164) RNA-Seq-Profile-FlyAtlas2-L3-Midgut-(FBlc0003654)) True) (= (numeric-value-p-n gene-rpkm-matrix (ValueAtom 165) RNA-Seq-Profile-FlyAtlas2-L3-SalivaryGland-(FBlc0003655)) True) (= (numeric-value-p-n gene-rpkm-matrix (ValueAtom 166) RNA-Seq-Profile-FlyAtlas2-L3-Trachea-(FBlc0003656)) True) (= (numeric-value-p-n gene-rpkm-matrix (ValueAtom 167) RNA-Seq-Profile-FlyAtlas2-L3-Carcass-(FBlc0003657)) True) (= (numeric-value-p-n gene-rpkm-matrix (ValueAtom 168) RNA-Seq-Profile-FlyAtlas2-L3-Whole-(FBlc0003658)) True) (= (numeric-value-p-n gene-rpkm-matrix (ValueAtom 169) RNA-Seq-Profile-FlyAtlas2-Adult-Female-Heart-(FBlc0003724)) True) (= (numeric-value-p-n gene-rpkm-matrix (ValueAtom 170) RNA-Seq-Profile-FlyAtlas2-Adult-Male-Heart-(FBlc0003725)) True) (= (numeric-value-p-n gene-rpkm-report (ValueAtom 8) RPKM-value) True) (= (numeric-value-p-n gene-rpkm-report (ValueAtom 9) Bin-value) True) (= (numeric-value-p-n gene-rpkm-report (ValueAtom 10) Unique-exon-base-count) True) (= (numeric-value-p-n gene-rpkm-report (ValueAtom 11) Total-exon-base-count) True) (= (numeric-value-p-n gene-snapshots (ValueAtom 4) datestamp) True) (= (numeric-value-p-n insertion-mapping (ValueAtom 5) orientation) True) (= (numeric-value-p-n dmel-paralogs (ValueAtom 5) Strand) True) (= (numeric-value-p-n dmel-paralogs (ValueAtom 10) Paralog-Strand) True) (= (numeric-value-p-n dmel-paralogs (ValueAtom 11) DIOPT-score) True) (= (numeric-value-p-n entity-publication (ValueAtom 4) PubMed) True) (= (numeric-value-p-n organism-list (ValueAtom 5) NCBI-taxon) True) (= (is-valueatom $O $P $Q) (sequential (arg-table-n-type $R $O $P $Q) (atom-number $R $A10))) (= (arg-table-n-type $O $P $Q $R) (sequential (table-n-type $P $Q $R) (-> (and (fb-pred $P $S) (and (functor $T $P $S) (and (arg $Q $T $O) (and (call $T) (and (missing (is-list $O)) (missing (as-list $O ()))))))) True))) (= (is-concept-type $O) (:: (fb-arg-type $O))) (= (is-concept $O) (:: (fb-arg $O))) (= (add-table-n-types $A10 $B10 $O) (sequential (missing (is-list $O)) no-more)) (= (add-table-n-types $O (ValueAtom 1) ([|] $P $Q)) (sequential (number $P) no-more (add-table-n-types $O (ValueAtom 1) $Q))) (= (add-table-n-types $O $P ([|] $Q $R)) (sequential no-more (sub-term $S $Q) (atom $S) no-more (assert-new (fb-arg-type $S)) (assert-new (table-n-type $O $P $S)) (is $T (+ $P (ValueAtom 1))) (add-table-n-types $O $T $R) no-more)) (= (add-table-n-types $A10 $B10 ()) True) (= (--aux-maplist/2-assert-type-of+4 () $A10 $B10 $C10 $D10) True) (= (--aux-maplist/2-assert-type-of+4 ([|] $O $P) $Q $R $S $T) (sequential (assert-type-of $Q $R $S $T $O) (--aux-maplist/2-assert-type-of+4 $P $Q $R $S $T))) (= (assert-type-of $A10 $B10 $C10 $D10 $E10) (sequential (missing should-sample) no-more)) (= (assert-type-of $O $P $Q $R $S) (sequential (is-list $S) no-more (--aux-maplist/2-assert-type-of+4 $S $O $P $Q $R))) (= (assert-type-of $A10 $O $P $B10 $Q) (:: (must-det-ll-r (and (assert-new (fb-arg $Q)) (assert-new (fb-arg-table-n $Q $O $P)))))) (= (adjust-type $O $P $Q (ListValue $R) $S $T) (sequential (must-det-ll (nonvar $R)) (must-det-ll (as-list () $S $U)) (must-det-ll (is-list $U)) (md-maplist must-det-ll (adjust-type $O $P $Q $R) $U $T))) (= (adjust-type $O $P $Q (ListValue $R) $T $U) (sequential (must-det-ll (nonvar $R)) (must-det-ll (as-list $S $T $V)) (must-det-ll (is-list $V)) (md-maplist must-det-ll (adjust-type $O $P $Q $R) $V $U))) (= (adjust-type $A10 $O $P $B10 $Q $R) (sequential (number $Q) (numeric-value-p-n $O $P $C10) no-more (= $R $Q))) (= (adjust-type $O $P $Q $R $S $T) (sequential (numeric-value-p-n $P $Q $A10) no-more (if-then-else (must-not-error (atom-number $S $T)) True (must-det-ll (= $S $T))) (must-det-ll (assert-type-of $O $P $Q $R $T)))) (= (adjust-type $O $P $Q $R $S $T) (sequential (must-det-ll (fix-concept $S $T)) (must-det-ll (assert-type-of $O $P $Q $R $T)))) (= (adjust-type $A10 $B10 $C10 $D10 $O $O) True) (= (fix-elist-args $O $P $Q ([|] $R $S) $T $U) (sequential (number $R) no-more (fix-elist-args $O $P $Q $S $T $U))) (= (fix-elist-args $O $P $Q ([|] $R $S) ([|] $T $U) ([|] $V $W)) (sequential no-more (must-det-ll (adjust-type $O $P $Q $R $T $V)) (must-det-ll (is $X (+ $Q (ValueAtom 1)))) (must-det-ll (fix-elist-args $O $P $X $S $U $W)))) (= (fix-elist-args $A10 $B10 $C10 $D10 $O $O) True) (= (primary-term $A10 ([|] $O $P) $B10 $C10 $P) (sequential (number $O) no-more)) (= (primary-term $A10 ([|] $O $P) $Q $R $P) (sequential (number $O) no-more (nth1 $O $Q $R))) (= (primary-term $A10 $O $B10 $C10 $O) (:: no-more)) (= (primary-term $A10 $O $P $Q $R) (sequential (append $S ([|] (primary $T) $U) $O) (append $S ([|] $T $U) $R) (length $S $V) (nth0 $V $P $Q))) (= (primary-term $O $P $Q $R $P) (sequential (primary-column $O $S) (nth1 $T $P $S) no-more (nth1 $T $Q $R) no-more)) (= (primary-term $A10 $O ([|] $P $B10) $P $O) (:: no-more)) (= (primary-term $A10 $O $B10 $C10 $O) True) (= (fix-list-args $A10 $B10 $O $O) (sequential (option-value full-canon ()) (missing should-sample) (missing should-cache) no-more)) (= (fix-list-args $O $P $Q $R) (:: (must-det-ll-r (and (primary-term $O $P $Q $S $T) (and (fix-elist-args $S $O (ValueAtom 1) $T $Q $R) (extreme-debug (ignore (and (\== $Q $R) (fbug $R))))))))) (= (fix-list-args $A10 $B10 $O $O) (:: no-more)) (= (make-assertion $O $P $Q $R) (sequential (must-det-ll (option-value fb-argtypes $S)) (must-det-ll (into-datum $O $P $R)) (must-det-ll (equals-ListMappingFn $R ([|] $T $U))) (must-det-ll (fix-list-args $O $S $U $V)) (must-det-ll (equals-ListMappingFn $Q ([|] $T $V))))) (= (fb-argtypes $A10 $O) (sequential (option-value fb-argtypes $O) (\== $O ()) no-more)) (= (fb-argtypes $O $P) (sequential (table-columns $O $P) no-more)) (= (into-datum $O ([|] $P $Q) $R) (:: (if-then-else (option-value use-va True) (equals-ListMappingFn $R (:: $O $P $Q)) (equals-ListMappingFn $R ([|] $O ([|] $P $Q)))))) (= (write-flybase-data $A10 $B10 ()) (:: no-more)) (= (write-flybase-data $A10 $B10 (:: ())) (:: no-more)) (= (write-flybase-data $O $P $Q) (sequential (make-assertion $P $Q $R $S) (if-then-else (and heartbeat (and (functor $R $T $U) (and (>= $U (ValueAtom 2)) (and (< $U (ValueAtom 700)) (and (catch (decl-fb-pred $T $U) $V (and (pp-fb (= $V $Q)) trace)) (and (flag loaded-from-file $W (+ $W (ValueAtom 1))) (and (if-then-else (call $R) True (and (assert $R) (flag total-loaded-atoms $X (+ $X (ValueAtom 1))))) (if-then-else (and should-show-data (and nl (and nl (and (if-then-else (and (\== $S $Q) (pp-fb (= (oldData $W) $S))) True True) (pp-fb (= (newData $W) $R)))))) True True)))))))) True True) (catch-ignore (ignore (and should-cache (and (must-det-ll (write-canonical $O $R)) (must-det-ll (writeln $O .)))))) no-more)) (= (print-formatted-time $O) (sequential (format-time $O $P) (writeln $P))) (= (format-time $O $P) (sequential (is $Q (floor $O)) (is $R (div $Q (ValueAtom 86400))) (is $S (- (mod $Q (ValueAtom 86400)) (ValueAtom 57600))) (format-time (atom $T) %T $S) (format (atom $P) ~w:~w (:: $R $T)))) (= (format-bytes $O $P) (sequential (>= $O (ValueAtom 1073741824)) (is $Q (/ $O (ValueAtom 1073741824))) (format (atom $P) ~2fG (:: $Q)))) (= (format-bytes $O $P) (sequential (>= $O (ValueAtom 104857600)) (< $O (ValueAtom 1073741824)) no-more (is $Q (/ $O (ValueAtom 1048576))) (is $R (floor $Q)) (format (atom $P) ~DM (:: $R)))) (= (format-bytes $O $P) (:: (format (atom $P) ~D (:: $O)))) (= (format-value $O) (sequential (float $O) no-more (format (StringValue "~2f") (:: $O)) no-more)) (= (format-value $O) (sequential (integer $O) (format-bytes $O $P) (write $P))) (= (format-value $O) (:: (format (StringValue "~w") (:: $O)))) (= (pl-stats $O ([|] $P $A10)) (sequential (nonvar $P) no-more (pl-stats $O $P))) (= (pl-stats $O $P) (sequential (format (StringValue "~N; ~@: ~`.t ~@~100|") (:: (format-value $O) (format-value $P))) no-more)) (= (pl-stats $O) (sequential (statistics $O $P) (pl-stats $O $P))) (= (fb-stats $O $P $Q) (sequential (functor $R $O $P) (predicate-property $R (number-of-clauses $Q)))) (= (fb-stats $O $P) (sequential (fb-stats $O $P $Q) (pl-stats (/ $O $P) $Q))) (= (fb-stats $O) (:: (missing (and (fb-pred $O $P) (missing (fb-stats $O $P)))))) (= fb-stats (sequential gc-now (writeln ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~) (writeln ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~) (full-atom-count $O) (format (StringValue "~N~n; Total Atoms (Atomspace size): ~`.t ~D~108|~n") (:: $O)) (get-time $P) (nb-setval last-printed-time $P) (post-statistic memory $Q) (post-statistic atom-space $R) (post-statistic cputime $S) (post-statistic atoms $T) (flag assert-new $U $U) (post-statistic stack $V) (is $W (+ $Q $V)) (is $X (- $Q $R)) (is $Y (// $X (+ $O (ValueAtom 1)))) (is $Z (* (ValueAtom 60) (floor (/ $O (+ $S (ValueAtom 1)))))) (is $A1 (// $R (+ $T (ValueAtom 1)))) (pl-stats ConceptNodes $T) (pl-stats Random samples $U) (skip (and (pl-stats (StringValue "Bytes Per Atom (Average)") $Y) (pl-stats (StringValue "Bytes Per ConceptNode (Average)") $A1))) (skip (and (pl-stats Relational Memory $X) (pl-stats ConceptNode Memory $R))) (format-time $S $B1) (skip (pl-stats (StringValue "Atoms per minute") $Z)) (pl-stats (StringValue "Total Memory Used") $W) (pl-stats Runtime (days:hh:mm:ss) $B1) nl nl no-more)) (= heartbeat (sequential (get-time $O) (if-then-else (nb-current last-printed-time $A10) True (nb-setval last-printed-time $O)) (nb-getval last-printed-time $P) (is $Q (- $O $P)) (if-then-else (>= $Q (ValueAtom 60)) fb-stats True))) (= (full-atom-count $O) (sequential (flag total-loaded-atoms $O $O) (> $O (ValueAtom 1)) no-more)) (= (full-atom-count $O) (sequential (findall $P (and (fb-pred $Q $R) (fb-stats $Q $R $P)) $S) (sumlist $S $O))) (= (has-list $O) (sequential (is-list $O) (member (ListValue $A10) $O))) (= (load-fb-data $O $A10 $B10 $C10 $P $D10) (sequential (or (== $P end-of-file) (done-reading $O)) no-more)) (= (load-fb-data $O $P $Q $R is-swipl $S) (sequential no-more (if-then-else (and (option-value max-per-file $T) (and (number $T) (number $T))) True (= $T inf)) (fbug (load-fb-data $O $T $Q $R)) (if-then-else (and (fb-argtypes $Q $U) (pp-fb (= (fb-argtypes $Q) $U))) True True) repeat (-> (read-csv-stream $R $P $V) True) (if-then-else (or (== $V end-of-file) reached-file-max) (assert (done-reading $O)) (and (-> (write-flybase-data $S $Q $V) True) False)) no-more)) (= (load-fb-data $O $P $Q $R is-swipl $S) (sequential no-more (name $R (:: $T)) (csv-options $U (:: (separator $T))) (if-then-else (and (option-value max-per-file $V) (number $V)) True (= $V inf)) (fbug (load-fb-data $O $V $Q $R)) (if-then-else (and (fb-argtypes $Q $W) (pp-fb (= (fb-argtypes $Q) $W))) True True) repeat (-> (csv-read-row $P $X $U) True) (if-then-else (or (== $X end-of-file) reached-file-max) (assert (done-reading $O)) (and (equals-ListMappingFn $X ([|] $A10 $Y)) (and (-> (write-flybase-data $S $Q $Y) True) False))) no-more)) (= (load-fb-data $O $P $Q $R is-swipl $S) (sequential (name $R (:: $T)) (csv-options $U (:: (strip True) (convert True) (separator $T))) (if-then-else (and (option-value max-per-file $V) (number $V)) True (= $V inf)) (-> (csv-read-row $P $W $U) True) (loaded-from-file $X) (if-then-else (or (== $W end-of-file) (> $X $V)) (assert (done-reading $O)) (and (equals-ListMappingFn $W ([|] $A10 $Y)) (and (-> (write-flybase-data $S $Q $Y) True) (load-fb-data $O $P $Q $R is-swipl $S)))) no-more)) (= (load-flybase-chars $O $P $Q $R $S $T) (sequential (option-value row-1-is-header True) no-more (must-det-ll (attempt-header-row $R $S $Q $U $V)) (must-det-ll (fbug (t-h-n $Q $U $V))) (must-det-ll (fb-assert (t-h-n $Q $U $V))) no-more (must-det-ll (set-option-value fb-argtypes $V)) no-more (must-det-ll (length $V $W)) (must-det-ll (catch (decl-fb-pred $Q $W) $X (and (pp-fb (= $X $V)) trace))) (must-det-ll (load-fb-data $O $P $Q $R is-swipl $T)))) (= (load-flybase-chars $O $A10 $B10 $P $Q $C10) (sequential (or (missing (member $P $Q)) (= $Q ([|] # $D10))) (format (StringValue "~n ; ~s") (:: $Q)) (if-then-else (and (loaded-from-file $R) (and (> $R (ValueAtom 100)) (and no-more (assert (done-reading $O))))) True True))) (= (load-flybase-chars $O $P $Q $R $S $T) (sequential (member $R $S) (= $S ([|] # $A10)) (format (StringValue "~n ; Maybe Header: ~s") (:: $S)) (attempt-header-row $R $S $Q $U $V) (is-really-header-row $U $V) (fbug (t-h-n $Q $U $V)) (fb-assert (t-h-n $Q $U $V)) no-more (load-fb-data $O $P $Q $R is-swipl $T))) (= (load-flybase-chars $O $P $Q $R $S $T) (sequential is-swipl (attempt-header-row $R $S $Q $U $A10) (write-flybase-data $T $Q $U) no-more (load-fb-data $O $P $Q $R is-swipl $T))) (= (attempt-header-row $O $P $Q $R $S) (sequential (read-csv $O $P $R) (fix-header-names $Q $R $S) no-more)) (= (read-csv $O $P $Q) (sequential (atomic $P) (is-stream $P) no-more (read-csv-stream $O $P $Q))) (= (read-csv $O $P $Q) (sequential (missing (option-value full-canon ())) no-more (split-string $P $O (StringValue " ") $Q))) (= (read-csv $O $P $Q) (sequential (open-string $P $R) (read-csv-stream $O $R $Q))) (= (read-csv-stream $O $P $Q) (sequential (read-line-to-string $P $R) (if-then-else (== $R end-of-file) (= $Q $R) (atomic-list-concat $Q $O $R)))) (= (read-csv-stream $O $P $Q) (sequential (missing (option-value full-canon ())) no-more (read-line-to-string $P $R) (if-then-else (== $R end-of-file) (= $Q $R) (split-string $R $O (StringValue " ") $Q)))) (= (read-csv-stream $O $P $Q) (sequential (name $O (:: $R)) (csv-options $S (:: (separator $R))) (csv-read-row $P $T $S) (equals-ListMappingFn $T ([|] $A10 $Q)) no-more)) (= (is-really-header-row ([|] $O $A10) $B10) (sequential (atom-concat () $C10 $O) no-more)) (= (load-flybase-sv $O $P $Q $R $S) (sequential (at-end-of-stream $Q) no-more (-> (load-fb-data $P $Q $S $O end-of-file $R) True))) (= (load-flybase-sv $O $P $Q $R $S) (sequential (option-value row-1-is-header True) no-more (must-det-ll (attempt-header-row $O $Q $S $T $U)) (must-det-ll (fbug (t-h-n $S $T $U))) (must-det-ll (fb-assert (t-h-n $S $T $U))) no-more (must-det-ll (length $U $V)) (must-det-ll (decl-fb-pred $S $V)) (must-det-ll (set-option-value fb-argtypes $U)) no-more (must-det-ll (pp-fb (= (fb-argtypes (/ $S $V)) $U))) (must-det-ll (load-fb-data $P $Q $S $O is-swipl $R)))) (= (load-flybase-sv $O $P $Q $R $S) (:: (must-det-ll-r (and (ignore (once (or (table-columns $P $T) (table-columns $S $T)))) (and (fix-header-names $S $T $U) (and (forall (and (table-columns $P $V) (\== $U $V)) (pp-fb (odd-table-columns $P $V))) (and (forall (and (table-columns $S $V) (\== $U $V)) (pp-fb (odd-table-columns $S $V))) (and (if-t (is-list $U) (set-option-value fb-argtypes $U)) (and (time (and repeat (and (read-line-to-chars $Q $W) (and (once (load-flybase-chars $P $Q $S $O $W $R)) (and (once (or (done-reading $P) (or reached-file-max (at-end-of-stream $Q)))) (and no-more (once (load-fb-data $P $Q $S $O end-of-file $R)))))))) (and (loaded-from-file $X) (and no-more (and (fb-stats $S) (pl-stats $P $X))))))))))))) (= (load-flybase $O $P $Q $R $S) (:: (must-det-ll-r (and (ignore (swi-only (format $R (StringValue ":- ~q. ") (:: (encoding utf8))))) (and (atomic-list-concat (:: data $S) - $T) (and (data-pred $T $S) (load-flybase-sv $O $P $Q $R $S))))))) (= (fb-assert $O) (sequential (if-then-else (= $O (:- $P $Q)) (copy-term $Q $R) (and (= $P $O) (= $R True))) (copy-term $P $S) (if-then-else (missing (and (clause $S $R) (variant $S $P))) (assertz $O) True))) (= (read-line-to-chars $O $P) (sequential (read-line-to-string $O $Q) (string-chars $Q $P))) (= is-swipl (:: (missing is-scryer))) (= (file-to-sep $O and) (sequential (file-name-extension $A10 csv $O) no-more)) (= (file-to-sep $O ) (sequential (file-name-extension $A10 tsv $O) no-more)) (= (not-trimmed-path ([|] $O $P) $Q) (sequential (is-trimmed-path $O) no-more (not-trimmed-path $P $Q))) (= (not-trimmed-path ([|] $O $P) ([|] $O $Q)) (sequential no-more (not-trimmed-path $P $Q))) (= (not-trimmed-path () ()) True) (= (is-trimmed-path $O) (sequential (atom-contains $O (ValueAtom 0)) no-more)) (= (is-trimmed-path fb) True) (= (is-trimmed-path public) True) (= (is-trimmed-path data) True) (= (data-pred $O $P) (sequential (data-pred0 $O $P) (\== $P ()) no-more)) (= (data-pred $O $O) True) (= (data-pred0 $O $P) (sequential (atom-concat public. $Q $O) no-more (data-pred0 $Q $P))) (= (data-pred0 $O $P) (sequential (atomic-list-concat $Q / $O) (\== $Q ()) (\= $Q (:: $A10)) no-more (last $Q $R) (data-pred0 $R $P))) (= (data-pred0 $O $P) (sequential (atomic-list-concat $Q - $O) (-> (not-trimmed-path $Q $R) True) (\== $R ()) (\== $R $Q) (atomic-list-concat $R - $P) no-more)) (= (data-pred0 $O $P) (sequential (atomic-list-concat ([|] $Q ([|] $A10 $B10)) -fb- $O) no-more (data-pred0 $Q $P))) (= (data-pred0 $O $O) True) (= (load-fb-obo $O $P $Q $R) (sequential (fbug (load-fb-obo $O $P $Q $R)) (if-then-else (current-predicate (/ load-obo (ValueAtom 1))) (load-obo $P) True))) (= (load-fb-json $O $P $Q $R) (sequential (fbug (load-fb-json $O $P $Q $R)) (setup-call-cleanup (open $P read $S) (: json (json-read $S $T ())) (close $S)) (time (assert (saved-fb-json $O $P $T $R))))) (= (load-flybase $A10 $O $B10 $C10) (sequential (load-state $O $D10) no-more)) (= (load-flybase $O $P $Q $R) (sequential (file-to-sep $P $S) no-more (assert (load-state $P loading)) (flag loaded-from-file $A10 (ValueAtom 0)) (fbug (load-flybase $O $P $Q $R)) (setup-call-cleanup (open $P read $T) (setup-call-cleanup (open $Q write $U (:: (encoding utf8))) (load-flybase $S $P $T $U $R) (close $U)) (close $T)) no-more (retract (load-state $P loading)) (assert (load-state $P loaded)) fb-stats)) (= (load-flybase $O $P $Q $R) (sequential (== $O json) no-more (load-fb-json $O $P $Q $R))) (= (load-flybase $O $P $Q $R) (sequential (== $O obo) no-more (load-fb-obo $O $P $Q $R))) (= (load-flybase $O $P $Q $R) (sequential (fbug (load-flybase $O $P $Q $R)) no-more)) (= (load-flybase0 $O $A10) (sequential (== $O pl) no-more)) (= (load-flybase0 $O $P) (sequential (file-name-extension $Q $A10 $P) (atomic-list-concat (:: $Q pl) . $R) (data-pred $Q $S) (load-flybase $O $P $R $S))) (= (load-flybase $O $P) (sequential (with-wild-path (load-flybase0 $P) $O) no-more)) (= (load-flybase $O) (sequential (if-then-else (number $O) True (== $O inf)) no-more (set-option-value max-per-file $O) no-more load-flybase)) (= (load-flybase $O) (sequential (file-name-extension $A10 $P $O) no-more (load-flybase $O $P))) (= (load-fb-cache $A10 $O $B10) (sequential (exists-file $O) no-more (ensure-loaded $O) no-more)) (= (load-fb-cache $O $A10 $B10) (:: (load-files (:: $O) (:: (qcompile large))))) (= (load-fb-cache0 $O) (sequential (file-name-extension $P $A10 $O) (atomic-list-concat (:: $Q $R) . $P) (atomic-list-concat (:: $Q $R qlf) . $S) no-more (load-fb-cache $O $S $R))) (= (load-fb-cache0 $O) (sequential (file-name-extension $P $A10 $O) (atomic-list-concat (:: $Q) . $P) (atomic-list-concat (:: $Q qlf) . $R) (load-fb-cache $O $R $Q))) (= (load-fb-cache $O) (:: (with-wild-path load-fb-cache0 $O))) (= (--aux-maplist/2-load-fb-cache+0 ()) True) (= (--aux-maplist/2-load-fb-cache+0 ([|] $O $P)) (sequential (load-fb-cache $O) (--aux-maplist/2-load-fb-cache+0 $P))) (= (load-fb-mask $O) (sequential is-scryer (atom $O) (name $O $P) no-more (load-fb-mask $P))) (= (load-fb-mask $O) (sequential (expand-file-name $O $P) (--aux-maplist/2-load-fb-cache+0 $P))) (= (metta-iter-bind $O $P $A10) (sequential (decl-m-fb-pred $O for-metta (ValueAtom 2)) (call (: $O (for-metta $O $P))))) (= (metta-iter-bind $O $P $Q $R) (sequential (decl-m-fb-pred $O for-metta (ValueAtom 2)) (findall $Q (: $O (for-metta $O $P)) $R))) (= (metta-atoms $O $P) (sequential (decl-m-fb-pred $O for-metta (ValueAtom 2)) (findall $Q (: $O (for-metta $O $Q)) $P))) (= (metta-iter $O $P) (sequential (decl-m-fb-pred $O for-metta (ValueAtom 2)) (call (: $O (for-metta $O $P))))) (= (metta-count $O $P) (sequential (decl-m-fb-pred $O for-metta (ValueAtom 2)) (full-atom-count $Q) (= $R (: $O (for-metta $A10 $B10))) (predicate-property $R (number-of-clauses $S)) (predicate-property $R (number-of-rules $T)) (is $P (- (+ $Q $S) $T)))) (= (metta-replace $O $P $Q) (sequential (metta-del $O $P) (metta-add $O $Q))) (= (metta-del $O $P) (sequential (decl-m-fb-pred $O for-metta (ValueAtom 2)) (= $Q (: $O (for-metta $O $P))) (clause $Q True $R) (clause $S True $R) (=@= $Q $S) no-more (erase $R))) (= (metta-rem $O $P) (:: (if-then-else (metta-del $O $P) True True))) (= (metta-add $O $P) (sequential (decl-m-fb-pred $O for-metta (ValueAtom 2)) (= $Q (: $O (for-metta $O $P))) (assert-new $Q) (format ~N~q.~n (:: $Q)))) (= (metta-ls $O) (:: (listing (: $O (/ for-metta (ValueAtom 2)))))) (= (--aux-maplist/2-with-wild-path+1 () $A10) True) (= (--aux-maplist/2-with-wild-path+1 ([|] $O $P) $Q) (sequential (with-wild-path $Q $O) (--aux-maplist/2-with-wild-path+1 $P $Q))) (= (with-wild-path-swi $O $P) (sequential (compound $P) (absolute-file-name $P $Q (:: (access read) (file-errors False) (file-type directory))) (\=@= $Q $P) no-more (with-wild-path $O $Q))) (= (with-wild-path-swi $O $P) (sequential (compound $P) no-more (absolute-file-name $P $Q (:: (access read) (file-errors False) (file-type (:: csv tsv ())))) (\=@= $Q $P) no-more (with-wild-path $O $Q))) (= (with-wild-path-swi $O $P) (sequential (atom-contains $P *) (expand-file-name $P $Q) no-more (--aux-maplist/2-with-wild-path+1 $Q $O))) (= (with-wild-path-swi $O $P) (sequential (exists-directory $P) (directory-file-path $P *.*sv $Q) (expand-file-name $Q $R) no-more (maplist $O $R))) (= (with-wild-path $O $P) (sequential (extreme-debug (fbug (with-wild-path $O $P))) False)) (= (with-wild-path $A10 ()) (:: no-more)) (= (with-wild-path $O $P) (sequential is-scryer (atom $P) no-more (must-det-ll-r (and (atom-chars $P $Q) (with-wild-path $O $Q))))) (= (with-wild-path $O $P) (sequential (missing is-scryer) (missing (atom $P)) no-more (must-det-ll-r (and (name $Q $P) (with-wild-path $O $Q))))) (= (with-wild-path $O $P) (sequential (exists-file $P) no-more (must-det-ll-r (call $O $P)))) (= (with-wild-path $O $P) (:: (with-wild-path-swi $O $P))) (= (with-wild-path $O $P) (sequential (exists-directory $P) no-more (must-det-ll-r (and (directory-files $P $Q) (and (maplist (directory-file-path $P $Q) $R) (and (maplist atom-chars $R $S) (maplist (with-wild-path $O) $S))))) no-more)) (= (with-wild-path $O $P) (sequential (is-list $P) no-more (must-det-ll-r (maplist (with-wild-path $O) $P)))) (= (with-wild-path $O $P) (:: (must-det-ll-r (call $O $P)))) (= load-fb-cache (sequential (load-fb-mask precomputed-files/*/*pl) (load-fb-mask (StringValue "flybase-data/public.*.pl")) (load-fb-mask flybase-data/*fb-2023-01.pl))) (= (est-size (ValueAtom 248392754) feature-relationship) True) (= (est-size (ValueAtom 141933327) dbxrefprop) True) (= (est-size (ValueAtom 98464502) featureloc) True) (= (est-size (ValueAtom 92616770) feature) True) (= (est-size (ValueAtom 78909675) analysisfeature) True) (= (est-size (ValueAtom 61025742) feature-dbxref) True) (= (est-size (ValueAtom 53031863) library-featureprop) True) (= (est-size (ValueAtom 39950320) dbxref) True) (= (est-size (ValueAtom 27923222) library-feature) True) (= (est-size (ValueAtom 23805222) feature-relationshipprop) True) (= (est-size (ValueAtom 21280000) featureprop) True) (= (est-size (ValueAtom 7474186) feature-synonym) True) (= (est-size (ValueAtom 6554428) synonym) True) (= (est-size (ValueAtom 5578281) feature-pub) True) (= (est-size (ValueAtom 5341101) featureprop-pub) True) (= (est-size (ValueAtom 4865119) feature-relationship-pub) True) (= (est-size (ValueAtom 2813406) feature-interactionprop) True) (= (est-size (ValueAtom 2464356) feature-cvterm) True) (= (est-size (ValueAtom 1950808) feature-cvtermprop) True) (= (est-size (ValueAtom 1377259) feature-interaction) True) (= (est-size (ValueAtom 1116491) feature-genotype) True) (= (est-size (ValueAtom 888211) pubprop) True) (= (est-size (ValueAtom 734871) featureloc-pub) True) (= (est-size (ValueAtom 688735) pubauthor) True) (= (est-size (ValueAtom 518570) genotype-synonym) True) (= (est-size (ValueAtom 495849) genotype) True) (= (est-size (ValueAtom 491539) feature-pubprop) True) (= (est-size (ValueAtom 466210) phenstatement) True) (= (est-size (ValueAtom 413339) pub-dbxref) True) (= (est-size (ValueAtom 382055) genotype-dbxref) True) (= (est-size (ValueAtom 351943) phendesc) True) (= (est-size (ValueAtom 277993) phenotype-comparison-cvterm) True) (= (est-size (ValueAtom 254299) feature-expressionprop) True) (= (est-size (ValueAtom 252545) phenotype-comparison) True) (= (est-size (ValueAtom 251929) pub) True) (= (est-size (ValueAtom 242345) pub-relationship) True) (= (est-size (ValueAtom 227407) feature-expression) True) (= (est-size (ValueAtom 213361) cvterm-relationship) True) (= (est-size (ValueAtom 212143) cvterm-dbxref) True) (= (est-size (ValueAtom 209165) interaction-cvterm) True) (= (est-size (ValueAtom 195001) cvtermsynonym) True) (= (est-size (ValueAtom 180312) expression-cvterm) True) (= (est-size (ValueAtom 167583) update-track) True) (= (est-size (ValueAtom 150402) feature-relationshipprop-pub) True) (= (est-size (ValueAtom 149856) stockcollection-stock) True) (= (est-size (ValueAtom 149856) stock) True) (= (est-size (ValueAtom 149836) stock-genotype) True) (= (est-size (ValueAtom 146847) interactionprop) True) (= (est-size (ValueAtom 122005) interaction-group) True) (= (est-size (ValueAtom 119612) feature-interaction-pub) True) (= (est-size (ValueAtom 112785) interaction-pub) True) (= (est-size (ValueAtom 112782) interaction) True) (= (est-size (ValueAtom 101688) interaction-group-feature-interaction) True) (= (est-size (ValueAtom 96406) feature-grpmember-pub) True) (= (est-size (ValueAtom 94766) cvterm) True) (= (est-size (ValueAtom 79467) expression-cvtermprop) True) (= (est-size (ValueAtom 74874) interactionprop-pub) True) (= (est-size (ValueAtom 73829) library-interaction) True) (= (est-size (ValueAtom 57145) organism) True) (= (est-size (ValueAtom 48731) humanhealthprop) True) (= (est-size (ValueAtom 41076) feature-grpmember) True) (= (est-size (ValueAtom 36961) expression) True) (= (est-size (ValueAtom 23566) library-cvterm) True) (= (est-size (ValueAtom 23484) library-cvtermprop) True) (= (est-size (ValueAtom 21252) cvtermprop) True) (= (est-size (ValueAtom 19798) libraryprop) True) (= (est-size (ValueAtom 18397) phenotype) True) (= (est-size (ValueAtom 17872) phenotype-cvterm) True) (= (est-size (ValueAtom 16618) humanhealth-dbxrefprop) True) (= (est-size (ValueAtom 16530) interaction-expressionprop) True) (= (est-size (ValueAtom 16319) humanhealth-pub) True) (= (est-size (ValueAtom 15401) library-synonym) True) (= (est-size (ValueAtom 15356) humanhealth-dbxref) True) (= (est-size (ValueAtom 15143) cell-line-feature) True) (= (est-size (ValueAtom 14973) libraryprop-pub) True) (= (est-size (ValueAtom 13695) interaction-expression) True) (= (est-size (ValueAtom 13219) interaction-cell-line) True) (= (est-size (ValueAtom 10721) library-pub) True) (= (est-size (ValueAtom 9871) library-relationship) True) (= (est-size (ValueAtom 9852) humanhealthprop-pub) True) (= (est-size (ValueAtom 9559) library-dbxref) True) (= (est-size (ValueAtom 8340) library-relationship-pub) True) (= (est-size (ValueAtom 7096) grp-pub) True) (= (est-size (ValueAtom 6720) cell-line-pub) True) (= (est-size (ValueAtom 6658) grp-relationship) True) (= (est-size (ValueAtom 6606) strain-synonym) True) (= (est-size (ValueAtom 5991) grp-synonym) True) (= (est-size (ValueAtom 5948) humanhealth-synonym) True) (= (est-size (ValueAtom 5786) strainprop) True) (= (est-size (ValueAtom 5784) strainprop-pub) True) (= (est-size (ValueAtom 5770) library) True) (= (est-size (ValueAtom 5544) grp-cvterm) True) (= (est-size (ValueAtom 5445) cell-line-synonym) True) (= (est-size (ValueAtom 5278) library-expression) True) (= (est-size (ValueAtom 5188) grpprop) True) (= (est-size (ValueAtom 5160) grpmember) True) (= (est-size (ValueAtom 4470) humanhealth-dbxrefprop-pub) True) (= (est-size (ValueAtom 4451) library-expressionprop) True) (= (est-size (ValueAtom 4416) grpprop-pub) True) (= (est-size (ValueAtom 4320) stock-cvterm) True) (= (est-size (ValueAtom 3833) library-dbxrefprop) True) (= (est-size (ValueAtom 3830) grpmemberprop) True) (= (est-size (ValueAtom 3778) genotype-cvterm) True) (= (est-size (ValueAtom 3745) humanhealth-featureprop) True) (= (est-size (ValueAtom 3722) library-strainprop) True) (= (est-size (ValueAtom 3722) library-strain) True) (= (est-size (ValueAtom 3626) humanhealth-feature) True) (= (est-size (ValueAtom 2642) grp-dbxref) True) (= (est-size (ValueAtom 2264) humanhealth-relationship) True) (= (est-size (ValueAtom 2221) humanhealth-relationship-pub) True) (= (est-size (ValueAtom 2094) strain-pub) True) (= (est-size (ValueAtom 2011) grp-relationship-pub) True) (= (est-size (ValueAtom 1940) strain-cvtermprop) True) (= (est-size (ValueAtom 1940) strain-cvterm) True) (= (est-size (ValueAtom 1815) grp) True) (= (est-size (ValueAtom 1778) strain-dbxref) True) (= (est-size (ValueAtom 1777) strain) True) (= (est-size (ValueAtom 1740) organism-dbxref) True) (= (est-size (ValueAtom 1644) feature-humanhealth-dbxref) True) (= (est-size (ValueAtom 1541) humanhealth-cvtermprop) True) (= (est-size (ValueAtom 1541) humanhealth-cvterm) True) (= (est-size (ValueAtom 1516) humanhealth) True) (= (est-size (ValueAtom 1301) cell-lineprop-pub) True) (= (est-size (ValueAtom 1292) cell-lineprop) True) (= (est-size (ValueAtom 1216) cell-line-dbxref) True) (= (est-size (ValueAtom 1199) cell-line-libraryprop) True) (= (est-size (ValueAtom 1082) cell-line-library) True) (= (est-size (ValueAtom 1014) organism-pub) True) (= (est-size (ValueAtom 822) organismprop) True) (= (est-size (ValueAtom 732) organismprop-pub) True) (= (est-size (ValueAtom 715) cell-line-cvterm) True) (= (est-size (ValueAtom 519) db) True) (= (est-size (ValueAtom 436) strain-relationship-pub) True) (= (est-size (ValueAtom 436) strain-relationship) True) (= (est-size (ValueAtom 321) cell-line) True) (= (est-size (ValueAtom 309) analysis) True) (= (est-size (ValueAtom 239) stockprop) True) (= (est-size (ValueAtom 172) cell-line-relationship) True) (= (est-size (ValueAtom 140) strain-featureprop) True) (= (est-size (ValueAtom 140) strain-feature) True) (= (est-size (ValueAtom 108) strain-phenotypeprop) True) (= (est-size (ValueAtom 97) humanhealth-pubprop) True) (= (est-size (ValueAtom 74) cell-line-cvtermprop) True) (= (est-size (ValueAtom 72) cv) True) (= (est-size (ValueAtom 55) strain-phenotype) True) (= (est-size (ValueAtom 41) environment) True) (= (est-size (ValueAtom 28) stockcollectionprop) True) (= (est-size (ValueAtom 27) contact) True) (= (est-size (ValueAtom 19) environment-cvterm) True) (= (est-size (ValueAtom 12) organism-library) True) (= (est-size (ValueAtom 8) stockcollection) True) (= (est-size (ValueAtom 2) lock) True) (= (est-size (ValueAtom 1) analysisgrp) True) (= (est-size (ValueAtom 1) analysisgrpmember) True) (= (est-size (ValueAtom 1) analysisprop) True) (= (est-size (ValueAtom 1) audit-chado) True) (= (est-size (ValueAtom 1) cell-line-strain) True) (= (est-size (ValueAtom 1) cell-line-strainprop) True) (= (est-size (ValueAtom 1) cvtermpath) True) (= (est-size (ValueAtom 1) eimage) True) (= (est-size (ValueAtom 1) expression-image) True) (= (est-size (ValueAtom 1) expression-pub) True) (= (est-size (ValueAtom 1) expressionprop) True) (= (est-size (ValueAtom 1) feature-cvterm-dbxref) True) (= (est-size (ValueAtom 1) feature-phenotype) True) (= (est-size (ValueAtom 1) featuremap) True) (= (est-size (ValueAtom 1) featuremap-pub) True) (= (est-size (ValueAtom 1) featurepos) True) (= (est-size (ValueAtom 1) featurerange) True) (= (est-size (ValueAtom 1) genotype-cvtermprop) True) (= (est-size (ValueAtom 1) genotype-pub) True) (= (est-size (ValueAtom 1) genotypeprop) True) (= (est-size (ValueAtom 1) genotypeprop-pub) True) (= (est-size (ValueAtom 1) grp-pubprop) True) (= (est-size (ValueAtom 1) grp-relationshipprop) True) (= (est-size (ValueAtom 1) grpmember-cvterm) True) (= (est-size (ValueAtom 1) grpmember-pub) True) (= (est-size (ValueAtom 1) grpmemberprop-pub) True) (= (est-size (ValueAtom 1) humanhealth-phenotype) True) (= (est-size (ValueAtom 1) humanhealth-phenotypeprop) True) (= (est-size (ValueAtom 1) interaction-cvtermprop) True) (= (est-size (ValueAtom 1) library-grpmember) True) (= (est-size (ValueAtom 1) library-humanhealth) True) (= (est-size (ValueAtom 1) library-humanhealthprop) True) (= (est-size (ValueAtom 1) organism-cvterm) True) (= (est-size (ValueAtom 1) organism-cvtermprop) True) (= (est-size (ValueAtom 1) organism-grpmember) True) (= (est-size (ValueAtom 1) project) True) (= (est-size (ValueAtom 1) stock-dbxref) True) (= (est-size (ValueAtom 1) stock-pub) True) (= (est-size (ValueAtom 1) stock-relationship) True) (= (est-size (ValueAtom 1) stock-relationship-pub) True) (= (est-size (ValueAtom 1) stockprop-pub) True) (= (est-size (ValueAtom 1) tableinfo) True) (= load-flybase-chado (:: (with-option (:: (= row-1-is-header True) (= max-per-file (ValueAtom 100000))) (load-flybase (StringValue "./data/tsv-exports/public/*.tsv"))))) (= load-flybase-files-ftp (sequential load-flybase-das-11 (load-flybase (StringValue "./data/ftp.flybase.net/releases/current/precomputed-files/alleles/fbal-to-fbgn-fb-*.tsv")) (load-flybase (StringValue "./data/ftp.flybase.net/releases/current/precomputed-files/clones/cDNA-clone-data-fb-*.tsv")) (load-flybase (StringValue "./data/ftp.flybase.net/releases/current/precomputed-files/clones/genomic-clone-data-fb-*.tsv")) (load-flybase (StringValue "./data/ftp.flybase.net/releases/current/precomputed-files/collaborators/fbgn-uniprot-fb-*.tsv")) (load-flybase (StringValue "./data/ftp.flybase.net/releases/current/precomputed-files/collaborators/pmid-fbgn-uniprot-fb-*.tsv")) (load-flybase (StringValue "./data/ftp.flybase.net/releases/current/precomputed-files/genes/automated-gene-summaries.tsv")) (load-flybase (StringValue "./data/ftp.flybase.net/releases/current/precomputed-files/genes/automated-gene-summaries-fb-*.tsv")) (load-flybase (StringValue "./data/ftp.flybase.net/releases/current/precomputed-files/genes/best-gene-summary-fb-*.tsv")) (load-flybase (StringValue "./data/ftp.flybase.net/releases/current/precomputed-files/genes/Dmel-enzyme-data-fb-*.tsv")) (load-flybase (StringValue "./data/ftp.flybase.net/releases/current/precomputed-files/genes/dmel-unique-protein-isoforms-fb-*.tsv")) (load-flybase (StringValue "./data/ftp.flybase.net/releases/current/precomputed-files/genes/fbgn-annotation-ID-fb-*.tsv")) (with-option (:: (= use-va True)) (load-flybase (StringValue "./data/ftp.flybase.net/releases/current/precomputed-files/genes/fbgn-exons2affy1-overlaps.tsv"))) (with-option (:: (= use-va True)) (load-flybase (StringValue "./data/ftp.flybase.net/releases/current/precomputed-files/genes/fbgn-exons2affy2-overlaps.tsv"))) (with-option (:: (= use-va false)) (load-flybase (StringValue "./data/ftp.flybase.net/releases/current/precomputed-files/genes/fbgn-fbtr-fbpp-fb-*.tsv"))) (load-flybase (StringValue "./data/ftp.flybase.net/releases/current/precomputed-files/genes/fbgn-gleanr-fb-*.tsv")) (load-flybase (StringValue "./data/ftp.flybase.net/releases/current/precomputed-files/genes/fbgn-NAseq-Uniprot-fb-*.tsv")) (load-flybase (StringValue "./data/ftp.flybase.net/releases/current/precomputed-files/genes/gene-functional-complementation-fb-*.tsv")) (load-flybase (StringValue "./data/ftp.flybase.net/releases/current/precomputed-files/genes/gene-group-data-fb-*.tsv")) (load-flybase (StringValue "./data/ftp.flybase.net/releases/current/precomputed-files/genes/gene-groups-HGNC-fb-*.tsv")) (load-flybase (StringValue "./data/ftp.flybase.net/releases/current/precomputed-files/genes/gene-rpkm-matrix-fb-*.tsv")) (load-flybase (StringValue "./data/ftp.flybase.net/releases/current/precomputed-files/genes/gene-rpkm-report-fb-*.tsv")) (load-flybase (StringValue "./data/ftp.flybase.net/releases/current/precomputed-files/genes/gene-snapshots-fb-*.tsv")) (load-flybase (StringValue "./data/ftp.flybase.net/releases/current/precomputed-files/genes/pathway-group-data-fb-*.tsv")) (load-flybase (StringValue "./data/ftp.flybase.net/releases/current/precomputed-files/insertions/fu-gal4-table-fb-*.json")) (load-flybase (StringValue "./data/ftp.flybase.net/releases/current/precomputed-files/insertions/insertion-mapping-fb-*.tsv")) (load-flybase (StringValue "./data/ftp.flybase.net/releases/current/precomputed-files/map-conversion/cyto-genetic-seq.tsv")) (load-flybase (StringValue "./data/ftp.flybase.net/releases/current/precomputed-files/map-conversion/cytotable.txt") tsv) (load-flybase (StringValue "./data/ftp.flybase.net/releases/current/precomputed-files/map-conversion/genome-cyto-seq.txt") tsv) (load-flybase (StringValue "./data/ftp.flybase.net/releases/current/precomputed-files/metadata/dataset-metadata-fb-*.tsv")) (load-flybase (StringValue "./data/ftp.flybase.net/releases/current/precomputed-files/orthologs/dmel-paralogs-fb-*.tsv")) (load-flybase (StringValue "./data/ftp.flybase.net/releases/current/precomputed-files/references/entity-publication-fb-*.tsv")) (load-flybase (StringValue "./data/ftp.flybase.net/releases/current/precomputed-files/species/organism-list-fb-*.tsv")) (load-flybase (StringValue "./data/ftp.flybase.net/releases/current/precomputed-files/stocks/stocks-FB*.tsv")) (load-flybase (StringValue "./data/ftp.flybase.net/releases/current/precomputed-files/synonyms/fb-synonym-fb-*.tsv")) (load-flybase (StringValue "./data/ftp.flybase.net/releases/current/precomputed-files/transposons/transposon-sequence-set.gff") tsv) no-more)) (= load-flybase-das-11 (sequential (load-flybase (StringValue "./data/ftp.flybase.net/releases/current/precomputed-files/*/fbgn-fbtr-fbpp-expanded-fb-*.tsv")) (load-flybase (StringValue "./data/ftp.flybase.net/releases/current/precomputed-files/*/physical-interactions-mitab-fb-*.tsv")) (load-flybase (StringValue "./data/ftp.flybase.net/releases/current/precomputed-files/*/dmel-gene-sequence-ontology-annotations-fb-*.tsv")) (load-flybase (StringValue "./data/ftp.flybase.net/releases/current/precomputed-files/*/gene-map-table-fb-*.tsv")) (load-flybase (StringValue "./data/ftp.flybase.net/releases/current/precomputed-files/*/ncRNA-genes-fb-*.json")) (load-flybase (StringValue "./data/ftp.flybase.net/releases/current/precomputed-files/*/gene-association-*.fb") tsv) (load-flybase (StringValue "./data/ftp.flybase.net/releases/current/precomputed-files/*/gene-genetic-interactions-fb-*.tsv")) (load-flybase (StringValue "./data/ftp.flybase.net/releases/current/precomputed-files/*/allele-genetic-interactions-fb-*.tsv")) (load-flybase (StringValue "./data/ftp.flybase.net/releases/current/precomputed-files/alleles/genotype-phenotype-data-fb-*.tsv")) (load-flybase (StringValue "./data/ftp.flybase.net/releases/current/precomputed-files/*/allele-phenotypic-data-fb-*.tsv")) (load-flybase (StringValue "./data/ftp.flybase.net/releases/current/precomputed-files/*/disease-model-annotations-fb-*.tsv")) (load-flybase (StringValue "./data/ftp.flybase.net/releases/current/precomputed-files/*/dmel-human-orthologs-disease-fb-*.tsv")) (load-flybase (StringValue "./data/ftp.flybase.net/releases/current/precomputed-files/*/fbrf-pmid-pmcid-doi-fb-*.tsv")) (format (StringValue "~n=================================================================================================")) (format (StringValue "~n=====================================Das Checkpoint==============================================")) (format (StringValue "~n=================================================================================================")) fb-stats (format (StringValue "~n=================================================================================================")) (format (StringValue "~n=================================================================================================")) (format (StringValue "~n=================================================================================================~n")) no-more)) (= load-flybase-obo-files (sequential (load-flybase (StringValue "./data/ftp.flybase.net/releases/current/precomputed-files/*/ncRNA-genes-fb-*.json")) (load-flybase (StringValue "./data/ftp.flybase.net/releases/current/precomputed-files/ontologies/chebi-fb-*.obo")) (load-flybase (StringValue "./data/ftp.flybase.net/releases/current/precomputed-files/ontologies/doid.obo")) (load-flybase (StringValue "./data/ftp.flybase.net/releases/current/precomputed-files/ontologies/fly-anatomy.obo")) (load-flybase (StringValue "./data/ftp.flybase.net/releases/current/precomputed-files/ontologies/fly-development.obo")) (load-flybase (StringValue "./data/ftp.flybase.net/releases/current/precomputed-files/ontologies/flybase-controlled-vocabulary.obo")) (load-flybase (StringValue "./data/ftp.flybase.net/releases/current/precomputed-files/ontologies/flybase-stock-vocabulary.obo")) (load-flybase (StringValue "./data/ftp.flybase.net/releases/current/precomputed-files/ontologies/gene-group-FB*.obo")) (load-flybase (StringValue "./data/ftp.flybase.net/releases/current/precomputed-files/ontologies/go-basic.obo")) (load-flybase (StringValue "./data/ftp.flybase.net/releases/current/precomputed-files/ontologies/image.obo")) (load-flybase (StringValue "./data/ftp.flybase.net/releases/current/precomputed-files/ontologies/psi-mi.obo")) (load-flybase (StringValue "./data/ftp.flybase.net/releases/current/precomputed-files/ontologies/slice.chebi.obo")) (load-flybase (StringValue "./data/ftp.flybase.net/releases/current/precomputed-files/ontologies/so-simple.obo")) no-more)) (= load-flybase-files (sequential (ftp-data $O) (with-cwd $O load-flybase-files-ftp))) (= load-flybase-dirs (sequential (load-flybase (StringValue "./data/ftp.flybase.net/releases/current/das-precomputed")) (load-flybase (StringValue "./data/ftp.flybase.net/releases/current/precomputed-files/*")) (load-flybase (StringValue "./data/ftp.flybase.net/releases/current/./*sv")) no-more)) (= load-flybase (sequential is-scryer no-more load-flybase-files)) (= load-flybase (sequential make recount-total-loaded-atoms no-more load-flybase-files no-more cleanup-arities no-more fb-stats)) (= recount-total-loaded-atoms (sequential (flag total-loaded-atoms $A10 (ValueAtom 0)) (full-atom-count $O) (flag total-loaded-atoms $B10 $O))) (= is-scryer (:: (missing (option-value libswipl $A10)))) (= (swi-only $A10) (sequential is-scryer no-more False)) (= (swi-only $O) (:: (call $O))) (= (fbdebug1 $O) (sequential (flush-output user-output) (flush-output user-error) (catch (portray-clause user-error $O ()) $A10 (catch-ignore (format user-error (StringValue "~n/* ~q. */~n") (:: $O)))) (flush-output user-error))) (= (fbug $O) (sequential (format (StringValue "~N")) (with-output-to user-error (pp-fb $O)) no-more)) (= (fbug (= $O $P)) (sequential (nonvar $O) no-more (fbdebug1 (:- $O $P)))) (= (fbug $O) (sequential (compound $O) (functor $O $P $A10) no-more (fbdebug1 (:- $P $O)))) (= (fbug $O) (:: (fbdebug1 (:- debug $O)))) (= (pp-fb1 $O) (sequential (pp-as $O) no-more)) (= (pp-fb1 $O) (sequential (print $O) no-more nl)) (= (pp-fb1 $O) (sequential (fbdebug1 $O) no-more nl)) (= (pp-fb $O) (sequential (format (StringValue "~N ")) (missing (missing (and (numbervars-w-singles $O) (pp-fb1 $O)))))) (= (numbervars-w-singles $O) (sequential (term-singletons $O $P) (numbervars $P (ValueAtom 260) $A10 (:: (attvar bind) (singletons false))) (numbervars $O (ValueAtom 14) $B10 (:: (attvar bind) (singletons True))))) (= (extreme-debug $A10) True) (= gc-now (sequential (set-option-value gc True) garbage-collect garbage-collect-atoms garbage-collect-clauses)) (= (call-sexpr $O) (:: (writeln (= call $O)))) (= (print-list-as-sexpression ()) True) (= (print-list-as-sexpression ([|] $O $P)) (sequential (write ) (pp-sex $O) (print-list-as-sexpression $P))) (= (write-args-as-sexpression ()) True) (= (write-args-as-sexpression ([|] $O $P)) (sequential (write ) (pp-sex $O) (write-args-as-sexpression $P))) (= (has-type $O $P) (sequential (sub-atom $O (ValueAtom 0) (ValueAtom 4) $Q $R) (flybase-identifier $R $P) no-more (> $Q (ValueAtom 0)))) (= (is-an-arg-type $O $P) (sequential (flybase-identifier $O $P) no-more)) (= (pp-sax $O) (sequential (is-englishy $O) no-more (format (StringValue "~w") (:: $O)))) (= (pp-sax $O) (sequential (missing allow-concepts) no-more (write $O))) (= (pp-sax $O) (sequential (atom-length $O (ValueAtom 1)) (atom-string $O $P) no-more (format (StringValue "(StringValue ~q)") (:: $P)))) (= (pp-sax $O) (sequential (is-an-arg-type $O $P) no-more (format (TypeNode "~w") (:: $P)))) (= (pp-sax $O) (sequential (has-type $O $P) no-more (format (~wValueNode "~w") (:: $P $O)))) (= (pp-sax $O) (sequential (sub-atom $O (ValueAtom 0) (ValueAtom 4) $P $Q) (flybase-identifier $Q $R) no-more (if-then-else (> $P (ValueAtom 0)) (format (~wValueNode "~w") (:: $R $O)) (format (TypeNode "~w") (:: $R))))) (= (pp-sax $O) (:: (format (ConceptNode "~w") (:: $O)))) (= (--aux-maplist/3-always-dash-functor+0 () ()) True) (= (--aux-maplist/3-always-dash-functor+0 ([|] $O $P) ([|] $Q $R)) (sequential (always-dash-functor $O $Q) (--aux-maplist/3-always-dash-functor+0 $P $R))) (= (dash-functor $O $P) (sequential (missing (atom $O)) no-more (= $P $O))) (= (dash-functor $O $P) (sequential (direct-mapping $O $Q) (\== $O $Q) no-more (always-dash-functor $Q $P))) (= (dash-functor $O $P) (sequential (atom $O) (atomic-list-concat $Q - $O) (\= $Q (:: $A10)) (--aux-maplist/3-always-dash-functor+0 $Q $R) (atomic-list-concat $R - $P))) (= (dash-functor $O $P) (sequential (atom $O) (atomic-list-concat $Q - $O) (\= $Q (:: $A10)) (--aux-maplist/3-always-dash-functor+0 $Q $R) (atomic-list-concat $R - $P))) (= (always-dash-functor $O $P) (sequential (-> (dash-functor $O $P) True) (\=@= $O $P) no-more)) (= (always-dash-functor $O $O) True) (= (pp-sex $O) (sequential (var $O) no-more (format $~p (:: $O)))) (= (pp-sex $O) (sequential (direct-mapping $O $P) (\== $O $P) no-more (pp-sex $P))) (= (pp-sex ()) (:: (format () ()))) (= (pp-sex ()) (sequential no-more (write ()))) (= (pp-sex (= $O $P)) (sequential allow-concepts no-more (format (StringValue "~N;; ~w == ~n") (:: $O)) no-more (pp-sex $P))) (= (pp-sex $O) (sequential (or (number $O) (or (and (atom $O) (atom-number $O $A10)) (is-dict $O))) no-more (format (ValueAtom ~w) (:: $O)))) (= (pp-sex $O) (sequential (atom $O) (always-dash-functor $O $P) (pp-sax $P) no-more)) (= (pp-sex $O) (sequential (string $O) no-more (format (StringValue "~w") (:: $O)))) (= (pp-sex $O) (sequential (missing (compound $O)) no-more (format ~p (:: $O)))) (= (pp-sex $O) (sequential (= $O $'$VAR'(A10)) no-more (format $~p (:: $O)))) (= (pp-sex (ListValue $O)) (sequential no-more (pp-sex (ListValue $O)))) (= (pp-sex (ListValue $O)) (sequential no-more (format (ListValue ~@) (:: (pp-sex $O))))) (= (pp-sex !$O) (sequential (write no-more) (pp-sex $O))) (= (pp-sex ([|] $O $P)) (sequential (is-list $P) no-more (write (:: ) (pp-sex $O) (print-list-as-sexpression $P) (write )))) (= (pp-sex $O) (sequential (equals-ListMappingFn $O ([|] $P $Q)) (always-dash-functor $P $R) (format (~w (:: $R)) (write-args-as-sexpression $Q) (write )) no-more)) (= (pp-sex $O) (sequential allow-concepts (equals-ListMappingFn $O ([|] $P $Q)) (format (StringValue "(EvaluationLink (PredicateNode "~w") (ListLink ") (:: $P)) (write-args-as-sexpression $Q) (write ))) no-more)) (= (pp-sex $O) (sequential (equals-ListMappingFn $O ([|] $P $Q)) (always-dash-functor $P $R) (format (~w (:: $R)) (write-args-as-sexpression $Q) (write )) no-more)) (= (pp-as $O) (:: (missing (missing (pp-sex $O))))) (= (print-hb-as-metta $O) (:: (with-option (= concepts false) (pp-fb $O)))) (= (print-hb-as-metta $O $P) (sequential (== $P True) no-more (print-hb-as-metta (= $O True)))) (= (print-hb-as-metta $O $P) (sequential (== $P false) no-more (print-hb-as-metta (= $O False)))) (= (print-hb-as-metta $O $P) (sequential (conjuncts-to-list $P $Q) (into-sequential $Q $R) no-more (print-hb-as-metta (= $O $R)))) (= (print-pred-as-metta $O $P) (sequential (functor $Q $O $P) nl nl nl (missing (and (clause $Q $R) (missing (print-hb-as-metta $Q $R)))))) (= (print-pred-as-metta (/ $O $P)) (sequential no-more (print-pred-as-metta $O $P))) (= (print-pred-as-metta $O) (sequential (functor $O $P $Q) (print-pred-as-metta $P $Q))) (= print-pred-as-metta (sequential mmake (missing (and (source-file $O $P) (and (atom-contains $P flybase) (missing (print-pred-as-metta $O))))))) (= (direct-mapping no-more no-more) True) (= (direct-mapping False False) True) (= (direct-mapping True True) True) (= (direct-mapping meTTa meTTa) True) (= (direct-mapping or or) True) (= (direct-mapping (if-then-else $O $P $Q) (if-then-else $O $P $Q)) True) (= (direct-mapping and and) True) (= (direct-mapping missing missing) True) (= (direct-mapping equals-ListMappingFn equals-ListMappingFn) True) (= allow-concepts (sequential (option-else concepts $O True) (missing (= $O false)))) (= (skipped-anotations fbgn-exons2affy1-overlaps) True) (= (skipped-anotations gene-rpkm-matrix) True) (= (skipped-anotations dmel-gene-sequence-ontology-annotations) True) (= (skipped-anotations fbgn-annotation-ID) True) (= (safe $O) (:: (safe $O (/ safe (ValueAtom 1))))) (= (safe $O $P) (:: (catch $O $Q (and (catch-ignore (portray-clause (: exception (: $Q (:- $P $O))))) (throw $Q))))) (= (must-det-ll-r (and $O $P)) (sequential (if-then-else (call $O) True True) no-more (must-det-ll-r $P))) (= (must-det-ll-r $O) (sequential (call $O) no-more)) (= (primary-column fb-synonym primary-FBid) True) (= (primary-column gene-genetic-interactions Starting-gene-FBgn) True) (= (primary-column gene-rpkm-matrix gene-primary-id) True) (= (primary-column gene-rpkm-report FBgn) True) (= (primary-column genotype-phenotype-data genotype-FBids) True) (= (primary-column pmid-fbgn-uniprot FBgn-id) True) (= (primary-column scRNA-Seq-gene-expression Gene-ID) True) (= (primary-column allele-genetic-interactions allele-FBal) True) (= (primary-column fbgn-exons2affy1-overlaps FBgn) True) (= (primary-column fbgn-exons2affy2-overlaps FBgn) True) (= (primary-column dataset-metadata Item-ID) True) (= (primary-column dmel-paralogs Paralog-FBgn) True) (= (column-names-ext pmid-fbgn-uniprot (:: FBrf-id PMID FBgn-id UniProt-database UniProt-id)) True) (= (column-names-ext gene-genetic-interactions (:: (ListValue Starting-gene-symbol) (ListValue Starting-gene-FBgn) (ListValue Interacting-gene-symbol) (ListValue Interacting-gene-FBgn) Interaction-type Publication-FBrf)) True) (= (column-names-ext gene-rpkm-matrix (:: gene-primary-id gene-symbol gene-fullname gene-type BCM-1-E2-4hr-(FBlc0000061) BCM-1-E14-16hr-(FBlc0000062) BCM-1-E2-16hr-(FBlc0000063) BCM-1-E2-16hr100-(FBlc0000064) BCM-1-L3i-(FBlc0000065) BCM-1-L3i100-(FBlc0000066) BCM-1-P3d-(FBlc0000067) BCM-1-FA3d-(FBlc0000068) BCM-1-MA3d-(FBlc0000069) BCM-1-P-(FBlc0000070) BCM-1-L-(FBlc0000071) BCM-1-A17d-(FBlc0000072) mE-mRNA-em0-2hr-(FBlc0000086) mE-mRNA-em2-4hr-(FBlc0000087) mE-mRNA-em4-6hr-(FBlc0000088) mE-mRNA-em6-8hr-(FBlc0000089) mE-mRNA-em8-10hr-(FBlc0000090) mE-mRNA-em10-12hr-(FBlc0000091) mE-mRNA-em12-14hr-(FBlc0000092) mE-mRNA-em14-16hr-(FBlc0000093) mE-mRNA-em16-18hr-(FBlc0000094) mE-mRNA-em18-20hr-(FBlc0000095) mE-mRNA-em20-22hr-(FBlc0000096) mE-mRNA-em22-24hr-(FBlc0000097) mE-mRNA-L1-(FBlc0000098) mE-mRNA-L2-(FBlc0000099) mE-mRNA-L3-12hr-(FBlc0000100) mE-mRNA-L3-PS1-2-(FBlc0000101) mE-mRNA-L3-PS3-6-(FBlc0000102) mE-mRNA-L3-PS7-9-(FBlc0000103) mE-mRNA-WPP-(FBlc0000104) mE-mRNA-P5-(FBlc0000105) mE-mRNA-P6-(FBlc0000106) mE-mRNA-P8-(FBlc0000107) mE-mRNA-P9-10-(FBlc0000108) mE-mRNA-P15-(FBlc0000109) mE-mRNA-AdF-Ecl-1days-(FBlc0000110) mE-mRNA-AdF-Ecl-5days-(FBlc0000111) mE-mRNA-AdF-Ecl-30days-(FBlc0000112) mE-mRNA-AdM-Ecl-1days-(FBlc0000113) mE-mRNA-AdM-Ecl-5days-(FBlc0000114) mE-mRNA-AdM-Ecl-30days-(FBlc0000115) mE-mRNA-A-MateF-1d-head-(FBlc0000207) mE-mRNA-A-MateF-4d-ovary-(FBlc0000208) mE-mRNA-A-MateM-1d-head-(FBlc0000209) mE-mRNA-A-VirF-1d-head-(FBlc0000210) mE-mRNA-A-VirF-4d-head-(FBlc0000211) mE-mRNA-A-MateF-20d-head-(FBlc0000212) mE-mRNA-A-MateF-4d-head-(FBlc0000213) mE-mRNA-A-MateM-20d-head-(FBlc0000214) mE-mRNA-A-MateM-4d-acc-gland-(FBlc0000215) mE-mRNA-A-MateM-4d-head-(FBlc0000216) mE-mRNA-A-MateM-4d-testis-(FBlc0000217) mE-mRNA-A-1d-carcass-(FBlc0000218) mE-mRNA-A-1d-dig-sys-(FBlc0000219) mE-mRNA-A-20d-carcass-(FBlc0000220) mE-mRNA-A-20d-dig-sys-(FBlc0000221) mE-mRNA-A-4d-carcass-(FBlc0000222) mE-mRNA-A-4d-dig-sys-(FBlc0000223) mE-mRNA-P8-CNS-(FBlc0000224) mE-mRNA-L3-CNS-(FBlc0000225) mE-mRNA-L3-Wand-carcass-(FBlc0000226) mE-mRNA-L3-Wand-dig-sys-(FBlc0000227) mE-mRNA-L3-Wand-fat-(FBlc0000228) mE-mRNA-L3-Wand-imag-disc-(FBlc0000229) mE-mRNA-L3-Wand-saliv-(FBlc0000230) mE-mRNA-A-VirF-20d-head-(FBlc0000231) mE-mRNA-A-VirF-4d-ovary-(FBlc0000232) mE-mRNA-WPP-fat-(FBlc0000233) mE-mRNA-WPP-saliv-(FBlc0000234) mE-mRNA-P8-fat-(FBlc0000235) mE-mRNA-A-4d-Cold1-(FBlc0000237) mE-mRNA-A-4d-Cold2-(FBlc0000238) mE-mRNA-L3-Cu-0.5mM-(FBlc0000239) mE-mRNA-L3-late-Zn-5mM-(FBlc0000240) mE-mRNA-A-4d-Cu-15mM-(FBlc0000241) mE-mRNA-A-4d-Zn-4.5mM-(FBlc0000242) mE-mRNA-A-4d-Caffeine-25mg/ml-(FBlc0000243) mE-mRNA-A-4d-Caffeine-2.5mg/ml-(FBlc0000244) mE-mRNA-L3-Caffeine-1.5mg/ml-(FBlc0000245) mE-mRNA-A-4d-Cd-0.1M-(FBlc0000246) mE-mRNA-A-4d-Cd-0.05M-(FBlc0000247) mE-mRNA-L3-Cd-12h-(FBlc0000248) mE-mRNA-L3-Cd-6hr-(FBlc0000249) mE-mRNA-A-4d-Paraquat-5mM-(FBlc0000250) mE-mRNA-A-4d-Paraquat-10mM-(FBlc0000251) mE-mRNA-L3-Rotenone-8ug-(FBlc0000252) mE-mRNA-L3-Rotenone-2ug-(FBlc0000253) mE-mRNA-L3-EtOH-10-(FBlc0000254) mE-mRNA-L3-EtOH-5-(FBlc0000255) mE-mRNA-L3-EtOH-2.5-(FBlc0000256) mE-mRNA-A-4d-Heatshock-(FBlc0000257) mE-mRNA-A-10d-Resveratrol-100uM-(FBlc0000672) mE-mRNA-A-10d-Rotenone-Starved-(FBlc0000673) mE-mRNA-F-Sindbis-virus-(FBlc0000674) mE-mRNA-L-Sindbis-virus-(FBlc0000675) mE-mRNA-M-Sindbis-virus-(FBlc0000676) mE-mRNA-P-Sindbis-virus-(FBlc0000677) mE-mRNA-CME-W2-cells-(FBlc0000261) mE-mRNA-GM2-cells-(FBlc0000262) mE-mRNA-mbn2-cells-(FBlc0000263) mE-mRNA-BG2-c2-cells-(FBlc0000264) mE-mRNA-D20-c5-cells-(FBlc0000265) mE-mRNA-S3-cells-(FBlc0000266) mE-mRNA-1182-4H-cells-(FBlc0000267) mE-mRNA-CME-L1-cells-(FBlc0000268) mE-mRNA-Kc167-cells-(FBlc0000269) mE-mRNA-BG1-c1-cells-(FBlc0000270) mE-mRNA-D11-cells-(FBlc0000271) mE-mRNA-D16-c3-cells-(FBlc0000272) mE-mRNA-D17-c3-cells-(FBlc0000273) mE-mRNA-D21-cells-(FBlc0000274) mE-mRNA-D32-cells-(FBlc0000275) mE-mRNA-D4-c1-cells-(FBlc0000276) mE-mRNA-D8-cells-(FBlc0000277) mE-mRNA-D9-cells-(FBlc0000278) mE-mRNA-S1-cells-(FBlc0000279) mE-mRNA-S2R+-cells-(FBlc0000280) mE-mRNA-Sg4-cells-(FBlc0000281) mE-mRNA-OSS-cells-(FBlc0000282) mE-mRNA-OSC-cells-(FBlc0000283) mE-mRNA-fGS-cells-(FBlc0000284) Knoblich-mRNA-L3-CNS-neuroblast-(FBlc0000505) Knoblich-mRNA-L3-CNS-neuron-(FBlc0000506) RNA-Seq-Profile-FlyAtlas2-Adult-Female-Brain-(FBlc0003619) RNA-Seq-Profile-FlyAtlas2-Adult-Female-Crop-(FBlc0003620) RNA-Seq-Profile-FlyAtlas2-Adult-Female-Carcass-(FBlc0003621) RNA-Seq-Profile-FlyAtlas2-Adult-Female-Eye-(FBlc0003622) RNA-Seq-Profile-FlyAtlas2-Adult-Female-FatBody-(FBlc0003623) RNA-Seq-Profile-FlyAtlas2-Adult-Female-Head-(FBlc0003624) RNA-Seq-Profile-FlyAtlas2-Adult-Female-Hindgut-(FBlc0003625) RNA-Seq-Profile-FlyAtlas2-Adult-Female-Midgut-(FBlc0003626) RNA-Seq-Profile-FlyAtlas2-Adult-Female-Ovary-(FBlc0003627) RNA-Seq-Profile-FlyAtlas2-Adult-Female-RectalPad-(FBlc0003628) RNA-Seq-Profile-FlyAtlas2-Adult-Female-SalivaryGland-(FBlc0003629) RNA-Seq-Profile-FlyAtlas2-Adult-Female-ThoracicoAbdominalGanglion-(FBlc0003630) RNA-Seq-Profile-FlyAtlas2-Adult-Female-MalpighianTubule-(FBlc0003631) RNA-Seq-Profile-FlyAtlas2-Adult-Female-Mated-Spermathecum-(FBlc0003632) RNA-Seq-Profile-FlyAtlas2-Adult-Female-Virgin-Spermathecum-(FBlc0003633) RNA-Seq-Profile-FlyAtlas2-Adult-Female-Whole-(FBlc0003634) RNA-Seq-Profile-FlyAtlas2-Adult-Male-Brain-(FBlc0003635) RNA-Seq-Profile-FlyAtlas2-Adult-Male-Crop-(FBlc0003636) RNA-Seq-Profile-FlyAtlas2-Adult-Male-Carcass-(FBlc0003637) RNA-Seq-Profile-FlyAtlas2-Adult-Male-Eye-(FBlc0003638) RNA-Seq-Profile-FlyAtlas2-Adult-Male-FatBody-(FBlc0003639) RNA-Seq-Profile-FlyAtlas2-Adult-Male-Head-(FBlc0003640) RNA-Seq-Profile-FlyAtlas2-Adult-Male-Hindgut-(FBlc0003641) RNA-Seq-Profile-FlyAtlas2-Adult-Male-Midgut-(FBlc0003642) RNA-Seq-Profile-FlyAtlas2-Adult-Male-RectalPad-(FBlc0003643) RNA-Seq-Profile-FlyAtlas2-Adult-Male-SalivaryGland-(FBlc0003644) RNA-Seq-Profile-FlyAtlas2-Adult-Male-ThoracicoAbdominalGanglion-(FBlc0003645) RNA-Seq-Profile-FlyAtlas2-Adult-Male-MalpighianTubule-(FBlc0003646) RNA-Seq-Profile-FlyAtlas2-Adult-Male-Testis-(FBlc0003647) RNA-Seq-Profile-FlyAtlas2-Adult-Male-AccessoryGland-(FBlc0003648) RNA-Seq-Profile-FlyAtlas2-Adult-Male-Whole-(FBlc0003649) RNA-Seq-Profile-FlyAtlas2-L3-CNS-(FBlc0003650) RNA-Seq-Profile-FlyAtlas2-L3-FatBody-(FBlc0003651) RNA-Seq-Profile-FlyAtlas2-L3-Hindgut-(FBlc0003652) RNA-Seq-Profile-FlyAtlas2-L3-MalpighianTubule-(FBlc0003653) RNA-Seq-Profile-FlyAtlas2-L3-Midgut-(FBlc0003654) RNA-Seq-Profile-FlyAtlas2-L3-SalivaryGland-(FBlc0003655) RNA-Seq-Profile-FlyAtlas2-L3-Trachea-(FBlc0003656) RNA-Seq-Profile-FlyAtlas2-L3-Carcass-(FBlc0003657) RNA-Seq-Profile-FlyAtlas2-L3-Whole-(FBlc0003658) RNA-Seq-Profile-FlyAtlas2-Adult-Female-Heart-(FBlc0003724) RNA-Seq-Profile-FlyAtlas2-Adult-Male-Heart-(FBlc0003725))) True) (= (whs ([|] () $O) $P) (sequential no-more (= $Q $O) (whs $Q $P))) (= (whs $O $P) (:: (= $O $P))) (= (named-like-string ([|] $O $P) ([|] $O $Q) $R) (sequential (missing (member $O (:: ))) (= $S $Q) (named-like-string $P $S $R))) (= (named-like-string () $O $P) (:: (= $O $P))) (= (string-until-end-quote () ([|] " $O) $P) (sequential no-more (= $P $O))) (= (string-until-end-quote ([|] $O $P) $Q $R) (sequential (or (= $Q ([|] \ ([|] $O $S))) (= $Q ([|] $O $S))) no-more (= $T $S) (string-until-end-quote $P $T $R))) (= (symbol-or-url ([|] $O $P) ([|] $O $Q) $R) (sequential (missing (member $O (:: and [ ] " ))) (= $S $Q) (symbol-or-url $P $S $R))) (= (symbol-or-url () $O $P) (:: (= $O $P))) (= (id-like-string ([|] $O $P) ([|] $O $Q) $R) (sequential (missing (member $O (:: no-more and [ ] { } "))) (= $S $Q) (id-like-string $P $S $R))) (= (id-like-string () $O $P) (:: (= $O $P))) (= (key-like-string ([|] $O $P) ([|] $O $Q) $R) (sequential (missing (member $O (:: : ))) (= $S $Q) (key-like-string $P $S $R))) (= (key-like-string () $O $P) (:: (= $O $P))) (= (item $O $P $Q) (sequential (symbol-or-url $R $P $S) (\== $R ()) (atom-chars $O $R) (= $Q $S))) (= (items ([|] $O $P) $Q $R) (sequential (item $O $Q $S) (whs $S $T) (= $T ([|] and $U)) (whs $U $V) (items $P $V $R))) (= (items (:: $O) $P $Q) (sequential (item $O $P $R) no-more (= $Q $R))) (= (get-one-item $O ([|] $P) $Q) (sequential no-more (= $R $P) (get-one-item $O $R $Q))) (= (get-one-item (quoted $O) ([|] x ([|] s ([|] d ([|] : $P)))) $Q) (sequential (symbol-or-url $R $P $S) (atom-chars $O ([|] x ([|] s ([|] d ([|] : $R))))) (= $Q $S))) (= (get-one-item (quoted $O) ([|] h ([|] t ([|] t ([|] p $P)))) $Q) (sequential (symbol-or-url $R $P $S) (string-chars $O ([|] h ([|] t ([|] t ([|] p $R))))) (= $Q $S))) (= (get-one-item (quoted $O) ([|] f ([|] t ([|] p $P))) $Q) (sequential (symbol-or-url $R $P $S) (string-chars $O ([|] f ([|] t ([|] p $R)))) (= $Q $S))) (= (get-one-item (quoted $O) ([|] " $P) $Q) (sequential (string-until-end-quote $R $P $S) (string-chars $O $R) (= $Q $S))) (= (get-one-item (named $O) ([|] no-more $P) $Q) (sequential (whs $P $R) (named-like-string $S $R $T) (atom-chars $O $S) (= $Q $T))) (= (get-one-item (bracketed $O) ([|] [ $P) $Q) (sequential (whs $P $R) (items $O $R $S) (whs $S $T) (= $T ([|] ] $Q)))) (= (get-one-item (bracketed $O) ([|] { $P) $Q) (sequential (whs $P $R) (items $O $R $S) (whs $S $T) (= $T ([|] } $Q)))) (= (get-one-item (keyword $O) $P $Q) (sequential (whs $P $R) (id-like-string $S $R $T) (\== $S ()) (= $U $T) (whs $U $V) (atom-chars $O $S) (= $Q $V))) (= (get-one-item (text $O) $P $Q) (sequential (named-like-string $R $P $S) (string-chars $O $R) (= $Q $S))) (= (get-one-item (text $O) ([|] $P $Q) ()) (sequential (ground ([|] $P $Q)) (string-chars $O ([|] $P $Q)) no-more)) (= (get-some-items $O ([|] $P) $Q) (sequential no-more (= $R $P) (get-some-items $O $R $Q))) (= (get-some-items $A10 () ()) (:: no-more)) (= (get-some-items ([|] $O $P) $Q $R) (sequential (get-one-item $O $Q $S) (get-some-items $P $S $R))) (= (get-some-items () $O $P) (:: (= $O $P))) (= (get-key $O $P $Q) (sequential (key-like-string $R $P $S) (= $S ([|] : $T)) (atom-chars $O $R) (= $U $T) no-more (= $Q $U))) (= (process-rest-line $O $P id $Q $A10) (sequential (get-some-items (:: (item $P)) $Q ()) no-more (assert-OBO id-type $P $O) no-more)) (= (process-rest-line $A10 $O $P $B10 $Q) (sequential (member $P (:: name comment)) (assert-OBO $P $O $Q) no-more)) (= (process-rest-line $O $P relationship $Q $A10) (sequential no-more (must-det-ll (key-like-string $R $Q $S)) (must-det-ll (atom-chars $T $R)) (must-det-ll (into-rest $S $U $V)) (must-det-ll (process-rest-line $O $P $T $U $V)))) (= (process-rest-line $A10 $O $P $Q $B10) (sequential (missing (and (member $R $Q) (member $R (:: no-more [ ")))) (if-then-else (missing (member $Q)) (atom-chars $S $Q) (string-chars $S $Q)) (assert-OBO $P $O $S) no-more)) (= (process-rest-line $A10 $O is-a $P $Q) (sequential (member no-more $P) (atomic-list-concat (:: $R $S) no-more $Q) (normalize-space (atom $T) $R) (normalize-space (string $U) $S) (assert-OBO is-a $O $T) (assert-OBO name $T $U) no-more)) (= (process-rest-line $A10 $O $P $Q $B10) (sequential (get-some-items $R $Q ()) (--aux-maplist/3-arg+1 $R $S (ValueAtom 1)) (equals-ListMappingFn $T ([|] $P ([|] $O $S))) (assert-OBO $T) no-more)) (= (process-rest-line $O $P $Q $R $S) (sequential (pp-fb (process-rest-line $O $P $Q $R $S)) no-more)) (= (process-stream-chars $A10 $B10 (:: e n d - o f - f i l e) $C10) (:: no-more)) (= (process-stream-chars $O $A10 () $B10) (sequential no-more (process-stream $O $C10 $D10))) (= (process-stream-chars $O $A10 ([|] [ $P) $B10) (sequential no-more (must-det-ll (append $Q (:: ]) $P)) (must-det-ll (atom-chars $R $Q)) no-more (must-det-ll (nb-setval obo-type $R)) (must-det-ll (flag loaded-from-file $S (+ $S (ValueAtom 1)))) (must-det-ll (nop (process-stream $O $R $C10))))) (= (process-stream-chars $O $P $Q $A10) (sequential (get-key $R $Q $S) (== $R id) (into-rest $S $T $B10) (atom-chars $U $T) (assert-OBO id-type $U $P) (nb-setval obo-id $U) (nb-setval obo-type $P) (nop (process-stream $O $P $U)))) (= (process-stream-chars $O $P $Q $R) (sequential (must-det-ll (get-key $S $Q $T)) (must-det-ll (into-rest $T $U $V)) (must-det-ll (process-rest-line $P $R $S $U $V)) (nop (process-stream $O $P $R)))) (= (into-rest $O $P $Q) (sequential (string-chars $R $O) (normalize-space (chars $P) $R) (string-chars $Q $P))) (= (process-stream $O $A10 $B10) (sequential (or (at-end-of-stream $O) reached-file-max) no-more)) (= (process-stream $O $P $Q) (sequential (must-det-ll (read-line-to-string $O $R)) (must-det-ll (normalize-space (chars $S) $R)) (must-det-ll (process-stream-chars $O $P $S $Q)))) (= (process-stream-repeat $O) (sequential repeat (nb-current obo-type $P) (nb-current obo-id $Q) (-> (and (read-line-to-string $O $R) (and (if-then-else should-show-data (writeln $R) True) (normalize-space (chars $S) $R))) True) (\== $S ()) (-> (process-stream-chars $O $P $S $Q) True) (if-then-else (or (at-end-of-stream $O) reached-file-max) no-more False))) (= (--aux-maplist/2-load-obo+0 ()) True) (= (--aux-maplist/2-load-obo+0 ([|] $O $P)) (sequential (load-obo $O) (--aux-maplist/2-load-obo+0 $P))) (= (load-obo $O) (sequential (missing (atomic $O)) (absolute-file-name $O $P (:: (read exists) (extension (:: ())) (file-type directory) (file-errors False) (solutions first))) no-more (load-obo $P))) (= (load-obo $O) (sequential (missing (atomic $O)) no-more (absolute-file-name $O $P (:: (read exists) (extension (:: ())) (file-errors False) (solutions first))) no-more (load-obo $P))) (= (load-obo $O) (sequential (atomic $O) (missing (exists-file $O)) (expand-file-name $O $P) (\== $P ()) (\== $P (:: $O)) (--aux-maplist/2-load-obo+0 $P))) (= (load-obo $O) (sequential (atomic $O) (exists-directory $O) (directory-file-path $O (StringValue "*.obo") $P) (expand-file-name $P $Q) no-more (--aux-maplist/2-load-obo+0 $Q))) (= (load-obo $O) (sequential (must-det-ll (directory-file-path $P $Q $O)) (must-det-ll (file-name-extension $R $A10 $Q)) (must-det-ll (= $S OntologyFile)) (must-det-ll (assert-OBO id-type $R $S)) (must-det-ll (nb-setval obo-id $R)) (must-det-ll (nb-setval obo-type $S)) (must-det-ll (assert-OBO pathname $R $O)) no-more (must-det-ll (assert-OBO basename $R $Q)) no-more (must-det-ll (assert-OBO directory $R $P)) no-more (setup-call-cleanup (must-det-ll (open $O read $T)) (must-det-ll (process-stream-repeat $T)) (must-det-ll (close $T))) fb-stats)) (= load-obo (sequential make (load-obo (StringValue "./reqs/obonet/tests/data/*.obo")) (load-obo (StringValue "./data/ftp.flybase.net/releases/current/precomputed-files/*/*.obo")))) (= (assert-OBO $O) (sequential heartbeat (functor $O $P $Q) (>= $Q (ValueAtom 2)) (< $Q (ValueAtom 700)) (decl-fb-pred $P $Q) (loaded-from-file $R) (equals-ListMappingFn $O ([|] $P $S)) (make-assertion $P $S $T $U) no-more (if-then-else (call $T) True (and (assert $T) (and (flag total-loaded-atoms $V (+ $V (ValueAtom 1))) (if-then-else (and should-show-data (and nl (and nl (and (fbug (= (newData $R) $T)) (if-then-else (and (\== $U $S) (fbug (= (oldData $R) $U))) True True))))) True True)))) no-more)) (= (assert-OBO $O $P $Q) (:: (assert-OBO (ontology-info $O $P $Q)))) (= should-show-data (sequential (loaded-from-file $O) (-> (or (and (=< $O (ValueAtom 13)) (>= $O (ValueAtom 10))) (and (> $O (ValueAtom 0)) (is (ValueAtom 0) (rem $O (ValueAtom 1000000))))) True) (format user-error ~N ()) (format user-output ~N ()))) (= should-sample (sequential (-> (or (option-value samples-per-million $O) (= $O (ValueAtom 50))) True) (loaded-from-file $P) (is $Q (mod $P (ValueAtom 1000000))) (>= $Q (ValueAtom 0)) (=< $Q $O))) (= reached-file-max (sequential (loaded-from-file $O) (option-value max-per-file $P) (>= $O $P))) (= should-cache (sequential (loaded-from-file $O) (option-else max-disk-cache $P (ValueAtom 1000)) (=< $O $P))) (= (loaded-from-file $O) (:: (flag loaded-from-file $O $O))) (= (decl-fb-pred $O $P) (:: (if-then-else (fb-pred $O $P) True (and (dynamic (/ $O $P)) (assert (fb-pred $O $P)))))) (= (decl-m-fb-pred $O $P $Q) (:: (if-then-else (mod-f-a $O $P $Q) True (and (dynamic (: $O (/ $P $Q))) (assert (mod-f-a $O $P $Q)))))) (= (match (:: $O)) (sequential no-more (call $O))) (= (match ([|] $O $P)) (sequential no-more (call $O) (match $P))) (= (match $O) (:: (call $O))) (= cleanup-arities (:: (missing (and (fb-pred $O (ValueAtom 2)) (and (fb-pred $O $P) (and (> $P (ValueAtom 2)) (missing (retract (fb-pred $O (ValueAtom 2)))))))))) (= (assert-progress $O $P) (sequential (equals-ListMappingFn $P (:: $Q $R $S)) (@> $R $S) no-more (equals-ListMappingFn $T (:: $Q $S $R)) no-more (assert-progress $O $T))) (= (assert-progress $O $P) (sequential (call $P) no-more (pp-fb (= (already $O) $P)))) (= (assert-progress $O $P) (sequential (pp-fb (= (assert-progress $O) $P)) (assert $P))) (= (into-len $O (ValueAtom 0)) (sequential (var $O) no-more)) (= (into-len $O $P) (sequential (missing (string $O)) no-more (sformat $Q (StringValue "~w") (:: $O)) (into-len $Q $P))) (= (into-len $O (+ (ValueAtom 0) $O)) (:: (atom-contains $O (StringValue " ")))) (= (into-len $O (+ $P $O)) (sequential (atom-length $O $Q) (if-then-else (== $Q (ValueAtom 11)) (= $P (ValueAtom 0)) (is $P (- $Q))))) (= (longest-first $O $P $Q) (sequential (into-len $P $R) (into-len $Q $S) (compare $O $S $R))) (= (extract-concepts $O $P) (sequential (findall $Q (and (sub-term $Q $O) (and (atomic $Q) (good-concept $Q))) $R) (predsort longest-first $R $P))) (= (some-english $O) (:: (if-then-else (and (fb-arg-table-n $P $Q $R) (and (missing (no-english $Q $R)) (and (is-englishy $P) (and (make-atom $Q $R $S $T) (and (arg $U $S $O) (and (\== $U $R) (and (call $S) (and (\== $T ()) (and no-more (pp-fb (= $O $T))))))))))) True True))) (= (is-englishy $O) (sequential (missing (atom $O)) (missing (string $O)) no-more False)) (= (is-englishy $O) (:: (split-string $O (StringValue ". ") (StringValue " ") ([|] $A10 ([|] $B10 ([|] $C10 $D10)))))) (= (is-englishy $O) (:: (atom-contains $O (StringValue ". ")))) (= (--aux-maplist/2-some-english+0 ()) True) (= (--aux-maplist/2-some-english+0 ([|] $O $P)) (sequential (some-english $O) (--aux-maplist/2-some-english+0 $P))) (= (maybe-english $A10 $O) (sequential (select $P $O $Q) (is-englishy $P) (member $R $Q) (is-englishy $R) no-more (pp-fb (= english (:: $P $R))))) (= (maybe-english $A10 $O) (sequential (pp-fb (= concepts $O)) (--aux-maplist/2-some-english+0 $O))) (= (maybe-english $O) (sequential (extract-concepts $O $P) no-more (if-then-else (maybe-english $O $P) True True) no-more)) (= (no-english fbrf-pmid-pmcid-doi $A10) True) (= (no-english physical-interactions-mitab (ValueAtom 8)) True) (= (try-overlaps $O) (sequential (synth-query $O $P) (missing (missing (and (match $P) (and (pp-fb (= grounded $P)) (if-then-else (maybe-english $P) True True))))) nl nl (pp-fb (= ungrounded !$P)) nl nl nl)) (= try-overlaps (:: (try-overlaps (ValueAtom 5)))) (= (ok-if-dupped best-gene-summary) True) (= (make-atom $O) (sequential (fb-pred-g $P $Q) (functor $O $P $Q))) (= (all-dif-functors $O) (:: (missing (and (select $P $O $Q) (and (member $R $Q) (and (functor $P $S $A10) (and (functor $R $T $B10) (and (== $S $T) (missing (ok-if-dupped $S)))))))))) (= (synth-query $A10 (ValueAtom 1) (:: $O)) (sequential no-more (make-atom $O))) (= (synth-query $O $P ([|] $Q ([|] $R $S))) (sequential (is $T (+ $P (ValueAtom -1))) (synth-conj $O $Q $R) (if-then-else (> $T (ValueAtom 1)) (dif $O $U) True) (synth-query $U $T ([|] $R $S)) (all-dif-functors ([|] $Q ([|] $R $S))))) (= (synth-query $O $P) (:: (synth-query $A10 $O $P))) (= (synth-conj $O $P $Q) (sequential (maybe-corisponds (ConceptMapFn $R $S $T) (ConceptMapFn $U $V $W)) (make-atom $T $S $P $X) (make-atom $W $V $Q $Y) (\=@= $T $W) (skip $R) (skip $U) (= $X $Y) (= $O $X))) (= (make-atom $O $P $Q $R) (sequential (fb-pred-g $O $S) (functor $Q $O $S) (arg $P $Q $R))) (= (table-column-type $O $P $Q) (sequential (table-n-type $O $P $R $S) (if-then-else (nonvar $S) (= $Q $S) (= $Q $R)))) (= (fb-two-preds $O $P $Q $R $S $T) (sequential (fb-pred-g $O $Q) (fb-pred-g $R $T) (@>= $O $R) (between (ValueAtom 1) $Q $P) (between (ValueAtom 1) $T $S) (if-then-else (== $O $R) (> $P $S) True))) (= (fb-two-preds $O $P $Q $R $S $T) (sequential (fb-pred-g $O $Q) (fb-pred-g $R $T) (@> $O $R) (mine-typelevel-overlaps $A10 (ConceptMapFn $B10 $P $O) (ConceptMapFn $C10 $S $R)))) (= mine-atomspace-overlaps (sequential (fb-two-preds $O $P $Q $R $S $T) (-> (and (functor $U $O $Q) (and (functor $V $R $T) (and (call $U) (and (arg $P $U $W) (and (good-concept $W) (and (arg $S $V $W) (call $V))))))) True) (-> (and (table-column-type $O $P $X) (and (nonvar $X) (and (table-column-type $R $S $Y) (nonvar $X)))) True) (assert-progress $W (maybe-corisponds (ConceptMapFn $X $P $O) (ConceptMapFn $Y $S $R))))) (= (mine-typelevel-overlaps $O (ConceptMapFn $P $Q $R) (ConceptMapFn $S $T $U)) (sequential (= $P $O) (= $S $O) (table-columns $R $V) (table-columns $U $W) (fb-pred-g $R $X) (fb-pred-g $U $Y) (@> $R $U) (nth1 $Q $V $O) (good-concept $O) (-> (and (nth1 $T $W $O) (and (length $V $X) (length $W $Y))) True))) (= mine-typelevel-overlaps (:: (missing (and (mine-typelevel-overlaps $O $P $Q) (missing (assert-progress (mine-typelevel-overlaps $O) (maybe-corisponds $P $Q))))))) (= mine-overlaps2-slow (:: (missing (and mine-atomspace-overlaps (missing True))))) (= mine-overlaps1 (:: (missing (and (mine-corisponds $O $P) (missing (assert-progress (mine-overlaps1 $O) $P)))))) (= mine-overlaps (sequential (retractall (maybe-corisponds $A10 $B10)) (time (-> mine-overlaps1 True)) (skip mine-overlaps2))) (= (mine-corisponds $O $P) (sequential (fb-arg-table-n $O $Q $R) (is-good-atom-name $O) (fb-arg-table-n $O $S $T) (@> (+ $Q $R) (+ $S $T)) (-> (and (table-column-type $Q $R $U) (and (nonvar $U) (and (table-column-type $S $T $V) (nonvar $V)))) True) (= $P (maybe-corisponds (ConceptMapFn $U $R $Q) (ConceptMapFn $V $T $S))))) (= (fb-pred-g $O $P) (sequential (fb-pred $O $P) (missing (skipped-anotations $O)))) (= (is-good-atom-name $O) (sequential (atom $O) (atom-length $O $P) (>= $P (ValueAtom 2)) (missing (atom-number $O $A10)))) (= (good-concept $O) (sequential (var $O) no-more (table-columns $P $Q) (nth1 $R $Q $S) (or (= $O $S) (= $O (nth $R $P))))) (= (good-concept $O) (sequential (atom $O) no-more (is-good-atom-name $O))) (= (good-concept $O) (sequential (number $O) no-more (> $O (ValueAtom 300)))) (= (good-concept (ListValue $O)) (sequential (good-concept $O) (atom $O))) (= (good-concept (ListValue $O)) (sequential (good-concept $O) (atom $O))) (= (concept-type $O $P) (sequential (fb-arg $O) (fb-arg-table-n $O $Q $R) (table-n-type $Q $R $P))) (= (atom-prefix $O flybase $P) (:: (flybase-identifier $O $P))) (= (atom-prefix GO obo Gene Ontology) True) (= (atom-prefix PO obo Plant Ontology) True) (= (atom-prefix DOID obo Disease Ontology) True) (= (atom-prefix UBERON obo Uber-anatomy ontology) True) (= (atom-prefix CHEBI obo (StringValue "Chemical Entities of Biological Interest")) True) (= (flybase-identifier FBab Aberration) True) (= (flybase-identifier FBal Allele) True) (= (flybase-identifier FBba Balancer) True) (= (flybase-identifier FBbt AnatomyTerm) True) (= (flybase-identifier FBch ChromosomeArm) True) (= (flybase-identifier FBcl Clone) True) (= (flybase-identifier FBcv ControlledVocabulary) True) (= (flybase-identifier FBdv DevelopmentalStageTerm) True) (= (flybase-identifier FBgg GeneGroup) True) (= (flybase-identifier FBgn Gene) True) (= (flybase-identifier FBhh HumanDisease) True) (= (flybase-identifier FBig GeneInteraction) True) (= (flybase-identifier FBim Image) True) (= (flybase-identifier FBlc LargeDatasetMetadata) True) (= (flybase-identifier FBmc MolecularConstruct) True) (= (flybase-identifier FBms MolecularSegment) True) (= (flybase-identifier FBpl Probe) True) (= (flybase-identifier FBpp Polypeptide) True) (= (flybase-identifier FBrf Reference) True) (= (flybase-identifier FBsf SequenceFeature) True) (= (flybase-identifier FBsn GeneStrain) True) (= (flybase-identifier FBst GeneStock) True) (= (flybase-identifier FBtc CellLine) True) (= (flybase-identifier FBti TransposableIlementInsertion) True) (= (flybase-identifier FBto ExperimentalTool) True) (= (flybase-identifier FBte TransgenicElement) True) (= (flybase-identifier FBtp Transposon) True) (= (flybase-identifier FBtr Transcript) True) (= (term-number $O $P) (sequential (sub-term $P $O) (number $P))) (= (post-statistic $O $P) (sequential (statistics $O $Q) (term-number $Q $R) (pre-statistic $O $S) (is $T (- $R $S)) (if-then-else (< $T (ValueAtom 0)) (= $P (ValueAtom 0)) (= $T $P)))) (= (pre-statistic $O $P) (:: (if-then-else (is-pre-statistic $O $P) True (= $P (ValueAtom 0))))) (= (save-pre-statistic $O) (:: (if-then-else (is-pre-statistic $O $A10) True (and (statistics $O $P) (and (term-number $P $Q) (assert (is-pre-statistic $O $Q))))))) (= (is-pre-statistic memory (ValueAtom 290515568)) True) (= (is-pre-statistic atoms (ValueAtom 32862)) True) (= (is-pre-statistic atom-space (ValueAtom 3959268)) True) (= (catch-i $O) (:: (if-then-else (catch $O $A10 True) True True))) (= (catch-ignore $O) (:: (if-then-else (catch $O $P (catch-i (and nl (and (writeq (= $O $P)) nl)))) True True))) (= kaggle-arc (sequential (missing (exists-directory /opt/logicmoo-workspace/packs-sys/logicmoo-agi/prolog/kaggle-arc/)) no-more)) (= kaggle-arc (:: (with-option argv (:: --libonly) (with-cwd /opt/logicmoo-workspace/packs-sys/logicmoo-agi/prolog/kaggle-arc/ (ensure-loaded kaggle-arc))))) (= (set-option-value $O $P) (sequential (catch (nb-setval $O $P) $A10 True) (catch (create-meTTa-flag $O $P (:: (keep false) (access read-write) (type term))) $B10 True) (catch (set-meTTa-flag $O $P) $C10 True))) (= (option-value $O $P) (:: (option-else $O $P ()))) (= (option-else $O $P $A10) (sequential (was-option-value $O $Q) no-more (= $Q $P))) (= (option-else $A10 $O $P) (sequential no-more (= $O $P))) (= (was-option-value $O $P) (sequential (nb-current $O $Q) no-more (= $P $Q))) (= (was-option-value $O $P) (sequential (current-meTTa-flag $O $Q) no-more (= $P $Q))) (= (was-option-value $O $P) (sequential (meTTa-load-context $O $Q) no-more (= $P $Q))) (= (with-option $O $P $Q) (sequential (option-value $O $R) (setup-call-cleanup (set-option-value $O $P) $Q (set-option-value $O $R)))) (= (with-option () $O) (sequential no-more (call $O))) (= (with-option ([|] $O $P) $Q) (sequential no-more (with-option $O (with-option $P $Q)))) (= (with-option (= $O $P) $Q) (sequential no-more (with-option $O $P $Q))) (= (with-option $O $P) (sequential (compound $O) (equals-ListMappingFn $O (:: $Q $R)) no-more (with-option $Q $R $P))) (= (with-option $O $P) (:: (with-option $O True $P))) (= (with-cwd $O $P) (:: (setup-call-cleanup (working-directory $Q $O) $P (working-directory $A10 $Q)))) (= (skip $A10) True)