(INTERVAL::INTERVALP
 (2 2 (:REWRITE INTERVAL::MAYBE-RATIONALP-WHEN-RATIONALP-CHEAP))
 (2 2 (:REWRITE INTERVAL::MAYBE-RATIONALP-WHEN-NOT-CHEAP))
 )
(INTERVAL::BOOLEANP-OF-INTERVALP)
(INTERVAL::INTERVALP-TYPE-PRESCRIPTION)
(INTERVAL::INTERVALP-COMPOUND-RECOGNIZER
 (2 2 (:REWRITE INTERVAL::MAYBE-RATIONALP-WHEN-RATIONALP-CHEAP))
 (2 2 (:REWRITE INTERVAL::MAYBE-RATIONALP-WHEN-NOT-CHEAP))
 )
(INTERVAL::EMPTY$INLINE)
(INTERVAL::INTERVALP-OF-EMPTY)
(INTERVAL::EMPTY-TYPE-PRESCRIPTION)
(INTERVAL::FULL$INLINE)
(INTERVAL::INTERVALP-OF-FULL)
(INTERVAL::FULL-TYPE-PRESCRIPTION)
(INTERVAL::FIX$INLINE)
(INTERVAL::INTERVALP-OF-FIX)
(INTERVAL::FIX-TYPE-PRESCRIPTION)
(INTERVAL::FIX-WHEN-INTERVALP)
(INTERVAL::FIX-WHEN-NOT-INTERVALP
 (1 1 (:REWRITE INTERVAL::FIX-WHEN-INTERVALP))
 )
(INTERVAL::FIX-WHEN-NOT-INTERVALP-CHEAP)
(INTERVAL::EQUIV$INLINE)
(INTERVAL::BOOLEANP-OF-EQUIV)
(INTERVAL::EQUIV-TYPE-PRESCRIPTION)
(INTERVAL::EQUIV-IS-AN-EQUIVALENCE)
(INTERVAL::FIX-UNDER-EQUIV
 (7 3 (:REWRITE INTERVAL::FIX-WHEN-NOT-INTERVALP-CHEAP))
 )
(INTERVAL::FIX-WHEN-EQUIV-CONGRUENCE)
(INTERVAL::EMPTYP$INLINE)
(INTERVAL::BOOLEANP-OF-EMPTYP)
(INTERVAL::EMPTYP-TYPE-PRESCRIPTION)
(INTERVAL::EMPTYP-COMPOUND-RECOGNIZER)
(INTERVAL::EMPTYP-WHEN-EQUIV-CONGRUENCE
 (6 6 (:TYPE-PRESCRIPTION INTERVAL::INTERVALP-TYPE-PRESCRIPTION))
 (6 2 (:REWRITE INTERVAL::FIX-WHEN-INTERVALP))
 (4 2 (:REWRITE INTERVAL::FIX-WHEN-NOT-INTERVALP-CHEAP))
 )
(INTERVAL::EMPTYP-OF-NIL)
(INTERVAL::EMPTYP-OF-EMPTY)
(INTERVAL::INTERVALP-WHEN-EMPTYP)
(INTERVAL::INTERVALP-WHEN-EMPTYP-FORWARD-CHAINING)
(INTERVAL::EMPTYP-WHEN-NOT-INTERVALP)
(INTERVAL::EMPTYP-WHEN-NOT-INTERVALP-FORWARD-CHAINING)
(INTERVAL::MIN$INLINE
 (1 1 (:REWRITE INTERVAL::FIX-WHEN-NOT-INTERVALP-CHEAP))
 )
(INTERVAL::MAYBE-RATIONALP-OF-MIN
 (9 1 (:REWRITE INTERVAL::FIX-WHEN-INTERVALP))
 (5 5 (:REWRITE INTERVAL::MAYBE-RATIONALP-WHEN-RATIONALP-CHEAP))
 (5 5 (:REWRITE INTERVAL::MAYBE-RATIONALP-WHEN-NOT-CHEAP))
 (2 2 (:TYPE-PRESCRIPTION INTERVAL::INTERVALP-TYPE-PRESCRIPTION))
 (2 1 (:REWRITE INTERVAL::FIX-WHEN-NOT-INTERVALP-CHEAP))
 )
(INTERVAL::MIN-TYPE-PRESCRIPTION)
(INTERVAL::MIN-WHEN-EQUIV-CONGRUENCE
 (6 6 (:TYPE-PRESCRIPTION INTERVAL::INTERVALP-TYPE-PRESCRIPTION))
 (6 2 (:REWRITE INTERVAL::FIX-WHEN-INTERVALP))
 (4 2 (:REWRITE INTERVAL::FIX-WHEN-NOT-INTERVALP-CHEAP))
 )
(INTERVAL::MIN-WHEN-EMPTYP)
(INTERVAL::MIN-WHEN-EMPTYP-CHEAP)
(INTERVAL::MIN-OF-EMPTY)
(INTERVAL::MIN-WHEN-NOT-INTERVALP
 (1 1 (:REWRITE INTERVAL::MIN-WHEN-EMPTYP-CHEAP))
 )
(INTERVAL::MIN-WHEN-NOT-INTERVALP-CHEAP)
(INTERVAL::MAX$INLINE
 (1 1 (:REWRITE INTERVAL::FIX-WHEN-NOT-INTERVALP-CHEAP))
 )
(INTERVAL::MAYBE-RATIONALP-OF-MAX
 (9 1 (:REWRITE INTERVAL::FIX-WHEN-INTERVALP))
 (5 5 (:REWRITE INTERVAL::MAYBE-RATIONALP-WHEN-RATIONALP-CHEAP))
 (5 5 (:REWRITE INTERVAL::MAYBE-RATIONALP-WHEN-NOT-CHEAP))
 (2 2 (:TYPE-PRESCRIPTION INTERVAL::INTERVALP-TYPE-PRESCRIPTION))
 (2 1 (:REWRITE INTERVAL::FIX-WHEN-NOT-INTERVALP-CHEAP))
 )
