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