#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.