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.