=Paper= {{Paper |id=None |storemode=property |title=Logic, Linguistics and Connectionism An Exercise of Translation of Optimality Theory Constraints into Logic |pdfUrl=https://ceur-ws.org/Vol-804/08_LANMR11.pdf |volume=Vol-804 |dblpUrl=https://dblp.org/rec/conf/lanmr/Martinez11 }} ==Logic, Linguistics and Connectionism An Exercise of Translation of Optimality Theory Constraints into Logic == https://ceur-ws.org/Vol-804/08_LANMR11.pdf 
             01234503627389348 6 1664931638
6 438 196893161193 399141689369836911234
                       !"#$%!&#'
                     (#)*++,-./0-!1/0%
                              2"#$%3,#4,42/

      589496(#)*722,28**8,2#*#$,$80%29
      2%#,0,:8;0%8*#$,0:**9<%2#0%#%#4=#8
      *#$,08%>0**.;2*>8%>?.@-8,0,;#A>
      %<*#$,00#<%2-%<0%###8B#%#%4S8*.#>2A%*0*)*-8OPR#A%*%$0*
      %#48:%*)*8)*>A#0%2;*2#:80%##0%##9
      2*)*4=#8;;%,2%;%;%0%2;*2#>0%##0%#
      A:#8>2A%*0#80%##0%#*)*,#$IDFLMJTMHGEU4S;%9
      ;%#*%#<%20%##0%#2%*%$0/;#8;#*>V#%:*9
      $AUW48*#*%#>%2;*<>8#0%#$%<80%22%#
      ,0,X,$$A>YZ[\]4
      ^ _18`a%#2%#%%#0%##$-b#*>*%$0-(#)*722-.;9
      2*>8%>-0%##0%#24
c d691749316
=#effg#:<2:%V<%$##$*#$,08%%-:0**h.;9
2*>8%>i?.@48(#)*722?(7@<2:%Vj)>
(7j 82%#$8,2#*#$,$8%<,#)*-8-80%29
2%#,0,88>880%#,80%#%#%<:**9<%2#%<
*#$,$4R;88$-.<<%<%8%#*$#)<2:%V
#8#8%#%Q,#)%*A*>#%%,#)*>48.
;0Q,##$A0,8A0#<%2:**#%A8;<0%#
?'%0%##)%*%#@A,8A%#%HIJEKLM-44-8%#:8%)%*%#
%<80%##8)82#2*0%4k#.,288%<0%#9
##;#0;*#0%##-%-)>0#%<*#$,0<%2:**)%*
*%#0%##4S8080%##%0%###%<,*B**A>0#
<%22;%#:8;0e%8;%%#%<8%0%###808>l8
0%#,;0B0*#$,$4
    .:A%##0%#/#:808$#)$22:82#<2:%V<%
08#$:%V#*#$,04S0#2#%#8#2%i#0%#
eN%#
      #%,0%#%%;2*>8%>nopq-rst4

                                       83
01234516789 06 41196516089967249678876487759255089012398
769
 ! " 052674257343960542404239349676337580697#$92394640#7240
    3757%49697#206052&$2406962059#92239'()*74729424502
    90$320054962390542400142540#72905267425+0659#924239,-*./01
    1068428$52%9054969 3430526742502396508924206537940#729"
    02396 065767887247#06,-*./0110684 9957#7500239610685
    3454574119699%9299 79967249678876%94239106854239
    #7520954#97#$729 4236959220962746$#95
 2 " 946089205267425769$49657#740#7%#949967249678876
    239769$49657#%$2440#7%#9
  " 8769955#757480627260#947678876 34#9499672496783
    87645174#231$#9552399#98922372#752399267#60#9
 4 0950209490$2$2542968501$7#425094239640#7%4#428975
    47244206572451724089757247240 345$7# 7012344%9#0520
    9967249678876
 5 +0696#744#7$797647240 $5952396936740105267425973#73
    $7937575947#05267425674 7996724967887696#745#7$79
    7647240 4239#98925#496$#9587678929657239#9640
    "2454806272200420$223724 2396976920 4010526742540#7%#9
7440#7%#905267425"2399:;##7%#9390675451068$#7294<23943
40#7%#905267425769239=(>7239?*@A*@01052674252395905267425769
%9073496763239379239343952052017##0526742577691$#B##94
99674729089242403940#7%#905267425769239,>05267425+06239
9678#956959293969 97690420054960#239592,>4923959201
  9##31068995504240575459B94<CD2
    "EF(G0/,>.AH.>IJK,/L(@01,/-@*0*.,>*,M-*./01.*NOEF(,(*.A=0/O
/0P7$#;80#9577Q67#49R996960059709240452809#01 
7##9STUVW 345#07#45258892649206 755$89577244520420149 01 
STUVW45230$3275239R7$79XY$454240Z949RXZ 23729095[239083
80526$2$691067##054%#93$87#7$795\976904205276216082372 06 4
069620490$62675#724001STUVW4207917$#2#04552987##9-(>01*N1,].A
392675#72406959293969964395239STUVW60057#7548#4B9542%9549542
87950554%#97#4 %9299 7#04
^ _`abcdefghijkkclka_`amnj
"234559240 9 4##4260$9090123980524806272455$954 239&7549:
;##7%#93906392675#72404200924045872392392675#7240420#04
  4##%9%75902399:;##7%#93906
    "2399B4240012397244523023954501 4260$94< 454296729
%759201#4$45247472910685?75920105267425,>72399B424001
'(.>],-*./01"23729B4240=(>7?*@A*@01052674257690289240949

                                    84
012345262773080128942977 2 2 4224869539026 203035294235
00920190977 03595 04583010123926570493507012720 
6570493507
    50129736 !892"1248#3765703002 $35949237 301%"$ 8
9720 6953902 4 7&657049350795 9 253035 '()*+,)-./59403694
35012 "1248012 53247201  7046049 27643035737 4 2 8704357
6575950795 27322795 27502442090357942704357 2795 270190
942509472 35078927323 33  313224427735794270435727
95 279472 35078927"1   294735373536902 8924354249 24
0123502442090353 36378 9:30123569539027622524902;<
  => 7?8899@A
  <@ A @A
  B@7A88 99::>
  C ?  
    54 01272695390275262722602 97012+,)-./0354240 0190
72260352522 9132494618 657049350795 9 253035 '()*+,)-./D2422
3504 62012 253035;
EFGHIJIKHLMNO.P)P.,(Q)ROR)P(S(P,'(+,)-./)TTTS(.OUO-+(,),SQVW,U(
OR,S.),R,U.,.S(X)/.,(P'YQ-ZR,'(S.[(P/Q(S,U..,/(.R,(OR,S.),
X)/.,(P'YQV\]=<^_
    "12720 6570493507 4012 "1248374 2 8;]`_]a_
   bcR(,d2487892562719794262355720
   beP.979425024 3002
   bf.ShR(54224822 25035012350012423796442753522 2503501200
   bg)//d24878925627350120019796442753522 25035012350
   bg)//id2487892572046919796442753535012350
    5%"969539026 20303537 798712 35909212420126953902
6 203047942715 52496240935132494618D240126570493i507 012720h
!7201906570493507942 52401235132494618;jkllmf.SR(mjkllm
n9mcR(,95 4012350378 9:301279 269539027244277357 25o
0352 929422524902 97007"12%"09232;
    p702437735369023903575657049350795390268 4249 219703o
903575f.SR(65704935013269539026:523903524eP.95 5224
cR(,%724201909012695390271929029705265704935039035"12+,)q
-./376:26972429616 2030462012657049350701909423902 86:32e
P.95 cR(,9424952 240195902970526570493503902 895862
    037340950035000190 524950124132494618012+,)-./006
50201279 254249 23265732h4012132494618D2     12420126570493507942
4242 977;cR(,meP.mjkll mf.SR(mjklli012+,)-./695390237
67
<"1278 r
          s23536902701909557205627469372 08tuvw37429 97r01222 250
  v237 59472

                                    85
                    0123435678986 69797
 11 !
"7 #9 97$ 6 %97% 978& 5'()*+#  8,8-./6&,0 ,71
2.678346,897 5%78 976789"7 8 :7 7;&97$ $9,,899%&9#
- $ 7 $ 2978 ; 7697< 76976 # ,:,6786 # 77 979
,:,9# = ; 7697$ $9,,6,,#1 7697+#  78 7+>?@1
   76979
     A$ 798# ,:,+ 76976 &79:6,6#.-,7% # &1
 & B$#9, 769797 # 77 979,:,6 7988&79:6,$#7 #9
$ 9%#6 98796, -&7889C1 7697$ #6: # 8997 97- $ 7
:9,6-, 67897:9,6-, 7697+#98997 979978& 897 # 77 979
,:,6 7697$9#:696-,$ 9%#D>?@1EF> 7697D 678 7697$9#
=G8$ 9%#D>?@HI?>678>?@HJ@KLM@LKNO 76979
     5'()*96, 6,9. 97 $ 2#67 # 697%%9:7975'0.,1
,6-,# .;&78,.97%97% ;5P678'P &;6 ; ;5P678'P+
97 #$ 8+5'()*797 697678 G979"7 8 8 #6+
 #97 #6# ,6.<6797&+67 &&67Q86 7897%,6.9"7# = 7
$S$9   ,,=78# 6 9:697 ;6797 697+;G6,+# 6 9:697 ;# 97%
R' 5T'U5VR9"7# &&,6.$ &,8=786 9:6 8+7 ;# ;&678986 $
#6: 978& 86-:9# 7897%,6.978& # ,972- $ 7 # 97&
678# &&9
     5'()*#6# 2978 ;&79<:$ ,+ 7767678 86 77677 8
-.6797:8 967%,+6 9,6786  7  9:,.9"7 # 97& 678 # 1
7897%,6.#97 8997 97- $ 7 7  86 7767+97#,6.+
 # 9,997  8 7,.66 77679"7# &&,6.# 9,767
  7 7767$#9,6  7997,6 ;6 86 77679"7=%&W9#$ 8
 # 6 9:697 ;678986 V$# #S97T&U9V# 97 697R'S5T'U5VR678#
 G97%76 897# &&9' X5 ' 5 9"7]#97 97&,6.% ; #
   ,,YST # ,,YSZ[&&,6.;YTS Y\S9
     "75'()* 6# 7697#669%786-966786 77 97 ;=979>?@H^>_?@
#667%69: -96`a 7 :.:$ ,&7997# &&6786 77 97 ;=97ba
Q"
 7#96$ 6$ 297% 7,.$9## 62P 9: ;#667$ $9,,=78
 697& 7,.97 697+6786 &&+G979
]"
 76 ,,cde+f7# $678g#       ,&79

                                86
                    01234356789 779 
6786666986967997776977!6 9679 96"67
86796# 76766$766976%9&'()*+,+-. 9/0
66 9 777697717769 976 9679 96"67 6$76
 96"67/0796!6 699 76$76 96"677776
26!69 9 69763776
    &'()4.56' 9/06 7779/8 $6796 7
76?9 69$6 9:9 9679 96"67%9 &'();<==> 
&'();<==176 9 69$617686/8  9679 96"67
9:@96"677697786/0A6677&'()4.56'7668 6
87 66779767 9 69$686&'();<==766 676
 9 69$ 9776
B3C DEFFGFH2IJKGLM1NGONJGFMPLNGQMHR1GMQ
SA!76 7687766 6979 67987976 76
76+T(=?/>=?@A
9471086295831464379!"#$%&'()83974 17,B86 89 957945697
2456458578579 4 9 839478271879779186839547C43 95245645857
8579 4 983947158271879779186168271879D5858446 86 9285
 97792828714547995935271457437939674245673815769104378529
495935271459391678717 1 9301767428287979#E)FG285187948
59743*7873939695768*54 9986916527145 197915* 17794128
0491573429157959H76927145
I JKL32MNLOPKLQRS
T30491686945UVW717196747873446886921243195787145X939 9839
 415 749H4694564099909576443049746978728594745936785
79738568714547959H76927145
    Y9587 41216859H7959 936145434461714582826787964304Z
915 5450454745123986451569212828696 17245[12715 91964315245616Z
795219678783169 9579398395439189*54 99643296+6176580915128796
Y9587\412866421879689581743246774982430848*54 99869]16
2467^9H396691583984617195093^ 1 95938798385*15 8045 79430Z
 891579*54 99869T367345 9196 1 8981312985 1 98779
74479385*15799587434615 796943086 1 90439246778543
  98*939196
_P`a2b2Lac4d()ef()g(fF'!GF&hiFh(#jF')F&kF"kE"#E#')#&FG!FG!iGi'lm
E(&FG)no&#pG(kh(fF'(qrstu] 'Fv&)('()#jEF"'qwxouxf(&hwF'()#jp(GG
0T7
  93012342456738157683939396957978*15 157482245779 48 3939695787145479
  24567381576D5439374898 381283939695787145647924567381576yj"lUzW

                                        88
0123450123678410985 4487061 380213                1 44
24244  44102111870123678410 8824
     !8374108"#$%&'(')*+*,)('-.,/*0)123*'.4)561-(0(,)7.)0.'8*.49()7(':
01',(,)*');'194*8-*<.,*,%3*'.4)(*,.+*=,*8.,.0+()*+(1'21+,*4*0)('-)7*/+*2*++*8
01',(,)*'),=<,*),%>*+*9*.+*-1('-)1(')+18=0*.'*?.@/4*12.3AB<=)(',)*.812
(')+18=0('-)7*9*44;'19'*?.@/4*12C9**)5D)7*/*'-=('D9*7.E*91+;*8('.'*9
*?.@/4*9()7F(21D)7*/4.)5/=,.,)7*@.('.0)1+%
    G=//1,*)7.)9*<*4(*E*)7.)'1'*@.@@.4(,1E(/.+1=,D)7.).44/4.)5/=,.+*@.@:
@.4,.'8)7.))7*5.+*1E(/.+1=,H.'8)7*,)+*'-)7121=+<*4(*2,7.,)7*E.4=*,IJDK
.'8LJ+*,/*0)(E*45%M1',(8*+.,*)12/+1/1,()(1'.4.)1@,N O PQRSQTSUUUSQVW
97*+*QX,).'8,21+Y(,.@.@@.4Z%&,*)[ O P\RS\TSUUUS\VW.'8.,*)] O
P^RS^TSUUUS^VW.4,112/+1/1,()(1'.4.)1@,D97*+*\X.'8^X.+*('/4.0*12Y(,.'
1E(/.+1=,Z.'8Y(,./4.)5/=,Z+*,/*0)(E*45%_=+3AB9(44<*01',)()=)*8<5)7*214:
419('-/+1/1,()(1'.421+@=4.*9()7)7*(+01++*,/1'8('-/*'.4)(*,)1)7*+(-7)`
                            QXa b\X IJ
                            ^Xa QX              K
                            ^Xa \X             LJ
   C7(,3AB)7.)9*0.444!8374(,('01',(,)*')%cG=//1,*)7.))7*('8(E(8=.4(,F(21
.'8F(21(,./4.)5/=,%d()7)7(,.,,=@/)(1'/4=,)7*3AB9*0.'('2*+2+1@)7*e+,))91
21+@=4.*)7.)F(21(,'1).'1E(/.+1=,D<=)2+1@)7*)7(+821+@=4.()214419,)7.)F(21(,
.'1E(/.+1=,%C7*'DF(21(,.'8(,'1).'1E(/.+1=,%f'1+8*+)18*.49()7('01',(,)*'0(*,
/*'.4)541-(091+;,9()7,0*'.+(1,D)7.)(,D01',(,)*'),=<,*),21+@*82+1@)7*3AB%
ghijklkmjnop4qr48012367810s4821q8"#$814 6r4t
10 6 8tuvqw14 x411084821t8"#$y24
zt 46310 4487410 40123678410 851 1r4711tx8

                           z O { „†‡U                                  ˆI‰
                                 |}~€ ‚ƒ
y 424„†‡85012 4487121108 4!241 †Š‹DKŒ
    !8374104821
C.;*qŽ^X.'8.,,=@*)7*3AB4!8374D)7*214419('-,0*'.+(1,01=48<*21+@*8`
   TOQXa b\XD^Xa QX‘
   ’OQXa b\XD^Xa \X‘
   “OQXa b\X‘
>*+
   *9*7.E*@.8*.4())4*07.'-*(')7*3(';.,8*e'()(1'12.9*4421+@*821+@=4.ˆ922‰('
 /*'.4)541-(0%f',)*.81201',(8*+.922.,.,*)12/.(+,-(E*'<5)7*='(1'12./+1/1,()(1'.4
 21+@=4./4=,./1,()(E*+*.4'=@<*+D9*7.E*0.44*8)7.)922.;'194*8-*<.,*D.92212.
 /*'.4)541-(0(,21+=,D*.07/.(+21+@*8<5.'8 %
cd*9(  449+()*”•– ('1+8*+)1('8(0.)*)7*21+@=4.*)7.)<*41'-)1)7(,3AB%
—.'5@1+  **,0*'.+(1,0.'<*21+@*82+1@”•–D7*+*9*7.E*1'45('8(0.)*8.,*?.@/4*,%

                                     89
012345463789        
 
     !" #$%%&'()*+,&(-.*),)&*/,0-%&1,&2,0-1%-*3')&14-*,)&*-(35&6-7)88
5-9:;<=>?@ABC:;<=D?@E3*(:;<=F?@AE#$%%&'()*+,&(-.*),)&*GC,0-
   1%-*3')&&2HI7)885-=D#
012345463J8KLM N   OP
M Q RSACAT9 U VU MOWUX
                            YZ @ [ d
     i0-2j*%,)&*k43l17-882&'4-(2&'4j83-,&,0-1-,SmCA#n0-'-gh@SA)1
)*,-'l'-,-(31)1j*13,)1.-(3*(gh@A31)113,)1.-(#i0- VUMo31
%&*1)(-'-()*pqr:s)*,'&(j%-,0-638j-1tACBCSAu2&'(-1%')5)*+,0-()22-'-*,1,3,-1&2
,0-*-,7&'v#i0-43ll)*+)*,'&(j%-(2'&4,0-%&**-%,)&*)1,-*6)'&*4-*,,&,0-8&+)%38
&*-C)1l3'%)383*(5)638-*,#n-,3v-&*8w,0-%31-1A3*(Sm2'&4,0--*-'+w2j*%,)&*
oC-x%8j()*+,0&1-,03,%&*1)(-'B#
     !" #i0)12&'4j83,-881j1,03,)*&'(-',&%38%j83,-,0- VUU&23*
)*,-'l'-,3,)&*kC7-036-,&,3v-)*,&3%%&j*,,0&1-2&'4j83-,03,5-8&*+,&,0-yz{
5j,,03,,0-w3'-*&,13,)1.-(j*(-',03,)*,-'l'-,3,)&*C,03,)1Cj*(-'k#|jll&1-,03,
k311)+*1,0-2&88&7)*+638j3,)&*2&',0-2&'4j83-&2,0-yz{9g}I~ €Ih@AC
gHI~ }Ih@gHI~ €Ih@SA#)6-*,03,,0-831,,7&2&'4j83-3'-*&,13,)1.-(j*(-'
kC7-10&j8(1j4jl,0-l-*38,)-1&2,0-1-2&'4j83-gE‚ABh3%%&'()*+,&(-.*),)&*/#
i0- VUU2&'HI7)885-AE#
012345463ƒ89  O    VUY  O
 O 
     !"   O O#n-3'-+&)*+,&)*,'&(j%-3*38&+&j14&(-81,&,0-
