(GET-TRANSFORMATION-TABLE)
(PREVIOUS-TRANSFORMATION-EXPANSION
 (22 2 (:DEFINITION FGETPROP))
 (20 20 (:REWRITE DEFAULT-CAR))
 (18 18 (:REWRITE DEFAULT-CDR))
 (15 3 (:DEFINITION ASSOC-EQUAL))
 (6 2 (:REWRITE STATE-P-IMPLIES-AND-FORWARD-TO-STATE-P1))
 (4 2 (:DEFINITION NTH))
 (3 1 (:DEFINITION ALISTP))
 )
(PREVIOUS-TRANSFORMATION-EXPANSION2
 (22 2 (:DEFINITION FGETPROP))
 (20 20 (:REWRITE DEFAULT-CAR))
 (18 18 (:REWRITE DEFAULT-CDR))
 (15 3 (:DEFINITION ASSOC-EQUAL))
 (6 2 (:REWRITE STATE-P-IMPLIES-AND-FORWARD-TO-STATE-P1))
 (4 2 (:DEFINITION NTH))
 (3 1 (:DEFINITION ALISTP))
 )
