(INTERSECTP-DOMAINS
 (4 4 (:REWRITE DEFAULT-CAR))
 (3 3 (:REWRITE DEFAULT-CDR))
 )
(APPEND-DISJOINT-ALISTS
 (10 5 (:TYPE-PRESCRIPTION TRUE-LISTP-APPEND))
 (5 5 (:TYPE-PRESCRIPTION TRUE-LISTP))
 )
(REVERSE-ENTRIES
 (13 13 (:REWRITE DEFAULT-CDR))
 (12 6 (:DEFINITION TRUE-LISTP))
 (9 9 (:REWRITE DEFAULT-CAR))
 )
(BOOK-RUNES-ALIST-2)
(SCAN-TO-INCLUDE-BOOK-PATH)
(BOOK-RUNES-ALIST-TOP)
(BOOK-RUNES-ALIST)
