A high-level system for music composition