#Costa_Rican_monetary_unit  monetary unit in Costa Rica
  supertype:  #monetary_unit  a monetary unit
  subtype:  #Costa_Rican_colon__colon  the basic unit of money in Costa Rica; equal to 100 centimos

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