Individual #Procyon  the brightest star in Canis Minor
  member of:  Canis_Minor
  type:  binary_star__binary__double_star  a system of two stars that revolve around each other under their mutual gravitation

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