(ALL-CONSP)
(CONSP-OF-CAR-WHEN-ALL-CONSP
 (5 5 (:REWRITE DEFAULT-CAR))
 (2 2 (:REWRITE DEFAULT-CDR))
 )
(ALL-CONSP-FORWARD-TO-CONSP-OF-CAR
 (1 1 (:REWRITE DEFAULT-CAR))
 )
(ALL-CONSP-OF-CDR
 (1 1 (:REWRITE DEFAULT-CAR))
 )
(ALL-CONSP-OF-CONS
 (8 2 (:REWRITE ALL-CONSP-OF-CDR))
 (3 3 (:REWRITE DEFAULT-CDR))
 (3 3 (:REWRITE DEFAULT-CAR))
 )
(ALL-CONSP-OF-INTERSECTION-EQUAL
 (208 208 (:REWRITE DEFAULT-CAR))
 (161 161 (:REWRITE DEFAULT-CDR))
 )
