BUR #22769 has been approved by @nonamethanks.
create implication riding_boots -> boots
create alias laced_boots -> lace-up_boots
both are for the sake of convenience.
since riding boots are a style of boots, it would make sense the former should imply the latter.
“laced boots” is probably the more common term than “lace-up boots,” and it requires less keystrokes too.