Attached is a screenshot of the a search result for the work "found dogs." Our library has three branches: South, Valley Ranch, and West. South's copy is checked out, and Valley and West's copies are on the shelves. The patron has used the location facet to limit to the WEST branch.

You'll notice that because South's copy is checked out, the branches are listed as:
+Valley Ranch|+West|xSouth--South is placed at the end even though it's first alphanetically.

However, the line of text that displays above this is "On shelf at Valley Ranch" because Valley Ranch precedes West alphabetically.

We propose that just as the branch listings have been rearranged to list locations with available copies first, when a patron selects a particular location with the location facet and that location has a copy on the shelf, that location is the one that should be listed in the "On shelf at [LOCATION]" text line.