#eliminator  an agent that eliminates something
  supertype:  #agent  an active and efficient cause; capable of producing a certain effect; "their research uncovered new disease agents"
  subtype:  #obliterator  an eliminator that does away with all traces

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