#public_executioner__executioner  an official who inflicts capital punishment in pursuit of a warrant
  supertype:  #slayer__killer  someone who causes the death of a person or animal
  subtype:  #electrocutioner  an executioner who uses electricity to kill the condemned person
  subtype:  #hangman  an executioner who hangs the condemned person
  subtype:  #headsman__headman  an executioner who beheads the condemned person

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