#punch.tool  a tool for making (usually circular) holes
  supertype:  #tool  an implement used in the practice of a vocation
  subtype:  #punch_pliers  punch consisting of pliers for perforating paper or leather

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