Override empty and not empty operator labels to be clearer for user roles.
Overrides ManyToOne::operators
function operators() {
$operators = parent::operators();
$operators['empty']['title'] = t("Only has the 'authenticated user' role");
$operators['not empty']['title'] = t("Has roles in addition to 'authenticated user'");
return $operators;
}