proxima centauri is a kind of star
alpha_centauri is not star. beta_centauri is not star. proxima_centauri is star. procyon is star. denebola is star. late_type_star is star. late_type_star is not star. beta_centauri is star. proxima_centauri is not star. alpha_centauri is star.