Did you know ... Search Documentation:
Predicate gm/1
 gm(-I:instr, -P:byte, -MSB:byte, -LSB:byte) is nondet
 gm(-I:instr) is nondet
True when I is a recognised instrument with General MIDI programme number P and bank most and least significant bytes MSB and LSB.