It may be better if the “AFK” option was changed to something that more generally includes people who are not playing. “Lethargic play” may be unclear to someone who hasn’t read the TOS, and I imagine that jerks will feel like it’s not an unjustified dismissal when a dungeon tank only does single pulls, or if someone in a party is underperforming despite actually making an effort to play.

Regardless I hope that GMs are actually looking into what happens when a report or counter report are filed.