(INTERVAL::MAX-TYPE-PRESCRIPTION)
(INTERVAL::MAX-WHEN-EQUIV-CONGRUENCE
 (6 6 (:TYPE-PRESCRIPTION INTERVAL::INTERVALP-TYPE-PRESCRIPTION))
 (6 2 (:REWRITE INTERVAL::FIX-WHEN-INTERVALP))
 (4 2 (:REWRITE INTERVAL::FIX-WHEN-NOT-INTERVALP-CHEAP))
 )
(INTERVAL::MAX-WHEN-EMPTYP)
(INTERVAL::MAX-WHEN-EMPTYP-CHEAP)
(INTERVAL::MAX-OF-EMPTY)
(INTERVAL::MAX-WHEN-NOT-INTERVALP
 (1 1 (:REWRITE INTERVAL::MAX-WHEN-EMPTYP-CHEAP))
 )
(INTERVAL::MAX-WHEN-NOT-INTERVALP-CHEAP)
(INTERVAL::BOUNDED-BELOW-P$INLINE
 (6 3 (:REWRITE INTERVAL::MIN-WHEN-NOT-INTERVALP-CHEAP))
 (6 3 (:REWRITE INTERVAL::MIN-WHEN-EMPTYP-CHEAP))
 (6 3 (:REWRITE INTERVAL::FIX-WHEN-NOT-INTERVALP-CHEAP))
 (4 4 (:REWRITE INTERVAL::MAYBE-RATIONALP-WHEN-RATIONALP-CHEAP))
 (4 4 (:REWRITE INTERVAL::MAYBE-RATIONALP-WHEN-NOT-CHEAP))
 )
(INTERVAL::BOOLEANP-OF-BOUNDED-BELOW-P)
(INTERVAL::BOUNDED-BELOW-P-TYPE-PRESCRIPTION)
(INTERVAL::BOUNDED-BELOW-P-WHEN-EQUIV-CONGRUENCE
 (4 2 (:REWRITE INTERVAL::MIN-WHEN-NOT-INTERVALP-CHEAP))
 (4 2 (:REWRITE INTERVAL::MIN-WHEN-EMPTYP-CHEAP))
 (2 2 (:TYPE-PRESCRIPTION INTERVAL::INTERVALP-TYPE-PRESCRIPTION))
 (2 2 (:TYPE-PRESCRIPTION INTERVAL::EMPTYP-TYPE-PRESCRIPTION))
 )
(INTERVAL::BOUNDED-BELOW-P-WHEN-EMPTYP)
(INTERVAL::BOUNDED-BELOW-P-WHEN-EMPTYP-CHEAP)
(INTERVAL::BOUNDED-BELOW-P-OF-EMPTY)
(INTERVAL::BOUNDED-BELOW-P-WHEN-NOT-INTERVALP
 (1 1 (:REWRITE INTERVAL::BOUNDED-BELOW-P-WHEN-EMPTYP-CHEAP))
 )
(INTERVAL::BOUNDED-BELOW-P-WHEN-NOT-INTERVALP-CHEAP)
(INTERVAL::MIN-UNDER-IFF
 (6 3 (:REWRITE INTERVAL::MIN-WHEN-NOT-INTERVALP-CHEAP))
 (6 3 (:REWRITE INTERVAL::MIN-WHEN-EMPTYP-CHEAP))
 (5 5 (:TYPE-PRESCRIPTION INTERVAL::INTERVALP-TYPE-PRESCRIPTION))
 (5 5 (:TYPE-PRESCRIPTION INTERVAL::EMPTYP-TYPE-PRESCRIPTION))
 (4 2 (:REWRITE INTERVAL::BOUNDED-BELOW-P-WHEN-NOT-INTERVALP-CHEAP))
 (4 2 (:REWRITE INTERVAL::BOUNDED-BELOW-P-WHEN-EMPTYP-CHEAP))
 )
(INTERVAL::RATIONALP-OF-MIN
 (4 2 (:REWRITE INTERVAL::MIN-WHEN-NOT-INTERVALP-CHEAP))
 (4 2 (:REWRITE INTERVAL::MIN-WHEN-EMPTYP-CHEAP))
 (3 3 (:TYPE-PRESCRIPTION INTERVAL::INTERVALP-TYPE-PRESCRIPTION))
 (3 3 (:TYPE-PRESCRIPTION INTERVAL::EMPTYP-TYPE-PRESCRIPTION))
 (2 1 (:REWRITE INTERVAL::BOUNDED-BELOW-P-WHEN-NOT-INTERVALP-CHEAP))
 (2 1 (:REWRITE INTERVAL::BOUNDED-BELOW-P-WHEN-EMPTYP-CHEAP))
 )
(INTERVAL::RATIONALP-OF-MIN-WHEN-BOUNDED-BELOW-P-TYPE-PRESCRIPTION)
(INTERVAL::MIN-WHEN-NOT-BOUNDED-BELOW-P
 (15 13 (:TYPE-PRESCRIPTION INTERVAL::RATIONALP-OF-MIN-WHEN-BOUNDED-BELOW-P-TYPE-PRESCRIPTION))
 (2 2 (:TYPE-PRESCRIPTION INTERVAL::INTERVALP-TYPE-PRESCRIPTION))
 (2 2 (:TYPE-PRESCRIPTION INTERVAL::EMPTYP-TYPE-PRESCRIPTION))
 (2 1 (:REWRITE INTERVAL::MIN-WHEN-NOT-INTERVALP-CHEAP))
 (2 1 (:REWRITE INTERVAL::MIN-WHEN-EMPTYP-CHEAP))
 (2 1 (:REWRITE INTERVAL::BOUNDED-BELOW-P-WHEN-NOT-INTERVALP-CHEAP))
 (2 1 (:REWRITE INTERVAL::BOUNDED-BELOW-P-WHEN-EMPTYP-CHEAP))
 )
