English edit

Noun edit

allokotosaur (plural allokotosaurs)

  1. An extinct reptile of the clade †Allokotosauria