Paul, you're close, but it should be:
command <mix #@obj# with #@obj2#; mix #@obj# and #@obj2#> exec <use #obj# on #obj2#>
since you don't want to use the exec command with the displayed version of the object name, you want the internal one - otherwise you might end up displaying a disambiguation menu twice.