(INTERVAL::MIN-WHEN-NOT-BOUNDED-BELOW-P-CHEAP)
(INTERVAL::BOUNDED-ABOVE-P$INLINE
 (6 3 (:REWRITE INTERVAL::MAX-WHEN-NOT-INTERVALP-CHEAP))
 (6 3 (:REWRITE INTERVAL::MAX-WHEN-EMPTYP-CHEAP))
 (6 3 (:REWRITE INTERVAL::FIX-WHEN-NOT-INTERVALP-CHEAP))
 (4 4 (:REWRITE INTERVAL::MAYBE-RATIONALP-WHEN-RATIONALP-CHEAP))
 (4 4 (:REWRITE INTERVAL::MAYBE-RATIONALP-WHEN-NOT-CHEAP))
 )
(INTERVAL::BOOLEANP-OF-BOUNDED-ABOVE-P)
(INTERVAL::BOUNDED-ABOVE-P-TYPE-PRESCRIPTION)
(INTERVAL::BOUNDED-ABOVE-P-WHEN-EQUIV-CONGRUENCE
 (4 2 (:REWRITE INTERVAL::MAX-WHEN-NOT-INTERVALP-CHEAP))
 (4 2 (:REWRITE INTERVAL::MAX-WHEN-EMPTYP-CHEAP))
 (2 2 (:TYPE-PRESCRIPTION INTERVAL::INTERVALP-TYPE-PRESCRIPTION))
 (2 2 (:TYPE-PRESCRIPTION INTERVAL::EMPTYP-TYPE-PRESCRIPTION))
 )
(INTERVAL::BOUNDED-ABOVE-P-WHEN-EMPTYP)
(INTERVAL::BOUNDED-ABOVE-P-WHEN-EMPTYP-CHEAP)
(INTERVAL::BOUNDED-ABOVE-P-OF-EMPTY)
(INTERVAL::BOUNDED-ABOVE-P-WHEN-NOT-INTERVALP
 (1 1 (:REWRITE INTERVAL::BOUNDED-ABOVE-P-WHEN-EMPTYP-CHEAP))
 )
(INTERVAL::BOUNDED-ABOVE-P-WHEN-NOT-INTERVALP-CHEAP)
(INTERVAL::MAX-UNDER-IFF
 (6 3 (:REWRITE INTERVAL::MAX-WHEN-NOT-INTERVALP-CHEAP))
 (6 3 (:REWRITE INTERVAL::MAX-WHEN-EMPTYP-CHEAP))
 (5 5 (:TYPE-PRESCRIPTION INTERVAL::INTERVALP-TYPE-PRESCRIPTION))
 (5 5 (:TYPE-PRESCRIPTION INTERVAL::EMPTYP-TYPE-PRESCRIPTION))
 (4 2 (:REWRITE INTERVAL::BOUNDED-ABOVE-P-WHEN-NOT-INTERVALP-CHEAP))
 (4 2 (:REWRITE INTERVAL::BOUNDED-ABOVE-P-WHEN-EMPTYP-CHEAP))
 )
(INTERVAL::RATIONALP-OF-MAX
 (4 2 (:REWRITE INTERVAL::MAX-WHEN-NOT-INTERVALP-CHEAP))
 (4 2 (:REWRITE INTERVAL::MAX-WHEN-EMPTYP-CHEAP))
 (3 3 (:TYPE-PRESCRIPTION INTERVAL::INTERVALP-TYPE-PRESCRIPTION))
 (3 3 (:TYPE-PRESCRIPTION INTERVAL::EMPTYP-TYPE-PRESCRIPTION))
 (2 1 (:REWRITE INTERVAL::BOUNDED-ABOVE-P-WHEN-NOT-INTERVALP-CHEAP))
 (2 1 (:REWRITE INTERVAL::BOUNDED-ABOVE-P-WHEN-EMPTYP-CHEAP))
 )
(INTERVAL::RATIONALP-OF-MAX-WHEN-BOUNDED-ABOVE-P-TYPE-PRESCRIPTION)
(INTERVAL::MAX-WHEN-NOT-BOUNDED-ABOVE-P
 (15 13 (:TYPE-PRESCRIPTION INTERVAL::RATIONALP-OF-MAX-WHEN-BOUNDED-ABOVE-P-TYPE-PRESCRIPTION))
 (2 2 (:TYPE-PRESCRIPTION INTERVAL::INTERVALP-TYPE-PRESCRIPTION))
 (2 2 (:TYPE-PRESCRIPTION INTERVAL::EMPTYP-TYPE-PRESCRIPTION))
 (2 1 (:REWRITE INTERVAL::MAX-WHEN-NOT-INTERVALP-CHEAP))
 (2 1 (:REWRITE INTERVAL::MAX-WHEN-EMPTYP-CHEAP))
 (2 1 (:REWRITE INTERVAL::BOUNDED-ABOVE-P-WHEN-NOT-INTERVALP-CHEAP))
 (2 1 (:REWRITE INTERVAL::BOUNDED-ABOVE-P-WHEN-EMPTYP-CHEAP))
 )
(INTERVAL::MAX-WHEN-NOT-BOUNDED-ABOVE-P-CHEAP)
(INTERVAL::<=-OF-MIN-AND-MAX
 (10 5 (:REWRITE INTERVAL::FIX-WHEN-NOT-INTERVALP-CHEAP))
 (4 4 (:REWRITE INTERVAL::MAYBE-RATIONALP-WHEN-RATIONALP-CHEAP))
 (4 4 (:REWRITE INTERVAL::MAYBE-RATIONALP-WHEN-NOT-CHEAP))
 (2 2 (:TYPE-PRESCRIPTION MAYBE-RATIONALP$INLINE))
 (2 2 (:TYPE-PRESCRIPTION INTERVAL::EMPTYP-TYPE-PRESCRIPTION))
 (2 1 (:REWRITE INTERVAL::MIN-WHEN-NOT-INTERVALP-CHEAP))
 (2 1 (:REWRITE INTERVAL::MIN-WHEN-NOT-BOUNDED-BELOW-P-CHEAP))
 (2 1 (:REWRITE INTERVAL::MIN-WHEN-EMPTYP-CHEAP))
 (2 1 (:REWRITE INTERVAL::MAX-WHEN-NOT-INTERVALP-CHEAP))
 (2 1 (:REWRITE INTERVAL::MAX-WHEN-NOT-BOUNDED-ABOVE-P-CHEAP))
 (2 1 (:REWRITE INTERVAL::MAX-WHEN-EMPTYP-CHEAP))
 )
