3 later devices reach Carevent Atv+ and Carevent Mri through their predicates, nearest generation first.