Implicating leaf_umbrella → umbrella
Link to implication
Reason:
A leaf umbrella is a leaf that is an umbrella.
Also, leaf_umbrella -> leaf
EDIT: The tag implication leaf_umbrella -> umbrella (forum #181411) has been rejected by @bitWolfy.
Updated by auto moderator