swipl_standard_plus(500, yfx).
swipl_standard_plus(200, fy).
swipl_operator_syntax(xf200(xf100), xf200(fx100(1)), (p, xfy900(yf100(q), c))).