Falls back to $or block resolution (by type or filter keys), then SK, then full union. When $or narrows, also intersects with SK since it always constrains the result.
$or
Falls back to
$orblock resolution (by type or filter keys), then SK, then full union. When$ornarrows, also intersects with SK since it always constrains the result.