#hand_shovel  a shovel that is operated by hand
  supertype:  #shovel  #hand_tool
  subtype:  #coal_shovel  a hand shovel for shoveling coal
  subtype:  #entrenching_tool__entrenchingtool__trenching_spade__trenchingspade  a hand shovel carried by infantrymen for digging trenches
  subtype:  #spade.hand_shovel  a sturdy hand shovel that can be pushed into the earth with the foot
     subtype:  #ditch_spade__ditchspade__long-handled_spade  a spade with a long handle for digging narrow ditches
     subtype:  #garden_spade  a spade used by gardeners
  subtype:  #stump_spud__stumpspud__spud  a sharp hand shovel for digging out roots and weeds

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