В.Тузов_Компьютерная семантика русского языка

- . .

.- 2003

1

a 519.767 22.18 81 : - .-. , . . (.- ), - .-. , . . (.- - ) , . . . . , .-. , . . (.- - - )

- - . . .- .: - , 2003. XXX . ISBN . , , , . , . , . . 12 .

. 2000 . 45

22.18

ISBN

. . 2003 - . 2003

2

.............................................................................................................................................4 ...................................................................................................................................................6 1. ...................................................................................................7 2. .......................................................................................................13 1. ..............................................................................................................23 1.1. .....................................................................................................................23 1.1.1. ......................................................................................23 1.1.2. ......................................................................................................................39 1.1.3. ................................................................43 1.2. .................................................................................................59 1.2.1. .......................................................................................................59 1.2.2. ......................................................................................................70 1.3. .............................................................................................95 2. ..........................................................................99 2.1. ...........................................................................................................................99 2.2. ....................................................................................................................124 3. ..................................................................................................187 4. ..................................................................................334 4.1. .........................................................................................................335 4.1.1. ..........................................................................................................335 4.1.2. ...............................................................................................338 4.2. .....................................................................................................340 4.2.1. ................................................................................341 4.2.2. ......................................................................................353 4.2.3. .......................................................................356 4.3. .................................................................................366 4.3.1. .............................................................................................366 4.3.2. ............................................................................................372 4.3.3. ..............................................................................374 4.3.4. .................................................................................382 .........................................................................................................................................389 .........................................................................................................................391

3

, , . . . . , , , . , 1979 . . . [4], . . , . . . . , , . . . . . , . . -, , , . . -, . - , , , , , . ., . , . . . -, , , . , , - , . , . ( ) - . , . . , , , . . , . . , 4

. , . . . . , , , , . . . . . - - . . , . . , . . . . . , . . . . , - - , , .

5

, , . , . , . , Gorit1(Saraj), , , , , , . . , . , Gorit1(x), , . , , , Gorit1(Saraj) Gorit2(Glaza). . , , -, , . . , () ; , ; -, , . , , , . , , , . , , . ( ) , . , - . , , ( ) . . -, , -, . () - . , . , .

6

1. : . , , , . , . , . , . , , : , , . . , . , , . , , . , , , , , , . , . , , , , . , , , , , , . , . . . . . , , , . - () (, ) , , , , , . , . . , ( ), ( ), ( ). . , . . . , , , . . , , . , . (, ) , , (), ? , . . . , - . , . . . , 7

. . , , , . . , , , , - . . . . . , , , . , , . . : ( ) . , , . , , , . . , . (, .) , , . , : , , , . , , , . , . - , , :@ (@ $1601(@ $1601)) @ (@ $122/1(@ $1100/16)) @ (@ $124/422) @ (@ $121311113) @ (@ $122416) @ (@ $1601(@ $15)) @ @ (@ @ $12422412) @ (@ $1301132) @ (@ $12244) @ (@ $15303) @(@ $12413208) @(@ $1301132) @ (@ $1301131) @ (@ $122415) @ (@ $130023) @ (@ $122721)

@ (@ $130023). $13 ( 8

) - . . - (, ): { $130023~@$702@} $130023(Z1: !) { } N%~$12250(Z1: !,Z2: !,Z3: $1225~!) { } N%~$1303(Z1: !,Z2: !)

( 49) { $13~@} (Z1: $13~!)

( ). . , - - . , , . . . , . . , $13~@. . - (, : 01, A, B . .), @, @ . . , , $702, $702, $702, $702. ( $702 , @ , .) . , $16~@ , $16 () . , , . , ( ). : , . , , . . . . . , . . , , - , 9

( ). ( . . [1]) 692. 671 . 21 : , , , . . - , ( ). 3177, 53 : , , , . . [5, 6, 7, 10]: , , . . , , - , - , . , . , . , , . . : N%~$12250(Caus($1105(!),Lab(!,$1225~!))) N%~$1303(Oper00(!,Magn~$1303(!)))

: N%~$12250({Z1: !,Z2: !,Z3: $1225~!})//001 N%~$1303({Z1: !,Z2: !})//002

: N%~$12250(Caus($1105(Z1),Lab(Z2,Z3)))//001 N%~$1303(Oper00(Z1,Magn~$1303(Z2)))//002

, , . . , , . , . . , , . , . , :10

