( GRZ-arity . 'not' = 1 & GRZ-arity . '&' = 2 & GRZ-arity . '=' = 2 )