(INTERVAL::<=-OF-MIN-AND-MAX-LINEAR
 (4 4 (:TYPE-PRESCRIPTION INTERVAL::INTERVALP-TYPE-PRESCRIPTION))
 (4 4 (:TYPE-PRESCRIPTION INTERVAL::EMPTYP-TYPE-PRESCRIPTION))
 (2 1 (:REWRITE INTERVAL::MIN-WHEN-NOT-INTERVALP-CHEAP))
 (2 1 (:REWRITE INTERVAL::MIN-WHEN-EMPTYP-CHEAP))
 (2 1 (:REWRITE INTERVAL::MAX-WHEN-NOT-INTERVALP-CHEAP))
 (2 1 (:REWRITE INTERVAL::MAX-WHEN-EMPTYP-CHEAP))
 (2 1 (:REWRITE INTERVAL::BOUNDED-BELOW-P-WHEN-NOT-INTERVALP-CHEAP))
 (2 1 (:REWRITE INTERVAL::BOUNDED-BELOW-P-WHEN-EMPTYP-CHEAP))
 (2 1 (:REWRITE INTERVAL::BOUNDED-ABOVE-P-WHEN-NOT-INTERVALP-CHEAP))
 (2 1 (:REWRITE INTERVAL::BOUNDED-ABOVE-P-WHEN-EMPTYP-CHEAP))
 (1 1 (:REWRITE INTERVAL::MIN-WHEN-NOT-BOUNDED-BELOW-P-CHEAP))
 (1 1 (:REWRITE INTERVAL::MAX-WHEN-NOT-BOUNDED-ABOVE-P-CHEAP))
 )
(INTERVAL::BOUNDEDP$INLINE
 (10 5 (:REWRITE INTERVAL::FIX-WHEN-NOT-INTERVALP-CHEAP))
 (6 6 (:REWRITE INTERVAL::MAYBE-RATIONALP-WHEN-RATIONALP-CHEAP))
 (6 6 (:REWRITE INTERVAL::MAYBE-RATIONALP-WHEN-NOT-CHEAP))
 (6 3 (:REWRITE INTERVAL::MIN-WHEN-NOT-INTERVALP-CHEAP))
 (6 3 (:REWRITE INTERVAL::MIN-WHEN-NOT-BOUNDED-BELOW-P-CHEAP))
 (6 3 (:REWRITE INTERVAL::MIN-WHEN-EMPTYP-CHEAP))
 (6 3 (:REWRITE INTERVAL::BOUNDED-BELOW-P-WHEN-NOT-INTERVALP-CHEAP))
 (6 3 (:REWRITE INTERVAL::BOUNDED-BELOW-P-WHEN-EMPTYP-CHEAP))
 (4 2 (:REWRITE INTERVAL::MAX-WHEN-NOT-INTERVALP-CHEAP))
 (4 2 (:REWRITE INTERVAL::MAX-WHEN-NOT-BOUNDED-ABOVE-P-CHEAP))
 (4 2 (:REWRITE INTERVAL::MAX-WHEN-EMPTYP-CHEAP))
 (4 2 (:REWRITE INTERVAL::BOUNDED-ABOVE-P-WHEN-NOT-INTERVALP-CHEAP))
 (4 2 (:REWRITE INTERVAL::BOUNDED-ABOVE-P-WHEN-EMPTYP-CHEAP))
 )
(INTERVAL::BOOLEANP-OF-BOUNDEDP)
(INTERVAL::BOUNDEDP-TYPE-PRESCRIPTION)
(INTERVAL::BOUNDEDP-WHEN-EQUIV-CONGRUENCE
 (4 4 (:TYPE-PRESCRIPTION INTERVAL::INTERVALP-TYPE-PRESCRIPTION))
 (4 4 (:TYPE-PRESCRIPTION INTERVAL::EMPTYP-TYPE-PRESCRIPTION))
 (4 2 (:REWRITE INTERVAL::BOUNDED-BELOW-P-WHEN-NOT-INTERVALP-CHEAP))
 (4 2 (:REWRITE INTERVAL::BOUNDED-BELOW-P-WHEN-EMPTYP-CHEAP))
 (4 2 (:REWRITE INTERVAL::BOUNDED-ABOVE-P-WHEN-NOT-INTERVALP-CHEAP))
 (4 2 (:REWRITE INTERVAL::BOUNDED-ABOVE-P-WHEN-EMPTYP-CHEAP))
 )
(INTERVAL::BOUNDEDP-WHEN-BOUNDED-BELOW-P-AND-BOUNDED-ABOVE-P
 (4 4 (:TYPE-PRESCRIPTION INTERVAL::INTERVALP-TYPE-PRESCRIPTION))
 (4 4 (:TYPE-PRESCRIPTION INTERVAL::EMPTYP-TYPE-PRESCRIPTION))
 (4 2 (:REWRITE INTERVAL::BOUNDED-BELOW-P-WHEN-NOT-INTERVALP-CHEAP))
 (4 2 (:REWRITE INTERVAL::BOUNDED-BELOW-P-WHEN-EMPTYP-CHEAP))
 (4 2 (:REWRITE INTERVAL::BOUNDED-ABOVE-P-WHEN-NOT-INTERVALP-CHEAP))
 (4 2 (:REWRITE INTERVAL::BOUNDED-ABOVE-P-WHEN-EMPTYP-CHEAP))
 )
