OpenMath distinguishes function application from binding expression .

OpenMath区别对待函数应用和绑定表达式。