3 later devices reach TMINI Miniature Robotic System through their predicates, nearest generation first.