(INTERVAL::BOUNDEDP-WHEN-BOUNDED-BELOW-P-AND-BOUNDED-ABOVE-P-CHEAP)
(INTERVAL::BOUNDED-BELOW-P-WHEN-BOUNDEDP)
(INTERVAL::BOUNDED-BELOW-P-WHEN-BOUNDEDP-FORWARD-CHAINING)
(INTERVAL::BOUNDED-ABOVE-P-WHEN-BOUNDEDP)
(INTERVAL::BOUNDED-ABOVE-P-WHEN-BOUNDEDP-FORWARD-CHAINING)
(INTERVAL::BOUNDEDP-WHEN-EMPTYP)
(INTERVAL::BOUNDEDP-WHEN-EMPTYP-CHEAP)
(INTERVAL::BOUNDEDP-OF-EMPTY)
(INTERVAL::BOUNDEDP-WHEN-NOT-INTERVALP
 (2 1 (:REWRITE INTERVAL::BOUNDEDP-WHEN-BOUNDED-BELOW-P-AND-BOUNDED-ABOVE-P-CHEAP))
 (1 1 (:REWRITE INTERVAL::BOUNDEDP-WHEN-EMPTYP-CHEAP))
 )
(INTERVAL::BOUNDEDP-WHEN-NOT-INTERVALP-CHEAP)
(INTERVAL::INTERVAL$INLINE
 (4 4 (:REWRITE RFIX-WHEN-NOT-RATIONALP-CHEAP))
 (4 4 (:REWRITE INTERVAL::MAYBE-RATIONALP-WHEN-RATIONALP-CHEAP))
 (4 4 (:REWRITE INTERVAL::MAYBE-RATIONALP-WHEN-NOT-CHEAP))
 (1 1 (:REWRITE MAYBE-RATIONAL-FIX-WHEN-NOT-MAYBE-RATIONALP-CHEAP))
 )
(INTERVAL::INTERVALP-OF-INTERVAL
 (15 3 (:REWRITE MAYBE-RATIONAL-FIX-WHEN-MAYBE-RATIONALP))
 (9 9 (:TYPE-PRESCRIPTION MAYBE-RATIONALP$INLINE))
 (6 3 (:REWRITE MAYBE-RATIONAL-FIX-WHEN-NOT-MAYBE-RATIONALP-CHEAP))
 (5 5 (:REWRITE RFIX-WHEN-RATIONALP))
 (5 5 (:REWRITE RFIX-WHEN-NOT-RATIONALP-CHEAP))
 (5 5 (:REWRITE INTERVAL::MAYBE-RATIONALP-WHEN-RATIONALP-CHEAP))
 (5 5 (:REWRITE INTERVAL::MAYBE-RATIONALP-WHEN-NOT-CHEAP))
 )
(INTERVAL::INTERVAL-TYPE-PRESCRIPTION)
(INTERVAL::MIN-OF-INTERVAL
 (25 5 (:REWRITE MAYBE-RATIONAL-FIX-WHEN-MAYBE-RATIONALP))
 (21 21 (:REWRITE RFIX-WHEN-RATIONALP))
 (21 21 (:REWRITE RFIX-WHEN-NOT-RATIONALP-CHEAP))
 (21 5 (:REWRITE INTERVAL::MIN-WHEN-EMPTYP-CHEAP))
 (20 5 (:REWRITE INTERVAL::MIN-WHEN-NOT-INTERVALP-CHEAP))
 (17 17 (:TYPE-PRESCRIPTION MAYBE-RATIONALP$INLINE))
 (12 5 (:REWRITE INTERVAL::FIX-WHEN-NOT-INTERVALP-CHEAP))
 (10 5 (:REWRITE INTERVAL::MIN-WHEN-NOT-BOUNDED-BELOW-P-CHEAP))
 (10 5 (:REWRITE MAYBE-RATIONAL-FIX-WHEN-NOT-MAYBE-RATIONALP-CHEAP))
 (7 7 (:REWRITE INTERVAL::MAYBE-RATIONALP-WHEN-RATIONALP-CHEAP))
 (7 7 (:REWRITE INTERVAL::MAYBE-RATIONALP-WHEN-NOT-CHEAP))
 (5 5 (:TYPE-PRESCRIPTION INTERVAL::EMPTYP-TYPE-PRESCRIPTION))
 )
(INTERVAL::BOUNDED-BELOW-P-OF-INTERVAL
 (7 7 (:REWRITE RFIX-WHEN-RATIONALP))
 (7 7 (:REWRITE RFIX-WHEN-NOT-RATIONALP-CHEAP))
 (5 1 (:REWRITE MAYBE-RATIONAL-FIX-WHEN-MAYBE-RATIONALP))
 (3 3 (:TYPE-PRESCRIPTION MAYBE-RATIONALP$INLINE))
 (3 1 (:REWRITE INTERVAL::BOUNDED-BELOW-P-WHEN-NOT-INTERVALP-CHEAP))
 (3 1 (:REWRITE INTERVAL::BOUNDED-BELOW-P-WHEN-EMPTYP-CHEAP))
 (2 2 (:TYPE-PRESCRIPTION INTERVAL::INTERVAL-TYPE-PRESCRIPTION))
 (2 1 (:REWRITE MAYBE-RATIONAL-FIX-WHEN-NOT-MAYBE-RATIONALP-CHEAP))
 (1 1 (:TYPE-PRESCRIPTION INTERVAL::INTERVALP-TYPE-PRESCRIPTION))
 (1 1 (:TYPE-PRESCRIPTION INTERVAL::EMPTYP-TYPE-PRESCRIPTION))
 (1 1 (:REWRITE INTERVAL::MAYBE-RATIONALP-WHEN-RATIONALP-CHEAP))
 (1 1 (:REWRITE INTERVAL::MAYBE-RATIONALP-WHEN-NOT-CHEAP))
 )
