(REAL-TIME-SINCE
 (6 2 (:REWRITE STATE-P-IMPLIES-AND-FORWARD-TO-STATE-P1))
 )
(RATIONALP-OF-MV-NTH-0-OF-REAL-TIME-SINCE
 (2 1 (:REWRITE DEFAULT-+-1))
 (1 1 (:REWRITE DEFAULT-UNARY-MINUS))
 (1 1 (:REWRITE DEFAULT-+-2))
 )
(W-OF-MV-NTH-1-OF-REAL-TIME-SINCE
 (2 1 (:REWRITE DEFAULT-+-1))
 (1 1 (:TYPE-PRESCRIPTION RATIONALP-OF-MV-NTH-0-OF-GET-REAL-TIME))
 (1 1 (:REWRITE DEFAULT-UNARY-MINUS))
 (1 1 (:REWRITE DEFAULT-+-2))
 )
(STATE-P-OF-MV-NTH-1-OF-REAL-TIME-SINCE
 (12 4 (:REWRITE STATE-P-IMPLIES-AND-FORWARD-TO-STATE-P1))
 (2 1 (:REWRITE DEFAULT-+-1))
 (1 1 (:TYPE-PRESCRIPTION RATIONALP-OF-MV-NTH-0-OF-GET-REAL-TIME))
 (1 1 (:REWRITE DEFAULT-UNARY-MINUS))
 (1 1 (:REWRITE DEFAULT-+-2))
 )
