I suppose they could have wrapped the rope around the bottom of the stump.  Or maybe tried digging it out a little big first.

Or probably just hiring a professional.

Live and learn.