[计] committed-choice nondeterminism
wěi tuō xuǎn zé fēi jué dìng xìng ㄨㄟˇ ㄊㄨㄛ ㄒㄩㄢˇ ㄗㄜˊ ㄈㄟ ㄐㄩㄝˊ ㄉㄧㄥˋ ㄒㄧㄥˋ