(Platecarpus_tympaniticus,(Halisaurus_arambourgi,(Halisaurus_platyspondylus,Eonatator_coellensis,(Eonatator_sternbergii,(Phosphorosaurus_ortliebi,Phosphorosaurus_ponpetelegans)))));