#file.hand_tool  a steel hand tool with small sharp teeth on some or all of its surfaces; used for smoothing wood or metal
  supertype:  hand_tool  a tool used with workers' hands
  subtype: {blunt_file taper_file}  flat_file  nailfile  wood_file  rat-tail_file  round_file
  part:  haft__helve  the handle of a weapon or tool

No statement uses or specializes file.hand_tool; click here to add one.