[FOLD] simplify relationals