(define IntervalComparison::Mi6 (cons "Mi6" "c aes"))
(define IntervalComparison::Ma6 (cons "Ma6" "c a"))
(define IntervalComparison::Mi7 (cons "Mi7" "c bes"))
(define IntervalComparison::Ma7 (cons "Ma7" "c b"))


(IntervalComparison::IntervalComparison (list IntervalComparison::Mi6 IntervalComparison::Ma6 IntervalComparison::Mi7 IntervalComparison::Ma7 ))

