(define IntervalComparison::Mi7 (cons "Mi7" "c bes"))
(define IntervalComparison::Ma7 (cons "Ma7" "c b"))
(define IntervalComparison::P8 (cons "P8" "c c'"))

(IntervalComparison::IntervalComparison (list  IntervalComparison::Mi7 IntervalComparison::Ma7 IntervalComparison::P8))

