ɪf ɪz ɐn ˈɛlɪdʒəbəl stɹˈʌktʃɚ ðˈɛn ɪz dᵻfˈaɪnd təbi æz bᵻfˌoːɹ bˌʌt wɪð ˈɔːl əkˈɜːɹənsᵻz ʌv ˈɛks ɹᵻplˈeɪst wɪð .
If  is an eligible structure then  is defined to be as before but with all occurrences of X replaced with .