for HPS being Heptatonic_Pythagorean_Score
for frequency being Element of HPS holds Fourth (HPS,frequency) is_Between frequency, Octave (HPS,frequency)