(READ-OBJECT-FROM-FILE)
(STATE-P1-OF-MV-NTH-2-OF-READ-OBJECT-FROM-FILE
 (12 4 (:REWRITE STATE-P-IMPLIES-AND-FORWARD-TO-STATE-P1))
 (8 8 (:TYPE-PRESCRIPTION STATE-P))
 )
(STATE-P-OF-MV-NTH-2-OF-READ-OBJECT-FROM-FILE)
