BUR #53591 has been approved by @evazion.
create implication holding_whip -> whip
Previously rejected (forum #170125) with the following reasoning:
- Holding whip says it can be used for riding crops, which doesn't imply whip.
This is not the case anymore, we have holding riding crop for that.
Current missing tags and mistags:
holding_whip -whip: 817 posts
holding_whip riding_crop: 104 posts
holding_whip -whip -riding_crop: 802 posts
holding_whip whip riding_crop: 89 posts
Without gardening beforehand, this implication would add whip to ~800 posts currently missing the tag, while adding it to ~100 riding crop posts, roughly doubling the posts in holding_whip whip riding_crop to ~200. This is easy to garden even after accepting this implication.