Individual #Procyon  the brightest star in Canis Minor
  instance of:  binary_star
  member of:  Canis_Minor__Little_Dog  a constellation east of Orion; contains Procyon

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