{ x = Bool } ∧ { y = Natural }