#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.