Tye, this is really lovely.

The way that "x [v₁] y [v₂] z" always implies "x [v₁ & v₂] z", for any two relations [v₁] and [v₂]. This is the code that I ended up using.

Thanks.