home *** CD-ROM | disk | FTP | other *** search
/ OS/2 Shareware BBS: 10 Tools / 10-Tools.zip / lifeos2.zip / LIFE-1.02 / TESTS / REFOUT / BABCODE.REF < prev    next >
Text File  |  1996-06-04  |  158KB  |  390 lines

  1.  
  2. *** Yes
  3.  
  4. *** Yes
  5. > There are 381 sorts.
  6.   [X                                                                                                                                                                                                                                                                                                                                                                                               ] = built_ins#false
  7.   [ X                                                                                                                                                                                                                                                                                                                                                                                              ] = built_ins#int
  8.   [  X                                                                                                                                                                                                                                                                                                                                                                                             ] = built_ins#cons
  9.   [   X                                                                                                                                                                                                                                                                                                                                                                                            ] = built_ins#nil
  10.   [    X                                                                                                                                                                                                                                                                                                                                                                                           ] = built_ins#string
  11.   [     X                                                                                                                                                                                                                                                                                                                                                                                          ] = built_ins#true
  12.   [      X                                                                                                                                                                                                                                                                                                                                                                                         ] = built_ins#time
  13.   [       X                                                                                                                                                                                                                                                                                                                                                                                        ] = user#publish
  14.   [        X                                                                                                                                                                                                                                                                                                                                                                                       ] = user#lc_number
  15.   [         X                                                                                                                                                                                                                                                                                                                                                                                      ] = user#date
  16.   [          X                                                                                                                                                                                                                                                                                                                                                                                     ] = user#lend_tab
  17.   [           X                                                                                                                                                                                                                                                                                                                                                                                    ] = user#author_list
  18.   [            X                                                                                                                                                                                                                                                                                                                                                                                   ] = user#name_list
  19.   [             X                                                                                                                                                                                                                                                                                                                                                                                  ] = user#editor_list
  20.   [              X                                                                                                                                                                                                                                                                                                                                                                                 ] = user#association_list
  21.   [               X                                                                                                                                                                                                                                                                                                                                                                                ] = user#assoc_list
  22.   [                X                                                                                                                                                                                                                                                                                                                                                                               ] = user#author_set
  23.   [                 X                                                                                                                                                                                                                                                                                                                                                                              ] = user#editor_set
  24.   [                  X                                                                                                                                                                                                                                                                                                                                                                             ] = user#association_set
  25.   [                   X                                                                                                                                                                                                                                                                                                                                                                            ] = user#full_name
  26.   [                    X                                                                                                                                                                                                                                                                                                                                                                           ] = user#english
  27.   [                     X                                                                                                                                                                                                                                                                                                                                                                          ] = user#french
  28.   [                      X                                                                                                                                                                                                                                                                                                                                                                         ] = user#german
  29.   [                       X                                                                                                                                                                                                                                                                                                                                                                        ] = user#japanese
  30.   [                        X                                                                                                                                                                                                                                                                                                                                                                       ] = user#chinese
  31.   [                         X                                                                                                                                                                                                                                                                                                                                                                      ] = user#korean
  32.   [                          X                                                                                                                                                                                                                                                                                                                                                                     ] = user#spanish
  33.   [                           X                                                                                                                                                                                                                                                                                                                                                                    ] = user#portuguese
  34.   [                            X                                                                                                                                                                                                                                                                                                                                                                   ] = user#italian
  35.   [                             X                                                                                                                                                                                                                                                                                                                                                                  ] = user#latin
  36.   [                              X                                                                                                                                                                                                                                                                                                                                                                 ] = user#greek
  37.   [                               X                                                                                                                                                                                                                                                                                                                                                                ] = user#hebrew
  38.   [                                X                                                                                                                                                                                                                                                                                                                                                               ] = user#place
  39.   [                                 X                                                                                                                                                                                                                                                                                                                                                              ] = user#yes
  40.   [                                  X                                                                                                                                                                                                                                                                                                                                                             ] = user#no
  41.   [                                   X                                                                                                                                                                                                                                                                                                                                                            ] = user#period
  42.   [                                    X                                                                                                                                                                                                                                                                                                                                                           ] = user#hours
  43.   [                                     X                                                                                                                                                                                                                                                                                                                                                          ] = user#days
  44.   [                                      X                                                                                                                                                                                                                                                                                                                                                         ] = user#weeks
  45.   [                                       X                                                                                                                                                                                                                                                                                                                                                        ] = user#months
  46.   [                                        X                                                                                                                                                                                                                                                                                                                                                       ] = user#years
  47.   [                                         X                                                                                                                                                                                                                                                                                                                                                      ] = user#recall_tab
  48.   [                                          X                                                                                                                                                                                                                                                                                                                                                     ] = user#ss_num
  49.   [                                           X                                                                                                                                                                                                                                                                                                                                                    ] = user#reserve_tab
  50.   [                                            X                                                                                                                                                                                                                                                                                                                                                   ] = user#spring
  51.   [                                             X                                                                                                                                                                                                                                                                                                                                                  ] = user#summer
  52.   [                                              X                                                                                                                                                                                                                                                                                                                                                 ] = user#fall
  53.   [                                               X                                                                                                                                                                                                                                                                                                                                                ] = user#pamphlet
  54.   [                                                X                                                                                                                                                                                                                                                                                                                                               ] = user#technical_report
  55.   [                                                 X                                                                                                                                                                                                                                                                                                                                              ] = user#Ph.D
  56.   [                                                  X                                                                                                                                                                                                                                                                                                                                             ] = user#M.A.
  57.   [                                                   X                                                                                                                                                                                                                                                                                                                                            ] = user#M.S.
  58.   [                                                    X                                                                                                                                                                                                                                                                                                                                           ] = user#M.D.
  59.   [                                                     X                                                                                                                                                                                                                                                                                                                                          ] = user#M.B.A.
  60.   [                                                      X                                                                                                                                                                                                                                                                                                                                         ] = user#elementary_textbook
  61.   [                                                       X                                                                                                                                                                                                                                                                                                                                        ] = user#advanced_textbook
  62.   [                                                        X                                                                                                                                                                                                                                                                                                                                       ] = user#globes
  63.   [                                                         X                                                                                                                                                                                                                                                                                                                                      ] = user#world_atlas
  64.   [                                                          X                                                                                                                                                                                                                                                                                                                                     ] = user#national_atlas
  65.   [                                                           X                                                                                                                                                                                                                                                                                                                                    ] = user#world_map
  66.   [                                                            X                                                                                                                                                                                                                                                                                                                                   ] = user#national_map
  67.   [                                                             X                                                                                                                                                                                                                                                                                                                                  ] = user#local_map
  68.   [                                                              X                                                                                                                                                                                                                                                                                                                                 ] = user#chorus_score
  69.   [                                                               X                                                                                                                                                                                                                                                                                                                                ] = user#instrument_score
  70.   [                                                                X                                                                                                                                                                                                                                                                                                                               ] = user#vocal_score
  71.   [                                                                 X                                                                                                                                                                                                                                                                                                                              ] = user#running_time
  72.   [                                                                  X                                                                                                                                                                                                                                                                                                                             ] = user#mono
  73.   [                                                                   X                                                                                                                                                                                                                                                                                                                            ] = user#stereo
  74.   [                                                                    X                                                                                                                                                                                                                                                                                                                           ] = user#4_track
  75.   [                                                                     X                                                                                                                                                                                                                                                                                                                          ] = user#8_track
  76.   [                                                                      X                                                                                                                                                                                                                                                                                                                         ] = user#analog
  77.   [                                                                       X                                                                                                                                                                                                                                                                                                                        ] = user#digital
  78.   [                                                                        X                                                                                                                                                                                                                                                                                                                       ] = user#compact_disc
  79.   [                                                                         X                                                                                                                                                                                                                                                                                                                      ] = user#poly_disc
  80.   [                                                                          X                                                                                                                                                                                                                                                                                                                     ] = user#lp
  81.   [                                                                           X                                                                                                                                                                                                                                                                                                                    ] = user#sp
  82.   [                                                                            X                                                                                                                                                                                                                                                                                                                   ] = user#lsp
  83.   [                                                                             X                                                                                                                                                                                                                                                                                                                  ] = user#cassette
  84.   [                                                                              X                                                                                                                                                                                                                                                                                                                 ] = user#cartridge
  85.   [                                                                               X                                                                                                                                                                                                                                                                                                                ] = user#reel_to_reel
  86.   [                                                                                X                                                                                                                                                                                                                                                                                                               ] = user#sound_film
  87.   [                                                                                 X                                                                                                                                                                                                                                                                                                              ] = user#sound_vtape
  88.   [                                                                                  X                                                                                                                                                                                                                                                                                                             ] = user#sound_vdisc
  89.   [                                                                                   X                                                                                                                                                                                                                                                                                                            ] = user#microfiche
  90.   [                                                                                    X                                                                                                                                                                                                                                                                                                           ] = user#multi_volume_books_in_microfilm
  91.   [                                                                                     X                                                                                                                                                                                                                                                                                                          ] = user#single_volume_books_in_microfilm
  92.   [                                                                                      X                                                                                                                                                                                                                                                                                                         ] = user#series_books_in_microfilm
  93.   [                                                                                       X                                                                                                                                                                                                                                                                                                        ] = user#magazines
  94.   [                                                                                        X                                                                                                                                                                                                                                                                                                       ] = user#weekly_academic_journal
  95.   [                                                                                         X                                                                                                                                                                                                                                                                                                      ] = user#quarterly_academic_journal
  96.   [                                                                                          X                                                                                                                                                                                                                                                                                                     ] = user#yearly_academic_journal
  97.   [                                                                                           X                                                                                                                                                                                                                                                                                                    ] = user#daily_newspaper
  98.   [                                                                                            X                                                                                                                                                                                                                                                                                                   ] = user#weekly_news_magazine
  99.   [                                                                                             X                                                                                                                                                                                                                                                                                                  ] = user#monthly_news_magazine
  100.   [                                                                                              X                                                                                                                                                                                                                                                                                                 ] = user#weekly_magazine
  101.   [                                                                                               X                                                                                                                                                                                                                                                                                                ] = user#monthly_magazine
  102.   [                                                                                                X                                                                                                                                                                                                                                                                                               ] = user#quarterly_magazine
  103.   [                                                                                                 X                                                                                                                                                                                                                                                                                              ] = user#yearly_transactions
  104.   [                                                                                                  X                                                                                                                                                                                                                                                                                             ] = user#monthly_proceedings
  105.   [                                                                                                   X                                                                                                                                                                                                                                                                                            ] = user#quarterly_proceedings
  106.   [                                                                                                    X                                                                                                                                                                                                                                                                                           ] = user#gazeteer
  107.   [                                                                                                     X                                                                                                                                                                                                                                                                                          ] = user#unabridged_dictionary
  108.   [                                                                                                      X                                                                                                                                                                                                                                                                                         ] = user#desk_dictionary
  109.   [                                                                                                       X                                                                                                                                                                                                                                                                                        ] = user#slang_dictionary
  110.   [                                                                                                        X                                                                                                                                                                                                                                                                                       ] = user#synonym_antonym_dictionary
  111.   [                                                                                                         X                                                                                                                                                                                                                                                                                      ] = user#foreign_language_dictionary
  112.   [                                                                                                          X                                                                                                                                                                                                                                                                                     ] = user#metaphysics_material
  113.   [                                                                                                           X                                                                                                                                                                                                                                                                                    ] = user#metaphysics
  114.   [                                                                                                            X                                                                                                                                                                                                                                                                                   ] = user#ethics_material
  115.   [                                                                                                             X                                                                                                                                                                                                                                                                                  ] = user#ethics
  116.   [                                                                                                              X                                                                                                                                                                                                                                                                                 ] = user#physiological_psychology_material
  117.   [                                                                                                               X                                                                                                                                                                                                                                                                                ] = user#physiological_psychology
  118.   [                                                                                                                X                                                                                                                                                                                                                                                                               ] = user#intelligent_intellect_material
  119.   [                                                                                                                 X                                                                                                                                                                                                                                                                              ] = user#intelligent_intellect
  120.   [                                                                                                                  X                                                                                                                                                                                                                                                                             ] = user#induction_material
  121.   [                                                                                                                   X                                                                                                                                                                                                                                                                            ] = user#induction
  122.   [                                                                                                                    X                                                                                                                                                                                                                                                                           ] = user#deduction_material
  123.   [                                                                                                                     X                                                                                                                                                                                                                                                                          ] = user#deduction
  124.   [                                                                                                                      X                                                                                                                                                                                                                                                                         ] = user#analogy_material
  125.   [                                                                                                                       X                                                                                                                                                                                                                                                                        ] = user#analogy
  126.   [                                                                                                                        X                                                                                                                                                                                                                                                                       ] = user#natural_religion_material
  127.   [                                                                                                                         X                                                                                                                                                                                                                                                                      ] = user#natural_religion
  128.   [                                                                                                                          X                                                                                                                                                                                                                                                                     ] = user#christian_theology_material
  129.   [                                                                                                                           X                                                                                                                                                                                                                                                                    ] = user#christian_theology
  130.   [                                                                                                                            X                                                                                                                                                                                                                                                                   ] = user#other_religion_material
  131.   [                                                                                                                             X                                                                                                                                                                                                                                                                  ] = user#other_religion
  132.   [                                                                                                                              X                                                                                                                                                                                                                                                                 ] = user#statistics_material
  133.   [                                                                                                                               X                                                                                                                                                                                                                                                                ] = user#the_statistics
  134.   [                                                                                                                                X                                                                                                                                                                                                                                                               ] = user#political_science_material
  135.   [                                                                                                                                 X                                                                                                                                                                                                                                                              ] = user#political_science
  136.   [                                                                                                                                  X                                                                                                                                                                                                                                                             ] = user#economics_material
  137.   [                                                                                                                                   X                                                                                                                                                                                                                                                            ] = user#economics
  138.   [                                                                                                                                    X                                                                                                                                                                                                                                                           ] = user#law_material
  139.   [                                                                                                                                     X                                                                                                                                                                                                                                                          ] = user#law
  140.   [                                                                                                                                      X                                                                                                                                                                                                                                                         ] = user#english_material
  141.   [                                                                                                                                       X                                                                                                                                                                                                                                                        ] = user#german_material
  142.   [                                                                                                                                        X                                                                                                                                                                                                                                                       ] = user#french_material
  143.   [                                                                                                                                         X                                                                                                                                                                                                                                                      ] = user#computational_liguistics_material
  144.   [                                                                                                                                          X                                                                                                                                                                                                                                                     ] = user#etymology_material
  145.   [                                                                                                                                           X                                                                                                                                                                                                                                                    ] = user#etymology
  146.   [                                                                                                                                            X                                                                                                                                                                                                                                                   ] = user#phonology_material
  147.   [                                                                                                                                             X                                                                                                                                                                                                                                                  ] = user#phonology
  148.   [                                                                                                                                              X                                                                                                                                                                                                                                                 ] = user#physics_material
  149.   [                                                                                                                                               X                                                                                                                                                                                                                                                ] = user#physics
  150.   [                                                                                                                                                X                                                                                                                                                                                                                                               ] = user#chemistry_material
  151.   [                                                                                                                                                 X                                                                                                                                                                                                                                              ] = user#chemistry
  152.   [                                                                                                                                                  X                                                                                                                                                                                                                                             ] = user#biology_material
  153.   [                                                                                                                                                   X                                                                                                                                                                                                                                            ] = user#biology
  154.   [                                                                                                                                                    X                                                                                                                                                                                                                                           ] = user#algebra_material
  155.   [                                                                                                                                                     X                                                                                                                                                                                                                                          ] = user#algebra
  156.   [                                                                                                                                                      X                                                                                                                                                                                                                                         ] = user#analysis_material
  157.   [                                                                                                                                                       X                                                                                                                                                                                                                                        ] = user#analysis
  158.   [                                                                                                                                                        X                                                                                                                                                                                                                                       ] = user#topology_material
  159.   [                                                                                                                                                         X                                                                                                                                                                                                                                      ] = user#topology
  160.   [                                                                                                                                                          X                                                                                                                                                                                                                                     ] = user#distributed_system_material
  161.   [                                                                                                                                                           X                                                                                                                                                                                                                                    ] = user#distributed_system
  162.   [                                                                                                                                                            X                                                                                                                                                                                                                                   ] = user#software_engineering_material
  163.   [                                                                                                                                                             X                                                                                                                                                                                                                                  ] = user#software_engineering
  164.   [                                                                                                                                                              X                                                                                                                                                                                                                                 ] = user#vlsi_material
  165.   [                                                                                                                                                               X                                                                                                                                                                                                                                ] = user#vlsi
  166.   [                                                                                                                                                                X                                                                                                                                                                                                                               ] = user#database_material
  167.   [                                                                                                                                                                 X                                                                                                                                                                                                                              ] = user#database
  168.   [                                                                                                                                                                  X                                                                                                                                                                                                                             ] = user#computer_network_material
  169.   [                                                                                                                                                                   X                                                                                                                                                                                                                            ] = user#computer_network
  170.   [                                                                                                                                                                    X                                                                                                                                                                                                                           ] = user#modeling_analysis_material
  171.   [                                                                                                                                                                     X                                                                                                                                                                                                                          ] = user#modeling_analysis
  172.   [                                                                                                                                                                      X                                                                                                                                                                                                                         ] = user#building_material
  173.   [                                                                                                                                                                       X                                                                                                                                                                                                                        ] = user#building
  174.   [                                                                                                                                                                        X                                                                                                                                                                                                                       ] = user#civil_engineering_material
  175.   [                                                                                                                                                                         X                                                                                                                                                                                                                      ] = user#civil_engineering
  176.   [                                                                                                                                                                          X                                                                                                                                                                                                                     ] = user#petroleum_engineering_material
  177.   [                                                                                                                                                                           X                                                                                                                                                                                                                    ] = user#petroleum_engineering
  178.   [                                                                                                                                                                            X                                                                                                                                                                                                                   ] = user#music_material
  179.   [                                                                                                                                                                             X                                                                                                                                                                                                                  ] = user#music
  180.   [                                                                                                                                                                              X                                                                                                                                                                                                                 ] = user#painting_material
  181.   [                                                                                                                                                                               X                                                                                                                                                                                                                ] = user#painting
  182.   [                                                                                                                                                                                X                                                                                                                                                                                                               ] = user#sculpture_material
  183.   [                                                                                                                                                                                 X                                                                                                                                                                                                              ] = user#sculpture
  184.   [                                                                                                                                                                                  X                                                                                                                                                                                                             ] = user#architecture_material
  185.   [                                                                                                                                                                                   X                                                                                                                                                                                                            ] = user#architecture
  186.   [                                                                                                                                                                                    X                                                                                                                                                                                                           ] = user#american_literature_material
  187.   [                                                                                                                                                                                     X                                                                                                                                                                                                          ] = user#american_literature
  188.   [                                                                                                                                                                                      X                                                                                                                                                                                                         ] = user#german_literature_material
  189.   [                                                                                                                                                                                       X                                                                                                                                                                                                        ] = user#german_literature
  190.   [                                                                                                                                                                                        X                                                                                                                                                                                                       ] = user#italian_literature_material
  191.   [                                                                                                                                                                                         X                                                                                                                                                                                                      ] = user#italian_literature
  192.   [                                                                                                                                                                                          X                                                                                                                                                                                                     ] = user#ancient_history_material
  193.   [                                                                                                                                                                                           X                                                                                                                                                                                                    ] = user#ancient_history
  194.   [                                                                                                                                                                                            X                                                                                                                                                                                                   ] = user#europe_history_material
  195.   [                                                                                                                                                                                             X                                                                                                                                                                                                  ] = user#europe_history
  196.   [                                                                                                                                                                                              X                                                                                                                                                                                                 ] = user#asia_history_material
  197.   [                                                                                                                                                                                               X                                                                                                                                                                                                ] = user#asia_history
  198.   [                                                                                                                                                                                                X                                                                                                                                                                                               ] = user#america_history_material
  199.   [                                                                                                                                                                                                 X                                                                                                                                                                                              ] = user#america_history
  200.   [                                                                                                                                                                                                  X                                                                                                                                                                                             ] = user#mathematical_logic_material
  201.   [                                                                                                                                                                                                   X                                                                                                                                                                                            ] = user#mathematical_logic
  202.   [                                                                                                                                                                                                    X                                                                                                                                                                                           ] = user#automata_material
  203.   [                                                                                                                                                                                                     X                                                                                                                                                                                          ] = user#automata
  204.   [                                                                                                                                                                                                      X                                                                                                                                                                                         ] = user#knowledge_representation_material
  205.   [                                                                                                                                                                                                       X                                                                                                                                                                                        ] = user#knowledge_representation
  206.   [                                                                                                                                                                                                        X                                                                                                                                                                                       ] = user#search_heuristics_material
  207.   [                                                                                                                                                                                                         X                                                                                                                                                                                      ] = user#search_heuristics
  208.   [                                                                                                                                                                                                          X                                                                                                                                                                                     ] = user#natural_language_processing_material
  209.   [                                                                                                                                                                                                           X                                                                                                                                                                                    ] = user#natural_language_processing
  210.   [                                                                                                                                                                                                            X                                                                                                                                                                                   ] = user#machine_learning_material
  211.   [                                                                                                                                                                                                             X                                                                                                                                                                                  ] = user#machine_learning
  212.   [                                                                                                                                                                                                              X                                                                                                                                                                                 ] = user#automatic_theorem_proving_material
  213.   [                                                                                                                                                                                                               X                                                                                                                                                                                ] = user#automatic_theorem_proving
  214.   [                                                                                                                                                                                                                X                                                                                                                                                                               ] = user#robotics_material
  215.   [                                                                                                                                                                                                                 X                                                                                                                                                                              ] = user#robotics
  216.   [                                                                                                                                                                                                                  X                                                                                                                                                                             ] = user#computer_vision_material
  217.   [                                                                                                                                                                                                                   X                                                                                                                                                                            ] = user#computer_vision
  218.   [                                                                                                                                                                                                                    X                                                                                                                                                                           ] = user#ai_machine_material
  219.   [                                                                                                                                                                                                                     X                                                                                                                                                                          ] = user#ai_machine
  220.   [                                                                                                                                                                                                                      X                                                                                                                                                                         ] = user#parallel_processing_for_ai_material
  221.   [                                                                                                                                                                                                                       X                                                                                                                                                                        ] = user#parallel_processing_for_ai
  222.   [                                                                                                                                                                                                                        X                                                                                                                                                                       ] = user#ai_programming_language_material
  223.   [                                                                                                                                                                                                                         X                                                                                                                                                                      ] = user#ai_programming_language
  224.   [                                                                                                                                                                                                                          X                                                                                                                                                                     ] = user#medical_expert_system
  225.   [                                                                                                                                                                                                                           X                                                                                                                                                                    ] = user#monthly_artificial_intelligence_journal
  226.   [                                                                                                                                                                                                                            X                                                                                                                                                                   ] = user#monthly_artificial_intelligence_transactions
  227.   [                                                                                                                                                                                                                             X                                                                                                                                                                  ] = user#quarterly_artificial_intelligence_transactions
  228.   [                                                                                                                                                                                                                              X                                                                                                                                                                 ] = user#yearly_artificial_intelligence_proceedings
  229.   [                                                                                                                                                                                                                               X                                                                                                                                                                ] = user#multi_volume_general_encyclopedia
  230.   [                                                                                                                                                                                                                                X                                                                                                                                                               ] = user#multi_volume_computer_science_encyclopedia
  231.   [                                                                                                                                                                                                                                 X                                                                                                                                                              ] = user#single_volume_encyclopedia
  232.   [                                                                                                                                                                                                                                  X                                                                                                                                                             ] = user#single_volume_medical_expert_system_books
  233.   [                                                                                                                                                                                                                                   X                                                                                                                                                            ] = user#professor_user
  234.   [                                                                                                                                                                                                                                    X                                                                                                                                                           ] = user#staff_user
  235.   [                                                                                                                                                                                                                                     X                                                                                                                                                          ] = user#student_user
  236.   [                                                                                                                                                                                                                                      X                                                                                                                                                         ] = user#graduate_student_user
  237.   [                                                                                                                                                                                                                                       X                                                                                                                                                        ] = user#graduate_student
  238.   [                                                                                                                                                                                                                                        X                                                                                                                                                       ] = user#undergraduate_student_user
  239.   [                                                                                                                                                                                                                                         X                                                                                                                                                      ] = user#undergraduate_student
  240.   [                                                                                                                                                                                                                                      XXXXX                                                                                                                                                     ] = user#student
  241.   [                                                                                                                                                                                                                                   XXX     X                                                                                                                                                    ] = user#library_user
  242.   [                                                                                                                                                                                                                                  X         X                                                                                                                                                   ] = user#medical_expert_system_material
  243.   [                                                                                                                                                                                                                                  X          X                                                                                                                                                  ] = user#single_volume_expert_system_books
  244.   [                                                                                                                                                                                                                                X             X                                                                                                                                                 ] = user#computer_science_encyclopedia
  245.   [                                                                                                                                                                                                                                X              X                                                                                                                                                ] = user#multi_volume_subject_encyclopedia
  246.   [                                                                                                                                                                                                                               X                X                                                                                                                                               ] = user#general_encyclopedia
  247.   [                                                                                                                                                                                                                              X                  X                                                                                                                                              ] = user#yearly_computer_science_proceedings
  248.   [                                                                                                                                                                                                                              X                   X                                                                                                                                             ] = user#artificial_intelligence_proceedings
  249.   [                                                                                                                                                                                                                             X                     X                                                                                                                                            ] = user#quarterly_computer_science_transactions
  250.   [                                                                                                                                                                                                                            XX                      X                                                                                                                                           ] = user#artificial_intelligence_transactions
  251.   [                                                                                                                                                                                                                            X                        X                                                                                                                                          ] = user#monthly_computer_science_transactions
  252.   [                                                                                                                                                                                                                           X                          X                                                                                                                                         ] = user#monthly_computer_science_journal
  253.   [                                                                                                                                                                                                                          X                            X                                                                                                                                        ] = user#expert_system
  254.   [                                                                                                                                                                                                                          X                             X                                                                                                                                       ] = user#medical_engineering
  255.   [                                                                                                                                                                                                                         X                               X                                                                                                                                      ] = user#programming_language
  256.   [                                                                                                                                                                                                                        X                                 X                                                                                                                                     ] = user#programming_language_material
  257.   [                                                                                                                                                                                                                       X                                   X                                                                                                                                    ] = user#parallel_processing
  258.   [                                                                                                                                                                                                                      X                                     X                                                                                                                                   ] = user#parallel_processing_material
  259.   [                                                                                                                                                                                                                     X                                       X                                                                                                                                  ] = user#computer_architecture
  260.   [                                                                                                                                                                                                                    X                                         X                                                                                                                                 ] = user#computer_architecture_material
  261.   [                                                                                                                                                                                                           X                                                   X                                                                                                                                ] = user#computational_linguistics
  262.   [                                                                                                                                                                                                          X                                                     X                                                                                                                               ] = user#computational_linguistics_material
  263.   [                                                                                                                                                                                                   X X                                                           X                                                                                                                              ] = user#theory_of_computation
  264.   [                                                                                                                                                                                                     X                                                            X                                                                                                                             ] = user#structural_system
  265.   [                                                                                                                                                                                                  X X                                                              X                                                                                                                            ] = user#theory_of_computation_material
  266.   [                                                                                                                                                                                                    X                                                               X                                                                                                                           ] = user#structural_system_material
  267.   [                                                                                                                   X X X                                                                           X                                                                 X                                                                                                                          ] = user#logic
  268.   [                                                                                                                  X X X                                                                           X                                                                   X                                                                                                                         ] = user#logic_material
  269.   [                                                                                                                                                                                           X X X X                                                                     X                                                                                                                        ] = user#history
  270.   [                                                                                                                                                                                          X X X X                                                                       X                                                                                                                       ] = user#history_material
  271.   [                                                                                                                                                                                     X X X                                                                               X                                                                                                                      ] = user#literature
  272.   [                                                                                                                                                                                    X X X                                                                                 X                                                                                                                     ] = user#literature_material
  273.   [                                                                                                                                                                             X X X X                                                                                       X                                                                                                                    ] = user#art
  274.   [                                                                                                                                                                            X X X X                                                                                         X                                                                                                                   ] = user#art_material
  275.   [                                                                                                                                                                   X                                                                                                         X                                                                                                                  ] = user#computer_egineering
  276.   [                                                                                                                               X X X X                                                                                                                                        X                                                                                                                 ] = user#social_science
  277.   [                                                                                                                              X X X X                                                                                                                                          X                                                                                                                ] = user#social_science_material
  278.   [                                                                                                                         X X X                                                                                                                                                  X                                                                                                               ] = user#religion
  279.   [                                                                                                                        X X X                                                                                                                                                    X                                                                                                              ] = user#religion_material
  280.   [                                                                                                               X X                                                                                                                                                                X                                                                                                             ] = user#psychology
  281.   [                                                                                                              X X                                                                                                                                                                  X                                                                                                            ] = user#psychology_material
  282.   [                                                                                                       XXX                                                                                                                                                                          X                                                                                                           ] = user#special_dictionary
  283.   [                                                                                                    X                                                                                                                                                                                X                                                                                                          ] = user#geographic_reference
  284.   [                                                                                              XXX                                                                                                                                                                                     X                                                                                                         ] = user#magazine
  285.   [                                                                                         X      X                                                                                                                                                                                      X                                                                                                        ] = user#quarterly_periodical
  286.   [                                                                                        X   X X                                                                                                                                                                                         X                                                                                                       ] = user#weekly_periodical
  287.   [                                                                                           XXX                                                                                                                                                                                           X                                                                                                      ] = user#journalism_serial
  288.   [                                                                                           X                                                                                                                                                                                              X                                                                                                     ] = user#daily_periodical
  289.   [                                                                                      X                                                                                                                                                                                                    X                                                                                                    ] = user#series_books_in_microforms
  290.   [                                                                                    XXX                                                                                                                                                                                                     X                                                                                                   ] = user#books_in_microfilm
  291.   [                                                                                     X                                                                                                                                                                                                       X                                                                                                  ] = user#single_volume_books_in_microforms
  292.   [                                                                                    X                                                                                                                                                                                                         X                                                                                                 ] = user#multi_volume_books_in_microforms
  293.   [                                                                                  X                                                                                                                                                                                                            X                                                                                                ] = user#video_disc
  294.   [                                                                                 X                                                                                                                                                                                                              X                                                                                               ] = user#video_tape
  295.   [                                                                                X                                                                                                                                                                                                                X                                                                                              ] = user#motion_film
  296.   [                                                                             XXX                                                                                                                                                                                                                  X                                                                                             ] = user#tape
  297.   [                                                                          XXX                                                                                                                                                                                                                      X                                                                                            ] = user#disc_speed
  298.   [                                                                        XX                                                                                                                                                                                                                          X                                                                                           ] = user#disc
  299.   [                                                                      XX                                                                                                                                                                                                                             X                                                                                          ] = user#rec_type
  300.   [                                                                  XXXX                                                                                                                                                                                                                                X                                                                                         ] = user#channels
  301.   [                                                              XXX                                                                                                                                                                                                                                      X                                                                                        ] = user#music_score
  302.   [                                                           XXX                                                                                                                                                                                                                                          X                                                                                       ] = user#maps
  303.   [                                                         XX                                                                                                                                                                                                                                              X                                                                                      ] = user#atlas
  304.   [                                                      XX                                                                                                                                                                                                                                                  X                                                                                     ] = user#textbook
  305.   [                                                 XXXXX                                                                                                                                                                                                                                                     X                                                                                    ] = user#degree_list
  306.   [                                                X                                                                                                                                                                                                                                                           X                                                                                   ] = user#thesis
  307.   [                                            XXX                                                                                                                                                                                                                                                              X                                                                                  ] = user#semesters
  308.   [                                    XXXXX                                                                                                                                                                                                                                                                     X                                                                                 ] = user#time_unit
  309.   [                                 XX                                                                                                                                                                                                                                                                            X                                                                                ] = user#boolean
  310.   [                    XXXXXXXXXXXX                                                                                                                                                                                                                                                                                X                                                                               ] = user#languages
  311.   [                XXX                                                                                                                                                                                                                                                                                              X                                                                              ] = user#set_responsibility
  312.   [           X XX                                                                                                                                                                                                                                                                                                   X                                                                             ] = user#list_responsibility
  313.   [X    X                                                                                                                                                                                                                                                                                                             X                                                                            ] = built_ins#bool
  314.   [  XX                                                                                                                                                                                                                                                                                                                X                                                                           ] = built_ins#list
  315.   [ X                                                                                                                                                                                                                                                                                                                   X                                                                          ] = built_ins#real
  316.   [XXXXXX                                                                                                                                                                                                                                                                                                             XXXX                                                                         ] = built_ins#built_in
  317.   [                                                         XXXXX                                                                                                                                                                                                                                          XX             X                                                                        ] = user#maps_atlas
  318.   [                                                                        XX   XXXXXX                                                                                                                                                                                                               X X                   X                                                                       ] = user#sound_recording
  319.   [                                                                                XXX                                                                                                                                                                                                            XXX                       X                                                                      ] = user#motion_picture
  320.   [                                                                                    XXX                                                                                                                                                                                                     X                             X                                                                     ] = user#microfilm
  321.   [                                                                                    XXX                                                                                                                                                                                                    X XX                            X                                                                    ] = user#books_in_microforms
  322.   [                                                                                      X                                                                                                                                                                                                    X                                X                                                                   ] = user#series_books
  323.   [                                                                                                     XXXXX                                                                                                                                                                          X                                        X                                                                  ] = user#dictionary
  324.   [                                                                                                          X X X X X X X                                                                           X                                                                   X            X                                          X                                                                 ] = user#philosophy_material
  325.   [                                                                                                           X X X X X X X                                                                           X                                                                 X            X                                            X                                                                ] = user#philosophy
  326.   [                                                                                                                                                    X X X                                         X X                                                              X                                                            X                                                               ] = user#mathematics_material
  327.   [                                                                                                                                                     X X X                                         X X                                                           X                                                               X                                                              ] = user#mathematics
  328.   [                                                                                                                                         XX X                                                       X                                                               X                                                             X                                                             ] = user#linguistics_material
  329.   [                                                                                                                                           X X                                                       X     X                                                   X  X                                                                X                                                            ] = user#linguistics
  330.   [                                                                                                                                                              X   X                                                 X                                         X                                                                     X                                                           ] = user#computer_engineering_material
  331.   [                                                                                                                                                               X                                                     X                                       X                                                                       X                                                          ] = user#computer_engineering
  332.   [                                                                                                                                                                                                                          X                             X                                                                             X                                                         ] = user#medicine
  333.   [                                                                                                                                                                                                       X X X X X X X X X XX                            X                                                                               X                                                        ] = user#artificial_intelligence
  334.   [                                                                                                                                                                                                                           X                          X                                                                                 X                                                       ] = user#monthly_academic_journal
  335.   [                                                                                                                                                                                                                           XXXX                   X X                                                                                    X                                                      ] = user#artificial_intelligence_periodical
  336.   [                                                                                                                                                                                                                            XX                     XXX                                                                                    X                                                     ] = user#computer_science_transactions
  337.   [                                                                                                                                                                                                                            X                        X                                                                                     X                                                    ] = user#monthly_transactions
  338.   [                                                                                                                                                                                                                             X                     X                                                                                        X                                                   ] = user#quarterly_transactions
  339.   [                                                                                                                                                                                                                              X                  XX                                                                                          X                                                  ] = user#computer_science_proceedings
  340.   [                                                                                                                                                                                                                              X                  X                                                                                            X                                                 ] = user#yearly_proceedings
  341.   [                                                                                                                                                                                                                               XX              X                                                                                               X                                                ] = user#multi_volume_encyclopedia
  342.   [                                                                                                                                                                                                                                X             XX                                                                                                X                                               ] = user#subject_encyclopedia
  343.   [                                                                                                                                                                                                                                  X          X                                                                                                   X                                              ] = user#single_volume_artificial_intelligence_books
  344.   [                                                                                                                                                                                                                                  X         XX                                                                                                    X                                             ] = user#expert_system_material
  345.   [                                                                                                                                                                                                                                  X         X                                                                                                      X                                            ] = user#medical_engineering_material
  346.   [                                                                                                                                                                                                                                  X         X                                                                                                      XX                                           ] = user#medical_material
  347.   [                                                                                                                                                                                                      X X X X X X X X X X         X         XX                                                                                                   XX  X                                          ] = user#artificial_intelligence_material
  348.   [                                                                                                                                                                                                                                  X          X                                                                                                   X    X                                         ] = user#single_volume_computer_science_books
  349.   [                                                                                                                                                                                                                               XXX            XXX                                                                                              XX      X                                        ] = user#encyclopedia
  350.   [                                                                                    X                                                                                                                                          XX              X                                              X                                                X        X                                       ] = user#multi_volume_books
  351.   [                                                                                                  XX                                                                                                                          X                  XX                                                                                          XX          X                                      ] = user#proceedings
  352.   [                                                                                          X      X                                                                                                                            X                  X                                                                                            X           X                                     ] = user#yearly_periodical
  353.   [                                                                                                                                                                                                                           XXXX                  XXXXXX                                                                                  XX  X             X                                    ] = user#computer_science_periodical
  354.   [                                                                                                                                                                                                                           XXXX                   X X                                                                                    X                  X                                   ] = user#artficial_intelligence_material
  355.   [                                                                                                 X                                                                                                                          XX                     XXX                                                                                    XXX                X                                  ] = user#transactions
  356.   [                                                                                                   X                                                                                                                         X                     X                                                                                        X                 X                                 ] = user#qurterly_periodical
  357.   [                                                                                             X X  X                                                                                                                        XX                        XX                                                                                 X  X                   X                                ] = user#monthly_periodical
  358.   [                                                                                        XXX                                                                                                                                X                          X                                                                                 X                       X                               ] = user#academic_journal
  359.   [                                                                                                                                                           X X X X X X                             X X X X X X X X X X X XX                            X X X X   X                                                                     X                         X                              ] = user#computer_science
  360.   [                                                                                                                                                               X                                                     X                                       X                                                                       X                            X                             ] = user#electrical_engineering
  361.   [                                                                                                                                                              X   X                                                 X                                         X                                                                     X                              X                            ] = user#electrical_engineering_material
  362.   [                    XXX                                                                                                                    X X                                                       X     X                                                   X  X                                                                X                                X                           ] = user#language
  363.   [                                                                                                                                      XXXXX X                                                       X                                                               X                                                             X                                  X                          ] = user#language_material
  364.   [                                                                                   XXXX                                                                                                                                                                                                    XXXX                           XX                                          X                         ] = user#microforms
  365.   [                                                                                      X                                                                                                                                                                                                    X                                X                                          X                        ] = user#series
  366.   [                                                        XXXXXX                                                                                                                                                                                                                                          XX             X                                                X                       ] = user#cartographic_material
  367.   [                                                         XXXXX                                                                                                                                                                                                                                          XX             X                                                 X                      ] = user#geographical_reference
  368.   [                                                                                                                                                              X   X     X X                                         X             X         X                 X                                                                     X              X               X      X                     ] = user#engineering_material
  369.   [                                                                                                                                                               X         X X                                         X    X                             X    X                                                                       X                            X        X                    ] = user#engineering
  370.   [                                                                                                                                               X X X X X X X X X X X X                             X X X X X X X X X X X XX                            X X X X   X                                                               X     X                         X          X                   ] = user#pure_science
  371.   [                                                                                                                                                                                                                           XXXX                  XXXXXX                                                                                  XX  X             X                 X                  ] = user#pure_science_periodical
  372.   [                                                                                                                                                          X X X X X X                             X X X X X X X X X X X X  XXXX X X         XXX  XXXXXX   X X X    X                                                                     XX  X   XX  XX    X                  X                 ] = user#computer_science_material
  373.   [                                                                                                    XXXXXX                                                                                                                     XXX            XXX                                   XX                                       X                 XX      X                       X                ] = user#general_reference
  374.   [                                                                                                                                                                                                                                  X          X                                                                                                   X    X                         X               ] = user#single_volume_pure_science_books
  375.   [                                                                                                                                              X X X X X X X X X X X X                             X X X X X X X X X X X X  XXXX X X         XXX  XXXXXX   X X X    X                                                            X        XX  X   XX  XX    X                 XX XX              ] = user#pure_science_material
  376.   [                                                                                     X                                                                                                                                           XX          X                                               X                                                   X    X                         X X             ] = user#single_volume_books
  377.   [                                                                                        XXXXXXXXXXX                                                                                                                        XXXX                  XXXXXX                                XX X                                             XXXX XX           XX   X             X     X            ] = user#periodical
  378.   [                                                                                                                                                               X       X X X                                         X    X                             X    X                                                                       XX                           X        X        X           ] = user#applied_science
  379.   [                                                                                                                                                              X   X   X X X                                         X             X         X                 X                                                                     X              XX              X      X          X          ] = user#applied_science_material
  380.   [                    XXX                                                                                    X X X X X X X X X X X X X X     X X X X X X X X X X X X X X X X X X X X X X X X X X X X X X X X X X X X X X X XX                            XXX X X X XX  X X X X  X X X                                            X X X XXX                         XX X      XX       X X         ] = user#subjects
  381.   [                                                                                      XXXXXXXXXXXXXX                                                                                                                       XXXX                  XXXXXX                                XXXXX                                X           XXXXXXX          XXX X XX      X     X     X   X        ] = user#serials
  382.   [                                                                                    XXX                                                                                                                                        XXXX          X X                                           XXXX                            XX                  X X    X X                       X X     X       ] = user#books
  383.   [                                                X     XX                            XXX                                                                                                                                        XXXX          X X                                           XXXX           X X              XX                  X X    X X                       X X     XX      ] = user#monograph
  384.   [                                               XX     XX                            XXX                                                                                                                                        XXXX          X X                                           XXXX           X X              XX                  X X    X X                       X X     XXX     ] = user#printed_monograph
  385.   [                                               XX     XXXXXXXXXXX       XX   XXXXXXXXXXXXXXXXXXXXXXXXXXXXXX X X X X X X X X X X X X X XXXXX X X X X X X X X X X X X X X X X X X X X X X X X X X X X X X X X X X X X X X X  XXXXXXXX         XXXXXXXXXXX   X X X    XX X X X X  X X XXX XXXXXXXXXXXX X  XXXX X          XXXXXXXX X X X   XXXXXXXXXXXXXXXXXXXX X XX  X XXXX X  XXXXXXX X XXXXX    ] = user#library_material
  386.   [XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX   ] = syntax#@
  387.  
  388. *** Yes
  389. > > 
  390.