, , [169] . , . ( ) , ARCHES.
LTD
I 1
D D
U
. 18.4.
ARCHES (. 18.4). , , . , . 18.4, (.. , ), , , .
1. ; , postl ( 1), post2 ( 2) lintel ().
2. postl post2 , lintel , ( 1 4 . 18.4).
II. Prolog
3. postl post2 ( 2).
4. postl post2 lintel ( 3).
, 2 .. . , . .
Ei, E2,..., ( Ei ) .
1. : .
2. , Ei (i = 2, 3,...) .
2.1. -i Ei; , D Hi-i Ei.
2.2. Hi--, D, , Ei ; ;, .
, , . 2.1 2.2 . -. , . 18.4.
|
|
. ARCHES , . . 18.5. , , .
, , , (. . 18.5).
( 2 . 18.5) . 2 Hi . , Hi 2. D Hi 2. , , touch. , , . :
-
R, ,
R ( must_not_R).
18.
has part |
Touch
haspait |