Se::= r::= v::= = !::= ::< 0= != ~dg::= g::= 2= E::=