#thrash  a swimming kick used while treading water
  supertype:  #swimming_kick  a movement of the legs in swimming
  part of:  #treading_water  a stroke that keeps the head above water by thrashing the legs and arms

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