For example, there is no way to define the parallel-or function in PCF.
例如，在 PCF 中无法定义并行或函数。