< x = y | z | y : B >