{ x = 1 } : { y : Natural }