{ x = { z = 1 } } ∧ { b = { y = 2 } }