:: deftheorem defines RAT_Music MUSIC_S1:def 11 :
RAT_Music = MusicStruct(# RATPLUS,EQUIV_RAT_ratio,RAT_ratio #);