Devices descending from K223124

2 later devices reach Expd 86P, Expd 86PG, Expd 129P, Expd 129PG through their predicates, nearest generation first.