Line 462: |
Line 462: |
| |- | | |- |
| | || <math>s\!</math> is a sentence of <math>\mathfrak{L}</math> and <math>s\!</math> ends with a <math>^{\backprime\backprime} \, \operatorname{)} \, ^{\prime\prime}.</math> | | | || <math>s\!</math> is a sentence of <math>\mathfrak{L}</math> and <math>s\!</math> ends with a <math>^{\backprime\backprime} \, \operatorname{)} \, ^{\prime\prime}.</math> |
| + | |- |
| + | | 5. || <math>s\!</math> is the ''subcatenation'' of <math>s_1\!</math> by <math>s_2\!</math> if and only if |
| + | |- |
| + | | || <math>s_1\!</math> is a subclause of <math>\mathfrak{L},</math> <math>s_2\!</math> is a sentence of <math>\mathfrak{L},</math> and |
| + | |- |
| + | | || <math>s = s_1 \, \cdot \, ( \, ^{\backprime\backprime} \, \operatorname{)} \, ^{\prime\prime} \, )^{-1} \, \cdot \, ^{\backprime\backprime} \, \operatorname{,} \, ^{\prime\prime} \, \cdot \, s_2 \, \cdot \, ^{\backprime\backprime} \, \operatorname{)} \, ^{\prime\prime}.</math> |
| |} | | |} |
| | | |
| <pre> | | <pre> |
− | 5. z is the "subcatenation" of z_1 by z_2 if and only if
| |
− |
| |
− | z_1 is a subclause of !L!, z_2 is a sentence of !L!, and
| |
− |
| |
− | z = z_1 · ")-"^(-1) · "," · z_2 · ")-".
| |
− |
| |
| 6. z is the "surcatenation" of the k strings z_1, ..., z_k in !L!, | | 6. z is the "surcatenation" of the k strings z_1, ..., z_k in !L!, |
| | | |