(Cimolestes_spp,(Procerberus_formicarum,(Procerberus_grandis,(Alveugena_carbonensis,Onychodectes_tisonensis))));