create implication high_heel_boots -> boots

Link to implication

High-heeled boots are, obviously enough, boots with high heels.

Done