(INTERVAL::MIN-OF-INTERVAL-WHEN-RATIONALP-AND-<=
 (6 2 (:LINEAR INTERVAL::<=-OF-MIN-AND-MAX-LINEAR))
 (3 3 (:REWRITE RFIX-WHEN-NOT-RATIONALP-CHEAP))
 )
(INTERVAL::BOUNDED-BELOW-P-OF-INTERVAL-WHEN-RATIONALP-AND-<=
 (2 2 (:REWRITE RFIX-WHEN-NOT-RATIONALP-CHEAP))
 )
(INTERVAL::BOUNDED-BELOW-P-OF-INTERVAL-NIL
 (1 1 (:REWRITE INTERVAL::BOUNDED-BELOW-P-OF-INTERVAL-WHEN-RATIONALP-AND-<=))
 )
(INTERVAL::MIN-OF-INTERVAL-NIL)
(INTERVAL::MAX-OF-INTERVAL
 (26 6 (:REWRITE MAYBE-RATIONAL-FIX-WHEN-MAYBE-RATIONALP))
 (20 20 (:REWRITE RFIX-WHEN-RATIONALP))
 (20 20 (:REWRITE RFIX-WHEN-NOT-RATIONALP-CHEAP))
 (20 5 (:REWRITE INTERVAL::MAX-WHEN-NOT-INTERVALP-CHEAP))
 (20 5 (:REWRITE INTERVAL::MAX-WHEN-EMPTYP-CHEAP))
 (18 18 (:TYPE-PRESCRIPTION MAYBE-RATIONALP$INLINE))
 (12 6 (:REWRITE MAYBE-RATIONAL-FIX-WHEN-NOT-MAYBE-RATIONALP-CHEAP))
 (12 5 (:REWRITE INTERVAL::FIX-WHEN-NOT-INTERVALP-CHEAP))
 (10 5 (:REWRITE INTERVAL::MAX-WHEN-NOT-BOUNDED-ABOVE-P-CHEAP))
 (7 7 (:REWRITE INTERVAL::MAYBE-RATIONALP-WHEN-RATIONALP-CHEAP))
 (7 7 (:REWRITE INTERVAL::MAYBE-RATIONALP-WHEN-NOT-CHEAP))
 (5 5 (:TYPE-PRESCRIPTION INTERVAL::EMPTYP-TYPE-PRESCRIPTION))
 )
(INTERVAL::BOUNDED-ABOVE-P-OF-INTERVAL
 (7 7 (:REWRITE RFIX-WHEN-RATIONALP))
 (7 7 (:REWRITE RFIX-WHEN-NOT-RATIONALP-CHEAP))
 (5 1 (:REWRITE MAYBE-RATIONAL-FIX-WHEN-MAYBE-RATIONALP))
 (3 3 (:TYPE-PRESCRIPTION MAYBE-RATIONALP$INLINE))
 (3 1 (:REWRITE INTERVAL::BOUNDED-ABOVE-P-WHEN-NOT-INTERVALP-CHEAP))
 (3 1 (:REWRITE INTERVAL::BOUNDED-ABOVE-P-WHEN-EMPTYP-CHEAP))
 (2 2 (:TYPE-PRESCRIPTION INTERVAL::INTERVAL-TYPE-PRESCRIPTION))
 (2 1 (:REWRITE MAYBE-RATIONAL-FIX-WHEN-NOT-MAYBE-RATIONALP-CHEAP))
 (1 1 (:TYPE-PRESCRIPTION INTERVAL::INTERVALP-TYPE-PRESCRIPTION))
 (1 1 (:TYPE-PRESCRIPTION INTERVAL::EMPTYP-TYPE-PRESCRIPTION))
 (1 1 (:REWRITE INTERVAL::MAYBE-RATIONALP-WHEN-RATIONALP-CHEAP))
 (1 1 (:REWRITE INTERVAL::MAYBE-RATIONALP-WHEN-NOT-CHEAP))
 )
(INTERVAL::MAX-OF-INTERVAL-WHEN-RATIONALP-AND-<=
 (10 2 (:LINEAR INTERVAL::<=-OF-MIN-AND-MAX-LINEAR))
 (3 3 (:REWRITE RFIX-WHEN-NOT-RATIONALP-CHEAP))
 (2 2 (:TYPE-PRESCRIPTION INTERVAL::BOUNDED-BELOW-P-TYPE-PRESCRIPTION))
 (2 2 (:REWRITE INTERVAL::BOUNDED-BELOW-P-OF-INTERVAL-WHEN-RATIONALP-AND-<=))
 )
(INTERVAL::BOUNDED-ABOVE-P-OF-INTERVAL-WHEN-RATIONALP-AND-<=
 (2 2 (:REWRITE RFIX-WHEN-NOT-RATIONALP-CHEAP))
 )
(INTERVAL::BOUNDED-ABOVE-P-OF-INTERVAL-ARG1-NIL
 (1 1 (:REWRITE INTERVAL::BOUNDED-ABOVE-P-OF-INTERVAL-WHEN-RATIONALP-AND-<=))
 )
