Hi,
That looks correct to me. Priorities always override the relevance values, as they are a separate ordering criteria. Prioritized matches will always be at the top of the results list.
The ordering queue of each result is the following:
Group Priority > Individual Priority > Post Type priority > Primary Ordering (relevance usually) > Secondary Ordering > ID ordering