scryer_operator_precedence(fy(yf(1)), fy(yfx(1, 2)), xfy(1, yf(2)), fy(fy(0))).