Finally it is proved that P_-PBNDC is consistent with SBSPNI, and P_-PBNDC has composite property on the restriction and prefix operator but not on the parallel operator.

最后，证明了P - PBNDC和SBSPNI性质的一致性，在限制算子和前缀算子下的P - PBNDC具有复合性质，而在并行算子下不具有复合性质。

youdao

Finally it is proved that P_-PBNDC is consistent with SBSPNI, and P_-PBNDC has composite property on the restriction and prefix operator but not on the parallel operator.

最后，证明了P - PBNDC和SBSPNI性质的一致性，在限制算子和前缀算子下的P - PBNDC具有复合性质，而在并行算子下不具有复合性质。

youdao