< x = y | y : X | z >