1%-*3')&1l'-1-*,-(35&6-#i&,0-')+0,&2-3%04&(-8),1-*-'+w)1%38%j83,-(3%%&'()*+
,&(-.*),)&*E#
„* >Cg}I~ €Ih@gHI~ }Ih@ACgHI~ €Ih@SA#Y:;gkh@AB#
„* DCg}I~ €Ih@gHI~ €Ih@ACgHI~ }Ih@SA#Y:;gkh@E#
„* FCg}I~ €Ih@ACgHI~ }Ih@gHI~ €Ih@SA#Y:;gkh@AE#
     $%%&'()*+,&,0-(-.*),)&*†C,0-l'-2-''-(4&(-8&27)885- DC5-%3j1-),1031
,0-4)*)438-*-'+wY#i0)1'-1j8,43,%0-17),0,0-&5,3)*-(2&',0-1%-*3')&135&6-#
i0-43,%0)*+)1*&,5w%03*%-C-‡j)638-*%-15-,7--*l'-2-''-(4&(-81&2l-*38,w8&+)%
3*(4)*)438-*-'+w0315--*l'&6-*)*tGu#
J ˆ‰Š3‹ŒŠ54636Ž‘’4356“13ŠŒ5”•6–4—
i0-yz{&2,0-{31)%|w88358-i0-&'w7)885-2&'4-(5w388,0-%&*1,'3)*,1&2˜i#™-'-C
7-7)88)*,'&(j%-&*8w,0-8&+)%'-l'-1-*,3,)&*&2,0-š %&*1,'3)*,1#i0-,'3*183,)&*
)1531-(&*pqr:sC1&C,0-1w44-,')%31l-%,&2,0)1*-,7&'v7)885-,'3*183,-()*,&
8&+)%315)%&*(),)&*381#›)'1,C7-)*,'&(j%-,0-2&'4j83-j1-()*yz{3*(,0-*C,0-
1w45&8)œ3,)&*&2,0-š %&*1,'3)*,1#

                                    90
