More clearly: Sxyz = xz(yz) Example computation: SKSK evaluates to KK(SK) by the S-rule.
簡単に： Sxyz = xz(yz) 計算の例： SKSK は S-規則によって KK(SK) に評価される。