#Irish_monetary_unit  monetary unit in the Republic of Ireland
  supertype:  #monetary_unit  a monetary unit
  subtype:  #Irish_pound__punt__pound  the basic unit of money in Ireland; equal to 100 pence

No statement uses or specializes #Irish_monetary_unit; click here to add one.