Britain seized Gibraltar in the name of the Hapsburg claimant and retained it when the war was over.
Gibraltar was taken by Britain in honor of the Hapsburgs.
mnli hypothesis: Gibraltar was taken by Britain in honor of the Hapsburgs. premise: Britain seized Gibraltar in the name of the Hapsburg claimant and retained it when the war was over.