Tag Implication: hat_bow -> bow

Implicating hat_bow -> bow.

Reason: The former requires the latter.

Also

create implication hat_bow -> hat

Done