rock elm (300012080) 'derived from' Ulmus thomasii (300374857);