create implication knife_licking -> knife + licking

create implication knife_licking -> knife
create implication knife_licking -> licking

Reason: The former requires the latter in both cases.

Done