BUR #3835 has been rejected.
create implication humanoid_robot -> robot
create implication android -> robot
create implication mecha -> robot
I think there's a lot of confusion regarding tagging robots. The android tag, for example, contains many images that would (by the wiki definitions) better fit under the humanoid_robot tag, but I suspect said tag has gone largely unnoticed by the average user (since there's only about 400 images in that tag, but over 9000 for android). And there's already so much crosstalk between android and robot that IMO it makes sense to just implicate all androids as robots ('cuz they are robots) and have users who want non-android robots to just search with robot -android
. Same goes for mecha implicating robot; the only one that I'm not completely sold on is the mecha_musume implication, since half of those seem to be "girl dressed as a robot".