When filtering Library with a Devices facet, the results are incorrect:

(I copied the rule from the Collection and pasted it into Library).
When the faceting is removed, the filter gives the same result as the Collection.
I found that you have to use strict syntax to get correct results with the facet applied i.e. type:Bible AND lang:Greek AND subject:N.T. AND myrating:>2