(INTERVAL::MAX-OF-INTERVAL-ARG1-NIL)
(INTERVAL::BOUNDEDP-OF-INTERVAL
 (6 6 (:REWRITE RFIX-WHEN-RATIONALP))
 (6 6 (:REWRITE RFIX-WHEN-NOT-RATIONALP-CHEAP))
 (3 1 (:REWRITE INTERVAL::BOUNDEDP-WHEN-NOT-INTERVALP-CHEAP))
 (3 1 (:REWRITE INTERVAL::BOUNDEDP-WHEN-EMPTYP-CHEAP))
 (2 2 (:TYPE-PRESCRIPTION INTERVAL::INTERVAL-TYPE-PRESCRIPTION))
 (2 1 (:REWRITE INTERVAL::BOUNDEDP-WHEN-BOUNDED-BELOW-P-AND-BOUNDED-ABOVE-P-CHEAP))
 (1 1 (:TYPE-PRESCRIPTION INTERVAL::INTERVALP-TYPE-PRESCRIPTION))
 (1 1 (:TYPE-PRESCRIPTION INTERVAL::EMPTYP-TYPE-PRESCRIPTION))
 (1 1 (:TYPE-PRESCRIPTION INTERVAL::BOUNDED-BELOW-P-TYPE-PRESCRIPTION))
 (1 1 (:REWRITE INTERVAL::BOUNDED-BELOW-P-OF-INTERVAL-WHEN-RATIONALP-AND-<=))
 (1 1 (:REWRITE INTERVAL::BOUNDED-ABOVE-P-OF-INTERVAL-WHEN-RATIONALP-AND-<=))
 )
(INTERVAL::BOUNDEDP-OF-INTERVAL-WHEN-RATIONALP-AND-<=
 (2 2 (:REWRITE RFIX-WHEN-NOT-RATIONALP-CHEAP))
 )
(INTERVAL::INTERVAL-ELIM
 (12 6 (:REWRITE INTERVAL::FIX-WHEN-NOT-INTERVALP-CHEAP))
 (8 8 (:REWRITE INTERVAL::MAYBE-RATIONALP-WHEN-RATIONALP-CHEAP))
 (8 8 (:REWRITE INTERVAL::MAYBE-RATIONALP-WHEN-NOT-CHEAP))
 (6 6 (:TYPE-PRESCRIPTION INTERVAL::EMPTYP-TYPE-PRESCRIPTION))
 (6 3 (:REWRITE INTERVAL::MIN-WHEN-NOT-INTERVALP-CHEAP))
 (6 3 (:REWRITE INTERVAL::MIN-WHEN-NOT-BOUNDED-BELOW-P-CHEAP))
 (6 3 (:REWRITE INTERVAL::MIN-WHEN-EMPTYP-CHEAP))
 (6 3 (:REWRITE INTERVAL::MAX-WHEN-NOT-INTERVALP-CHEAP))
 (6 3 (:REWRITE INTERVAL::MAX-WHEN-NOT-BOUNDED-ABOVE-P-CHEAP))
 (6 3 (:REWRITE INTERVAL::MAX-WHEN-EMPTYP-CHEAP))
 (4 4 (:REWRITE MAYBE-RATIONAL-FIX-WHEN-NOT-MAYBE-RATIONALP-CHEAP))
 (4 4 (:REWRITE INTERVAL::MAYBE-RATIONAL-FIX-WHEN-ARG-CHEAP))
 (3 3 (:TYPE-PRESCRIPTION INTERVAL::BOUNDED-BELOW-P-TYPE-PRESCRIPTION))
 (3 3 (:TYPE-PRESCRIPTION INTERVAL::BOUNDED-ABOVE-P-TYPE-PRESCRIPTION))
 )
(INTERVAL::EQUAL-WHEN-NONEMPTY
 (378 189 (:TYPE-PRESCRIPTION INTERVAL::RATIONALP-OF-MIN-WHEN-BOUNDED-BELOW-P-TYPE-PRESCRIPTION))
 (374 187 (:TYPE-PRESCRIPTION INTERVAL::RATIONALP-OF-MAX-WHEN-BOUNDED-ABOVE-P-TYPE-PRESCRIPTION))
 (208 208 (:TYPE-PRESCRIPTION INTERVAL::BOUNDED-BELOW-P-TYPE-PRESCRIPTION))
 (198 198 (:TYPE-PRESCRIPTION INTERVAL::BOUNDED-ABOVE-P-TYPE-PRESCRIPTION))
 (22 11 (:REWRITE INTERVAL::MIN-WHEN-NOT-BOUNDED-BELOW-P-CHEAP))
 (22 11 (:REWRITE INTERVAL::MIN-WHEN-EMPTYP-CHEAP))
 (22 11 (:REWRITE INTERVAL::MAX-WHEN-NOT-BOUNDED-ABOVE-P-CHEAP))
 (22 11 (:REWRITE INTERVAL::MAX-WHEN-EMPTYP-CHEAP))
 (12 4 (:LINEAR INTERVAL::<=-OF-MIN-AND-MAX-LINEAR))
 (11 11 (:REWRITE INTERVAL::MIN-WHEN-NOT-INTERVALP-CHEAP))
 (11 11 (:REWRITE INTERVAL::MAX-WHEN-NOT-INTERVALP-CHEAP))
 )
(INTERVAL::EQUAL-WHEN-NONEMPTY-CHEAP)
(INTERVAL::EQUAL-OF-INTERVALS-UNLIMITED
 (136 68 (:TYPE-PRESCRIPTION INTERVAL::RATIONALP-OF-MIN-WHEN-BOUNDED-BELOW-P-TYPE-PRESCRIPTION))
 (132 66 (:TYPE-PRESCRIPTION INTERVAL::RATIONALP-OF-MAX-WHEN-BOUNDED-ABOVE-P-TYPE-PRESCRIPTION))
 (76 76 (:TYPE-PRESCRIPTION INTERVAL::BOUNDED-BELOW-P-TYPE-PRESCRIPTION))
 (70 70 (:TYPE-PRESCRIPTION INTERVAL::BOUNDED-ABOVE-P-TYPE-PRESCRIPTION))
 (8 8 (:TYPE-PRESCRIPTION INTERVAL::EMPTYP-TYPE-PRESCRIPTION))
 (8 4 (:REWRITE INTERVAL::MIN-WHEN-NOT-BOUNDED-BELOW-P-CHEAP))
 (8 4 (:REWRITE INTERVAL::MIN-WHEN-EMPTYP-CHEAP))
 (8 4 (:REWRITE INTERVAL::MAX-WHEN-NOT-BOUNDED-ABOVE-P-CHEAP))
 (8 4 (:REWRITE INTERVAL::MAX-WHEN-EMPTYP-CHEAP))
 (6 2 (:LINEAR INTERVAL::<=-OF-MIN-AND-MAX-LINEAR))
 (4 4 (:REWRITE INTERVAL::MIN-WHEN-NOT-INTERVALP-CHEAP))
 (4 4 (:REWRITE INTERVAL::MAX-WHEN-NOT-INTERVALP-CHEAP))
 )
