In einem Satz dürfen alle Vorkommnisse eines beliebigen Atoms (z. B. „P“) durch einen beliebig komplexen Satz (z. B. ) ersetzt werden.
ɪn ˌaɪnəm zˈats dˈyɾfən ˈalə fˈoːɾkˌɔmnɪsə ˌaɪnəs bəlˈiːbɪɡən atˈoːms tsˈɛt. bˈeː. pˈeː“d??ç ˌaɪnən bəlˈiːbɪç kɔmplˈɛksən zˈats tsˈɛt. bˈeː. ɛɾzˈɛtst vˌɛɾdən.