Devices descending from K200100

3 later devices reach Abutment Design through their predicates, nearest generation first.