#Virgo  a large zodiacal constellation on the equator; between Leo and Libra
  supertype:  #constellation  a configuration of stars as seen from the earth
  part of:  #zodiac.region
  member:  #Spica  the brightest star in Virgo

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