#lunar_crater__lunarcrater  a crater on the Earth's moon
  supertype:  #crater  a bowl-shaped depression formed by the impact of a meteorite or bomb
  subtype:  #Aristarchus  a bright crater on the moon
  subtype:  #Copernicus  a conspicuous crater on the moon

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