(INTERVAL::EQUAL-OF-INTERVALS)
(INTERVAL::EQUAL-OF-INTERVAL-AND-EMPTY
 (10 2 (:REWRITE MAYBE-RATIONAL-FIX-WHEN-MAYBE-RATIONALP))
 (10 1 (:REWRITE INTERVAL::EQUAL-WHEN-NONEMPTY-CHEAP))
 (6 6 (:TYPE-PRESCRIPTION MAYBE-RATIONALP$INLINE))
 (6 6 (:REWRITE RFIX-WHEN-RATIONALP))
 (6 6 (:REWRITE RFIX-WHEN-NOT-RATIONALP-CHEAP))
 (4 2 (:REWRITE MAYBE-RATIONAL-FIX-WHEN-NOT-MAYBE-RATIONALP-CHEAP))
 (2 2 (:REWRITE INTERVAL::MAYBE-RATIONALP-WHEN-RATIONALP-CHEAP))
 (2 2 (:REWRITE INTERVAL::MAYBE-RATIONALP-WHEN-NOT-CHEAP))
 (1 1 (:TYPE-PRESCRIPTION INTERVAL::INTERVALP-TYPE-PRESCRIPTION))
 )
(INTERVAL::EMPTYP-OF-INTERVAL
 (3 1 (:REWRITE INTERVAL::EQUAL-WHEN-NONEMPTY-CHEAP))
 (2 2 (:REWRITE RFIX-WHEN-RATIONALP))
 (2 2 (:REWRITE RFIX-WHEN-NOT-RATIONALP-CHEAP))
 (1 1 (:TYPE-PRESCRIPTION INTERVAL::INTERVALP-TYPE-PRESCRIPTION))
 )
(INTERVAL::INTERVAL-UNDER-IFF
 (10 2 (:REWRITE MAYBE-RATIONAL-FIX-WHEN-MAYBE-RATIONALP))
 (8 8 (:REWRITE RFIX-WHEN-RATIONALP))
 (8 8 (:REWRITE RFIX-WHEN-NOT-RATIONALP-CHEAP))
 (6 6 (:TYPE-PRESCRIPTION MAYBE-RATIONALP$INLINE))
 (4 2 (:REWRITE MAYBE-RATIONAL-FIX-WHEN-NOT-MAYBE-RATIONALP-CHEAP))
 (2 2 (:REWRITE INTERVAL::MAYBE-RATIONALP-WHEN-RATIONALP-CHEAP))
 (2 2 (:REWRITE INTERVAL::MAYBE-RATIONALP-WHEN-NOT-CHEAP))
 )
(INTERVAL::FULL-BECOMES-INTERVAL)
(INTERVAL::EQUAL-OF-FIX-AND-FULL
 (22 11 (:TYPE-PRESCRIPTION INTERVAL::RATIONALP-OF-MIN-WHEN-BOUNDED-BELOW-P-TYPE-PRESCRIPTION))
 (22 11 (:TYPE-PRESCRIPTION INTERVAL::RATIONALP-OF-MAX-WHEN-BOUNDED-ABOVE-P-TYPE-PRESCRIPTION))
 (12 12 (:TYPE-PRESCRIPTION INTERVAL::BOUNDED-BELOW-P-TYPE-PRESCRIPTION))
 (12 12 (:TYPE-PRESCRIPTION INTERVAL::BOUNDED-ABOVE-P-TYPE-PRESCRIPTION))
 (9 3 (:REWRITE INTERVAL::FIX-WHEN-INTERVALP))
 (6 3 (:REWRITE INTERVAL::FIX-WHEN-NOT-INTERVALP-CHEAP))
 (4 2 (:REWRITE INTERVAL::EQUAL-WHEN-NONEMPTY-CHEAP))
 (2 2 (:TYPE-PRESCRIPTION INTERVAL::EMPTYP-TYPE-PRESCRIPTION))
 (2 1 (:REWRITE INTERVAL::MIN-WHEN-NOT-INTERVALP-CHEAP))
 (2 1 (:REWRITE INTERVAL::MIN-WHEN-NOT-BOUNDED-BELOW-P-CHEAP))
 (2 1 (:REWRITE INTERVAL::MIN-WHEN-EMPTYP-CHEAP))
 (2 1 (:REWRITE INTERVAL::MAX-WHEN-NOT-INTERVALP-CHEAP))
 (2 1 (:REWRITE INTERVAL::MAX-WHEN-NOT-BOUNDED-ABOVE-P-CHEAP))
 (2 1 (:REWRITE INTERVAL::MAX-WHEN-EMPTYP-CHEAP))
 )
(INTERVAL::INTERVAL$$INLINE
 (4 4 (:REWRITE MAYBE-RATIONAL-FIX-WHEN-NOT-MAYBE-RATIONALP-CHEAP))
 (4 4 (:REWRITE INTERVAL::MAYBE-RATIONAL-FIX-WHEN-ARG-CHEAP))
 (2 2 (:REWRITE INTERVAL::MAYBE-RATIONALP-WHEN-RATIONALP-CHEAP))
 (2 2 (:REWRITE INTERVAL::MAYBE-RATIONALP-WHEN-NOT-CHEAP))
 (2 1 (:REWRITE INTERVAL::EQUAL-WHEN-NONEMPTY-CHEAP))
 (1 1 (:TYPE-PRESCRIPTION INTERVAL::INTERVALP-TYPE-PRESCRIPTION))
 )
(INTERVAL::INTERVALP-OF-INTERVAL$)
