-
Notifications
You must be signed in to change notification settings - Fork 3
/
Copy pathautoexec.metta
executable file
·1521 lines (1018 loc) · 125 KB
/
autoexec.metta
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
535
536
537
538
539
540
541
542
543
544
545
546
547
548
549
550
551
552
553
554
555
556
557
558
559
560
561
562
563
564
565
566
567
568
569
570
571
572
573
574
575
576
577
578
579
580
581
582
583
584
585
586
587
588
589
590
591
592
593
594
595
596
597
598
599
600
601
602
603
604
605
606
607
608
609
610
611
612
613
614
615
616
617
618
619
620
621
622
623
624
625
626
627
628
629
630
631
632
633
634
635
636
637
638
639
640
641
642
643
644
645
646
647
648
649
650
651
652
653
654
655
656
657
658
659
660
661
662
663
664
665
666
667
668
669
670
671
672
673
674
675
676
677
678
679
680
681
682
683
684
685
686
687
688
689
690
691
692
693
694
695
696
697
698
699
700
701
702
703
704
705
706
707
708
709
710
711
712
713
714
715
716
717
718
719
720
721
722
723
724
725
726
727
728
729
730
731
732
733
734
735
736
737
738
739
740
741
742
743
744
745
746
747
748
749
750
751
752
753
754
755
756
757
758
759
760
761
762
763
764
765
766
767
768
769
770
771
772
773
774
775
776
777
778
779
780
781
782
783
784
785
786
787
788
789
790
791
792
793
794
795
796
797
798
799
800
801
802
803
804
805
806
807
808
809
810
811
812
813
814
815
816
817
818
819
820
821
822
823
824
825
826
827
828
829
830
831
832
833
834
835
836
837
838
839
840
841
842
843
844
845
846
847
848
849
850
851
852
853
854
855
856
857
858
859
860
861
862
863
864
865
866
867
868
869
870
871
872
873
874
875
876
877
878
879
880
881
882
883
884
885
886
887
888
889
890
891
892
893
894
895
896
897
898
899
900
901
902
903
904
905
906
907
908
909
910
911
912
913
914
915
916
917
918
919
920
921
922
923
924
925
926
927
928
929
930
931
932
933
934
935
936
937
938
939
940
941
942
943
944
945
946
947
948
949
950
951
952
953
954
955
956
957
958
959
960
961
962
963
964
965
966
967
968
969
970
971
972
973
974
975
976
977
978
979
980
981
982
983
984
985
986
987
988
989
990
991
992
993
994
995
996
997
998
999
1000
(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)))))))
(= (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)))
(= (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))
(= 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))