#red_dwarf_star__reddwarfstar__red_dwarf__reddwarf  a small cool star; approximately 100 times the mass of Jupiter
  supertype:  #star  (astronomy) a celestial body of hot gases that radiates energy derived from thermonuclear reactions in the interior
  subtype:  #flare_star__flarestar  a red dwarf star in which luminosity can change several magnitudes in a few minutes
     instance:  #Proxima_Centauri__Proxima

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