Implicating larger_anthro → anthro
Link to implication

Reason:

Also imply:

• smaller_anthro --> anthro

larger_feral --> feral
smaller_feral --> feral
larger_human --> human
smaller_human --> human

Imply all of the six tags to size_difference as well.