#spade.hand_shovel  a sturdy hand shovel that can be pushed into the earth with the foot
  supertype:  #hand_shovel  a shovel that is operated by hand
  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

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