An Advance on A Theory for All Music: At-Least-As Predicates for Pitch, Time, and Loudness