#Brazilian_monetary_unit  monetary unit in Brazil
  supertype:  #monetary_unit  a monetary unit
  subtype:  #cruzeiro  the basic unit of money in Brazil; equal to 100 centavos

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