Caus($1241~!,IncepOper01(!,$15~!)) Caus(#,IncepLab($121~!,$15~!)) Caus($12413130~!,IncepCopul(!,$1241355(!))) Func($15\$122/15~!) IncepFunc($111\$16\$15422\$122431~!) Oper00(#,$13127) Oper00($12136~!,$11017(!)) Caus($1241\$702~!,IncepCopul(#,$124132~!)) Caus(#,IncepUsor($1214~!,!)) Caus(Oper01($1241~!,$15304(!,!,!)),!\Incep(!)) Caus($12326~!,Func($11081($15304(!,!,!,!)))) Oper01($121~!,$15304(!,!,$703(!!),!,!)) Oper01($121~!,$15304(!,!,$122\$123~!)) Oper01($122~!,$15304(!,!,!)) Oper01($1213231~!,$1511)

( , ). ,Caus($1241~!,IncepOper01(!,$15~!)) ! ( ) , [] !

. , . . . - - , . . , { $12127~@$702@} $12127(Z1: !,Z2: !) {} (Z1: $1241~!$702\!$702\!$702,Z2: $15~!) {} (Z1: $121~!$702\!$702\!$702,Z2: $15~!) ( . .) { $15~@} (Z1: $15~!) \ 109

{ $15131~@@} $15131(s0~$15 Z1: !,Z2: !,Z3: !)

, : . ( ) , ;11

, . . . - . ($15131~@$702@) , , . . { $15~@} (Z1: $15~!),

- $15~@. ($11~@$5@), $15~@ Caus(#,IncepLab($121~!, $15~!)).

, :Caus(#,IncepLab($12127,$15131)). (- , .)

, . : { $1241~@$5@} EmCaus_a1($1241!%1,Hab(!%1,$151542)) ( , .) { @$5@} Caus_a1(!%1,Oper02(!,$15151(!))) (, .) { $1241~@$5@} EmOper02_a1($1241~!%1,$15151) ( , .) . { $10/11~@$5@ $10/11~@$5@} $10/11(!\!\!\!) - $1241 $10/11. . . { $1241~@$5@} $1241(!) $1241~@$5@. : EmCaus_o1($1241,Hab($141,$151542(!))) . . : Caus_o1($10/11,Oper02(!,$15151(!))). . ( ) . : Caus_o1($1241,Oper02(!,$15151(!))). ( ) . : EmOper02_o1($141,$15151).

12

: Caus_o1($141,Oper02(,$15151(!))).

, , , . . 2. , . , . . , : , . , . . [1]. . , , , . . : , , , ; -, ( ). , . : 15 , . , . , 20 . . , . X Y , Y. , , .$15 $150 $1501 $15011 $1502 $151 $1510 $1511 $1512 $1513 $15131 $151310 $151311 $1513121 $1513122 125 117 64 29 67 98 89 222 80 116 478 116 86 89 49

13

$151313 $151314 $1514 $15141 $15142 $151500 $151501 $151502 $1515021 $1515022 $151503 $1515031

39 25 11 26 84 180 68 144 52 80 146 27

, , . : $12127(Usor_o1($1211~!%1,Caus(#,Lab($12122,$15131))).

$12127 ( ) , . : Usor_a1($1211~!%1,Caus(#,Lab($1212,$15131))) Usor_a1($1211~!%1,Caus(#,Lab($1212,$15131))).

. , . . , , $1213113: N%~$151509(Caus(!,Lab(!,$1213113~!))) $151509(Caus_o($124~!,Lab($12214~!,$1213113~!))) $151509(Caus_o($1241~!,Lab($12214~!,$1213113))) N%~$122411(Loc_o1(Caus(#,Lab(#,$1213113)),$122411~!%1)).

$151509 ( ) : ! , ! ! $1213113 ( ). . . $1213113 $151509 : Usor_o1($121311~!%1,$151509(!,!)) Oper(!, $151509(!,!)) Loc_o1(Oper(#, $151509),$122411~!%1).

, , 14

, (. 1- ) . Oper(x,f-o(#,x1,...,xn)) = f(x,x1,...,xn)

: (2- ) = Oper(!, Caus_o(#,Lab(!,$1213113~!))) = Caus(!,Lab(!,$1213113~!)) = (1- ).

, , . , , . . [4]. . . [4] : . (), . :Caus(x,y) Cont (x) Lab(x,y) Incep(x) Fin(x) Func (x) Perf(x) x x , y (x y) x y x x , x () x

Fact(x) x Prepar(x) x Multo(x) x Ne x x.

: Fact() Fin Fact() Caus(,Cont Fact()) Perf Caus(,Fin Fact()) Caus(,Fin Fact()) Caus(,Fin Lab(,)) Caus(,Fin Func ( )) Lab(,) Perf Incep Lab(,) Perf Caus(,Fin Lab(,)) Perf Caus(,Fin Lab(,)) Perf Caus(,Prepar( )) Caus(,Fin Lab(,)) Caus(,Prepar( )) \ \

\ \ \ \ .

:Causo1(#1,y) , , y Labo1(#1,y) , y.

:15

Perf Incep x Perf Fin x => Perf Caus(x,y)

=> Ne x =>

Imperf x V x ( x , , .) ( x , .) Perf y ( .)

. , : Caus(,Fin Func()) Perf Caus(,Fin Func()).

. , , , , . . , , , : () => (, ) => (, ) => (, ) => (, ) => () => (, ) => (, ) => ().

: , . . , , , . , . , () . (. ). , . ( ) . . :Cor[10](x) Cor[0 Perf Incep () => Imperf () .

. . . Caus(im,Cont Loc(rod,)) \ im , rod Caus(im,Incep vin) Perf Caus(im,Incep vin) Caus((im,vin,tvn),Incep Caus(im,Cont Loc(vin,tvn))) Perf Caus((im,vin,tvn),Incep Caus(im,Cont Loc(vin,tvn))) Perf Aspect Copul(im,tv) Perf Aspect Poss Loc(im,) \ \ \ \ \ ,

Perf Aspekt Poss Loc(im,) Perf Aspekt Poss Hab(dato,im) Perf Aspekt Oper(im,Relo1(,nvin\npred)) Perf Aspekt Poss Loc(im,gde)

Perf Caus(im,Aspekt Poss Loc(tvn, )) \ Perf Caus(#,Aspekt Poss Loc(im, )) \ Perf Caus(#,Aspekt Poss Loc(im,kdato)) \ Perf Oper(oto,(dato)) \

37

Caus(im,Aspekt Poss Loc(tvn, )) Caus(#,Aspekt Poss Loc(im, )) Mult Perf Caus(ot,Incep Hab(dato,)) Haba1(IM,#) \

Caus(im,Lab(tv,Control(im,tv))) Caus(im,Lab(tv,Control(im,tv))) Perf Sing Caus(im,Lab(tv,Control(im,tv))) Perf Sing Caus(Caus(im,Lab(tv,Control(im,tv))),infin) Perf Sing Caus(Caus(im,Lab(dat,Control(im,dat))),infin(dat)) Perf Sing Caus(Caus(im,Lab(dat,Control(im,dat))),infin(dat)) Caus(im,Incep Func(Habo1(vin,)))

Kontr(im,dat) Kontro(rod,dat) Kontro(rod,Kontra(dat,rod)) Kone Kontro(rod,stv) Caus(im,Incep Hab(vin,(o\?p))) (Usor(im,,#),stv\dat,o\infin) (Kontr(im,dat),?p) Perf Sing ( im,vin,nvin) (im,Mult vin,) Caus(im,Incep Hab(vin,nvin)) Caus(im,Incep Func vin) Incep Func(()) Incep Func() Incep Func() Oper((Mult()),Copulo(#,Poss(?p))) Oper((Mult()),Copulo(rod,tv)) Perf Caus(Usor(#,tv,#),(vin)) Perf Caus(Usor(#,tv),Incep (vin)) Oper(x,) Oper(x,) \ \ \ \

, , : Perf Caus(#,Hab(dat,Deb infin)) Perf Caus(#,Hab(,Deb )) => Hab(,Deb ) Perf Caus(#,Hab(Funco1(),Posso infin)) , = Perf Caus(#,Oper(rodo,)) Perf Caus(#,Oper(,)) => = Hab(,Func()) Perf Caus(#,Oper(x,)) => PerfOper(,) =

38

Caus(im,Percep((im),Cor(ob\?p\vin))) , => , Perf Caus(#,(dat,infin\vin)) = S0 (urod,infin) = Habo2((rod),Humoro [5]) Caus(infin(dla\dat),Habo2((dla\dat),Humoro[5])) = = , , Caus(Tempo2,Deb(dat,infin)) Caus(Tempo2,Deb(dat,infin)) = = .

1.1.2. , , . . , - , . ( ), . , . , , , , , . Loco2((x),#2) \ , Loco2((x),#2) \ , Loco2((x),# 2) \ , Loco1(#1,Loco2((x),# 2)) Loco1(#,Loc((x),#2)) Loco1(#,Loc((x),#2))

Causo3(#,Percep(#, #3)) Causo3(#,Percep(#, #3)) () Causo3(#,Percep(#, #3)) ,

Hab((x),Posso[5](y)) x y (x y) Haba1((x),Posso[5](y)) x y Habo((x),Posso[5](y)) x y Caus(x,Incep Hab(x,(x,y))) x y; x y- Usor(x,(x,y),z) x y z; x y z

39

Fact Posso(x) Perf Fact Posso(x) PerfFacto Posso(x) PerfFacto1 Posso(#1) Facta Posso Facta1 Posso Copulo(#,) Facte Posso Facty Posso

x; x x x \ , () ()

PerfFacto Posso() ; Copul(PerfFact1 Posso(),) Fut Func((f(x))) x- f- Perf Func((f(x))) x- f- Caus(x,Func((f(y)))) x y- f-

Caus(im,Fact Posso infin) im infin Perf Caus(dat,Fact Posso infin) dat infin

Debo x Lab(x,Debo y) x x y; x y Perf Caus(#,Lab(dat,Deb f(dat))) dat f Oper(x,Debo y) x y (x y; x y) Opero(x,Debo y) (, x ) Opera1(x,Debo y) x y Opera2(x,Debo y) ( y x) Operj2(dat,Deb y) y ( dat) Opere(dat,Debo f(dat)) dat f Oper (x,Opero(x,Debo y)) = = Oper(x Debo y) x , (, y)

Lab((x),Debo f(x)) x , f- Labo((x),Debo f(x)) () x- f- Labe((x),Debo f(x)) f x Caus(x,Lab((x),Debo f(x))) x f- Causo(x,Lab((x),Debo f(x))) (x,f) Caus(x,Lab((y),Debo f(y))) x y- f- Oper(x,Labo((x),Debo f(x))) x (x,f) Fact Causo(x,Lab((x),Debo f(x))) x (x,f) Facta1 Causo(x,Lab((x),Debo f(x))) x [] Facta2 Causo(x,Lab((x),Debo y)) y x

Oper((x),Opero((x),Debo(y,x))) = = Oper((x),Debo (y,x)) (x) y; x () y Opero((x),Debo(y,x)) (x,y) Opera1((x),Debo(y,x)) (x,y) Opera2((x),Debo(y,x)) (, ) y x Operj2((x),Debo(y,x)) y () x- Opere((x),Debo(y,x)) x- y

40

Oper((im),Debo(Hab(dat,rod),im)) im dat rod

Percep((x),y) Percepa ((#),#) Percepe((#),#) x y Percepo((x),#) x Percepo2((x),#2) x Magn Percepe((#),#)

Ema1 Percep ((#1),x) x Percepa2((x),#2) x

Percep ((x),Debo Fact Posso y) x y Percepo ((x),Debo Fact Posso y) x y Percepo2 ((x),Debo Fact Posso #2) x (, x) Caus(im,Incep Func (vin,vpred)) x vin vpred

Rela1(Bona(#1),x) x Relo1(Bona(#1),x) x Relo1(AntiBona(#1),x) x Oper((x),Debo(Hab(dat,),x)) x dat Opera((x),Debo(Hab(dat,),x)) x dat Operj((x),Debo(Hab(dat,),x)) x dat Opero1((#1),Debo(Hab(rodt,),#1)) rod Copulo(#,(x,dat)) x- dat

Oper((x),Opero((x),Debo y)) = = Oper((x),Debo y) (x) y ; x y Opero((x),Debo y) x y Opera1((#1),Debo x) x Opera2((x),Debo(#2,x)) x Operj2((x),Debo(#2,x)) x Opere((x),Debo(dat,x)) dat x

Oper((x),S0 #) Opero1((#1),S0 #) Opere((#),S0 #) x Opero((x),S0 #) x Opera((#),S0 #) Resulto Oper((x),S0 #) x

Caus(x,Incep Oper((e),S0 #)) x y

Oper((x),Opero((x),Debo y)) = Oper((x),Debo y) (x) y; x y Opero((x),Debo y) x y Opera1((#1),Debo x) x Opera2( (x),Debo(#2,x)) () x Operj2((x),Debo(#2,x)) () x Opere((x),Debo(dat,x)) dat () x

41

Oper((x) S0 #) x Opero1((#1),S0 #) Opera((#),S0 #) Opero((x),S0 #) x Opero2((#),#2) Opere((#),S0 #)

Oper((x),Opero((x),Debo y)) = = Oper((x),Debo y) x y (x y , x y) Opero((x),Debo y) x y Operj1((x),Debo y) x y Opera2((x),Deb #2) x Operj2((x),Debo #2) x Opere((x),Debo#2)

Percep ((x),y) Percepo((x),y) Percepa1((#1),y) Perf Perecpa2((#),#2) Perf Perecpa2((#),Ne Cor #2) x (, , ) y () x y y () ()

Percep((x),Posso y) x y ; x , y; x y Percep((x),Magna Posso y) x y ; x , y

Caus(x,Incep Percep((dat),Posso (x,infin))) x dat infin Causo(rod,Incep Percep((dat),Posso (x,infin))) rod dat infin Causa3(tv,Incep Percep((dat),Posso (x,#3))) tv dat

Percep ((x),(y,x)) Percepo((x),(y,x)) Percepo2((x),(#2,x)) Percepo1((#1),(#,#1)) Percepa((#),) Ema1 Percep((#1),(#,#1)) x y x y x y [ ] []

Hab((x),y) x y Habo((tvo),y) tvo rodn ( ) Habo((rodo),rodn) rodo rodn ( ) Habe((dat),?p) dat , ?p Haba2((dat),#2) dat Caus(x Incep Hab((dat),z)) x dat z Caus(x,Incep Hab((x),y)) x y Emo Hab((rodo),vpred) rodo vpred Ema1 Hab((#1),vpred) vpred Oper(x,Emo Hab((rodo),vpred)) x vpred

Caus(x,Incep Hab((x),Cor y)) x y

42

Emo Caus(rodo,Incep Hab((rodo),Cor y)) rodo, y Oper(x,Emo Caus(x,Incep Hab((x),Cor y))) x , y

Caus((x),Incep Percep((x),y)) x y Causo((x),Incep Percep((x),#)) x Causo2((x),Incep Percep((x),#2)) () y x Causa2((tvo),Incep Percep((tvo),#2)) tvo

Degrad (x) Degrada (x) Degrado (rod) Oper(x,Degrado (x)) Ema1 Oper(#1,Degrado (#1)) Degrad Parto(x,(rodo)) Degrado Parto(x,(rodo)) Oper(x,Degrado Parto(y,(x))) Degrade Parto(x,(dat)) x x (rod) x ( ) rodo x rodo x x y dat x

Caus(x,Fin Degrad (y)) Perf Caus(x,Fin Degrad (y)) Causo(tv,Fin Degrad (rod)) Causo1(#1,Fin Degrad (rodo)) Causo2(rodo,Fin Degrad (#2)) x y x y rod tv () rodo () rodo

Caus(x,Incep Degrad (y)) Causo(tv,Incep Degrad (rodo)) Causo1(#1,Incep Degrad (#)) Causa2(tv,Incep (#2)) Usoro1(#,Causo(#,Fin Degrad (#))) Causa1(#1,Incep Degrad (#)) x y rodo tv y tv ,

Oper((x,y),Intempo(Ne y)) x, , y, y (x , y) Perf Oper((x,y),Intempo(Ne y)) x y Perf Oper(x,Magna Intempo(Ne y)) x y Imperf Oper(x,Intempo(Ne y)) x () y Opero((tvo,rod),Intempo(Ne rod)) tvo rod Opera2((tvo,#2),Intempo(Ne #2)) tvo Ne Oper((x,y),Intempo(Ne y)) x y Ne Opera2((x,#2),Intempo(Ne #2)) () x Ne Opere2((x,#2),Intempo(Ne #2)) () x Magn Ne Opere2((#,#2),Intempo(Ne #2)) .

1.1.3. . , . . 43

, . , -, , , , , -, , . Humoro Stato (Humoro) (Stato). ( .) , . i, i > 0 i < 0 , , , , , , . . , .Humora1[5] Stato[-5](Persono(x)) Humoro[-5](Animo(x)) Humoro[-3](Animo(x)) Humoro[-1](Animo(x)) Humoro[5](Animo(x)) Stato[-2](Animo(x)) , = 5 x = -5 x = -5 x = -3 x = -1 x = 5 x = -2

Humoro[-5](Spirito(x)) x = -5 Humoro[5](Spirito(x)) x = 5 Stato[-3](Spirito(x)) x = -3

Causo(nvin,Stato [-2](rodo)) Caus(ot,Stato[-5](Persono(x))) (rodo,nvin) (ot)

Causo(nvin,Humoro[-3](Animo(rodo))) (rodo,nvin) Causo(zvin,Humoro[3](Animo(rodo))) (rodo,zvin) Causo(tv,Humoro[5](Animo(rodo))) (rodo,tv) Causo(tv,Humoro[6](Animo(rodo))) (rodo,pered) Causo(ot,Humoro[3](Spirito(rodo))) Causo(nvin,Humoro[-3](Spirito(rodo))) Causo(nvin,Humoro[-5](Spirito(rodo))) Causo(nvin,Humoro[-7](Spirito(rodo))) Causo1(#1,Stato[-5](Animo(x))) Causo1(#1,Stato[-5](Persono(x))) Causo1(#1,Stato[-3](Spirito(x))) Causo1(#,Plus Humoro(x)) Sing Causo1(#,Plus Humoro(x)) (rodo,ot) (rodo,nvin) (rodo,nvin) (rodo,nvin)

\ (rodo,kdat) (im,dat) (dat\dla) (dat\dla) (dat\dla)

Relo(Humoro[0](rodo),kdat) Rel(Humoro[3](Animo(dat)),im) Rela1(Humoro[3](Animo(dat\dla)),#1) Rela1(Humoro[-3](Animo(dat\dla)),#1) Rela1(Humoro[-7](Animo(dat\dla)),#1)

44

Rel(Humoro[5](Animo(im)),vin) Relo(Humoro[5](Animo(rodo)),kdat) Rela1(Humoro[5](Animo(dat\dla)),#1) Rel(Humoro[-5](Animo(im)),vin) Relo(Humoro[-5](Animo(rodo)),kdat) Rela1(Humoro[-5](Animo(dat\dla)),#1)

(im,vin) (rodo,kdat) (dat\dla) (im,vin) (rodo,kdat) (dat\dla)

Rel(Humoro[7](Animo(im)),vin) (im,vin) Relo(Humoro[7](Animo(rodo)),kdat) (rodo,kdat) Rela1(Humoro[7](Animo(dat\dla)),#1) (dat\dla) Rel(Humoro[5](Spirito (im)),vin) (im,vin) Relo(Humoro[5](Spirito(rodo)),kdat) (rodo,kdat) Rela1(Humoro[5](Spirito(dat\dla)),#1) (dat\dla) Rel(Humoro[7](Spirito (im)),vin) (im,pered) Relo(Humoro[7](Spirito(rodo)),kdat) (rodo,kdat) Rel(Humoro[5]((im)),vin) (im,vin) Relo(Humoro[5]((rodo)),kdat) (rodo,kdat) Rela1(Humoro[5]((dat\dla)),#1) (dat\dla) Relo1(Humoro[7]((dla)),#1) Rela1(Humoro[7]((dla)),#1) (dla)

Caus(tv,Oper(im,Copulo(tv,))) Caus(im,Caus(tv,Fact (im))) Bon(Result Caus(im,Fact (vin,vpred)),vin) Opero(rod,Copulo(ot,))

. [] Humorj1[5](#1) [] Humora[5](#1) Incep Copul(im,) [] Humora[6] [] Humoro[6] Caus(im,Copul(vin,)) Oper(im,) Humore[5] Caus(#,Humore[5](infin(dat))) Copulo(#,) Humora1[5] \ Causa1(#1,Humoro[5](dla)) \ Mult [] Ema1 ( #1) Perf Incep Aktiv Caus(im,Copul(vin,)) Perf Incep Aktiv Copul(im,) Mult Perf Incep Aktiv Caus(im,Copul(vin,)) Mult Perf Incep Aktiv Copul(im,) Perf Incep Aktiv Caus(im,Copul(vin,)) Perf Incep Aktiv Copul(im,) Mult Perf Incep Aktiv Caus(im,Copul(vin,)) Mult Perf Incep Aktiv Copul(im,) AntiMagn Copul(im,) 45

Perf Oper(im,) Ne Humora1[5] Perf Incep Copula1(im,) Perf Incep Copul(im,) Mult Perf Caus(im,Copul(vin,)) Perf Oper(im,) Perf Caus(im, Incep Copul(vin,)) Perf Incep Oper(im,) Humora1[6] Caus(im, Incep Copul(vin,)) Incep Oper(im,) Causo1(Usor(#1,#,), Incep Oper(dla,)) Causo1(Usor(#1,#,), Incep Oper(dla,)) Causa1(Usor(#1,#,), Incep Oper(dla,)) Perf Caus(Usor(im,#,), Incep Oper(vin,)) Caus(Usor(im,#,), Incep Oper(vin,)) Caus(Usor(#,#,), Incep Oper(im,)) Causo1(#1,Plus Humoro(rod)) \ , Copulo(#,) Causa(#,Plus Humoro(dla)) Causa1(#1,Plus Humoro(dla)) Caus(im,Plus Humoro(vin)) \ Mult Caus(im,Plus Humoro(im)) Causo(#,Plus Humoro(dla)) Causo1(#,Plus Humoro(dla)) Perf Caus(im,Plus Humoro(vin)) Perf Caus(im,Plus Humoro(im)) Sing Causo1(#1,Plus Humoro(dla)) Sing Caus(im,Plus Humoro(vin)) Caus(im,Plus Humoro(vin)) Caus(im,Plus Humoro(im)) Magn Causa1(#1,Plus Humoro(dla)) Causo1( #1,Plus Humoro(#)) Causo1( #1,Plus Humoro(vin)) Copulo(rod,) Causa1(#1,Plus Humoro(vin)) Perf Sing Caus(im,Plus Humoro(vin)) Perf Caus(im,Plus Humoro(im)) Magn Causa1(#1,Plus Humoro(dla)) Perf Incep Aktiv Oper(im,(pdat)) Perf Incep Oper(im,(pdat)) PerfMagnMult Oper(im,(pdat)) Perf AntiMagn Oper(im,(pdat)) Perf Long (Oper(im,(pdat)),long) MagnMult Oper(im,(pdat)) Perf Oper(im,(pdat)) Humoro[-5](Animo(rod)) Caus(pdat,Humoro[-5](Animo(rod))) Humore[-5](Animo) Caus(#,Humore[-5](Animo) (infin(dat))) Copulo(#,) Humora1[-5](Animo) Causa1(#1,Humoro[-5](Animo(dla))) Oper(im,(pdat))

46

Incep Copulo(#,) Causa1(#1,Incep Func()) Caus(ot,Humoro[-6](Animo(im))) Perf Caus(ot,Humoro[-6](Animo(im))) Ne Opera1(#1,) Magn Causa1(#1,Aspect ) Magn Causo1(#,Aspect ) Oper(Habo2(urodo,imn),) Magn Caus(imo,Aspect (im)) Magn Causo(imo,Aspect (im)) Perf AntiMagn Oper(Habo2(urodo,imn),) Perf AntiMagn Magn Caus(imo,Aspect (im)) Perf Incep AntiMagn Oper(im,) Oper(im,) Causa1(#1,Incep Func()) Copulo(#,) Humora1[-5](Spirito) Humoro[-5](Spirito(rod)) Copulo(rodo,) Causa1(#1,Humoro[-5](Animo(dla\dat))) Copulo(rodo,) Ne Perf Incep Aktiv Oper(im,(ot)) Copulo(rodo,) Opera1(#1,()) Opera1(#1,()) Copulo(rodo,) Oper(im,(nad)) Perf Mult Oper(im,(dat)) Perf Incep Caus(im,(vino,tv)) Perf Incep Oper(im,(ot)) Causo1(#1,Humoro[5](Animo(dla\dat))) Causa1(#1,Humoro[5](Animo(dla\dat))) Perf Oper(im,(nad)) Perf Caus(im,(vino,tv)) Perf Oper(im,(ot\infin)) Humorj1[5](Animo) Perf Sing Oper(im,(dat\infin)) Humorj1[6](Animo) Humorj1[6](Animo) Caus(im,(vino,tv)) Oper(im,(ot)) Humore[5](Animo) \ Caus(#,(dat,ot\infin)) \ Copulo(#,) Humoro[5](Animo(dla\dat)) Causa1(#1,Humoro[5](Animo(dla\dat))) Humoro[5](Animo(rod\dla\dat)) Causo(ot\infin,Humoro[5](Animo(dla\dat))) \ Copulo(rod,) Opera1(#1,()) Ne Opera1(#1,) Perf Incep Oper(im,(ot)) Mult Perf Sing Incep Caus(im,(vino,tv)) Perf Incep Caus(im,(vino,tv)) 47

48

Perf Incep Oper(im,(ot)) Caus(im,(vino,tv)) Oper(im,(ot)) Oper(im,(ot)) Humoro[-4](Animo(rod\dla\dat)) Causo(#,Incep Humoro[-4]) Humoro1[-4](Animo( #1)) Humoro1[-4](Animo( #1)) Humore[-4](Animo) Caus(#,(dat,ot\infin)) Humora[-4](Animo) Causa1(#1,Incep Copul(Animo,Humoro[-4])) \ Perf AntiMagn Oper(im,(ot)) Perf Incep AntiMagn (im,ob\po) Perf Incep AntiMagn (dat,ob\po) Caus(Ne Func(ob\po),Oper(im,)) Incep Copul(im,) Humore[-3] Caus(ot,(dat,infin)) Humora1[-2](Animo) Causa1(#,Humoro[-2](Animo(dla\dat))) Humora1[-3] Causa1(#,Humoro[-3](Animo(dla\dat))) Humoro[-3](Animo(rod)) Causo1(#,Humoro[-3](Animo(dla\dat))) Perf Incep (im,ob\po) Perf Incep (dat,ob\po) Perf Mult (im,ob\op) Perf Fin (im,ob\op) Perf AntiMagn (im,ob\op) Perf Incep Copul(im,) Incep (im,ob\po) Perf Incep (im,ob\po) PerfMagnMult (im,ob\op) Stato[-5](Animo(rod\dla\dat)) Causo1(#,Stato[-5](Animo(dla\dat))) Caus(infin(dat), Stato[-5](Animo(dla\dat))) Caus( Ne Func(ob\po),Oper(im,Stato[-5](Animo(dla\dat)))) Opero1(#1,) Opera1(#1,) Opero1( #1,) Opero1( #1,) Opero1(#,) [] Perf Incep Oper(im,) PerfMagnMult Perf Fin Perf AntiMagn AntiMagn AntiMagn Stato[-3](Animo(dla\dat)) Causo1(#1,Stato[-3](Animo(rod\dla\dat))) Stata1[-3](Animo) Causo1(Usor( #1,tvn,#),Stato[-3](Spirito(rod)))

Causo1(Usor( #1,tvn,#),Stato[-3](Spirito(rod))) Copulo(rod,) Causa(Usor(#,tvn),Stato[-3](Spirito(dla))) Perf Caus(Usor(im,tvn,#),Stato[-3](Spirito(vino))) Perf Caus(nvin,Stato[-3](Spirito(im))) Causo1(#1,Stato[-3](Spirito(rod))) Caus(Usor(im,tvn),Stato[-3](Spirito(vin))) Caus(nvin,Stato[-3](Spirito(im))) ` Opero(im,(ob\po)) Copulo(rod,) Causa1(#1,Stato[-5](Spirito)) Oper(im,(ob\po)) Copulo(rod,) Causa2(ob\po,Stato[-5](Spirito(#2))) Causo2(ob\po,Stato[-5](Spirito(rodo))) Copulo(rod,) Ne Causa1(#1,Stato[-3](Animo(dla))) Perf Magn Caus(im,Stato[-3](Animo(dla))) Perf Magn Caus(nvino,Stato[-3](Animo(dla))) Causa1(#,Stato[-3](Animo(dla))) Stato[-3](Animo(dla\dat)) Causo(nvin,Stato[-3](Animo(dla))) Perf Caus(im,Stato[-3](Animo(vino))) Perf Caus(nvino,Stato[-3](Animo(im))) Magn Causa1(#1,Stato[-3](Animo(dla))) Caus(infin\?p, Stato[-3](Animo(dla\dat))) \ , ... Cause1(#1,Stato[-3](Animo(dla))) \ Causa1(#1,Stato[-3](Animo(dla))) Copulo(rodo,) Ema1 Caus(nvino,Stato[-3](Animo)) Causo1( #1,Stato[-3](Animo(rodo))) Causo1( #1,Stato[-3](Animo(rodo))) Caus(im, Stato[-3](Animo(vin))) Caus(nvino,Stato[-3](Animo(im))) Perf Causa1(tv,Stato[-3](Animo(#2))) Aspekta1(#1,) Perf Magn Caus(im,Stato[-3](Animo(vino))) Perf Magn Caus(nvino, Stato[-3](Animo(im))) Magn Caus(im,Stato[-3](Animo(vino))) Copulo(rod, ) Humoro[-1](Animo(rodo)) Causo(rodn,Humoro[-1](Animo(rodo))) MagnLimit Hab(#1,Gusto[-3]) Sing Hab(im,Gusto[-3]) Haba1(#1,Gusto[-3]) Habe(#1,Gusto[-3]) Caus(infin\?p,Humoro[-1](Animo(dla\dat))) Caus(im,Causo(tv,Humoro[-1](Animo(vino)))) Caus(ot,Humoro[-1](Animo(im))) Humoro[-1](Animo(rodo)) Causo(ot,Humoro[-1](Animo(rodo))) Perf Causa2(tv,Humoro[-1](Animo(#2))) Aspekta1(#1,) Causa(#,Oper(dla,)) 49

Perf Caus(Usor(im,tv,#),Oper(vino,)) Perf Oper(im,) Magn Caus(Usor(im,tv,#),Oper(vino,)) Perf Magn Caus(Usor(im,tv,#),Oper(vino,)) Perf Magn Oper(im,) Humoro[-3](Spirito(rodo)) Causo(nvin,Humoro[-3](Spirito(rodo))) Perf Sing Caus(im,Incep Oper(dato,)) Copulo(rod,) Ema1 Caus(im,Incep Oper(dla,)) Magn Causa1(#1,Incep Oper(dla,)) Causa1(infin\?p,Incep Oper(dla\dat,)) Causa1(#1,Incep Oper(dla,)) Oper(im,(nvin)) Caus(im,Incep Oper(dato,)) Causo(rod,Incep Oper(dato,)) Perf AntiMagn Oper(im,(nvin)) Perf Caus(im,Incep Oper(dato,)) Perf Incep Magn Oper(im,(nvin)) Caus(im,Stati[-2](vino)) Caus(nvin,Stati [-2](im)) Causo(nvin,Stato [-2](rodo)) Causo1(nvin,Stati [-2](rod #2)) Causa2(nvin,Stati [-2](#2)) Copulo(rod,) Causa2 (nvin,Stati [-2](#2)) Causo1(#1,Stati[-2](rodo)) Copulo(rodo,) Ema2 Caus (nvin,Stati [-2](#2)) Perf Sing Caus(im,Stati[-2](vino)) Perf Sing Caus(nvin,Stati [-2](im))

AntiMagn Copulo(rod,(tv)) Ne Causa2(tv,Humoro[3](Spirito(#2))) Aspecta1(#1,) Copulo(rod,) Ne Causa1(#1,Humoro[3](Spirito)) Causo(rod,Humoro[3](Spirito(rodo))) Causo(ot,Humoro[3](Spirito(rodo))) Copulo(rod,(tv)) Causa2((tvo),Caus(tv,Humoro[3](Spirito(#2)))) Aspecta1(#1,) Copulo(rod,) Causa1(#1,Humoro[3](Spirito)) Perf Caus((im),Caus(tv\vpred,Humoro[3](Spirito(vino)))) Caus(im,Fact vinn) \ Perf Caus((im),Caus(tv,Humoro[3](Spirito(im)))) Caus((im),Caus(tv\vpred,Humoro[3](Spirito(vino)))) Caus(im,Fact datn) \ Caus((im),Caus(tv,Humoro[3](Spirito(im)))) ( (im) = Caus(im,Fact (vino)) im vino.) 50 Caus(rod,Fact (dat\dla))

Causa2(tv,Humoro[3](Spirito(#2))) Causa2(tv,Humoro[-2](Spirito(#2))) Causo(tv,Humoro[-2](Spirito(rodo))) Rela1(Humoro[-3](Animo(dat\dla)),#1) Relo1(Humoro[-3](Animo(dat\dla)),#1) Caus(rod,Fact (dat\dla)) Caus(infin(dat),?chtob) Causa1(#1,Fact (dat\dla)) Causa1(#1,?chtob) Magn Caus(rod,Fact((urod))) Stato[7] (Animo(rod\dla\dat)) Causo1(#,Stato[7](Animo(dla\dat))) Causo1(#,Stato[-5](Animo(dla\dat))) Aspecta1(Humoro[-5]) Aspecta1(Humoro[-4]) Aspecta1(Humoro[-3]) Energio [-5](#1) Energia [-5](#1) [Karese] Energia [5](#1) [Karese] Energia [5](#1) [Karese] Energia [5](#1) Caus(im,Incep Plus Energio(vin)) Caus(im,Incep Plus Energio(im)) Energio [5](#1) Energia [5](#1) Energio1 [5](#1) [Karese] Energio1 [5](#1) Causa1(#1,Incep Plus Energio(vin)) Aktive Caus(im,Incep Plus Energio(vin)) Aktive Caus(im,Incep Plus Energio(im)) PerfAktive Caus(im,Incep Plus Energio(vin)) PerfAktive Caus(im,Incep Plus Energio(im)) Causo(#,Incep Plus EnergioSpirito(rod)) Causa1(#1,Incep Plus Energio Spirito(vin)) Perf Caus(im,Incep Plus Energio Spirito(vin)) Perf Caus(im,Incep Plus Energio Spirito(im)) Caus(im,Incep Plus Energio Spirito(vin)) Caus(im,Incep Plus Energio Spirito(im)) AntiMagn Caus(im,Incep Plus Energio Spirito(vin)) AntiMagn Caus(im,Incep Plus Energio Spirito(im)) Perf AntiMagn Caus(im,Incep Plus Energio Spirito(vin)) Perf AntiMagn Caus(im,Incep Plus Energio Spirito(im)) AntiMagn Caus(im,Incep Plus Energio Spirito(vin)) AntiMagn Caus(im,Incep Plus Energio Spirito(im)) Perf AntiMagn Caus(im,Incep Plus Energio Spirito(vin)) Perf AntiMagn Caus(im,Incep Plus Energio Spirito(vin)) AntiMagn Caus(im,Incep Plus Energio Spirito(vin)) AntiMagn Caus(im,Incep Plus Energio Spirito(im)) Causa1(#1,Humoro[5]((dla\dat))) Copulo(kdat,(dla\rodo)) Oper(im,Copulo(tv,(im))) Caus(im,Oper(vin,Copulo(tv,(vin)))) 51

Causa1(#1,Humoro[5]((dla\dat))) Copulo(#,) Oper(im,) MagnMult Causo2(rod,Stato[-5]( #2)) MagnMult Causo2(rod,Stato[-5]( #2)) MagnMult Causa(#,Stato[-5]) Incep Hab((im),vin) Perf Incep Hab((imo),vin) Limit Caus((im,vino),Incep Func(do)) Limit Caus(ot,Caus((im),Incep Func(do))) Perf Limit Caus((im,vino),Incep Func(do)) Perf Limit Caus(ot,Caus((im),Incep Func(do))) Mult Perf Caus(im,Stato[-5](vino)) Mult Perf Caus(ot,Stato[-5](imo)) Perf Caus((im,vino),Incep Func(do)) Perf Caus(ot,Caus((im),Incep Func(do))) Causa1((tv,#1),Incep Func(do)) Mult Perf Caus((im,vino),Incep Func(do)) Mult Perf Caus(ot,Stato[-5](imo)) Perf Caus((im,vino),Incep Func(do)) Perf Caus(ot,Caus((im),Incep Func(do))) Causo1(#1,Stato[-5](dla\dat)) Causo(ot,Stato[-5](rodo)) Causo2(rod,Stato[-5]( #2)) Causo2(rod,Stato[-5]( #2)) Causa1(#,Stato[-5]) Causo(#,Stato[-5](rodo)) Causa1(#,Stato[-5]) Causa1(tv, Stato[-5]) Causo1( #1,Stato[-5](rodo)) Causo1( #1,Stato[-5](rodo)) Cause(#,Stato[-5]) Caus(infin,Stato[-5](dato)) Copulo(rod,) Causa1(#1,Stato[-5](dlao)) Causo(rod,Stato[-5]) Caus(im,Stato[-5](vino)) Caus(ot\nad,Stato[-5](imo)) Perf Caus(im,Stato[-5](vino)) Perf Caus(ot\nad,Stato[-5](imo)) Mult Perf Caus(im,Stato[-5](vino)) Mult Perf Caus(Stato[-5](imo),Fin Func(im)) Perf Fin Caus(im,Stato[-5](vino)) Perf Mult Perf Caus(Stato[-5](imo),Fin Func(im)) Mult Perf Caus(im,Stato[-5](Mult vino)) Perf Mult Caus(im,Stato[-5](Mult vino)) Perf Fin Caus(ot,Hab(imo,Stato[-5])) Mult AntiMagn Caus(im,Stato[-5](vino)) Perf Caus(im,Stato[-5](vino)) Perf Caus(ot,Stato[-5](imo)) Mult Long Perf Caus(im,Stato[-5](vino)) Perf Long Caus(ot,Stato[-5](imo)) Mult Magn Perf Caus(im,Stato[-5](vino)) Mult Magn Perf Caus(ot,Stato[-5](imo)) Perf Caus(Caus(im,Stato[-5](vino)),Incep Func(do)) Perf Caus(ot,Caus(Stato[-5](imo),Incep Func(do)))

52

Perf Caus(Caus(ot,Stato[-5](imo)),Incep Hab(im,vin)) Perf Caus(ot,Caus(Stato[-5](imo),Incep Func(do))) Mult Magn Causa1(ot, Stato[-5]) Perf Mult Magn Caus(ot,Stato[-5](imo)) Perf Fin Caus(ot,Stato[-5](imo)) Perf Mult Magn Caus(ot,Stato[-5](imo)) Perf Sing Causa1(ot,Stato[-5]( #1)) Perf Sing Causa1(ot,Stato[-5]( #1)) Perf Sing Caus(ot,Stato[-5](imo)) Relo(Stato[-5](rodo),Stato[-5](kdat)) Relo1(Stato[-5],Stato[-5](kdat)) Rela1(Stato[-5],Stato[-5](kdat)) Oper(im,Relo(Stato[-5](im),Stato[-5](dat))) Causo2(ot,Stato[-5]( #2)) Causo2(ot,Stato[-5]( #2)) Causa(ot,Stato[-5]) Causa2(ot,Stato[-5](# 2)) Causo2(ot,Stato[-5](# 2)) Causo(ot,Stato[-5](rodo)) Copulo(#,) Causa(#,Stato[-5](# 2)) Caus(ot,Stato[-5](im))

(Dormo[i]). :Dorm[5](x) Dormo[5](x) Dormo[2](x) Dormo[2](x) Dormo[1](x) Dorm[2](x) Dorm[-5](x) x x x x x x x

, Dormo[i]: Caus((im,tvn),Incep Dorm[5](vino)) Ne Poss Fina1 Dorm[5] Ne Posso Dorm[5](rodo\ urodo) Tempa2(Ne Dorm[5],#2) Dormo[-5](im) Dorm[-5](im) Caus(im,Fin Dorm[5](vino)) Perf Sing Dorm[2](im) Perf Sing Caus(#,Dorm [2](dat)) Dorme[5] Perf Bon(Result Dorm[5](im),im) Mult Bon(Result Dorm[5](im),im) Caus((im),Fin Loc(im,otkuda)) Perf Limit Caus(im,Fin Dorm[5](vino)) Perf Limit Dorm[5](im) Perf Caus(Dorm[5](im),Incep Func(do)) Limit Dorm[5](im) Limit (im,vinn,kuda) Caus(Dorm[5](im),Incep Func(do)) Dormo[2](rodo) Dorm[2](im) Caus(#,Dorm[2](dat)) Dormo[2](rodo)

53

Dorma[2] Perf Caus((im,tvn),Incep Dorm[5](vino)) Incep Caus((im,tvn),Incep Dorm[5](vino)) Caus((im,tvn),Incep Dorm[5](vino)) Perf Incep Dorm[2](im) Incep Dorm[2](im) Perf Incep Dorm[5](im) Aspekta1(Dorm[5]) Perf Caus(Dorm[5](im),Fin Hab(im,vin)) Perf Mult Dorm[5](im) Incepo Dorm[5](im) Incep Dorm[5](im) Perf Caus(Dorm[5](im),Incep Hab(im,vinn)) Perf Caus(Mult Dorm[5](im),Ne (im,Dorm[5])) Causo(Fin Dorm[5](im),(im,Dorm[5])) Perf Caus(Fin Dorm[5](im),(im,Dorm[5])) Ne Incepa1 Dorm[2] Ne Incepa1 Dorm[2] Ne Incepa1 Dorm[5] Perf Caus(Dorm[5](im),Fin Sense(vin)) Perf Mult Bon(Result Dorm[5](im),im) Mult Bon(Result Dorm[5](im),im) Perf Long Dorm[2](im) Perf Sing Dorm[5](Kon(im,stvo)) Perf Long Dorm[5](im) Long Dorm[5](im) Perf AntiMagn Caus((im,tvn),Incep Dorm[5](vino)) Perf AntiMagn Dorm[-5](im) AntiMagn Caus(im,Fin Dorm[5](vino)) Perf Caus(im,Oper(vino,nvin)) Perf Caus(im,infin(vino)) Caus(im,Oper(vino,nvin)) Caus(im,infin(vino)) Perf AntiMagn Dorm[2](im) AntiMagn Dorm[2](im) Dormo[1](rodo) Dormo[1](rodo) Perf AntiMagn Dorm[5](im) Perf Percep(Dorm[5]((dat)),im) Caus(Dorm[5](Kon(im,stvo)),Incep Hab(im,vino)) Temp(Dorm[-5](im), vin) Temp(Dorm[2](im), vin) Perf Fin Dorm[5](im) Perf Fin Hab(Dorm[5](im),vin) Temp(Dorm[5](im), vin) Perf Caus(Dorm[5](im),Fin Copul(im,)) Caus((im),Fin Loc(Parto(im),otkuda)) Fin Dorm[5](im) Perf Caus(im,Fin Dorm[5](vin)) Cont Long Dorm[5](im) Percep(Dorm[5]((dat)),im) Percepo2(Dorm[5]((dat)),#2) Percepo1(Dorm[5](( #1)),#) Percepo1(Dorm[5](( #1)),#) Causa1(#1,Incep Dorm[5](drod)) Caus(rodo,Copul((dat),(dat))) Dormo[5](rod) Percepo2(Dorm[5]((dat)),#2) Ema1 Dorm[5] Perf Sing Dorm[5](im) Perf Sing (im)

54

[] Usoro1( #1,Dorm[5]) Usoro1( #1,Dorm[5]) Usoro1((rodo),Dorm[5]) Usora1(#1,Dorm[5]) Usoro1( #1,Dorm[5]) Dorm[5](im) Caus(#,Dorm[5](dato)) Magn Longo Dorm[5](rodo) Perf Caus((im,tvn),Incep Dorm[5](vino)) Causo((im,tvn),Incep Dorm[5](vino)) Caus((im,tvn),Incep Dorm[5](vino)) Perf Incep Dorm[5](im) Perf Caus(im,Incep Dorm[5](vin)) Caus(im,Incep Dorm[5](vin))

(Fajro). :Mikra Fajro Magna Fajro Lab(x,Fajro) Lab(x,Magna Fajro) -

Fajra Causa1(#1,Func(Fajro)) Causa1(#1, Ne Lab(#,Fajro)) Causo1(#1,Mov(Fajro)) Causa1(#1,Mov(Fajro)) Colora[5](Fajra1 #1) Fajra1 Causo(rod,Caus(Fajro,Degrad(dla))) Causa1(#1,Caus(Fajro,Degrad(dla))) Ne Laba1(#1,Fajro) Ne Labo(rod,Fajro) Usoro1( #1,Fin Func(Fajro)) Ne Labo(#1,Magna Fajro) Ne Laba1(#1,Magna Fajro) Usoro1( #1,Ne Lab(#,Magna Fajro)) Usoro1( #1,Incep Func(Fajro)) Magna Fajro Usoro1( #1,Incep Func(Fajro)) Fajro [] Fajro [] Fajro Fin Lab (im,Fajro) \ Fin Func(im) \ Caus(im,Incep (vin)) Causo1(#1,Incep (rod)) Causo(#,Incep (rod)) Causa1(#,Perf ) Causo1(#1,Fin Func()) Causo1(#1,(rod)) Causa1(#1,) Incep (im) Perf Caus(im,Incep (vin)) Perf Caus(tv,Incep (im)) Perf (im) Caus(im,Incep (vin)) Causo1(#1,Fin Func())

55

Ne Fin Laba1(#1,Fajro) Ne Causa1(#,) Ne Fin Laba1(#1,Fajro) Ne Fin Laba1(#1,Fajro) Perf Caus(im,Incep (Mult vin)) (Mult im) Causo1(#1,Fin Func(Magn Fajro)) Incepo (im) Incep (im) Perf Caus(im,(vin)) Perf (im) Caus(im,Fin Func(vin)) Causo(#,Fin Func(rod)) Perf AntiMagn Caus(im,(vin)) AntiMagn Caus(im,(vin)) Perf Fin Func(im) \ Fino Func(im) (im) Perf Caus(im,(vin)) Perf (im) AntiMagn Caus(im,(vin)) Causo1(#1,Fin Func()) FinFunco(im) (im) Fin Funca1 Perf (im) Perf Caus(im,Incep (vin)) Ne Fin Funco1 Degrad(im) (im) Caus(im,Prepar( vin)) Caus(im,Incep (vin)) Incep Aktiv Lab(im,Fajro) Perf Incep Lab(im,Fajro) Labo(rod,Fajro) Lab(im,Fajro) Emo Lab(rod,Fajro) Ema1 Lab(#1,Fajro) Limit Lab(im,Fajro) Perf Limit Lab(im,Fajro) Incepo Lab(im,Fajro) Incep Lab(im,Fajro) Perf Incep Lab(im,Fajro) Cirke Lab(im,Fajro) Cirke Laba1(#1,Fajro) Cirke Perf Lab(im,Fajro) Fin Lab(im,Fajro) Incep Plus Lab(im,Fajro) Perf Incep Plus Lab(im,Fajro) [] Perf Caus(im,Incep (vin)) [] Perf Incep (im) [] Causo(#,Incep (rod)) [] Causo1(#1,Incep (rod)) [] Caus(im,Incep (vin)) [] Incep (im) Causo((tv),Fin Func()) Perf Caus((im),Loc(Incep Func(vin),gde)) Causo2(,Loc(Incep Func(#2),gde))

56

Causo1(,Loc(Incep Func(#2),gde)) Causo((tv),Loc(Incep Func(rod),gde)) Caus((im),Loc(Incep Func(vin),gde)) Perf Limit (im,vin) Limit (im,vin) Emo Caus(rod,Lab(#,Fajro)) Ema1 Caus (#1,Lab(vin,Fajro)) Caus(im,Lab(vin,Fajro)) Emi Caus(im,Lab(#,Fajro)) \ Causo(rod,Lab(vin,Fajro)) Labo1(#1,Fajro) Laba1(#1,Fajro) Perf Caus(im,Incep Func Fajro(vin)) Perf Incep Func Fajro(im) Causo(#,Incep Func Fajro(rod)) Usoro1( #1,) Causo1(#1,Incep Func()) Emo Caus(rod,Incep ) Ema1 Caus(#1,Incep ) Caus(im,Incep Func Fajro(vin)) Incep Func Fajro(im) Perf Caus((im),Fin Func(vin)) Perf Caus(im,Lab(Supro im,)) Caus((im),Fin Func(vin)) Caus(im,Lab(Supro im,)) Perf Mult Caus(im,(vin)) Perf Oper(im,Relo2(,npred)) Mult Caus(im,(vin)) Oper(im,Relo2(,npred)) Ne Limit Perf Caus((im),Fin Func(vin)) Ne Limit Caus((im),Fin Func(vin)) Ne Limit Causo((im),Fin Func(vin)) Perf Sing Caus(im,Lab(Hab(dat,vin),Fajro)) Perf Sing Caus(im,Lab(im,Fajro)) Causo(im,Lab(rod,Temper[7])) Causo1(#1,Lab(rod,Temper[7])) Causa1(#1,Lab(dla,Temper[7])) Causo( #1,Lab(rod,Temper[7])) Causo( #1,Lab(rod,Temper[7])) Causo(im,Lab(rod,Temper[7])) Causa1(#1,Lab(dla,Temper[7])) Caus(im,Lab(vin,Temper[7])) Caus(im,Lab(im,Temper[7])) Usora1(#1,) Resulto Caus(#,Lab(rod,Temper[7])) Perf Sing Caus(im,Lab(im,Temper[7])) Perf Caus(im,Lab(im,Temper[7])) Caus(im,Lab(vin,Temper[7])) Caus(im,Lab(im,Temper[7])) Resulto Caus(#,Lab(rod,Temper[7])) Resulta Caus(#,Lab(rod,Temper[7])) Perf Apart((im),vin,ot) Aparto((im),vin,ot) Aparto1(,vin,ot) Aparta(,vin,ot) Apart((im),vin,ot) Perf Over Caus(im,Lab(vin,Fajro)) Perf Over Caus(im,Lab(im,Fajro)) Tra Causo(im,Lab(vin,Fajro)) Tra Caus(im,Lab(vin,Fajro)) Tra Caus(im,Lab(im,Fajro))

57

Tra Causo(im,Lab(vin,Fajro)) Perf Caus(im,Incep Lab(im,Fajro)) Causo1( #1,Incep Lab(rod,Fajro)) Causo1( #1,Incep Lab(rod,Fajro)) Causa1(#1,Incep Lab(#,Fajro)) Causo(tv,Incep Lab(rod,Fajro)) Caus(im,Incep Lab(im,Fajro)) Causo(tv,Incep Lab(rod,Fajro)) Caus((im),Fin Func(Mult vin)) Causo((im),Fin Func(Mult vin)) Perf AntiMagne Caus(im,Lab(vin,tv)) AntiMagna Causo(im,Lab(vin,tv)) AntiMagne Caus(im,Lab(vin,tv)) Perf Tra Caus(im,Lab(vin,Fajro)) Perf Tra Caus(im,Lab(im,Fajro)) Perf Tra Causa2(im,Lab(#2,Fajro)) Copulo1( #1,AntiBona) Causo1(#1,Fin Func(rod)) Tra Causa1(#1,Lab(#,Fajro)) Tra Caus(im,Lab(vin,Fajro)) Perf Tra Caus(im,Lab(im,Fajro)) Tra Causo(im,Lab(im,Fajro)) Perf Caus(im,Incep Func Magn Fajro(vin)) Perf Caus(im,Incep Func Magn Fajro(im)) Caus(#,Incep Func Magn Fajro(rod)) Causo1(#1,Incep Func Magn Fajro(rod)) Caus(im,Incep Func Magn Fajro(vin)) Caus(im,Incep Func Magn Fajro(im)) Causo(tv,Incep Func Magn Fajro(rod)) Causo1(#1,Lab(#1,Fajro)) Causo((rod),Fin Func(rod)) Causo1((#1),Fin Func(#1)) Perf Caus((im),Fin Func(vin)) Perf Caus((im),Fin Func(im)) Causo((tv),Fin Func(rodn)) Caus((im),Fin Func(vin)) Caus((im),Fin Func(im)) Causo((tv),Fin Func(rodo)) Caus(#,Lab(,Fajro)) Causo1(#1,Lab(,Fajro))

Ne Haba1(#1,Magn Fajro) Causo(ot,Incep Lab(rod,Magn Fajro)) Causo1(#1,Incep Lab(rod,Magn Fajro)) Perf Caus(im,Incep Lab(vin,Magn Fajro)) Perf Incep Lab(im,Magn Fajro) Emo Incep Lab(rod,Magn Fajro) Caus(im,Incep Lab(vin,Magn Fajro)) Incep Lab(im,Magn Fajro) Causa1(#1,Incep Lab(,Magn Fajro)) NeEmo Incep Lab(rod,Magn Fajro) Causo1(#1,Fin Lab(vin,Magn Fajro)) Simil(im,Magn Fajro) Similo1(#1,Magn Fajro) Copulo(rod,Magne Fajra) Magne Fajra Magna Fajro Simila1(#1,Magn Fajro) Magna Fajro Causo(rod,Incep Lab(rod,Magn Fajro))

58

Perf Incep Oper(im,Magn tv) [AntiKarese] Sing Oper(im,Copulo(#,Energia[5] Animo)) [AntiKarese] Emo Oper(rod,Copulo(#,Energia[5] Animo)) [AntiKarese] Ema1 Oper(#1,Copulo(#,Energia[5] Animo)) Mult Sing Lab(im,Magn Fajro) Perf Sing Lab(im,Magn Fajro) Sing Lab(rod,Magn Fajro) Perf Incep Lab(im,Magn Fajro) Opero1(#1,Magn Relo1(AntiBono,pootn)) Opera1(#1,Magn Relo1(AntiBono,pootn)) Opera(#,Magn Relo1(AntiBono,pootn)) Opero(rod,Magn Relo1(AntiBono,pootn)) Oper(im,Magn Relo1(AntiBono,pootn)) Perf Fin Lab(im,Magn Fajro) AntiMagn Aspekt Lab(im,Fajro) Energio[5] Animo(rod) Lab(im,Magn Fajro(tv)) Energia[5] Animo(#1) Copulo(rodo,Energia[5] Animo(#1)) Sing Aspekt Labo(rod,Magn Fajro) Aspekt Lab(im,Fajro) Perf Sing Aspekt Lab(im,Magn Fajro) PerfI ncep Magn Lab(im,Magn Fajro) Usoro1(Sing Lab(rod,Magn Fajro),)

1.2. , , . . 1.2.1. , , . . . , , . . , . , Praevento. ( ) : ( ), ( ). . . . . . , . , (Ja). Ja , -59

(Eco), (EcoR), (Parto) (Akt). , , . , . , . , , , , , . PraJa = {Ja; Eco, EcoR, Parto,Akt} , . , . . . i (-10 i +10). i , , i = 0. . , , : i , o , a , j , e , y (: ). Praevento:Praevento = {Ja ; Eco: Loko, Tempo, Maniero, Viglo; EcoR: ?, La, Normo, Ciomo, Kvalito, Mezuro; Akt: Reli(x,y),Causi(x,y),Elekti(x,y),Mezuro x,Funci x,Magn x, Cori x,Limiti x,Hab(x,y),Anti x,Ni x,Or(x,y),And(x,y)}.

Praevento , : : Loko, Tempo, Maniero (); : ? (), La, Normo, iomo (), Viglo (), Kvalito (), Mezuro (); : Reli, Causi, Elekti (), Funci, Limiti ( ), Cori, Magni (), Habi, Anti, Ne, Or, And.

:Normo[0] = Normo , Normo[-5] , Normo[5] ; Kvalito[-5] , Kvalito[5] , ; ?[-4] ?, ?[-3] ?, ?[5] ?; La[-3] ()-, La[-2] ()-, La[0] , La[3] , La[3] , La[4] , La[5] .

:Eco , Eci , Eca , Ece , Ecy ; Parto , Parti , Parta , Parte , Party ; Akto , Akti , Akta , Akte , Akty ; Loko , Loki , Loka , Loke , Loky ; Tempo , Tempi , Tempa , Tempe , Tempy ; Maniero , Manieri , Maniera , Maniere , Maniery 60

; Normo , Normi , Norma , Norme , Normy ; Kvalito , Kvaliti , Kvalita , Kvalite , Kvality , ; Ciomo , Ciomi , Cioma , Ciome , Ciomy ; Mezuro , Mezuri , Mezura , Mezure , Mezury , ; Relo , Reli , Rela , Rele , Rely ; Causo , Causi , Causa , Cause , Causy ; Elekto , Elekti , Elekta , Elekte , Elekty ; Funco , Funci , Funca , Funce , Funcy ; Magno , Magni , Magna , Magne , Magny ; Coro , Cori , Cora , Core , Cory ; Limito , Limiti , Limita , Limite , Limity ; Havo , Hab , , Haba , Have , , Havy ; Anto , Anti , Anta , Ante , Anty ; Ne , No , Ni , Nea , Nee -, , Ney ; Or , Oro , Ori , Ora , Ore , Ory ; And , Ando , Andi , Anda , Ande , Andy ; Kons(x,y) = Or(Ne x,y) x, y, Konso , Konsi , Konsa , Konse , Konsy ; And(Ne Cori(x),Konsi(x,y)) x, y; La , ( ).

. - . , . , . :Relloki(x,y) Reltempi(x,y) = {Reli(x,Loko y); EcoR: Distanco(x,y),Direkto(x,y)} = {Reli(x,Tempo y); EcoR: Intertempo(x,y)}

Distanco , Distanci , Distanca , Distance , Distancy , Direkto , Direkti , Direkta , Direkte , Direkte , Intertempo , Intertempi , Intertempa (), Intertempe , Intertempy Fora(x,y) Malfora(x,y) Apudi(x,y) Loki(x,y) Prii(x,y) Flue(x,y) = Tempi(x,y) Aflue(x,y) TempP(x,y) FlueZ(x,y) = = = = = = {Relloki(x,y); Distanco[>5](x,y)} {Relloki(x,y); Distanco[=0](x,y)} \ x y {Reltempi(x,y);Intertempo[z](x,y)} \ y z x

Relmanieri(x,y) = Rele(Maniero y,x) \ x y Pli(x,y) = And(Kvalito[i]x,Kvalito[j]y,i>j) \ x , y Pli(f(x),f(y)) \ x f, y ( )

61

= Loko(Ja) = Tempo(Ja) Fore(Ja,#) Flua x = Flua(x,Normo) x Apudy(x,Ja) x Aflua x = Flua(Normo,x) x

f-is = Flue(f-i,) \ f-as = Tempi(f-i,) \ f-os = Aflue(f-i,) \ Perf f = La Limite f-is Mezury f x-j = Ciomo x > 1 \ \ f-o \

Singo x = Elekto1(#,x) \ x Multo x = Elekto2(x,#) \ x Solo x = Ciomo(Elekto1(La #,x)) = 1 \ x

Soli , ; Sola ; Sole , ; Soly , ; Multi , Multa , Multe , Multy . Sole Multe . : Iri , SoleIri , SolePerfIri , MulteIri .

Elekto1(x,y) La Elekto1(x,y) ?Elekto1(x,y) La ?Elekto1(x,y)

, x y , x y - x y - x y.

: ! = Anti? : ?! = . . . f(x1,...,xi,...,xn) . Si^f(x1,...,xi,...,xn) Si^f(x1,..., #,...,xn) xi, f(x1,...,xn) Si f f(x1,...,xn).

f , :^f-oi(x1,..., #,...,xn) S1 f f(x1,...,xn).

Si^f i- . Si f Si^f , . Si^f , Si f . f. , .(S2 (,)) (S2^(,)) = , , = , ,

(Loko1(,)) = , , ( ^Loko1(,)) = , , (S2 (,)) = , , (S2^(,)) = , ,

62

(,) = = ,

S1 (,) = , S1^(,) = , () S1 () = - = () S1^() = =

S1 () = S1^() = (S1 (,),) = , , (S2^(,),) = (), ((,),) = , , (,) = ?(,) ?S1 (,) ?S2 (,) ?S2 (,La #) = ?S2^ (,#) = ?S2^ (,La[-3] #) = ?S2^ (,La[3] #) = ?S2^ (,) ?(,La[-3] #) = ?(,La[-2] #) = ?[-3] (,La[-3] #) = ?[-3] (,#) = ?[-3] (,) = ?[-3]S1 (,) ?[-3]S2 (,) ?[5] S1 (,) = ? = ? = ? ? ? - ? ? = ? -? -? -? ? ? = ? = ? = ?

, f(x1,...,xn) = Si f(x1,...,xn) = Si^ f(x1,...,xn). , : - = = . . , . , . , . , . , , , ,.... . , . , , . . , , . ().- - - = = = = = = = = ^Loko2(#,La[-3]#2) ^Loko2(#,La[-2]#2) ^Loko2(#,La[2]#2) ^Loko2(#,La[2]#2) ?^Loko2(#,#2) Anti Ne ^Loko2(#,#2) ^Loko2(#,Ne #2) ^Loko2 (#,Perf Aspekt Posso #) - - - = = = = = = = ^Loko2(#,La[-3]#2) ^Loko2(#,La #2) ^Loko2(#,La[2]#2) ^Loko2(#,La[4]#2) Ne ^Loko2(#,#2) Ne Anti Ne ^Loko2(#,#2) Anti Ne ^Loko2(#,#2)

- = ^Directo2(#,La[-3]#2)

= ^Directo2(#,La[-3]#2)

63

- -

= = = = = = =

^Directo2(#,La[-2]#2) ^Directo2(#,La[2]#2) ^Directo2(#,La[2]#2) ?^Directo2(#,#2) Anti Ne ^Directo2(#,#2) ^Directo2(#,) ^Directo2(#,PerfAspekt Posso #2)

-

= = = = = =

^Directo2(#,La #2) ^Directo2(#,La[2]#2) ^Directo2(#,La[4]#2) Ne ^Directo2(#,#2) Ne Anti Ne ^Directo2(#,#2) ^Directo2(#,Ne #2)

- - - =

= ^Direkto1(#1La[-3]#) - = ^Direkto1(#1,La[-3]#) = ^Direkto1(#1,La[-2]#) = ^Direkto1(#1,La #) = ^Direkto1(#1,La[2]#) = ^Direkto1(#1,La[2]#) = ^Direkto1(#1,La[2]#) = ^Direkto1(#1,La[4]#) = ?^Direkto1(#1,#) = Ne ^Direkto1(#1,#) = Anti Ne ^Direkto1(#1,#) - = Ne Anti Ne ^Direkto1(#1,#) ^Direkto1(#1,) = ^Direkto1(Ne #1, #) = ^Direkto1(#1,PerfAspektPosso #)

- = ^Tempo2(#,La[-3]#2) - = ^Tempo2(#,La[-3]#2) - = ^Tempo2(#,La[-2]#2) - = Singo ^Tempo2(#,La[-2] #2) = ^Tempo2(#,La #2) = ^Tempo2(#,La[2]#2) = ^Tempo2(#,La[2]#2) - = ^Tempo2(#,La[2]#2) = ^Tempo2(#,La[4]#2) = ? ^Tempo2(#,#2) = Ne ^Tempo2(#,#2) = Anti Ne ^Tempo2(#,#2) = Anti Ne ^Tempo2(#,#2) - = Ne Anti Ne ^Tempo2(#,#2) = Ne Anti Ne ^Tempo2(#,#2) = Ne Anti Ne ^Tempo2(#,#2) = ^Tempo2(#,Perf Aspekt Posso #2) = ?Intertempo = Anti Magne Intertempe = Magna Intertempe

- = ^Ciomo1(La[-3]#1) - = ^Ciomo1(La[-2]#1) = ^Ciomo1(La #1) = ^Ciomo1(La[2]#1) = ^Ciomo1(La[2]#1) - = ^Ciomo1(La[2]#1) = ^Ciomo1(La[4]#1) = ?^Ciomo1(#1) = Ne ^Ciomo1(#1) = Anti Ne ^Ciomo1(#1) -, - = Ne Anti Ne ^Ciomo1(#1) = ^Ciomo1(Perf Aspekt Posso #1) - - , , - - - - , , - - = = = = = = = = = = = = = = = ^Funco1(La[-3]#1) ^Funco1(La[-2]#1) ^Funco1(La #1) ^Funco1(La[2]#1) ?^Funco1(#1) Anti Ne ^Funco1(#1) Ne Anti Ne ^Funco1(#1) - = ^Funco1(La[-3]#1) = ^Funco1(La #1) = ^Funco1(La[2]#1) = ^Funco1(La[4]#1) = Ne ^Funco1(#1) = Anti Ne ^Funco1(#1) = ^Funco1(PerfAspektPosso #1) = = = = = = ^Funco1(La[-3]Viglo #1) ^Funco1(La Viglo #1) ^Funco1(La[2]Viglo #1) ^Funco1(La[4]Viglo #1) Ne ^Funco1(Viglo #1) Anti Ne ^Funco1(Viglo #1)

^Funco1(La[-3]Viglo #1) - ^Funco1(La[-2]Viglo #1) ^Funco1(La Viglo #1) ^Funco1(La[2]Viglo #1) ?^Funco1(Viglo #1) Anti Ne ^Funco1(Viglo #1) Ne Anti Ne ^Funco1(Viglo #1) ^Funco1(Perf Aspekt Posso Viglo #1)

= ^Loka1(La[4]#1,) = Causo1 = Ne Cause

= ^Loka1(La[4]#1,)

- = ^Causo1(La[-3]#1,#) - = ^Causo1(La[-3]#1,#)

- -

= =

^Causo1(La[-3]#1,#) ^Causo1(La[-3]#1,#)

64

- = = Causo2 - -

= ^Causo1(La[-2]#1,#) - = ^Causo1(La[-2]#1,#) = ^Causo1(La #1,#) = ^Causo1(La #1,#) = ^Causo1(#1,#) = ^Causo1(La[2]#1,#) = ^Causo1(La[2]#1,#) - = ^Causo1(La[2]#1,#) ^Causo1(La[4]#1,#) = ?^Causo1(#1,#) = ?^Causo1(#1,#) = Ne ^Causo1(#1,#) = Anti Ne ^Causo1(#1,#) = Ne Cause2 = = = = = ^Causo2(#,La[-3]#2) ^Causo2(#,La[-2]#2) ^Causo2(#,La[2]#2) ?^Causo2(#,#2) Anti Ne ^Causo2(#,#2) - - = = = = ^Causo2(#,La[-3]#2) ^Causo2(#,La #2) ^Causo2(#,La[2]#2) Ne ^Causo2(#,#2)

x = Perf Causo2(x,#2) - - = = = = = =

= Relmaniero2 = = = = = ^Relmaniero2(#,La[-3]#2) ^Relmaniero2(#,La #2) ^ Relmaniero2(#,La[2]#2) Ne ^Relmaniero2(#,#2) Ne Anti Ne ^Relmaniero2(#,#2)

^Relmaniero2(#,La[-3]#2) - ^Relmaniero2(#,La[-2]#2) ^Relmaniero2(#,La[2]#2) - ?^Relmaniero2(#,#2) Anti Ne ^Relmaniero2(#,#2) - ^Relmaniero2(#,Perf Aspekt Posso #2)

- = ^Hava2(#,Eco(La[-3]#2)) - = ^Hava2(#,Eco(La[-3]#2)) - = ^Hava2(#,Eco(La[-2]#2)) = ^Hava2(#,Eco(La #2)) = ^Hava2(#,Eco(La[2]#2)) - = ^Hava2(#,Eco(La[2]#2)) = La ^Havj2(#,Eco(#2)) = ?La ^Havj2(#,Eco(#2)) ! = Anti ?La ^Havj2(#,Eco(#2)) = ? ^Hava2(#,Eco(#2)) = Ne ^Hava2(#,Eco(#2)) = Anti Ne ^Hava2(#,Eco(#2)) = Anti Ne ^Hava2(#,Eco(#2)) - = NeAnti Ne ^Hava2(#,Eco(#2)) = ^Hava2(#,Perf Aspekt Posso Eco(#2)) - = ^Hava2(#,La[-3]#2) - = ^Hava2(#,La[-2]#2) = ^Hava2(#,Perf Aspekt Posso #2) x y = Elekta1(x,La y) x y = Elekta1(x,La[-5] y) (x,f) = Pli(f(x),f( Elekta1(#,La #))) \ (x) = Pli(x, Elekta1(x,La x)) \ x x \ p p = p p - = ^Hava2(#,La[-3]#2) = Ne ^Hava2(#,#2)

. . : , . , Praevento Praobjekto:Praobjekto = {Praevento; EcoR: Stato, Enhavo, Aspekto, Amplekso, Materialo Parto: Supro, Malsupro, Antauo, Interno, Centro, Flanko, Rflanko, Lflanko, Malanto Akt: Incepi x, Fini x, Plusi(x,y), Usori(x,y), Boni x, Anstatai(x,y), Movi(x,y,z,v,w), Simili(x,y), Dependi(x,y), Copul(x,y)}.

Stato; 65

, , Enhavo; Aspekto; Amplekso; Materialo. , : Supro, Malsupro, Antauo, Interno, Centro, Flanko, Rflanko, Lflanko Malanto. : Incepi , Fini , Plusi x y, Usori x y, Bona , Anstatai x y, Movi , Simili x y, Dependi x y, Copul x y. Praobjekto . :Bez Blagodara BlizO CerezO CerezT Dla DlaE DlaF DlaH DlaR DlaU DofT DoO DoT IzEl IzIn IzMl IzMt IzO IzS IzzaC IzzaO KO Krome KT x MegduO MegduT Mimo NadO NaDr Nakanun NaO Naosnov Naperekor Naprotiv Narjadus Naravnes NaT x Naverh Naverhu Navstrecu 66 = Ne ^Haby1(#1,x) \ x = ^Causy2(x,Copul(#2,Bona)) \ x = ^Malfory1(#1,x) \ x = Andy(Or(NaO x,NadO x),SkvozO x) \ x [] = Întertempy1(Citiam^#1,x) \ x [] = ^Causy1(#1,x) \ x (, x) = Causy1(#1,Reli(Eco y,x)) \ = Causy1(#1,Incep Func x) \ = = = = = = = = = = = = = = = = = = = Causy1(f(#,y),Hab(x,y)) \

Causy(#,Reli(f,x)) \ Causy(#,Usori(y,x)) \ Fluy(#,Incep x) \ x; , x Limity(KO x) \ x = Limity(KT x) \ x [] = Êlekty2(x,#2) \ x = Êlekty1(#1,Enhabo x) \ x = ^Havy1(#1,Materialo x) \ x = Êlekty1(#1,x) \ x = Direkty(VoO x,VneO x) \ x [ ] ^Causy(x,#2) \ x [ ] = ^Causy(x,#2) \ - x [] = Direkty(ZaO x,Ne ZaO x) \ - x [] = ^Direkty1(#1,Okolo x) \ x [] ^Plusy2(Ne Sole x,#2) \ x Întertempy1(#1,x) \ x [] Ândy1(Apudy(#1,Multo x),VoO Limo(Multo x)) \ x [] Andy(OtT x,DoT y) \ x y [] = ^Pretery1(#1,x) \ x = ^Plialty1(#1,x) \ x = ^Direkty1(#1,NaO x) \ x PeredT x \ x = Andy(VneO x,Naverhu x) \ x [] ^Lauy2(x,#2) \ x ^Kontropery2(x,#2) \ x Ênantauy1(Loki(#1,Okolo x)=Enmalante x) \ x Andy(Naravnes x,Vmeste x) \ x Êgaly1(#1,x) \ x = Întertempy1(#1,Vtecen x) \ x [] ^Direkty1(#1,Naverhu x) \ x Okolo Supro x \ x ^Relmovy1(#,x) \ x

Nesmotra = Nevdaleke = Ob OkoloN = OkoloO = Otnosit x OtO OtT = PeredO = PeredT = PodDr = Podle = PodO = Podobno = PoEh = PodT PoLg Pomimo = PoN PoO PoOmt Poperek = PosleO PosleT Posredi = Poseredin = PoT PoTmt Poverh PoU Pozadi Pregde Pri = Primenit = PriO PriT Pro = ProtivK = ProtivO = Rjadoms = Rod = RodN = Sboku SE SH SkvozO = SkvozT = Sledomza = Sovmestno SO Soglasno = Soobrazno = Soobrazns = Sootvet = Sorazmer = Sorazmers = Spomostu = Sredi

^Malgrauy2(x,#2) \ x Ne Vdalekeot x \ x = OkoloO(Enhavo x) \ () x ^Proksimumy1(#1,x) \ x Âpudy1(#1,x) \ x = ^Rely1(#1,x) \ x = ^Direkty2(Okolo x,#2) \ () x Întertempy2(x,#2) \ () x Andy(VneO x,OkoloO(Antauo x)) \ x [] AntiMagn Fluy1(#1,x) \ x [] ^Direkty1(#1,PodO x) \ x Vozle x \ x Andy(VneO x,OkoloO(Malsupro x)) \ x [] ^Simily1(#1,x) \ x ^Havy1(#1,Enhavo y) \ = AntiMagn Fluy1(#1,x) \ x [] = ^Lauy2(x,#2) \ Krome x \ x = ^Poy1(#1,x) \ = ^Movy(#,#,#,x) \ = ^Movy(#,#,#,Multo x) \ Direkty(Rflanko x,Lflanko x) \ x = Limity(ZaO x) \ x [] = Limity2 Flue(x,#2) \ x [] ^Loky1(#1,Centro x) \ x ^Loky1(#1,Centro x) \ x = ^TempPy(#1,x) \ = ^Tempy1(#1,Multo x) \ = NaO x \ x = Ûsory(x,#2) \ = Or(Zao x,^ Movy1(Loki(#1,ZaO x))) \ x = ^Fluy1(#1,x) \ x Or(PriO x, PriT x) \ x ^Konsy2(Usory(p^,x),#2) \ x = ^Priy1(#1,x) \ x [] = ^Tempy1(#1,x) \ x [] SkvozO(Enhavo x) \ x ^Kontry2(x,#2) \ x () Naprotiv x \ x OkoloO x \ x x(y) \ y x ^Haby2(x,Ciomo #2) \ x = Okolo Flanko x \ x = ^Manifesty1(#1,x) \ [] = ^Havy1(#1,x) \ [ ] Direkty(x,Kontrloko x) \ x [] Intertempy(Incep x,Fin x) \ x [] Vsledza x \ x = Vmeste x \ x = ^Direkty2(NaO x,#2) \ x () ^Lauy2(x,#2) \ x Podobny x \ x Podobno x \ x Podobno x \ x ^Simily1(Mezuro(#1),Mezuro x) \ x ^Simily1(Mezuro(#1),Mezuro x) \ x Ûsory2(x,#2) \ x = MegduO x \ x 67

ST Sverh Svisi Szadi UK UO Vblizi Vbliziot Vdalekeot Vdaliot Vdol Vglub Vmeste Vmesto VneO VnutrO Vnutri VoDr Vokrug VoO Vopreki VoT Vozle Vperedi Vplotdo Vpreddo Vrode Vrovens Vsled Vsledza Vsledst Vsootv Vtecen Vzamen ZaC ZaDo ZaDr ZaK ZaO ZaT

= = = = = = = = = = = = = = = = = = = =

Întertempy2(x,#2) \ x [] = ^Plusy2(x,#2) \ x = ^Plusy2(x,#2) \ x = Okolo Malanto x \ x ^Havy2(x,#2) \ x (, ) = S1^Loky(#,x) \ = ^Malfory1(#1,x) \ x ^Malfory1(#1,x) \ x ^Fory1(#1,x) \ x ^Fory1(#1,x) \ x = Direkty(Malanto x,Antauo x) \ = Direkty(Naverhu x,KO Centro x) \ x Ândy2 (x,#2) \ x Ânstatay1(#1,x) \ x = Ne VoO x \ x Direkty(VneO x,VoO x) \ x = VoO x \ x = ^Direkty1(#1,Interno x) \ x [] Ândy1(Apudy(Multo(#1),Limo x),VneO x) \ x = ^Loky1(#1,Interno x) \ x [] ^Perf Kontropery2(x,#2) \ x = ^Tempy1(#1,x) \ x [] = OkoloO x \ x ^Movy1(Loki(#1,PeredO x)) \ x Limity(Mezuro x) \ x Fut DoT x \ x = ^Simily1(#1,x) \ x Egaly1(Alteco #1,Alteco x) \ x = ^Movy1(Loki(#1,ZaO x)) \ x ^Movy1(Loki(#1,ZaO x)) \ x ^Perf Causy2(x,#2) \ x = ^Lauy2(x,#2) \ x ^Tempy1(#1,Intertempo(Incep x,Fin x)) \ x Ânstatay1(#1,x) \ x ^Causy1(#1,Incep Hab(#,x)) \ x [ ] = ^Tempy1(#1,Tempo(y) - x) \ x y = ^Direkt1(#1, ZaO x) \ x [] Anti ProtivK x \ x [] = Andy(VneO x,OkoloO(Malanto x)) \ x [] = ^Tempy1(#1,Intertempo(Incep(f),Fin(f))= x) \ x/

. : x ^Direkty1(#,Loko(x)) Perf ^Causy2(x,#2) Perf ^Kondy2(x,#2) x ^Loky1(#1,VoO Limo x) x Ôpery1(#1,x) x Enhaby(x) ^Dependy1(#1,x) ^Causy1(#1,Aspekt Posso(x)) Causy(#,Incep Loc(x,#)) ^Causy1(#1,Func x) Vtecen x ^Resulty2(x,#2) Perf ^Kondy2(x,#2) Perf ^Causy2(x,#2) 68

^Kondy2(x,#2) ^Movy1(Vmecte(#1,x)) ^Locy1(#1,Causo2(x,#2)) ^Causy1(#1,Hab(x,)) ^Causy2(x,#2) Fine x H ^Habo1(#1,Enhavo x) H ^Tempy1(#1,Intempy2(x,#)) Nesmotra x Ne ^Dependy1(#1,x) Ôpery1(#1,Intempo(Ne x)) Perf ^Causy2(Cor[-5](x),#2) Perf ^Causy2(x,#2) Perf ^Causy2(x,#2) Perf ^Causy2(x,#2) p Relmaniery(x,y) p ^Kondy2(x,#2) Ûsory1(#1,x,#) PosleT x ^Causy2(x,#2).

, , , . , . , : , . bez = Ne Haby1((),) = , . Blagodara = ^Causy2(,Copulo1((),Bone)) = , , . BlizO = ^Malfory1((),) = Relloki((),); Distanco[ _(dato) x = rodn => (rodn)}

. () , x: (x) = {; = ,1. = Mult

74

2. [i](#,x)}

= = = = =

{; [a>18 ]} {_; = } {; = , [i>4]} {; = , [i>4]} {; = , [i5](x)))) x , y x-a = x y Caus(x,Percep(y,Fact([i=4](x)))) x y.

(). , , . , . f B, B. f(B) = y A(z,B) z B, z , f, . . z = (f = y). B , , B , f y. A, , Afy , A(z,B) f y. Afy , Afy . , A[5] : A[4] () . [5] , , . . . ( , . .) A(x) = x. A-o, A-e, A, . , , , . . , i. A[i] : - . f A1 A2. : 1) A1 A2 2) A1 < A2 ( A2 f ). Afy(A1), Afy(A2), . . A , . 75

Afy(A) : , Afy. : , , , . , , . - f A , A - . , , , , , . . Afy A(z,B), z = (f = y) , f y. , , . S0 Afy. , , : -, -, -, -, -:S0 A_ S0 A_ S0 A[6] S0 A[5] S0 A[4] .

Afy S0 Afy : S0 Afy(x) = S0 copul (x,Afy(x)). Afy, S0 Afy:A[4](S0 A[6]) A[-2](S0 A[-4]) .

, S0 Afy f x, S0 Afy(x). Ax, x, S0 Afy: Ax(S0 Afy) = S0 Afy(x). : = = = .

Afy Advgz (f, g , y, z ) Func(Agz(S0 Afy(x))) = Copul(x,Advgz(Afy)(x)). (1)

Advgz , . :Func(A[-2](4())) = Copul (,Adv[-2]([4])()).

* , . (1) , S0 Advgz(Afy) = Agz(S0 Afy) \ S0 ( ) = . 76

(1) Agz A, : Func (S0 Afy(x)) = Copul(x,Afy(x)). Afy(x), S0 Afy(x) . x, f y. f y x. , , Func(x), Copul(x,y) . ., . Func(Afy(x)) x f, y, Func(S0 Afy(x)) Copul(x,Afy(x)) x y f. , , . x i- f. Aix : Aix(S0 f) = S0 f(x1,...,xi,...xn). : = = = = .

Copul(x,Afy) , , : Copul (,Ai) = . Afy = Copulj(#,Afy) . Comp Fut Func(kuda(im)) kuda = => Fut Loc(im,kuda) => Fut Copul(imo, Mult vimo) => _(dato,im) im = => (im,kuda) im = => Func(x) im = => Mov(x) im = => Fact(x) => Func(x).

: 1. , kuda, . ( ), Fut Func(kuda(im)), , Fut Loc(im,kuda), Fut Copul(imo, Mult vimo). 2. , dato, _(dato,im). 3. kuda dato, : {Mov(), = } () *

= im = => (im,y,z ,,#) => (im,y,z,,v) = (,#,#,# ,) = (,#,#,,#) =

79

im = = im =

=> (im,y,z,,#) => (im,y,z,,w) => (x,y,z,|,#) => (x,y,z,|,w).

, , : = Perf = Imperf = Perf Fut = Fut .

, , . , , , , . (). : , , , . . . , , . , AdvIfy, f , y . ( I = 0) i- ( I > 0). : .

, : () () () () .

, , , . : Magne Adv0 [5] Adv1 [5](#1) Caus(ot\infin(dat),Func [5](dat)) Adv1 1[-5]((#1)) Caus(ot\infin(dat),Func [-5]((dat))) Adv1 [5]((#1)) Caus(ot\infin(dat),Func [5]((dat))) Adv1 (#1)

80

Adv1 (#1).

. , . . #1 , , #1. : = (()) = Magn () = {[5]}()

= (()) = (A0 1[5]()) = (A0 [-5](())) = () = ().

f(g(x,...)...) . Adv1:(A0 1[5]()) = , = , = () = , = () = *, = , .

: = Caus((),Func [5]()) = Caus((),Func [-5](())).

Caus(im,Func [5](vin)) Caus(im,Func [5](im)),

:Caus((),Func [5]()) = , .

AdvIfy (I > 1) . . , , : Adv4 [-5](#2) Adv4 [5](#2).

Adv1fy, ( , ), : = , = , = , .

. , : = Perf Aspekt Opini(im,Copul(vin,kakim\A0 kak),dat)

81

= Perf Aspekt Opini(,Copul(,),#) = Perf Aspekt Opini(,Copul(,),#).

Adv0fy. : () . :Perf Aspekt Opini(,Copul(,),#) Perf Aspekt Opini(,,#).

, , ; : = = Perf Aspekt Opini(,Copul(,(),#)) , = = Perf Aspekt Opini(,Copul(,((()))),#) = Loc(Copul(,),(())) = (Copul(,)) = Copul((),) = = - = - = - = -.

X -X- X. :- = - = - = .

. , . Loc, Temp Long: = Temp(Loc(, ),) = (, ) = Perf Loc(, ) = Temp((), ) = Long((,), ()).

. , . = Tempe1(#1,) = Adv1 (#1, Tempo) \ \

: = Temp((),) = = .

: = Tempe1(#1,) \ .

82

: [] [] = [] = [] = [] [ ] = = =

* , * . . (. . ) , . :, , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , -, -, , , -, -, -, -, , , , , , , , , , , , , , , , , , , , , , , -, -.

. , : () () () , - - .

:, , , , , , , , , , , , , , , , -, -, -, , , , , , , .

, , . . , :, , , , , , , , , , , , , , , -, -, , , , , , , , , , , , , , , -, , , , , , , , , , -, -, , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , -, -, , , , , , , , , , , , , , , , -, , .

, . :-, -, -, -, -, -, -, -, -, .

83

. . . . . , x . :1. x ?pb, . 2. x Copul(y,z), Caus(Copul(y,z),Ne Poss f). 3. x , Caus(x,f), Kond(x,f). (1) , = (,()) (2) , = Caus(Copul(,),Ne Poss ()) (3) , = Kond(Func(),()) , = Caus((),).

. : = Kond(x,Ne(y))&La[3]y x y - y = Kond(y,Ne(x))&La[3]x y x - x , = (Imperf Func(),()) , = ((),Imperf Func()).

. . . Gi c Ja Sing Ne Ja GiM GiG GiS Multo Gi \ , , ( , ) \ Gi + \ Gi + \ Gi + \

And(,) \ Rely1(Gi,) \ (, ) Rely1(Multo Gi,Ja) \ Hava2(,#2) \ Hava2(,#2) \ Hava2(,#) \ Hava2(,#) \ f(im,x1,...,Hava2(im,#2),...,xn) \ Anti Ne # Havo2(x,c) Hava(x,c) Hava(Multo x, c) \ , x \ x; x \ x

Ne Funci Posso2 f(x,#2) f(im,x1,...,im,...,xn) -

\ , , , ... \ , , ( )

And(f(im,y),Ne Funci S1 f(#,y)) \ And(f(x,y),f(y,x))

.84

. , . . . :Krome(Imid x,Ne Func(#)) \ Imid (, , , ) \ Imid , .

, , Imid . , , , . ) :Krome((x,y),Ne Func(#)) = x y = x y. : , = , .

) :Krome(,N Func(#)) . : , .

) :Krome(Tempo2(f,t),Ne Func(#2)) t : . Krome(Tempo2(f,),Ne Func(#2)) , = = .

) :Krome(S2 Loc(#,x),Ne Func(#)) x : .

) :Krome(?f,Ne Func(#)) ; : ?

) :Krome(AntiMagn(f),Ne Func(#)) f = f = f = , f = f.

) :Krome(Fut f,Ne Func(#)) f f : = .

) : x = Ne Krome(x,Ne Func(#)) = Krome(x,Func(#)) x - x -.

:f(x1,x2,...,xn)& xi = f, xi = xi&f(x1,...,xn) = xi f = f(x1,..., xi, ..., xn).

: = , = = . = , = = = = . 85

: = Norm Ne f(#,..., x,..., xn)& f(x1,..., x,..., xn).

, . . = ( ) , .

: = Poss(Ne f)&(Cor(f) => Bone) = Poss(Ne f)&(Cor(f) => Cor(g)).

. : , f, f (Cor(f)), : . : , f, f , g : , . , , . : ?[-4] ?; ?[-3] ?; ?[5] . - . , . . , , . : = ( ) = () .

. , (Praobjekto) . , . :El Dt Mz R V It . F Ml Mt Dr E Eh N Od S T Tp Ds H Lg Ld Tu . P In .

, . , , , , . . , . 86

. , , E ( ), Copulo(rod,y): Copulo(rod,) Copulo(rod,) Copulo(rod,) Copulo(rod,) Copulo(rod,) Copulo(rod,) Copulo(rod,) Copulo(rod,) Copulo(rod,) Copulo(rod,).

, , : = Copulo(,). , S, , Humoro, Dr Directo . . ( ) . , , . . , . - , - . , . ( ), . - . , . . . . , . . , , . . . x, :(E, rod) => (P, rod) => (O, rodo) => (V, rod) => (F, rodo) => (F, rodn) => (It,rodn) => (O,kakogo(rodn)) (N, rod) Copulo(rod,A0 x) Habo2(rod,Parto x) Habo2(rodo,x) Habo1(x,Enhavo rod) Perf x(rodo) Imperf x(#,rodn) Tempo2(Func rodn,Vtecen x) => Habo1(x,kakoj(im)) => Ciomo(rod,x) \ \ \ \ \ \ \ \ \

87

(Mz,rod)

=> Habo1(rod,Mezuro x)

\ .

. x E, Copulo(rod,A0 x) rod x. x rod, Habo2(rod,Parto x) x, rod. x , Habo2(rodo,x) x, rodo. x , Habo1(x,Enhavo rod) x, rodo, . . , . . : = (rod x) = (rod x) = (urod x, rod y).

, La Ciomo y ( y): = (,,) = (,,La Ciomo()).

, . : .

/ , : =

( ot). ot x. , E , x:E x => Dt => O => => Vsledst \ , OtT \ OtO \ Vsledst \

ot: = = = = = = = = = (ot,do) (otkuda,kuda,otrodo,dato) (ot) (ot) (ot) (ot\ protiv) (ot) \ Vsledst (ot) \ Vsledst (ot) \ Vsledst.

( do). , 88

- , , :O Imperf, T Perf, T Imperf, F Perf, F => => => => => DoO \ DoT \ DofT \ DoT \ DofT \ .

do DoT: = (ST,DoT) = (ST,DoT) \

(, , ,...) . ( srod). T () :Imperf(Fut), T Perf, T O S => => => => ST \ Vtecen \ SO \ Vsledst \ .

( iz). iz . Mt (), IzEl:Mt x => IzEl \ ; ; .

x:Ml Mt In O S => => => => => IzMl IzMt IzIn IzO IzS \ \ \ \ \ .

(urod). urod . im urod: Loc(imo,UO rodo) \ Hab (im,UK rod) \ ; .

, Loc(imo,UO rodo), Hab(im,UK rod). , : . urod: = (urod x) = (urod x).

urod , :89

rodo => rodn =>

UK \ UO \ .

( bez):F (S0 f) => Ne f => Bez x \ \ .

S0 f F, Ne f, Bez x ( x).

( dla). dla . Copul(x,y), DlaR ( : ). , E, DlaE ( ). , . rodo, DlaH ( : ), , F, DlaF ( : ), DlaU ( : ; ).R => DlaR E => f(z,rodo) => F => => \ DlaE \ DlaH \ DlaF \ DlaU \ \ .

:T => PosleT F => PosleT O => PosleO \ \ \ .

, . . : . . Caus(x,Incep Hab(dat y,z)) x , y () z. = Caus(im,Incep Hab(dat,vin)) = Perf Caus(im,Incep Hab(dat,vin)) = Perf Caus(im,Hab(dat,Posso((vin))))

:Caus(#,Incep Hab(,)) = Caus(#,Incep Hab(,)) = Caus(#,Incep Hab(,20 )) = 20 Perf Caus(#,Incep Hab(,())) = Perf Caus(#,Incep Hab(,Loco1(,()))) = () .

:90

Perf Caus(#,Incep Hab(,())) = => => Perf Incep Hab(,()) = Hab(,()) = .

: : = (dat,infin) = (dat,infin) = (dat,infin) = (dat,infin) = (dat,infin) = (dat,zvin) = (dat,ot,zvin). = = = = (dat,vpred\ infin) (dat,vpred\tv) (dat,vpred) (dat,infin)

f(x,Habo2(z,y)): = (#,Habo2(,)) = (#,Habo2(,)) . ,

( kdat). kdat: = (im,otkuda,kdat,pdat,nvpred) = (im,otkuda,kdat,pdat,nvpred) = (im,otkuda,kdat,pdat,nvpred) O => KO \ T => KT \ F => KT \ .

( pdat). pdat. :O => PoO Omt => PoOmt \ \ .

pdat PoU ( pdat): = (pdat) = (pdat) \ , \ .

pdat PoN ( ): = (pdat) = (pdat) = (pdat) \ \ \ .

pdat :

91

Tmt => PoTmt Eh => PoEh Lg => PoLg

\ \ \ , .

, , , . . . . ( cerez). cerez CerezO: = (CerezO) = (CerezO) \ \ .

cerez :vino T O => Spomostu x => CerezT x => SkvozO x \ ( ) \ \ .

( skvoz). :O => SkvozO T => SkvozT \ \ .

( pro). . : = (Pro) = (Pro).

( zvin). zvin ZaK: = (ZaK,ProtivK) = (ZaK,ProtivK) = (ZaK) \ () \ \ .

zvin :Tu x K O Perf, T => ZaDo => Vmesto => ZaDr => ZaT \ \ \ \ .

( vvin). vvin : = (vvin) = (vvin) = (vvin) \ \ \ .

vvin :O => VoDr N Tu => Tu => VoT ZaT \ \ ; \ ; .

92

( nvin). : = (nvin) = (nvin) = (nvin,tv) = (nvin) \ \ \ ; \ .

:O N Tu T F => => => => NaO NaT VoT Dla \ \ \ \ .

( pvin). . :T => DoT N O => PoN O => DoO \ \ \ .

( podvin). : = (podvin) = (podvin) = (podvin) \ \ \ .

:O => PodDr \ T => PodT \ F => PriT Func \ .

. : = = = = = (nvin\tv) (tv) (tv) (tv) (tv) \ ; \ \ \ \ .

:K => Ld => PoO Tmt => PoTmt T => VoT O => PoU E => SE \ ; \ \ \ \ \ .

( nad). : = = = (nad) (nad) (nad) \ \ \ .

:93

=> NadO

\ .

( podtv).F O => => PriT Func PodO \ \ .

( pered).O T F => => => PeredO PeredT PeredT \ \ \ .

( megdu). : = (megdu) = (megdu) = (megdu) = (megdu) \ \ \ \ .

:Omt => MegduO T => MegduT \ \ .

( stv). : = (stv) = (stv) \ \ .

:K F O S => Vmeste \ => Vmeste \ => SH \ => SE \ .

( ztv). ztv, :Tp => ZaO => ZaC \ \ .

:Ne => IzzaC O => ZaO \ ... \ .

. . ( opred). Ob. . ( pri). . :94

Perf => VoT O => PriO => Kons(Func x,f)

\ \ \ .

( npred). : = (npred) = (npred) \ \ .

:Tp O T F => VoO \ => NaO \ => VoT \ ; => f-y \ .

f-y - c . ( vpred). : = (vpred) = (vpred) = (vpred) \ \ \ .

:T => VoT Od => (x) O => VoO S => f-y F => f-y \ ; \ \ \ \ ; .

- - , . 1.3. 70- XX . . . [4] . [10]. , . . , . 1. , , ? 1 -3 . 1. {f1,f2,...,fn, M), fi , M . , , , . 2. 95

. , . , - - , ( , ), . 3. . , () . 2. , . . ? 4. . , , . ; . ; . ; . ; . ; , . , ; . 3. ? 5. . . . - , , . , , , . 1. , . 2. . 4. ? ?96

6. . , , , , . - , , . 3. . 4. . 5. ()? : , , . 7. . . , . , , . , . ( ), . . 5. , . 8. . , - . . , , . 9. , , , , . . . - , : , , [3]. - , , - . - , : 97

, , . , , , . , , , , - . . , . - , , , , , , . . . , , .

98

2. , . 20000 , , . 90000 , . . , . . , . , , 1475. 2.1. . . , , , . . , . $1 $110 $1100/01 $1100/02 $1100/03 $1100/04 $1100/0501 $1100/0502 $1100/0503 $1100/0504 $1100/0505 $1100/0506 $1100/0507 $1100/0508 $1100/05081 $1100/05082 $1100/05083 $1100/06 $1100/07 $1100/071 $1100/072 $1100/073 $1100/08 $1100/10 $1100/11 $1100/12 $1100/13 $1100/14 $1100/141 $1100/15 $1100/16 88 4 2 3 3 10 3 3 3 2 4 2 2 3 2 2 2 7 5 2 2 2 2 2 5 2 3 2 2 2 7 99

=> => => => => => => => => => => => => => => => => => => => => => => => => => => => =>

$1100/17 $1100/18 $1101 $11011 $1101111 $1101112 $110112 $110113 $11014 $11016 $11016/01 $11016/02 $11016/021 $11016/022 $11016/03 $11016/04 $11016/06 $11016/061 $11016/07 $11016/08 $11016/09 $11016/10 $110161 $110162 $110163 $1101631 $1101632 $11017 $1101701 $1101702 $1101703 $1101704 $11017041 $1101705 $1101706 $11018 $11019 $1102 $11021 $1103 $11031 $11032 $11033 $1104 $1105 $11051 $1106 $1107 $1108 $11081 $110811 $11082 $110821 $1109 $11091 $11092 $11093 $11094 100

=> => + => => => => => => => => => => => =>

2 10 8 2 4 5 2 6 2 2 4 4 3 2 3 2 3 3 2 6 2 2 4 6 6 4 5 5 1 1 2 2 1 7 2 10 1 2 2 3 3 2 3 16 5 6 3 2 2 2 1 3 1 1 4 3 2 4

$111 $11100 $111001 $1110011 $11102 $11103 $111030 $111031 $111032 $111033 $1110330 $1110331 $1110332 $1112 $11121 $11122 $1113 $11131 $1114 $1115 $1116 $1117 $112 $1121 $11211 $11212 $1122 $1122000 $1123 $11231 $11232 $113 $1130 $1131 $11311 $11312 $11313 $1132 $11320 $11321 $11322 $12 $12/0 $12/001 $12/0010 $12/0011 $12/0012 $12/002 $12/00201 $12/00203 $12/00204 $12/00205 $12/00206 $12/003 $12/004 $12/005 $12/0051 $12/006

=> => => => _ => => => => => => => => => => => =>

11 4 6 2 2 8 21 8 4 8 13 4 6 9 2 2 4 4 7 6 10 3 3 15 3 3 11 2 2 11 1 3 4 4 1 1 4 4 13 13 9 4 1 7 3 31 4 1 2 2 3 2 4 6 5 8 5 9 101

$12/0060 $12/0061 $12/0062 $12/0063 $12/00631 $12/006401 $12/006402 $12/006403 $12/006404 $12/006405 $12/007 $12/0071 $12/0072 $12/0073 $12/008 $12/0081 $12/0082 $12/009 $12/00901 $12/010 $12/0101 $12/0102 $12/0103 $12/0104 $12/011 $12/012 $12/0121 $12/01211 $12/01212 $12/013 $12/014 $12/01401 $12/014011 $12/014012 $12/014013 $12/014014 $12/01402 $12/01403 $12/01404 $12/01405 $12/01406 $12/015 $12/0151 $12/0152 $12/016 $12/0171 $12/0172 $12/018 $12/01901 $12/01902 $12/01903 $12/01904 $12/01905 $12/01906 $12/01907 $12/01908 $12/01909 $12/01910 102

=> => => => => => => => => => => => => => => => => => => => => => => => => => => => => => => => => => => => => => => => => => => => => => => => => => => => => => => => => =>

2 58 44 2 32 2 2 3 2 7 11 3 2 2 7 6 4 1 9 1 4 2 4 12 1 6 110 12 22 1 3 4 2 2 2 2 4 6 4 3 4 2 1 2 2 2 9 1 2 2 4 2 3 2 2 2 2 2

$12/01911 $12/01912 $12/02001 $12/02002 $12/020021 $12/020022 $12/020023 $12/02003 $12/02004 $12/020041 $12/02005 $12/020051 $12/02006 $12/02007 $12/02008 $12/020081 $12/021 $12/022 $12/0220 $12/0221 $12/02211 $12/02212 $12/02213 $12/0222 $12/02221 $12/0223 $120 $1200 $12001 $12002 $12003 $12004 $12005 $1201 $12010 $1202 $1203 $121 $1210 $1210/04 $1210/041 $1210/042 $1210/043 $1210/044 $1210/05 $1210/06 $1210/061 $1210/062 $1210/0621 $1210/06211 $1210/0622 $1210/07 $1210/071 $1210/08 $1210/0801 $1210/0802 $1210/0803 $1210/081

=> 2 => 48 => 2 => 2 => 2 => 3 => 2 => 1 => 2 => 2 => 3 => 1 => 2 => 2 => 2 => 2 => 2 => 1 => 1 => 1 => 4 => 1 => 5 => 4 => 1 => 2 1 48 7 _ 10 8 33 10 12 => => => => => => => => => => => => => => => => => 2 => =>

1

50 7 3 2 1 10 1 3 2 8 12 11 9 6 11 4 22 5 6 8 4 3 103

$1210/082 $1210/083 $1210/084 $1210/0841 $1210/0842 $1210/085 $1210/0851 $1211 $12111 $121111 $121112 $121112/01 $121112/02 $121112/03 $121112/04 $12112 $121121 $121122 $121123 $12113 $121131 $121132 $12114 $121141 $121142 $12115 $121151 $121152 $12116 $12117 $1212 $12120 $12121 $121210 $121211 $1212111 $121212 $12122 $121221 $121222 $121223 $12123 $12124 $12125 $121252 $12127 $121271 $121272 $12128 $1213 $12131 $121311 $1213111 $12131111 $121311111 $121311112 $121311113 $121311114 104

=> => => _ => _ => _ => => .[] . . . => . => . => . => 26 27 11 _ 9

6 13 6 2 4 7 12 4 184 195 52 2 2 3 2 2 29 13 17 132 23 5 22 19 8 1 3 25 2 6 30 6 190 62 71 47 12 12 144 28 273 38 95 16 83 4 4 1 1 13 9 23 35 29

$1213112 $1213113 $12131131 $1213114 $1213115 $1213116 $1213117 $1213118 $1213119 $121313 $1213131 $1213132 $1213133 $1213134 $12131341 $12131342 $1213135 $1213136 $1213137 $1213138 $121314 $1213141 $1213142 $121315 $121316 $12132 $121320 $121321 $121322 $121322/2 $1213221 $1213221000 $1213223 $121323 $1213230 $1213231 $1213231000 $1213232 $1213233 $1213234 $1213234000 $1213235 $1213236 $1213237 $121324 $121324/0 $121324/1 $1213241 $1213241000 $12132411 $1213242 $1213242000 $1213243 $1213243000 $1213244 $1213245 $12134 $121341

_ __ _ _ _

6 36 41 42 22 25 35 31 4 2 9 31 49 2 50 67 120 26 67 6 2 46 58 30 243 4 2 22 6 75 303 22 2 105 40 206 1 60 168 14 1 170 18 3 1 157 2 125 27 81 150 7 42 43 3 18 1 18 105

$121342 $121343 $121344 $121345 $12135 $12136 $1213601 $12136011 $1213602 $12136021 $12136022 $121361 $121362 $121363 $121364 $1213641 $121365 $121366 $121368 $121369 $12137 $121371 $121372 $121373 $121374 $121375 $121376 $12139 $1214 $121401 $121402 $1214021 $1214022 $1214023 $121403 $1214031 $1214032 $12141 $12142 $121421 $121422 $121423 $121424 $121425 $12145 $121450 $121451 $12146 $12147 $1215 $1215/00 $121501 $121502 $121502000 $1215021 $1215022 $1215023 $1215024 106

_ _ =>

22 28 19 7 7 4 8 1 10 4 1 104 83 115 34 6 46 70 60 108 6 4 13 9 6 3 4 40 9 8 12 6 4 12 2 9 15 147 2 7 4 11 6 1 4 7 47 4 2 2 4 34 4 1 15 11 12 29

$1215025 $1215025000 $121503 $1215030 $1215031 $1215033 $1215034 $121504 $1215041 $121505 $121506 $121507 $121508 $121508000 $1215081 $1215082 $1215083 $121509 $1215091 $12150911 $121510 $121511 $1215111 $1215111000 $121512 $121513 $121515 $121516 $122 $122/1 $122/101 $122/11 $122/12 $122/13 $122/14 $122/15 $122/151 $122/152 $122/153 $122/154 $122/155 $122/16 $122/17 $1221 $1221/1 $1221/2 $1221/3 $12210 $12211 $12212 $12213 $122131 $12214 $12214/1 $12215 $12216 $12217 $12218

_

8 3 43 1 1 2 10 12 3 18 15 26 32 2 53 13 6 34 5 2 8 14 12 61 3 23 11 22 1 3 3 30 11 4 13 1 2 13 4 4 4 4 13 7 2 145 16 24 118 113 6 125 335 7 86 33 27 45 107

$12219 $1224 $12240 $1224000 $12241 $122411 $122412 $122412000 $1224121 $122413 $122413000 $122414 $122415 $122415000 $122416 $122416000 $122417 $122417000 $122418 $122419 $12242 $122421 $122421000 $122422 $122422000 $122423 $122423000 $122424 $122424000 $122425 $122425000 $12243 $122430 $122431 $122432 $122433 $122434 $122435000 $12244 $12244000 $122441 $1224411 $12245 $1225 $12250 $12251 $12252 $1226 $1227 $12271 $12272 $122721 $1227211 $1227211000 $122722 $122723 $1227231 $1227231000 108

_ _ 1 _ _ _ _ _ _ _ _ _ _ 44 _ _ 17 _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ .[] _ . _ . _ . . _ ._ 18 4 _ 16 _ 5 _ 12 25 15 2 83

8 2 120 6 49 43 3 8 19 6 9 35 3 9 3 3 8 35 1 5 2 24 2 11 18 68 8 33 73 13 70 14 6 6 174 33 191 35 13 2 6 18 10 12 35 9

$1227232 $1227232000 $12273 $12274 $1228 $123 $12300 $123001000 $12301 $123011000 $12302 $123021000 $1231 $1231000 $123101 $123101000 $123102 $123102000 $123103 $123103000 $123104 $123105 $123105000 $123106 $123106000 $1231061 $123107 $123107000 $123108 $123108000 $123109 $123109000 $123110 $12311000 $123111 $123111000 $123112 $1232 $1232000 $12321 $12321000 $123211 $123212 $12322 $12323 $12323000 $12324 $12326 $12326000 $12327 $12327000 $123271 $12328 $1234 $124 $124/0 $124/00 $124/001

3

6 42 4 2 1 28 208 35 113 13 792 8 946 60 3 95 7 50 10 11 36 16 124 62 1 219 12 26 4 29 61 3 229 36 374 14 32 10 24 9 11 2 26 35 11 9 248 3 101 6 41 4 1 8 8 5 2 109

$124/002 $124/003 $124/004 $124/006 $124/01 $124/02 $124/03 $124/04 $124/1 $124/11 $124/111 $124/112 $124/121 $124/122 $124/13 $124/131 $124/132 $124/133 $124/134 $124/135 $124/136 $124/137 $124/138 $124/139 $124/14 $124/141 $124/15 $124/16 $124/2 $124/20 $124/201 $124/202 $124/21 $124/22 $124/23 $124/24 $124/3 $124/30 $124/31 $124/32 $124/33 $124/4 $124/41 $124/410 $124/411 $124/4111 $124/4112 $124/41121 $124/4113 $124/4114 $124/4115 $124/4116 $124/412 $124/42 $124/421 $124/422 $124/423 $124/43 110

_ --

1 1 1 1 19 6 7 5 30 2 109 29 51 59 1 23 12 96 54 21 15 87 29 4 19 1 10 2 12 2 1 1 575 24 17 5 2 25 1 1 1 18 21 4 1 2 2 10 11 4 5 4 8 25 13 56 6 36

$124/44 $12401 $12402 $1241 $1241/ $1241/1 $1241/11 $1241/111 $1241/112 $1241/1121 $1241/113 $1241/1131 $1241/1151 $1241/116 $1241/121 $1241/22 $1241/221 $1241/23 $1241/231 $1241/24 $1241/30 $1241/31 $1241/32 $1241/4 $1241/5 $1241/7 $1241/71 $1241/72 $1241/73 $1241/9 $1241/91 $1241/92 $12411/01 $12411/011 $12411/012 $12411/02 $12411/021 $12411/03 $12411/030 $12411/031 $12411/032 $12411/0321 $12411/0322 $12411/033 $12411/034 $12411/05 $12411/051 $12411/06 $12411/07 $12411/08 $124111 $124112 $12411200 $12411201 $12411202 $12411202000 $124112021 $12411203

5 39 => => => => => => => => => => => => => => => => => =>

57 36 70 14 5 1 8 10 2 2 2 4 3 3 23 3 12

Documents

В.Тузов_Компьютерная семантика русского языка