BUR #23144 has been approved by @nonamethanks.
create implication austin_mini -> mini_cooper
Austin Mini is one if the names for classic Minis. As per Mini Cooper Wiki page:
Can also refer to any original Mini from 1959 to 2000 and the BMW-produced models from 2000 onwards.
It's not an alias because the Austin Mini tag can work as a tag specifically for pre-BMW Minis.
Aliasing also might work, since most cars under the Mini Cooper tag are classic Minis.