012 3456789
        !"##"# $!%&''(
"!%!)#!'"&*+,$!%+ -.  !%/ #!$&$!56# # %
,$!,!$#'$+!#0'12 $*  ++3!) "'" !$+$04
78998::1118;;<=>3 8>$!%!)'4?#! -$*3 +!"##!@1
7AA111A<3 A$!%!)'4?#! -$&!!$! !"##!@1
78>B<=3' -C6.C6$!%78>B<$!%$!%'?#! -'0.$
&''"!%!)*3 +#!@1
7A>B<=3' -C6.C6$!%7A>B<$!%$!%'?#! -'0.$
&''"!%!)&!!$!#!@1
7898:1118;<=3 8B$!%!)'4?#! .$*3 +#"##!@1
7AD9AD:111AD;<=3 ADB$!%!)'4?#! .$!! &!!$!E#(
"#F#!@1
7AA9AA:111AA;<=3 AAB$!%!)'4?#! .$&%$&!!$! E#(
"#F#!@1
7G9G:111G;<3'G>$!%'4?#! -$$!@1
01H I59JK89LM4J4NOPQRS
!'%' %!,  &!'$!!  "!$+,+)& !*'!0 !3 3++#
  "'T/U'&$++!) $&&!'$!1V' /$0"+WXYZ[&!'$! 3++ &$++%
U\WXYZ[1] +3  '0$+'"'!$!^_X&!'$!1
`abcdef7.g.@4ADBh 8B@<78B@h iG9<
`ajklkmn7    AABh iG9<
`aonpde78>h 8>>B<78Bh 8>B<78>h iG9<78>Bh iG:<7A>h A>B<7ADBh A>B<
7AABh A>B<7Ah iGq<7A>Bh iGr<1
`astuuvw 78>>h 8>B<78Bh 8>B<78>Bh iG9<78Bh iG:<1
`astuu 7A h A>B<7ADB h A>B<7AAB h A>B<7A>B h iGq<7ADB h iGr<
7AABh iGx<1
     '0#+$ '"'!  UyZzZyyZ{|_{Z}Y$ $3! !~€! !$
! 3' !*'!0 ! ,$*  0!0$+!'),‚1
    %% !$+  +)&$+'"'!$!&!'$!^_X3 ! %  !%#& 
 '$'&,$0!)  &!'$!13 &$!) 3  /"!!$+"!$+ $(
)!ƒ%„ $&&!'$!1V'/$0"+3 &$!$  %&0$+" !, 0!X
 !E F 3#+% #$+563'†'"'! !#0'*+$!$$'"(
+;#!%'$!)+&!'$!‡558 ! $% !#0'*+$!E'$ 'ƒ:
 ! $+F$!%ˆ $!$#'$+!#0'$)'3$  '$'&,)%3!11E;F
E;ƒFq‰‰‰E;ƒF;1
     +$'!'$+$!)#$) $ %!,*+$!!  #"# &$!%%$ '
 $ &$!+"0+3 $+)&$+'$!!)#!) +)&$+'"'!$!
56 0 0'$ !Š‹ŒŽ3 $% !"##"# $!%&'
                                      '"!%!)#!0 0'"'(
 ! %*3 +&%$'! &!!$!$!% $1
550 ) !T! 1


                                 91
0123456724389 3472520062731 2641703012463464 34
173413044914 4154734634012345672!47565016626
7 3 15443047127267201237342434101234567243
    "2473 657463#263362647$73456721%&#4747 154624410657
464%&73214203365 72412647$73'5142647$7346 51604345045
(724564#634172734700627641536341 15233012747123
89 624)2747121#3436473726756501$716#01234567243*+,-9.
/732017246525372073#754#606260173747122$70*02/
"247351401 472724 1706 5532464712 51136#1$636 170
7 24647121462334'1536 74334#7$34644*56/7
15:.89899464623464#7$34644#7636331076441.8989973452
12 '51473$6 6471201 7251536 ;<<=464734573216 274>
464736016012312624&45414346424464274736#763127  41
465254172546431 1115210163

? @ABCDEFGABFHBIJEKELMNALO
P6$ 5324645623647121QRSTU24157241V2640170&4562364712
63#212 3726#7$6246 72'15545150123757 15462441
34274416 W$6246 727215541137464712372700  6221463372
$6 301237342415060 647242520471214334X

YCOBAZDMI[\MBKF
"6564 41]13^#541_5`&1247211573334712315 1337#6 706W
471231445623647125 53246241a6 ab20`c52b2`1573#7#W
 7156501264712312 1211706 34d373"6244146241ef0415
#541gh`V^5`62i6251]6571a7$61547572$6 6#3 154724027W
06#37233740&jk
!"
 2430471214)5344634652501 567̀464$27262600436#7)064712
 1615456501234567243$7164a101 6373131 "3044
 914 4745732114 474147346l&56272720#475650
 7  7411550627643# 571574&34101234567247372012373424314573
 21 1337#7744646 145 ) 15214$7164
:&65  2531 #7$464$6 6471263 51041425620172464631631
 401234567243724012204712734$4 ,.899313601220471201)07242647$
 "243#1702$751224473$6 1401)0724 477#42647$#7637
 # 13747$'154645631274733674644$6 6471215432420mn7 #1641 
XP65 4727272302657137opqrst usv

                                       92
0121314516
789 888  !"# !"$"#
  %&"'()**7+
)8,-./0812/-3  2/8. !"4"".5
  ()**)+
68,7",89284-3-% -8 :11"()**;+
<84'"38"=- . -"=>'"/.5
    4"? >81@-& -:8AA8)*65),,18(7CC6#)**<+
;84-18"'482/." & - 3!35
  82-/-"-D  " !"=>9 ">-'=0
  D $. -- !"$. 9 8 "
  1-/!B6A(7CC6#)**)+
A8 /,-.=!"!"8%"-"8& /,-. /
  4D4"-/34D" 4-""%E" /,-"- $
  .:87F "G876C57<)82/,&24"".,1(7CH;+
H8"'48382/-,F = .  
  52/-38:87.!1-/- 82/,&24"".
  ,1()**;+




                                  93
94