O suyo nombre oficial en aragonés, Banastars (prenunciato /banas'tas/), no ye que una aragonesización fonetica d'o toponimo orichinal Banastás. Manimenos no pareixe que a forma orichinal fuese un plural ya que en a decumentación medieval siempre apareixe a forma Banastas. Asinas se puet leyer: