intersection can short-circuit as soon as one relation is found on both sides