Automated Conversion from Requirements Documentation
to an Object-Oriented Formal Specification Language
Beum-Seuk Lee
Barrett R. Bryant
Dept. Computer and Information Sciences
The University of Alabama at Birmingham
Birmingham, Alabama, U.S.A. 35294-1170
Dept. Computer and Information Sciences
The University of Alabama at Birmingham
Birmingham, Alabama, U.S.A. 35294-1170
[email protected]
[email protected]
ABSTRACT
!#"$%!&'()*
+-,.
/0
1+/
2
2
345
16+7 890+9
;:9<0+-9
=
>?
03149450112@BA2CEDF
>G1
H(1+/4IJ,$<K
=L< M45101N2OPQ1H
R+/ SJP >(P
><314=K
4T<+UV+W
T1+"0=
X&R
GA2C 890=+9
E:.9<K
0+9
3
"$< 0TAPCY:,$:.Z I4&#1-<9
[I
N]\^_0
` 19
[I
014aA2?
034_C]110/bZ9<c@ ` APCEbGD2
d !K
<+T
;+e"510=
X&#-APCaf1:g_TKXCh!4ij31++/?;@kgTCUiRD
l<J
0<
dl".V:.'"$
TmlAPCn 890=+9
-,$)<=LK
<
o:ml1+/14j,$<=L<
ppqPrRs'tRtf;1m1".S<
K
9
:[I
e
_qP>rP!4,+9
asY
I:hNZgT
04=
''uJ&J
+v1'+/,,w
0.314R4510% 890=K
+I
:9<0+9
#59
1u"ISJ<
Kx19
:c(1+/4T,$< L< K
1645110N
ˆ/‰1]‹“’1¢1…6Š’Ž$‹#‡‹ 6†=Œ‹)Š–6‰1‡P‰/‡‘$‹†=³ ‰?Š†5’1“MV‰“¢1‰1¢1‹™
„T…‹)Œ‹«(’Œ‹/Š…‹eŒ‹ ´9†=Œ‹ˆ-‹“IŠ‡2’9ˆ‹“9Š3‰Š†’“‡‰–M”Œ†=ŠŠ‹“
†“p¬2žµ…‰1‡dŠ’uŽ$‹'Œ‹†“9Š‹Œ‘Œ‹)Š‹ mŽ9–ª‡’«ŠX”T‰Œ‹‹“¢1†5“‹‹Œ‡6†“9Š’
‰6«(’Œˆ/‰1T‡‘$‹†³ ‰Š†’1“w5‰1“¢‰1¢‹1™¶p…‹“^Š…‹/‡J–.‡JŠ‹ˆ·†‡-­!‹Œ–
’1ˆ‘† ‰Š‹ F—$”;…†3…'†5‡Pˆ-’‡JŠ=–YŠ…‹#‰1‡‹”;…‹“'’“‹3…’9’1‡‹‡PŠ’
‡‹#«(’Œˆ/‰1H‡‘$‹†=³‰Š†’“F—]Š…†5‡R’“I­!‹Œ‡†’“%†‡RŽ$’1Š…M“’1“¦kŠŒ†­I†V‰
‰1“c‹ŒŒ’1Œ¦x‘Œ’1“‹—G†=«P“’1Š†5ˆ‘5‰1‡†Ž5‹1™c„T…†‡-3…‰5‹“¢‹Y’ˆ‹‡
«Œ’1ˆ¸ˆ/‰1“9–6«(‰1Š’Œ‡‡3…‰1‡Qˆ†‡’ˆˆ“†5‰Š†’“MŽ$‹Š”T‹‹“l’¦
ˆ/‰1†“6‹)¹‘$‹)ŒŠ‡j‰“‹“¢1†5“.‹‹Œ‡™_ºP’ ”T‹­‹Œ;Š…‹Rˆ/‰ »J’1ŒjŽ$’1ŠŠ‹“‹3•
’1«;Š…†5‡#’1“.­‹Œ‡†’“u†‡«Œ’1ˆ~Š…‹/†5“IŽ$’Œ“c)…‰Œ3‰1)Š‹Œ†‡JŠ†5d’1«j‰1ˆ-¦
Ž†¢1†=ŠX–c’«>¬2žo‰1“lŠ…‹†=¼F‹Œ‹“9Š5‹­!‹’1«;Š…‹«’1Œˆ/‰1†‡ˆ½Ž$‹)¦
ŠX”_‹‹“'Š…‹RŠ”T’d’ˆ/‰†“‡;’1«G¬2žc‰1“YŠ…‹Q«(’Œˆ/‰1U‡‘$‹†³ ‰Š†’1“]™
„T…†‡†‡_”;…9–-Š…‹Œ‹P…‰?­‹>Ž$‹‹“­‹Œ–-«(‹)”|‰ŠŠ‹ˆ‘.Š‡GŠ’‰1Š’1ˆ/‰Š‹
Š…‹a’1“.­‹Œ‡†’“Q«Œ’ˆ|Œ‹ ´!†=Œ‹ˆ‹“9Š‡]’9ˆ‹“9Š3‰Š†’“RŠ’>‰«(’1Œˆ/‰
‡‘$‹†=³ ‰Š†’“'5‰“¢‰1¢1‹™
„E’2…‰1“‹TŠ…†‡a‰1ˆŽ†¢1†Š–#‘Œ’Ž‹ˆ6—!‡’1ˆ‹…‰ ­!‹‰?Œ¢‹eŠ…‰Š
Š…‹TŒ‹´I†=Œ‹ˆ‹“9Š‡H’9ˆ-‹“9ŠH…‰‡aŠ’RŽ$‹T”Œ†=ŠŠ‹“†“‰2‘‰ŒŠ†5‰?Œ
Keywords
` 19
[I
014HAP
034aCE101/bZ9<faOP"ISJ<)
KJOj9
:
y 1V
X?
y ,$<=L< ?
]f.g__1KC]!4hij31++/? f!qj5Rr2)!4=K
1,+9
jsY
I:hfzRs6C
”‰–Š’QŒ‹ ‹j‰1ˆeŽ†¢†=Šx–†“Š…‹P.’9ˆ‹“9Šj¾ ¿1§Àk™TŸjŠ…‹Œ‡G…‰ ­!‹
‘Œ’1‘$’‡‹ ’“9ŠŒ’‹ ^“‰?ŠŒ3‰HV‰“¢1‰1¢1‹‡Y¾=¤§À_”;…†)…5†ˆ†=ŠQŠ…‹
‡J–.“9Š3‰¹c‰“^‡‹ˆ/‰“9Š†5‡#’«P¬PžªŠ’M‰?­’†5^Š…‹‰1ˆŽ†¢†Š–l‘.Œ’Ž.¦
‹ˆ6™ÂÁa­‹“cŠ…’¢…uŠ…‹/«(’1Œˆ‹)Œ/‰1‘‘Œ’!‰)…w‘Œ’?­I†5‹‡-‰Ž$‹ŠŠ‹Œ
’9ˆ‹“9Š3‰Š†’1“oŠ’c”_’1Œ•m”;†=Š…]—P†Š6…‰1‡“hà ŠM‰1’ˆ‘†‡…‹|‰“9–
‰1.Š’ˆ/‰?Š‹ ’1“I­!‹Œ‡†’“#«VŒ’ˆ*‰>“‰Š.Œ3‰1.5‰1“¢1‰¢‹Œ‹ ´9†=Œ‹ˆ‹“9Š‡
1. INTRODUCTION
’9ˆ‹“9ŠHŠ’Q‰P«(’Œˆ/‰1‡J‘$‹†³ ‰Š†’1“5‰“¢‰1¢1‹™a„T…‹>5‰ŠŠ‹ŒG…‰‡
{><I
4=&%+/19&'1+/14a,$<=L< c45011 !-"
‡†ˆ†V‰?Œa¢’!‰‡G‰‡H’Œ‡UŠ’;Œ‹ ‰1†Ä‹Š…‹_‰1.Š’ˆ/‰Š‹#’1“I­!‹Œ‡†’“ŽŠ
:.!41,$ :
61:.4e
=#<1+,4[%J&.J
+2;=
^ 9&MK
Œ‹‡JŠŒ†Š†’“‡’“/Š…‹>‡J–.“IŠ‰?¹/‰1“‡‹ˆ/‰1“9Š†‡T’«]Š…‹P5‰1“¢‰¢‹PŒ‹)¦
)31<
'"$
X_o=
Y<1+,$9
d"9&o:.<+,$1=
51|:
‡=Š†“5’1‡†“¢Š…‹dŋ¹.†Ž†5†=Š–u’1«2¬Pža™a›>5‡’%Š…‹d‡‹Œ‡JŠ†;…‰‡
"J
3<
%1H
R 890=+I
>1H
#J&.J
+~}=€kNjP T
Š’QŒ‹ˆ‹ˆeŽ$‹)ŒGŠ…‹jŒ‹‡JŠŒ†)Š†’“‡™_ÆY’1Œ‹’?­!‹ŒŠ…‹jŠ3‰?Œ¢‹Š5‰“¢‰1¢1‹
J
44I
_
0.314I451102@BAPCUD]1U+/5 :Q1Z
G,3<
< 14
’1«EŠ…†‡’“9ŠŒ’15‹ dV‰“¢1‰1¢1‹R†‡>“’1Š>‰Q«(’1Œˆ/‰]‡‘$‹†=³ ‰?Š†5’1“65‰1“.¦
<31<j1T
P:.+/1/[.,$
a
#,$<=&
>J&.J
+*"$< 0
¢‰1¢1‹#ŽŠ>ÇHœ>Ÿ2žUŸRÈn”…†53…6†‡>¢’9’Id«’1Œj‘Œ’1Š’ŠX–.‘†“¢-Ž.Š;“’1Š
1+/4h,$<=L< ?
51d45011>P1
1J&
#+/1J
NH‚Z!
«(’ŒP†ˆ‘5‹ˆ‹“9Š3‰Š†’“h™
0QA2CU9
4=&2"ISJ<
Kx19
:#1:Q:.<,
!a
É “P’ŒhŒ‹‡‹ ‰?Œ)…Q‘.Œ’»X‹)Š —Ê_’“9Š‹¹IŠ‰!¬2‰?ŠŒ3‰!žE‰“¢1‰1¢1‹_ÇZŒ’1¦
‹‡‡†“¢lËxÊ_¬2ž]Ç_ÌQ¾=¤?¯?Àa†‡P‡‹ MŠ’/…‰1“.‹Š…‹‰1ˆŽ†¢†=ŠX–6‘.Œ’Ž.¦
,9
3?
51M,$?_ f$=
P+/19
<P:6J&.9
3[YQ
>1K
ƒ „T…†‡;ˆ/‰Š‹Œ†5‰1F†‡;Ž‰‡‹ d‘$’“d”_’1Œ•/‡‘‘$’1ŒŠ‹ Ž9–9—I’1Œ>†“d‘‰?ŒŠ
Ž9–9—?Š…‹_˜™1šF™1›;Œˆ–Rœ>‹‡‹ ‰?Œ)…ežE‰1Ž$’Œ3‰Š’Œ–e‰“QŠ…‹_˜#™šF™1›;Œˆ#–
œ>‹‡‹ ‰?Œ)…%Ÿj -‹R“‹Œ;’1“9ŠŒ3‰1Š)¡?¢1Œ3‰1“9Šj“IˆeŽ$‹)Œ£P›j›j£e¤¥?¦§§?¦
¤)¦§¨!©§m‰1“pŽI–ªŠ…‹%˜™jšF™;Ÿj ‹l’«e¬P‰ ­‰Rœj‹‡‹‰Œ3…n“‹)Œ
‰”T‰Œ36“IˆŽ$‹ŒT¬P§§§I¤®¦X§I¤¦¤¦§¯®!°I™
‹ˆÍ†“%¬2žu‰1“„_”_’6ž]‹)­!‹aÈjŒ3‰1ˆˆ/‰?Œ-Ëk„žEÈRÌe¾¤¥Àa†‡R‡‹ 6Š’
‹‰1F”;†Š…Š…‹P†=¼F‹Œ‹“9ŠT«(’Œˆ/‰1†‡ˆÎ‹­!‹FŽ$‹Š”T‹‹“d¬2ž‰1“«(’Œ¦
ˆ/‰1a‡‘$‹†=³ ‰Š†’“c5‰“¢‰1¢1‹‡Š’'‰)…†‹­!‹-Š…‹-‰1Š’1ˆ/‰Š‹ ’“.¦
­!‹Œ‡†’1“Y«Œ’1ˆÏ¬Pž%Œ‹ ´9†Œ‹ˆ‹“9Š‡;’9ˆ‹“9Š3‰Š†’“d†5“9Š’‰#«(’1Œˆ/‰
‡‘$‹†=³ ‰Š†’“ÂËB†“%’1ŒP ‰‡‹eŠ…‹Ðj†‹““‰/£P‹­!‹’‘ˆ‹“9ŠPÆY‹Š…’I
¦;ÐP£RÆv¾ ¨ÀÌ)™ÑU†=Œ‡JŠ2Š…‹QŒ‹ ´9†=Œ‹ˆ‹“9Š‡2.’9ˆ‹“IŠj†‡2’1“.­‹ŒŠ‹ 
†“9Š’ÁH¹IŠ‹“‡†Ž‹#Æ6‰Œ•I‘YžE‰1“¢‰1¢‹/ËBÒ2Æ6žUÌP¾ ®1À]«(’1Œˆ/‰?Š ™T„T…‹“
Permission to make digital or hard copies of all or part of this work for
personal or classroom use is granted without fee provided that copies are
not made or distributed for profit or commercial advantage, and that copies
bear this notice and the full citation on the first page. To copy otherwise, to
republish, to post on servers or to redistribute to lists, requires prior specific
permission and/or a fee.
SAC
2002, Madrid, Spain
±
2002 ACM 1-58113-445-2/02/03 ... ² 5.00.
‰P•I“’ ”;‹ .¢‹TŽ‰1‡‹†‡ZŽ†=ŠZ«VŒ’ˆµŠ…†‡ZÒ2Æ6žŒ‹ ´9†=Œ‹ˆ‹“IŠ‡U’9.¦
ˆ‹“9Š3‰Š†’1“‡†“¢QŠ…‹>’1“9Š‹¹IŠ‰1“‰ŠŒ3‰$5‰1“¢1‰¢‹P‘.Œ’9‹‡‡†“¢
Ž9–c‘‰?Œ‡†“¢MŠ…‹d’9ˆ‹“9Š3‰Š†’“u‰“c‡JŠ’1Œ†“¢%Š…‹‡J–.“IŠ3‰?¹F—G‡‹)¦
ˆ/‰1“9Š†‡—j‰1“m‘Œ3‰¢ˆ/‰Š†‡d†“«(’Œˆ/‰Š†’“h™
É “mŠ…†‡‘…‰1‡‹—>Š…‹
‰1ˆŽ†¢†=ŠX–c†‡/‹)Š‹Š‹ u‰1“uŒ‹‡’1­!‹ h—T†«P‘$’‡‡†Ž‹™pŸP“‹Š…‹
•I“’ ”;‹ ¢1‹QŽ‰1‡‹R†‡;’1“‡XŠŒ)Š‹ h—†=Š‡j’1“9Š‹“9Š; ‰1“6Ž$‹Q.†‡‘5‰–9‹ 
†“'ÒRÆ6ž^’Œ2´9‹)Œ†5‹Y†“'¬Pža™¬P‹¹IŠ;Š…‹Q•I“’ ”;‹ .¢‹QŽ‰‡‹#†‡j’“.¦
!"#%$&"('*),+-$&./10243-56#&"78.!9):+<;=$&>"@?.+-$&"A9$&BC
DE'F"G"+'<"+<?5
),+H$&>"JI9+.(KD,"('F;"L3CNM%"OEP),+C
D:DQ5H$&><"R/102S?.9'F"R),MT$%#UC
+M%D:C
$&"'
),+-$&.WVEXJYZ3-5'<C
$UCWCN+'=[\B+<?$&),.+67]CNG<G),+;NMO^/_>),MR#&"M%"C
#&?U>
),M3C
M%"('`BG.N+^$&>"a$&><".N#&),"MR.N[bE0*G<#&.-?"M%M%):+<;<cd#&"(e-B<),#&"78"+-$&M
C
+C
D,5FM%),Mc [\.
#&7]CNDdM%G"?)Qf?(C
$&),.+cCN+'HGF#&.;N#UC
7878),+;8D:CN+<;BC
;"MO
/_><"g"+-$&)Q#&"gMh5<Mh$&"7iMh$%#&B?$&BF#&"j),MkM%><.(K+l),+HP),;B<#&"amNO
2. EXAMPLE
n +@$&>"gM%"?$&),.+MkK>),?U>l[\.D,D,.(KgcK_"JK),D:DG<#&"M%"+-$TCaM%),78GD,"g"A9o
C
78GD,"]$&.^),D,D,BMh$%#UC
$&"@.B<#8CNGGF#&.pC
?q>rCN+'s'F"M%?#&),3"t$&><"t!NC
#&)Q.NBM
Mh5FMh$&"7u?.78G.+<"+-$&MOv/_>"a[.D,D,.K),+<;wM%G"?)Qf?(C$&):.N+.N[C
+xkBFo
$&.N7]C
$&),?/"D,D,"#YlC
?q><):+<"]yzx{/YH|_K),D:Dd3"JB<M%"('HCNMk$&>"j#&B+<+<),+;
"qAC
78GD,"1$&><#&.NB;><.BF$}$&><"GCNG"q#{$&.J),D,D:B<Mh$%#UC
$&"$&>"Mh5FMh$&"7lO~/><"
'F"$UCN),D,Mk.N[~>.(K€$&>"E3CN+<I]!p"#&)Qf"M n XCN+'@‚ n bC
+'t><.(Kƒ)Q$kB<GFo
'<C
$&"M1$&><"g3CND:C
+?"JC#&"g.78)Q$%$&"('v[.N#$&>"gM&C
Ip"g.N[M%):78G<D,):?),$„5-O
…9†
‡ˆ‰ˆFŠŠN‹<Œ‰-ŽpŒ€N‘€†-’’
“p‡-9Œ”W•
‰–-ŠN—FŽ
‘FŽNŠ-Œ˜•™€†
‡pšr›<•œ
 Ž
–FŽ‡  Nž9ŠrŸF†p†
‡<’NŠ€†
‡pš*“p‹-š9†
-Š9Œsž-ŠrŸF†pp†‡<’NŠ* <Ž
Nž¡•™}”
¢ ‡¡†-’p’“p‡-‰žF†-Œ6ž-—-ŠpŠrš9†N9†r‘9ŽNŠ-NšFŒ£w•™~¤t›<•(œ~¤H†
‡-š
Ÿ9†pp†
‡<’
Šd”W•™¡†
‡pš*›<•œ¡†
—-Š€Ž‡-pŠ  Š—FŒ‰†‡-š*ŸF†p†
‡<’NŠ¡ŽpŒs†
—pŠ-†ps‡p“¥FŸ9Š—~”
¢¦§ žF†-Œs¨€ŒNŠ—p–9Žp’NŠ*p©N‹9Š9Œ£@ <Žž-šp—9† ~¤lš-ŠN‹FpŒpŽ
d¤W†
‡pš
Ÿ9†pp†
‡<’
Š¡’ž9Š9’(ˆ}”@ª9N—˜Š-†p’žƒŒNŠ—–FŽp’NŠ‰‘FŽ—FŒ
¡Ž
*–-Š—FŽ
‘9ŽNŠ-Œ˜•™
†‡-š*›<•œ‰‘p—9¥ƒNž9ŠrŸF†
‡Nˆ  Ž
–FŽ(‡  ž9ŠrŸ9†pp†
‡<’
Šd”
¢¦§ <Ž
Nž-šp—9†
FŒ€†‡€†¥“p‡-‰ <Ž
Nžƒ•™¡†
‡pš*›<•œ  Ž
–FŽ‡  ž-Š
Ÿ9†pp†
‡<’
Š¡Ž‡˜ž9Šr‘9ppp <Ž‡  ŒNŠN«“9ŠN‡<’
Šd”W•
‘‰ž-Š˜†¥
“‡-€ŽpŒ
NŠ9ŒpŒsž9†
‡ƒN—‰ŠN«“F†p*96ž9ŠrŸ9†pp†
‡<’
Š‰ž9ŠN‡ƒŽ‰š-Š9’
—pŠ-†pŒNŠ9Œ
Nž9ŠrŸF†p†
‡<’NŠ*Ÿ-©*ž9Š˜†¥
“p‡-~” ¢ ‡-š‰ž-ŠN‡¬Ž
r“‹-š9†N-Š-Œrž-Š
Ÿ9†pp†
‡<’
Š¡Ž‡˜ž9ŠsŸF†
‡ˆ˜ FŽ
žƒ•™~” ¢p¦§ špŠN‹F-ŒpŽFŒ‰†
‡¡†¥
“‡-
FŽ
žƒ•™€†
‡-š*›<•(œ  Ž
–FŽ(‡  ž9Š6ŸF†pp†
‡F’NŠ¡Ž‡˜ž-Š*‘9pp
<Ž(‡ 

—pš-Š—~”W•¡Ž‡<’
—pŠ-†-ŒNŠ9ŒrNž9ŠrŸF†p†
‡<’NŠ*Ÿ-©‰†¥
“‡-¡†
‡-š‰Nž-ŠN‡
“‹-š9†N-Š-Œrž9ŠrŸF†p†
‡<’NŠ¡Ž(‡˜ž9Š6ŸF†
‡ˆ€ <Žžƒ•™}” ¢p¦§ ’ž-Š9’ˆŒ
Nž9ŠrŸF†p†
‡<’NŠ* <Žžƒ•™¡†‡-š*›<•œ  Ž
–FŽ‡  ž9ŠrŸ9†pp†
‡<’
Šd”
3. CONSTRUCTION OF KNOWLEDGE
BASE FROM REQUIREMENTS
/_><"@I9+.(KD,"('F;"l3CNM%"l),M83B<),D,$L[#&.7­CW#&"(e-B<),#&"78"+-$&Ma'<.p?B<o
78"+9$RBM%),+<;wMh5F+-$UCN?q$&):?Nc{M%"7]CN+-$&),?tC
+'?.N+9$&"qAF$&BCNDTyz'<),M%?.BF#%M%"|
),+F[\.N#&7]C$&),.+O}/_><"IF+<.(KD:"'<;"k3C
M%">CNM~$&.g3"?.+<Mh$%#&B?$&"'a),+aC
K_C5@$&.8Mh$&.N#&"J$&>"g),+F[\.N#&7]C$&),.+HK)Q$&>.BF$jC
+-5l'<C
$UCL#&"('FB+'<C
+<?5
K><),D:"1[\CN?),D,)Q$UC
$&),+;"(CNM%"1),+a7]C
+),GB<D:C
$&),+;E$&><"'C$UCL® ¯
°zO}xTD,M%.E$%><"
I9+<.KD,"('F;"J#&"G<#&"M%"+-$UC
$&),.+W>C
MT$&.]?(C
G<$&B<#&"g$&><"?.N#%#&"M%G.N+'F),+<;
Mh$%#&B<?$&B<#&"g.
[~/102¬[.N#k$&>"jD:C
$&"q#T$%#UC
+M%D:C
$&),.+O
P)Q#&Mh$_$&><"1#&"(e-B)Q#&"78"+-$&M{'<.-?B<78"+-${),M_?.+9!p"#%$&"('a),+-$&.±~A9$%"+Fo
M%),3<D:"HYlC
#&I9BGs0C
+;NBCN;N"=y³²jYl0|3-56'F),!F):'F):+<;H$&>"t'<.-?B<7a"+-$
),+-$&.aM%"?q$&):.N+Mc"(CN?U>lM%"?$&),.N+H):+-$&.aM%B<3M%"?q$&):.N+Mc<"(CN?U>lM%B<3M%"?$%),.N+
),+-$&.8GC
#UC
;N#UC
G>McCN+'@f+C
D:DQ5@"(CN?U>HGC#UCN;N#UC
G>H),+-$&.8M%"+-$&"+?"MO
/_>"v[\.
#&7]C
$&M8.N[k#&"(e-B)Q#&"78"+9$&ML'<.-?B<78"+-$&ML?(C
+r!NC
#%5`):+6$&>"),#
[\.
#&7]C
$&M{CN+'RMh$´5FD,"MO}/_><"#&"[\.
#&"395R?.N+F!"#%$&),+;E$&><"7µ),+-$&.g²gYl0
$&>"L'<.-?B<78"+-$&ME?(C
+^>C(!p"L.N+"LMh$UC
+'<C
#U'H[\.N#&7]C$(ORxTD,M%.@3-5HB<Mho
),+;t²gYl0}cK"a?(C
+^B<M%"R$&>"$UCN3<D:"MJCN+'W'F)¶C
;N#UC
78Mg):+F[\.
#&7]C
$&),.+
),+@$&>"j'<.-?B<78"+-$(cFK><),?q>HC#&"gBM%BCND,DQ5l),;+<.N#&"('t[.N#k$&>"jMh5FMh$&"78M
$&>C$R#&"C'.BF$L.N+DQ5`$&>"8$&"A9$[#&.N7·$&><"t'F.-?B78"+9$(Ow/_><"@'F),Mho
?.NB<#&M%"]D,"!p"D{):+F[\.
#&7]C
$&),.+M%B<?q>C
MRM%"?$&),.+Mc~M%B<3M%"?q$&):.N+Mc}C
+'
GC#UCN;
#UCNG><MgC
#&"BM%"'lD¶C$&"#EK><"+H$&>"J?.N+9$&"qAF$&BCND):+F[\.
#&7]C
$&),.+
),Mg$&.@3"aMh$&.
#&"('=),+^$&><"LI9+.(KD,"('<;N"83C
M%"O]xSGC
#%$J.
[x{/Y¸#&"qo
e-B)Q#&"78"+-$&M1'F.-?B78"+9$_):+@²gYl0=),MM%>.(K+HC
M[.D,D,.(KMO
¹ ‹Fº
¹ ŒNº ¢p¦§ ž9†-Œr¨€ŒNŠN—p–FŽp’NŠrp©‹9Š9Œ£@ <Ž
ž-š—9†
~¤lš-Š
‹F-ŒpŽ
¤
†
‡-š*Ÿ9†pp†
‡<’
Š¡’ž9Š9’(ˆ}” ¹p» Œº
¹ ŒNºNª9N—˜Šp†-’žƒŒNŠN—p–FŽp’NŠ‰‘9Ž
—FŒ
¡Ž‰–-Š—FŽ‘FŽNŠ9Œ˜•™€†
‡-š*›<•(œ
‘p—9¥ƒNž9ŠrŸF†
‡Nˆ  Ž
–FŽ(‡  ž9ŠrŸ9†pp†
‡<’
Šd” ¹p» ŒNº
¹p» ‹9º
¹ ‹Fº
¹ ŒNº ¢p¦§ FŽ
ž-šp—-†
<Œ‰†
‡¡†¥
“p‡-‰ FŽ
žƒ•™€†
‡-šr›F•œ  Ž
–9Ž‡ 
ž9ŠrŸF†p†
‡<’NŠ¡Ž(‡‰ž9Šr‘9ppp <Ž‡  ŒNŠ«N“9ŠN‡<’NŠ” ¹p» Œº
¹ ŒNº-•
‘‰ž-Š˜†¥
“‡-¡ŽpŒ*NŠ9ŒpŒsž9†
‡¡N—˜ŠN«“F†pr-rž9Š
ŸF†pp†
‡F’NŠ‰ž9ŠN‡¡Ž
‰š-Š9’—-Š-†-ŒNŠ-Œrž9ŠrŸF†p†
‡<’NŠ*Ÿp©*ž9Š
†¥
“p‡p~” ¹p» ŒNº
¹ ŒNº ¢ ‡-š‰Nž9ŠN‡ƒŽ
r“p‹-š9†NpŠ9Œrž9ŠrŸ9†pp†
‡<’
Š¡Ž‡‰ž-ŠrŸF†
‡ˆ
<Ž
žƒ•(™}” ¹p» ŒNº
¹p» ‹9º
”p””p”p”
¼ G½CN+' ¼ M½Mh$UC
+'v[.N#TGC#UCN;N#UC
G>HC
+'vM%"+-$&"+?"j#&"M%G"?$&),!p"DQ5-O
¾ +?"_$&>"1'F.-?B78"+-$~),M~[\.N#&7]C$%$&"('R),+a²jYl0}c"(CN?U>aM%"+-$&"+<?"1),M
#&"(CN'l395]$&><"gMh5<Mh$&"7¿C
+'@"CN?U>lM%"+-$&"+?"),MkGC#&M%"('@),+-$&.aK_.N#U'FMO
x_$$&><"TMh5F+-$UCN?$&),?(C
DD,"!p"D³c-$&>"kGC#%$1.N[M%G""?U>Wy³"O ;<O}+.NB+c-!p"#&3c
C'Àh"?q$&):!"|.
[E"(C
?q>`K.N#U'6),Ma'<"q$&"#&78),+"('=3-5=3.N$%$&.7aoÁB<G`GC#&Mho
),+;Fc-K>"#&"(C
M$&>"GC
#%$_.
[M%"+-$&"+?"y³"O ;<O~M%B<3FÀ´"?$(c9.N3FÀ´"?$(cF?.7ao
GD,"78"+9$q|j.
[T"CN?U>`K_.N#U'),MR'<"$&"#&78),+<"('=3-5^$&.NG<o„'<.(K+GC
#&M%),+;
® °zOÄÃ9"GC#UC
$&),+;=$&><"HGC#&M%):+<;G<#&.-?"M%M@),+-$&.=$&>"M%"l$„K_.6'F),Å "q#%o
"+-$JM%B3FoÁG<#&.-?"M%M%"Mc~C@B+<):e9B<"8CNG<G<#&.CN?U>=?.N78GC
#&"'wK)Q$&>`78.Mh$
.N$&><"#GC#&M%):+<;l$&"?U>+):e-B"Mc7]CNI"Mj$&>"8C
D,;.N#&)Q$&><7·M%),78G<D:"q#R3"qo
?(C
BM%"R$&><"LD:C
$%$&"q#gG<#&.-?"M%Mg):ME!p"#%5H?.N+-$&"A9$%o„M%"+M%)Q$&),!p"LC
3.BF$j$&>"
[\"C
$&B<#&"MD,),Ip"R!p"#&3W[\.N#&7ÆC
+'WM%B3Fo„?C
$&";N.N#&),Ç(C
$&),.N+=K>"#&"CNMg$&>"
[\.
#&78"#t.+"W),M@?.+-$&"A9$%oÁM%"+M%)Q$&),!p"WCN3.NB<$tG"#&M%.+€C
+'‰+9B7R3"#
[\"C
$&B<#&"Mw®QmÈ
°zOƒÉ{5sBM%),+;w$&>"lGF#&"('<"$&"q#&78):+<"('6GC
#%$].
[gM%G""?U>
[\.
#g"(C
?q>HK_.
#U'l[#&.7Ê$&>"GC#%$j.N[}M%G""?q>WGC#&M%),+;<c $&><"R+9B7R3"#
.N[g$&><"@#&BD,"M8[.N#v$&>"l?.N+-$&"A9$v[¶#&""H;N#UC
787]C
#8[.N#v$&>"lGC
#%$v.N[
M%"+-$&"+<?"@GC
#&M%),+;^):Ma#&"'<B?"('sM%B<3Mh$UC
+9$&):C
D:DQ5-O*/_>"t?.N#&G.
#UC=.N[
Mh$UC
$&),Mh$&),?(C
D:DQ5^.N#U'F"#&"('^GC
#%$g.
[1M%G""?U>"May\[#&"(e-B<"+-$&D,5WB<M%"('W.+"M
3"),+;ED:),Mh$&"('Lf<#&Mh$q|.N[ C
3.B<${ËÌNÍÍNÍjK_.N#U'FM}[¶#&.7ήQmmq°C
#&"B<M%"('$&.
#&"M%.ND:!"T$&>"Mh5F+-$UCN?$&),?ECN7L3<),;B)Q$„5L),+8$&>),MG<>C
M%"O}xTD,M%."D,D:),GF$&):?CND
?.N78G.B+'tG<><#UCNM%"Mc?.N78GC
#UC$&),!p"jG>F#UCNM%"Mc?.78G.NB+'t+.NB+<Mc
CN+'`#&"D:C
$&),!p"vG><#UC
M%"M8C#&"t>CN+'FD,"('`),+6$&><),MLG>CNM%"tCNMLK"D,D³Ox
GC#%$a.
[T$&><"v#&"M%B<DQ$a.N[k$&>),MaGF#&.-?"M%ML[.N#a$&><"@x}/YÏ"qAC
78GD,"]),M
M%>.(K+HC
M1[\.D,D,.(KMO
…F†
‡Nˆ‰ˆFŠpŠN‹FŒ‰-ŽpŒ
€
‘˜†-’p’N
“p‡-FŒ
›F†N—€N‘¡Œ‹-ŠpŠ9’ž¿Ð8ŸF†
‡ˆ}ÑÁ‡F
“p‡Ò`ˆ9ŠpŠN‹<ŒÑ„–-Š—ŸÒ
†-’’
“p‡-9ŒÓp-ŽpŒdф‡F
“‡Ò
›F†N—€N‘¡ŒNŠ
‡--ŠN‡<’
ŠÎÐrÑWŒ“ŸFԊ9’
˜–pŠ—Ÿ¡
Ÿ9Ԋ9’
¬Ò
•
‰–pŠ—FŽ
‘FŽ
Š9Œ˜•™¡†
‡pšr›<•œ  Ž
–FŽ‡  ž9ŠrŸF†p†
‡<’NŠ€†‡-š
“p‹pš9†N-Š9ŒrNž9ŠrŸF†p†
‡<’NŠ* <Žžƒ•™
›F†N—€N‘¡Œ‹-ŠpŠ9’ž¿Ð@Ž
dф‹-—-
‡F
“p‡Òr–pŠ—FŽ
‘FŽ
Š9ŒÑ´–-ŠN—ŸÒ‰•™¡†
‡pš
›<•(œ~ф‡F
“‡Ò  Ž
–FŽ‡  Ñ´–-Š—NŸÒsž9ŠÑ%†
—pFŽp’NŠ<Ò6ŸF†pp†
‡F’NŠÑ„‡F“p‡Ò
›F†N—€N‘¡ŒNŠ
‡--ŠN‡<’
ŠÎÐrÑWŒ“ŸFԊ9’
˜–pŠ—Ÿ¡
Ÿ9Ԋ9’

ž9Šp
‹<Ž‡  ÐÑH–-Š—Ÿ¡†
š9Ԋ9’
9Ž
–-Š€
ŸFÔNŠ9’
µÒ*Ò
›F†N—€N‘¡Œ‹-ŠpŠ9’ž¿Ð@Ž
dф‹-—-
‡F
“p‡Òs“‹-š9†N-Š-ŒÑ´–-Š—NŸÒ
ž-ŠÑ%†N—p9Žp’Š<Ò6ŸF†p†
‡<’NŠÑ„‡F
“p‡Òs FŽ
ž~ф‹p—-ŠN‹F-ŒŽ
FŽ
‡Ò
•™dф‡F
“p‡Ò
!#"%$'&
(*),+.-0/,102,3,45-536487,3:9<;2
=.>?@3576-BA53@+@>0),C*?@3*7
-D6A530/6>*?@3*76)6C.A53@+@><E5+53,E/.2.D6-D@/
4F./6>?,3*76-HG
IKJMLONQPJMRTSVU,N5WXLOYZLON8[\,]XSVU
WXL^\,N_U6N`aJcb8N5WdU6YTWXLOYeU,fLON8[\,]XSVU6WXLO\,N
P@U6WXg8RT]XRe`#[]X\@ShWXgQRji8]XRTkLO\,lQJi8gU6JMR@m,U,NU6iQg8\,]XLOYn]XRT[RT]XRN8YRJpoqi]X\,r
N8\@l8NQJdstU
]XRuL^`8RN5WXLwvRe`xzypgQLOJ{LOJ`8\,NQRuU6YY\6]d`8LONQP|WX\%WXgQR}]XRYRN8YTb
YT\@NQJcWM]dU6LON*WXJ%o~WXgQRu]XRYTRN5WKt\,]d`gU6J€Ug8L^P,gQRT]Ki8]XLO\6]XLOW‚bƒWXgQU,NfORJMJ
]XRTYRN5Wz\@NQRTJdszU6N`|WXg8R`8LOJMY\,l8]XJMR{[~\5Yl8JKo~WXg8RpY\6r]XR„[~RT]M]XRe`\,NQR{gQU,J
U%gQLOP@g8RT]}i8]XLO\,]XLwW…b!WXgU6Nƒ\,NQRJ{WXgU
WKU6]XRN‡† W„s€ˆ ‰5mŠ
‹eŒx
Ž N8YRtWXg8Rt]XRT[~R„]XRNQYRTJn\6[i8]X\,NQ\@l8NQJjU
]XR`8RTWXRT]XSLON8Re`‡m,ReU,YdgJMRTN8r
WXRTNQYRzLOJJcWX\,]XR`uL^N5WX\{WXgQRji]X\@iRT]‘Y\@N5WXRT’*W‘LONuWXgQRj“*NQ\efORe`8P,Rn”QU,JMR@x
ypg8LOJtLON*k.\@fOk.RJ•WXg8R}JcbN5WdU,Y„WXL^Y,m5JMRSVU,[email protected],N`S\,JcWzL^Si\6]MWdU,N5WXfwb
WXg8R%YT\@N5WXRT’*WXlU6f•L^N[~\6]XSVU6WXLO\@N‡xypgQLOJuiQU6]MWu\6[tWXg8R%i]X\6–…RYTW#LOJ€WXg8R
S\,JcWY„gQU,fOfORNQP,LONQPiQU6]MW”RYeU6lQJMRLw[U!JMRN5WXRNQYTRLOJ|fO\5YeU
WXRe`LON—U
fO\,NQPuY\,N5WXRT’*Wem,WXg8RpSReU,N8LONQP€\6[WXgQRtJMRN5WXRNQYRtYeU,NWX\6WdU,fOfwbYdgU6NQP,R
[˜]X\@S™gU
WzL^Jz\,]XLOP,L^NQU,fOfwbSReU6N5Wex•š›YT\@N5WXRT’*WXlU6f8“*NQ\efORe`P@R{”U6JMR
LOJ€[\,]XSVU6f^LOœR`—U6JuUWM]XRRTrfOL^“@R%`8U6WdUVJcWM]XlQYTWXl]XRNQ\,W€\@N8fObƒWX\!JcWX\6]XR
RU,YdgJMRN5WXRNQYRLONLwWXJn]XLOP@g5WnY\@N5WXRT’*Wz”QlWnU,fOJM\|WX\#SVU6“.RUuJMS\5\,WXg
YT\@N*k.RT]XJMLO\@N[]X\,SWXgQRz“*NQ\efORe`8P,Rt”QU,JMRnWX\Ky{ž Ÿ%x@¡ƒRTWdU
rf^RTk.Rf5Y\,N8r
WXR„’W}oqY\,N5WXRT’*W•[~\,]nY\,N*WXR„’W„s `RTWXRT]XSLONQRTJ gQRT]XR{WX\ui8l8WjReU6Y„gJMRTN8r
WXRTNQYRzLONuWXgQRjWM]XRRtU6YY\6]d`8LONQP{WX\{WXgQRz`8LOJMY\,l8]XJMRnf^RTk.Rf.LON8[\,]XSVU
WXL^\,N‘x
ypg8RnYTl8]M]XRN5W‘Y\@N5WXRT’*W‘L^J‘YT]XReU
WXRe`|\6] JcLwWXYdgQRe``bNQU,SLOYeU,fOfwb#U6YTr
YT\,]d`8LON8PWX\%WXg8Ru`8LOJMY\,l8]XJMR#fORk.RTf‡LON[~\,]XSVU
WXLO\@N¢oqJMRY„WXL^\,NQJm8JMlQ”8JMRYTr
WXLO\,NQJmU,N`£iU
]dU,P6]dU,iQg8JdsuL^N¥¤#¡ž¦U,NQ`¥JMRTSVU,N5WXLOYJuLON8[\,]XSVU6WXLO\,N
LONJMRTN*WXRTNQYRJxt§Q\6]KLON8JcWdU,NQYTR@mLONZWXg8Ršny¡¨RT’8U6SiQfOR€WXgQR#i8g8]dU6JMR
© LONVWXg8R{[~\@fOfO\eLONQPJMReª5l8RNQYRT«#L^NQ`8LOYeU
WXRJtWXgU
WnWXg8R{[~\@fOfO\eLONQPJMRTN8r
WXRTNQYRJ€U6]XR|fOL^“@RfwbƒWX\VJcWdUbLONWXgQRJXU,SR|Y\,N*WXR„’WKU6JKWXgQRYl]M]XRN5W
YT\@N5WXRT’*Wexš}fwWXRT]XNU
WXL^k@Rfwb¢UJMl8”8rY\@N5WXRT’*W#WX\g8\@f^`—WXg8R[~\@fOfO\eLONQP
JMRTN*WXRTNQYRJgQU,J{WX\”R#YT]XReU
WXRe`ƒl8N`8R„]pWXgQR#Yl]M]XRN5WY\@N5WXRT’*Wexzypg8R
YT\@N5WXRT’*WXlU6f JcWM]XlQYTWXl]XR\,[zWXgQR“*NQ\efORe`8P,R”U6JMR%LOJKJMgQ\eN£L^NWXg8R
§ LOP,l8]XR‹5x Ž NQfwb—WXgQR!SVU,LONak.RT]X”¢[~\6]ReU6Y„g¦JMRN5WXRNQYTRZLOJJMg8\
N
LON¥U]XRYTWdU,N8P@fOR`lQR#WX\VWXgQRJMiU6YRfOLOSLwWdU6WXLO\@N‡x#ypgQR|”Qf^U6Y„“\
k,U,fOJ
LONQ`8LOYeU6WXR!WXgQR!Y\@N5WXRT’*WXJWXgU
WgQ\,f^`¬WXg8Rƒ`8U6WdUW…biRVLON8[\,]XSVU6WXLO\,N
g8RT]XReU6JVWXg8RP,]dUb¦\
k@U6fOJL^NQ`8LOYeU
WXRƒWXgQRYT\@N5WXRT’*WXJWXgU
WVY\@N5WdU6L^N
WXg8Rƒ[~l8NQYTWXLO\,NU,fLON8[\,]XSVU
WXL^\,N‘xB­K\,WXR!WXgQRfO\5YeU
WXL^\,N_\,[€WXgQRƒJMRTN8r
WXRTNQYR © §Q\,]RU,YdgƒJMRT]Xk*LOYR€v8]XJcW{LwWk.RT]XLwvRJt®…¯°U6N`Z±z®‚­h[˜]X\@S²WXg8R
”QU,N8“¥P,LOkLON8PZWXgQR”U,f^U6NQYR«xV®‚WLOJi\@JMLwWXLO\@N8Re`lQNQ`8RT]€WXgQRJXU6SR
YT\@N5WXRT’*WKLwWXgWXg8RuLOWXgQ`]dU#m`Ri\@JMLwWemU6N`ƒ”QU,f^U,N8YR%YdgQRTY„“!JMRT]Mr
k*LOYR\@iR„]dU6WXLO\@N8JmWX\”RlQJMRe`Z[\,]€ReU,YdgJMRT]Xk*LOYR|f˜U
WXRT]ex{®[•LwWKtRT]XR
fO\5YeU
WXRe`LON£U,N5bƒ\6WXgQRT]KY\,N*WXR„’Wem8WXgQR#JMRN5WXRN8YRY\@l8f^`8N‘† WK\@iRT]dU
WXR
U6JK\6]XLOP@LONU6f^fwbƒL^N5WXRNQ`8Re`x
ypg8Ru“*NQ\efORe`8P,R#”U6JMRuLOJ}YT\@NQJcWM]Xl8YTWXRe`VLONƒ¤#¡žjxypg8LOJ{RNU6”QfORJ
WXg8RlQJMRT]VWX\¢JMRTRWXgQRJcWM]XlQY„WXl8]XRe`¦Y\@N5WXRT’*WVLON8[\,]XSVU6WXLO\,N_\,[#WXg8R
JcbJcWXRSx<³tRYU,lQJMRƒ”\,WXgaWXgQRY\,N5WXRT’*WLON¦WXg8Rƒ“*NQ\efORe`8P,R”U6JMR
U,NQ`—¤u¡ž›`8U6WdUZgQUek.RWXgQR|WM]XRRTrfOLO“.RJcWM]XlQY„WXl8]XR@m‡WXgQR%“N8\ef^R`8P@R
”U6JMRKLON¤u¡ž£k*LOJMlU6fOL^œTRJnWXg8R}JXU6SRKJcWM]Xl8YTWXl8]XR\6[‡WXg8R“N8\ef^R`8P@R
”U6JMRZJMg8\eN¦LONa§ LOP@l]XR‹5x—š´iU6]MW%\,[WXg8R!“*N8\
fORe`P@R!”U6JMRZLON
¤#¡ž—L^JJMg8\
Nƒ”RfO\
#x
µ 7a4*)¶Q3_·¹¸Tº.»@¼¸½
µ 7,½
µ 2,½,º.»@¼_¾*)52›¿02,3,+.AD.7,3›-.À@E*3*2²ÁVÂ8D6-@¾.C.+*)6ÂjÃC.3,E/52.D
-•Ã
>).Ä.)647,3h7
¾*3*7Å µ.Æ 2@½
µ 7,½
µ 2@½,1D6+*26-Bº.»@¼BA.3@+D61D63*2BÇ
È0)
45C<(8Ç
É_1.+*/¶h>*)64@Åh1*/,+
3.)57
¾¹2,3,+.AD.7,3_Ê*D6AD
45ʛ>).Ä.)647,3 µ.Æ 2,½
µ.Æ 7@½
µ 7,½
µ 2@½,º.»@¼<Â8D6-@¾5C@+*)6Â82B)¶/
=.45-<Â8D
-@¾¹Ç
Èh)
45C<(8Ç
É_ÊD6AD
4.Ê
>*).Ä.)648763hD
4_1*/@Ä.Ä./6Â8De45ʝ2,3@Ë@=*36487,3 µ.Æ 2@½
µ 7@½
µ 2@½5D61B)¶/6=.4.-¹D.2<Ä@3*2@2¦-@¾)640/,+B3@Ë@=*).ě-*/¦>*).Ä.)648763
-@¾*3,4Bº@»@¼BC53*7
+535)52,352¦>).Ä.)647,3<>5À0)¶Q/6=.45- µ@Æ 2@½
µ 2@½,-@¾53,40º.»@¼_=@E5C*),-5352¦>).Ä.)647,30D
4_>*)64@ÅBÂ8D
-@¾¹Ç
È µ@Æ 2@½
µ@Æ 7@½
µ.Æ 7@Ì.½ Ì.Ì.Ì.Ì@Ì
µ.Æ 7@½
µ.Æ 7,½
gQR„]XRKÍ Y,†5U,NQ`VÍ J†@JcWdU6N`%[\,]nY\@N5WXRT’*WzU6N`JMRN5WXRN8YRp]XRJMiRY„WXL^k@Rfwb5x
šKfOJM\WXg8RƒY\,N5WXRN5WV\,[uWXg8R“*NQ\efORe`8P,R”U,JMRYU,N<”Rª*l8RT]XLORe`
”5b<WXg8R—l8JMRT]LON0NU
WXl8]dU,f€f˜U6NQP,lU,P,R@x:ypg8R¥[\@fOfO\
LON8P_`8L^U6f^\,P@l8R
”RTW‚pRRNVWXgQRKJcbJcWXRS´U6N`!U|l8JMRT]{JMgQ\eJ{JM\,SR€RT’8U,Si8fOR€ª5lQR„]XL^RTJ
U,”\,l8WKšzy¡—x
ÎQ2,3,+:9!Ï.¾)6-_C*/@3*2a-@¾*3›>)
4@Å_Å3.36EÐ
Ñ À2
-53e¶Ò9VÓ*)64@Å_Å3@3,E82_Ä5D.2
-0/,1B).7.7@/6=.4.-2
ÎQ2,3,+:9!Ô/6Â_C*/@3*2¦-,¾*3<º.»@¼_C53,E/52@D6-_-@¾*3_)Ì ¶/6=.4.-*Ð
Ñ À2
-53e¶Ò9!º@»@¼BC53,E*/52.D6-2_)T¶/6=.45-_ÂD6-@¾¹Ç
È0)645C›(Ç
ÉBÊD6A*D
45Ê
>)@Ä.)6487,3BD
4B1*/.Ä@Ä./6Â8D
4.Êh/,+.C53@+ ú.»@¼¹D
476+535)5263*2¦>).Ä.)
487,3
>5À›º
¶/6=@45-•Ã-@¾*364Bº.»@¼_=@E5C*),-5352¦>).Ä.)647,3hD
4<>*)64@Å
Â8D
-@¾¹Ç
È
³tRYU,lQJMR|WXgQR#]XReª5lQLw]XRSRTN*WXJKU6]XR|JcWX\,]XR`¥LON£UJcWM]XlQYTWXl]dU,f[\,]XSVU
W
U,YTY\,]d`L^N8PƒWX\ZWXg8RY\,N*WXR„’WemWXg8R]XRfORk,U,N5W\,WXg8RT]LON8[~\6]XSVU6WXLO\@N—LOJ
U,fOJM\]XRTWM]XLORk@Re`U,JJMg8\
NƒL^N!WXgQRU6NQJcpR„]}[\,]}WXgQRuJMRTY\@NQ`ª5lQRT]Mb5x
®…N—JMlQSSVU
]Mb5m‡WXg8RJcbN5WdU,YTWXLOY@mJMRSVU,N5WXLOY@m•U6N`YT\@N5WXRT’*WXlU6fzLONr
[~\6]XSVU6WXLO\@NLOJzlQJMRe`|WX\#”QlQLOf^`l8iWXgQR{Y\,N5WXRT’*WXlU,f“*NQ\efORe`8P,R”U,JMR
[]X\,SÕWXgQR€]XReª5l8LO]XRTSRN5WXJ{`8\5Yl8SRN5WdU6WXLO\@N‡x
4. CONVERSION FROM KNOWLEDGE
BASE TO TLG
ytp\6r‚ž‘Rk.RTfŸK]dU,SSVU6]noqy{ž Ÿ#sSVUbu”RzlQJMRe`uWX\KU,YdgQLORk.RjWM]dU,N8Jcr
f^U6WXLO\@N![]X\,S´U,N!LON8[\,]XSVU,f­€ž¥JMiRTYLwvYeU
WXL^\,NZLON5WX\%U[\,]XSVU,fJMiRY„r
LwvYeU
WXLO\@N‘xnÖjk.RNWXg8\@lQP,g!ypž Ÿ¹gQU,Jt­€ž‡rfOLO“.RKJcbN5WdU6’LwWXJpNQ\6WdU6WXLO\@N
LOJ[~\6]XSVU,f{RN8\@l8P@g¬WX\U6fOf^\Õ[\,]XSVU,ftJMiRYLwvYeU
WXLO\@NQJWX\¥”R!Y\@Nr
JcWM]XlQY„WXRe`—l8JML^N8PZWXg8RNQ\6WdU
WXLO\@N‡x®WL^JU6”QfORN8\,W\@N8fwb¥WX\ZYeU,iWXl8]XR
WXgQR€U,”8JcWM]dU,YTWXLO\@NZ\,[‘WXgQRK]XRTª*l8Lw]XRSRN5WXJt”8l8W{U6fOJM\WX\%i]XRJMRT]Xk.R}WXgQR
`8R„WdU,LOfORe`BL^N[~\6]XSVU6WXLO\@N_[\,]ƒLOSi8f^RTSRN5WdU6WXLO\@N‡x™ypgQR£WXRT]XS © W‚p\
fORk.RfO«|Y\@SRTJt[]X\,S'WXgQR[qU
YTWpWXgQU6W{UJMRTW{\6[ `\@SVU6L^N8JtSVUb”RK`8R„r
vN8Re`lQJMLON8P!YT\@N5WXRT’*WMr[]XRRP,]dU6SSVU6]emg8L^YdgSVUbƒWXg8RN”R%l8JMRe`
U,JU6]XP,lQSRN5WXJ|L^Nai]XRe`8LOYeUeWXR![lQNQY„WXL^\,NQJ`8RTvQNQRe`¢l8JML^N8P£U,N8\,WXgQR„]
P,]dU6SSVU6]ex¹y{ž Ÿ¨SVUb¦”RlQJMRe`aWX\¢S\*`8RTf€U6N*baW‚b8iRƒ\,[JM\,[˜WMr
{U
]XRuJMiRYLwvQYeU6WXLO\@N‡xnypgQRK”QU,JMLOY€[lQNQY„WXL^\,NU6f×
fO\@P@LOY#i]X\@P,]dU6SSLONQP
S\*`8RTfp\,[€y{ž Ÿ:L^JRT’*WXRN`*Re`WX\£L^N8YfOl`RZ\,”–…RYTWMr\,]XLORN5WXRe`ai8]X\6r
P,]dU6SSLONQP[~ReU
WXl8]XRJJMl8LwWdU6”QfORƒ[\,]VS\*`RT]XNaJM\,[W‚{U
]XRJMiRYLwvYeU
r
WXLO\@N¢ˆ Ø
Œxnypg8R#Jcb8N5WdU
’Z\6[•WMgQRu\,”–…RYTWMr\,]XLORN5WXRe`ƒy{ž Ÿ°LOJÙ
7@Ä.).2.2›Ú5Ä.).2.2@F6É)T¶Q3 Ì
È)6-*).F6É)T¶Q30ÛÃZÈ)6-*).F6É*)T¶Q35Ü 9.9È),-*).F6».À@E*3ÛÃ!È)6-*).F,».À,E*35Ü Ì
Ý.=*Ä@35F6É)T¶Q3:9VÝ.=*Ä@35F6Ó/
C.À¹ÛÃ!Ý.=*Ä@35F6Ó/6C.À*Ü Ì
3,45C07@Ä.)52.2²Þ‚Ú5Ä.)52@2@F6É)¶83,ß Ì
!"$#!%&%'(&)*
&+&,&
-&.#/0)/121345"6789&:.;=<51
> &%'!?*A@&!:B
DCE; > @FB=GIHJK
L
2%MN"!)/$&OPJRQTSU2
OV&WW"?%+
2%X8!
YZ#/[1&
?
I14N"5)/8
\K]\N"!)/^I_+
Z#5"P&K_
W
H`JK
29<!)1$@Qa
%,b")/R
1&c2d#H
JK:5c(I&eOf&g
:'5
11Y&:#+hJRQTSji
1
c"eW"k#/1
:
a'5
11!Y0#+&a[#
WWe
?a%&'5
Yl%&
2&3mh%2&nHoJK
m$&O1I6m<5Z#/&74LH-p+l
h
#/55"4&Oq1&%dRR#
WK)$W4
m
FOf&42&
r#*A&5I<!Osm&1HJK
9'5
11Y&,#
&9&O`
psJtu<7)
K0#/9%&d21am7
9OV&1
YJKQTS
)/W_+12&nH
v&w(xmy(y{z!x2|}^~
 v(v€|m‚!yƒ„!…(y‚‡†(†  vv€(|m‚&„…(y‚=~
ˆ2‰ †(† ˆ |m‚mŠ‹(ŠŒ=~
ˆ2Ž †(† ˆ |m‚mŠ&‹mŠŒ=~
z!x(w(x|!v&Šo†(†$mw(€(x&‚=~
mŠŒ!…‘’ ˆ2‰ x|(“ ˆ2Ž ‹5…!…2|m‹6z!x(w(x|!v&Š`~
(”m“5x&‚(Š6z!x(w(x2|v&Še•…‚&– ˆ2‰ ~
Š|m“-vw(x(y(yq~
v&w(xmy(y  vv€(|m‚`~
ˆ2‰ †(† ˆ |m‚mŠ‹(ŠŒ=~
ˆ2Ž †(† ˆ |m‚mŠ&‹mŠŒ=~
z!x(w(x|!v&Šo†(†$mw(€(x&‚=~
Š|m“-vw(x(y(yq~
v&w(xmy(y (—&˜ ~
z!x(w(x|!v&Šo†(†$mw(€(x&‚=~
2™ €(|(‚o†(†5w€(x&‚=~
ˆ2‰ †(† ˆ |m‚mŠ‹(ŠŒ=~
ˆ2Ž †(† ˆ |m‚mŠ&‹mŠŒ=~
•…‚–m“Œ5x• 2™ €2(|m‚e•…2‚– ˆ2‰ x2|m“ ˆ2Ž ‹!…!…2|(‹šz!x(w(x|!v&Š†
mŠŒ5…‘(’ ˆ2‰ x2|m“ ˆ1Ž ‘(Œ5€ ™ z!x|}-‹!…2!…2|m‹ez5x(w(x|vŠT›
…‘ 1™ €(|m‚-œ&{z!x(wx|v&Šš‚–mŠ&|
z!xw(x|v&Šo†bŸžz!xw(x|v&Šš 2™ €|m‚¢¡]›
(”(“5x&‚mŠ6z5x(w(x|vŠ-…2|šz!x|&}k•…‚– ˆ2‰
Š&|m“5…‘=~
“mŠ&”!€my…‚ 2™ €|m‚e•…‚&– ˆ2‰ x|(“ ˆ2Ž ‹5…!…2|m‹6z!x(w(x|!v&Š£†
mŠŒ5…‘(’ ˆ2‰ x2|m“ ˆ1Ž ‘(Œ5€ ™ z!x|}-‹!…2!…2|m‹ez5x(w(x|vŠT›
z!x(wx|v&Šo†NŸž$z!x(wx|v&Šk¤ 2™ €(|(‚¢¡]›
(”m“mx&‚mŠez!x(wx|v&Š-…2|6z!x|}š•…‚– ˆ2‰ ~
v2–5Š5v1}š¥!x(w(x|!v&Še•…‚– ˆ2‰ x|m“ ˆ2Ž ‹!…2!…2|m‹ez5x(w(x|vŠ£†
mŠŒ5…‘(’ ˆ2‰ x2|m“ ˆ1Ž ‘(Œ5€ ™ z!x|}-‹!…2!…2|m‹ez5x(w(x|vŠ`~
Š|m“-vw(x(y(yq~
¦ s?"!?.)!m1!TWr\psJt§'5
11Y&\#&8
Wr!F,OV&
P%$b"!)/,O\
2™ €|m‚:+2n¨ #/6I<)W"h)/_
1X8\&W
Y&eW7Z'(W"l0#/[5w€x&‚
4r9
1LMW
7PWMz!xw(x|v&Š!Ha©!WZ'!Of&
cW_+12&lOfª
71H0p:&#
c(7
r
4m
9
I1&9r&
,#+d
P4)
)/1:m$
JRQqS§Y&a?%7m1HR@FQ«+POV&WW":Yr¬r&Osc((1#*
,1ZJRQTS£
,)/_
$\&%!rOf&P7&
Y&
Y*
!_+1:)/%2
HJK
Of&Pr$45"5*E&*A&
7&)!*
)
Y9#/N\4@QI<)!$&
49)/W_+JRQTS-&)/%2&
­ ?^'K
&Y&7)/%2&aC?® ¯GIHTJK
IOV&
R?"!?72
?9Os9'!1Yr#+r&+[OV&4n"mIi
<5#
?"!m%<&O^JRQqS°4'(c("$7m&%
&aOd£
FOf&*
7IRP
21H
5. TRANSLATION FROM TLG TO VDM
JK
R&# ­ *A&m1ZI<5
ZO/
K±
F²c(&)
7m
t 547I%*A&
Y&+Y8m±²9t:³³¢´ µ2¶E8
&^#/7$K
[
%Y&T)/W_+12&9d
Y&
&Y&^Of&qn)! ­ T#/1&s±²9t:³³
+Z4&m"L727h?
!$0JRQqSj&
{«+Z
Ym5-&¢&O,m[OV0&+W"a+·5MY&
I%
´W¸1¹2¶AHKp.!%&1:)O`
%
OdºJRQTS.
±F²t:³³·KY&c4a´ »2¶EH=JKFJRQqS3)/W_+$&OX
p^Jt
<&7)a\dš#/:%1kml
:OV&1
Y6±F²9t:³³
)/_
1&nH
vw(x(y(yhz!x|&}
…2|y2‚5x|v&Ššmx&Œ!…x¥5wŠ5y
”mŒ5…5x&‚mŠ  v(v€|m‚!yƒ„!…y‚j†y&Š¼k€&‘  v(v&€(|m‚o†bo½A¾
€”5Š&Œ5x&‚!…€2|y
”(¥!wm…(v{(ŠŒ!…‘(’º†[…2|m‚·¿e…2|m‚šmÀ6ŒmŠmxw
mŠ&Œ!…‘(’£ž ˆ2‰ › ˆ1Ž ¡h(
žN“!vw{z5x(w(x|vŠo†$ŒmŠ(xw£†NeÁTÂ
ŒmŠ‚mŒ&|kz!x(w(x|!v&Š¡]Â
”(¥!wm…(vh”m“5x&‚mŠo†4ŒmŠmxwš¿š…2|m‚kmÀŸžI¡
(”(“5x&‚mŠžAz!x(w(x|!v&ŠT› ˆ2‰ ¡l(
ŒmŠ‚mŒ&|
Š&|m“6z!x|}
vw(x(y(y  v(v&€(|m‚
…2|y2‚5x|v&Ššmx&Œ!…x¥5wŠ5y
”mŒ5…5x&‚mŠ ˆ2‰ †:…2|(‚Â
”mŒ5…5x&‚mŠ ˆ2Ž †:…1|m‚£Â
”mŒ5…5x&‚mŠ{z!x(w(x|!v&Šo†Œ(Šmxw
Š&|m“  v(v€|m‚
vw(x(y(y (—˜
…2|y2‚5x|v&Ššmx&Œ!…x¥5wŠ5y
”mŒ5…5x&‚mŠeÃ&z!x|}j†7z!x|&}º†N6|5Š&•ez!x|}sž%¡
€”5Š&Œ5x&‚!…€2|y
”(¥!wm…(vh•!…‚–m“(Œmx•‡†Œ(Šmxwk¿e…2|(‚-¿š…2|m‚š(mÀ{Œ(Šmx(w
•…2‚–m“(Œ5x2•ºž 2™ €|m‚`› ˆ1‰ › ˆ2Ž ¡h
žN“!vw{z5x(w(x|vŠo†$ŒmŠ(xwqÂ
z!x(w(x|!v&Šo†NšÃ&z5x|}s~b(ŠŒ!…‘(’Tž ˆ2‰ › ˆ2Ž ¡]Â
…‘ 2™ €2(|m‚·œ{z!x(w(x2|!v&Šš‚–5Š&|
žbz!xw(x|v&Šº†N§žz5x(wx|v&Šk 2™ €(|(‚¢¡ÄÂ
Ã&z!x2|}^~A(”(“5x&‚mŠTžAz!xw(x|!v&ŠT› ˆ1‰ ¡(¡]Â
ŒmŠ‚mŒ&|kz!x(w(x|!v&Š¡]Â
”(¥!wm…(v{“(Š&”!€my(…2‚º†$ŒmŠ(xw·¿e…2|m‚·¿e…2|m‚š(mÀ6ŒmŠ(x(w
“mŠ”!€my(…‚ž 2™ €|m‚`› ˆ2‰ › ˆ2Ž ¡h
žN“!vw{z5x(w(x|vŠo†$ŒmŠ(xwqÂ
z!x(w(x|!v&Šo†NšÃ&z5x|}s~b(ŠŒ!…‘(’Tž ˆ2‰ › ˆ2Ž ¡]Â
z!x(w(x|!v&Šo†Nž4z!x(w(x2|!v&Šk¤ 2™ €(|m‚¢¡]Â
Ã&z!x|}s~A(”m“5x‚mŠTžbz!xw(x2|v&Šq› ˆ2‰ ¡/Â
ŒmŠ‚mŒ&|kz!x(w(x|!v&Š¡]Â
”(¥!wm…(všv1–5Š5v1}mz5x(w(x|vŠº†…2|m‚·¿e…2|m‚k((À6ŒmŠmx(w
v2–mŠ5v1}mz!xw(x|v&Šož ˆ1‰ › !ˆ2Ž ¡h(
žN“!vw{z5x(w(x|vŠo†$ŒmŠ(xwqÂ
z!x(w(x|!v&Šo†NšÃ&z5x|}s~b(ŠŒ!…‘(’Tž ˆ2‰ › ˆ2Ž ¡]Â
ŒmŠ‚mŒ&|kz!x(w(x|!v&Š¡
Š&|(“ (—˜
Å LKl
1c(L%
1-
MJRQqSÆ)/W_+12¢mš
±F²t:³³Ä)/W_+12&\91:5c(m4Z
Yc
&Y+Y
%KÇ(1c&È/ɟÊR³³,85
Y95Y%
+2qs±²9t°Jqm'5W È/É )!2c!!\´W¸Ë¶EH`@Fq&
W"nn5
!"#%$$&(')*
+,"&,-,,&./&102!3"4"5673!4581$$9&')5:0;&%"3<"%+=
+,"&%&1>,+44*&10?!-&1"9*%@%$A"4"B5C5D&!@1E!45D
/"F@4#0;,"D!4"G0;,""H(9&%456JIE4&1!4"-%K%%LH%*%
&10!4581+4+,"&L%H!/5?!41A!4NMEOPQ7 &&.$RB31$95D&+,"&1KB95:0=&%"8
D"H145D$91&%S&/&B$ T!4UE4F@JPT&B$4*WV 14*1@%*%
X UYPJVZY[\](^45D*_$4R')!J`<(&.@1$a`C&.5Dbcd[\(e^f6
6. SUMMARY AND CONCLUSION
73!5"5D1"H!/+,"&1g>A5:KL$9&%+%5A%_%++4$1&._&%00h&%"Di
1$ 5D+F41&%#1@J$4*%45jH!49B5N&%,&.1Y!
&.BKL"5D&.J0="&.k-""5)&3'N"DlJmYVS&
C0;&%"1$45D+F41&%$=14*%@%*%.6:73!4NRB&(')$,*.N4%5D)5:,4$
+n0h"&%dlm<Vo"4"5&4n&%"H,"_&l1+D,"
!p&.B@1$30;&1"1&.q0="&.d!W&-')!9$p!@1,i
,$9*G!41_9*%4>r+,"&.$9s%@r&n&.+,9tT!4l+,"&5D5
&10:5)D"H%5D$91&.&7NVuv5D+F@(&.a6NwG$$ 5jD","
1@l0;&1"%$tG1H"+"5DBH(&.45x5D+9%$$#0h&%"x!_&%i
,81"E45D_&1RLN5D&&%!D"H%5D$91&.580h"&%ym<VT"4 "i
B5z&E!3RB4&')$*%)@%5D)1@!40h"&.{!3RB4&')$*%
4%5D3&YC7NVu|5D+F@(9&%a6AOY?&C5zmYV2if$RL85j,H1x1@
} ,4$~J')!4&%Y$&%5D9*p5C0;&%"1$95DJ27NV u5<H!4&%5DS15<
0h&%"1$5D+F41&%_&EF4$9$B!48*L%+->'8!4N,€"z$KL$
&10z0;&1"%$5D5C&10zmYVG%@0;&1"%$25D+F@(&.l$9%*.@1*..6
UE5D4*n!4J0h&%"1$9t&.BW9‚m<Vƒ+"&5D5D4*r&q!4%,i
,$_!41_9*%4>SmYVo%@S7NVu„')!G5xm<V2if$9R./5j,B(
1@ } 9$>-')!4&.,3$&.5D*-5?0h&%"1$95D&x44$9x"*%
>'3_>'8&x€"Bz0h&%"1$95D5A&%0@mYVJ1@_C0;&%"1$5D+F4i
1&.J$914*.4%*%.'8Y1J%H!4K.<0;$9$p%,&.(W&.BKL"5j&.
0="&.…1-m<V""5&4 &<C0h&%"%$B5D+F41D&%
$914*.4%*%?0;&1"!4A+,"&%&%~,+44*)1@x+4$H1&%Y&%0&.+,$
5j,5j56zIE$5D&Y5D4N'8N45D3!43"B"5A&zD5D$0
15!/4+x0;&1"-!/5j,5j†*.4"H(9&%a!+@4l&10
&%if$43&%5 &1"zBD"H<,&452&Y5D"8!4?5j5jD
&.5)5D1$9$‡6
ˆ 45D4*‰YPJVl&x0h&%"1?!4)"4"5?&%!
+4:,&4BA&.5A5jH1@4("Ht-+&.5D5D4$-%RB4*<,5D5
&10NH%$95/%4n91*%"H%5n!4,&4B15'8$$‡6lIE$5D&T!
RB&(')$,*.-@%5D-%-4"l45D*W41,"H%$z$9%*.@1*._1@
,5D+4$9TT‰YPJV#0;&1"1)')!T!4<&.B@1$9,0;&1"1&%26
73!5j,5j†%G"D"$S!@1@$/!/+"5DBG%/+$9
&.+4$$%15z5D"926 wG8("8+"D0h&%"4*E.&.4%$K1%$i
41&.5l&%0-!4S5j5jŠ0;&1"&%!"J"4"B5T&L5
$@*‹5D&%l"4"5&45W5D"94*‹%D4%$
U6CŒ63IC"|5j,5j56…fT5T+|!@(p!l!4&%$9&1*%
'81",KL$&.+4*p')$$8/%+4+$9%4$/&T!5D_""5
,&4B5/%5'3$$‡6~0<5D45D5j0;$ŽN!5/')9$$E+"&(KB=,JGK%"D
5D0;$z&&.$A&J%5D5D5j5D&%0=>'31"*.4"5S&(K,*W0="&.D!
"B"5N&43&!4<0h&%"%$5D+F41&%a63<"80hi
,"_'3&1"R95Y&p&.B4_KL$9&%+44*W!4-5j5j&T+"&KL
5j,5j4514$>1@/"&.45j45D5?')!"5D+?&5?&(KL"%*%
&103"4"B5<&56w‚!4F@4%$t 5x,+
!41aY45D*3!4z0;&1"%$tx&.Bax@1,"H%$L$914*.4%*%?+B"&%i
5D5D4*-%@7NV u‘%53,"9*.C~'3!)"B"58B&i
Y1@S0h&%"1$:5D+F@(9&%G$9%*.4%*.%a'8/%#%H!4K.
1’,,H%$9TmYV‘5D+F@(9&%|0;&1"p#"H%+=‹+"&1&%>,+9*#&10
"B"5,%58'8$$2%5N,KL$&.+8&10zxF@4%$+4$LH(i
&%a6
ICRB&(')$,*.B5 “A”3•–<—1˜™•4š1›œ?8š.˜4ž9Ÿž ¡L–C™šx™•4—%¢4¡£j¤B¥C¦
§ š%›z¨,›š(©, 9Ÿ, 9¢ªC—%¢—%«—%Ÿ–¬ «:ž 9«–¢4œD–:™š)™•–A£j¤B¥E¦r­<¦x®y” šš%ž9¯š°
¢Jš1›HŸ–›)™š/«š.¢@Ÿ,˜4«™N™• œ)›–œD–—1›«H•a±
7. REFERENCES
²³´ ­-±4µ±4¥Ež9—%ª.—1›<—%¢4Ÿp¶_±4·–› ¸B—%œ—1¬-¸±¹.º»D¼½ ¾?¼H¿1À‡½ŽÁ%ÂGÁjÃ
¹ÁjÃÀ‡Ä?¿%ÅD»¹4Æ1ÇÀ~»È_DZµB¨› ¢4ª%–›DÉf­?–›ž=—1ªÊ ³Ë%Ë.Ì ±
² Í´Î ±@¥Cžž9–¢a±Ï¿%À‡ÐBÅj¿.ÑÒa¿%ÂÓ%пӻSÔ2ÂÕ»ÅHÇÀf¿%ÂÕ%½hÂBÓ%±
Ö –¢%×j—%¬ ¢Ø%Ù8˜4¬¬ ¢ª%œÊ Í ¢@ŸW–Ÿ ™ š.¢2Ê ³Ë.ËLÚ ±
² Û(´ ¦_± Ö ×jÜ%›¢–›E—%¢4ŸlÙE± Ö ± Î š%¢4–œ±8ÝaÞ4»ß2½f»Â¿_à-»á%»ÑÁº@È»Â4À
â »ÀhÞÁÕã_ÝaÞ4» â »Àf¿%ähÒ ¿%ÂÓ%Ð4¿Ó»±aµ,¨› ¢ª.–›DÉf­:–›ž9—%ªÊ ³Ë%ÌLÚ ±
² å1´ ”<± Ö ›H—¸Ê Î ±4·z—%š.ž ‡Ê—(¢@ŸJÙE±®#±µB¨–›¯–›ª1Éj®T«æ<˜4––¢2±
ç °B™–¢œD 9¯ž–®J—1›¡B˜4¨pè —%¢ª.˜4—%ª.–é‡êY®Jèë ³ ± ìB±” –«H•4¢ «—%ž
›–¨š%›D™Ê,í Û Ù‚îC–«š.¬/¬–¢@Ÿ4—(™ š.¢î ç Ù?Ɏ°,¬žÉ ³Ë.Ë.Ì ì ͳ ì,Ê
³Ë.Ë%Ì ±
² Ú´ µ± Ö ›–¢4¢4—%¢2Ê4èA±@¤,› 9–Ÿ¬—%¢2ʗ%¢@ŸJÙE±@·š%ž9ž9—(›HŸ2±¥ƒÙ8–¢™–› ¢4ª
¥E¨4¨,›šL—1«•W™š·A›š%¢4š1˜4¢4œ±@ï3ÅDÁ¼(ðñBò%ÀhÞTóôaÒróCÂÂ4п.Ñ
â »»À‡½;ÂBÓ%Ê4¨@—%ª%–œ ³(Ú%Úõ@³öLÍ Ê ³Ë.Ì.÷ ±
² ö(´ Ö ±4î± Ö ›D¸B—%¢™±4ø<¯B×j–«™DÉ>øE› –¢™–ŸWùY—1™˜,›H—%žaè —1¢4ª.˜4—%ª%–
îE–ú˜ ›–¬–¢™œ)µ,¨–« û4«—1™ š%¢a±@ïNÅjÁ¼(ð óôz¹aô|ñ,üLü.ü1ýAñþ.ÅDÕ
óCÐ,ÇÀ‡Åj¿.Ñ¿%ǽŽ¿%‹ô:Á%È<ºð¹@¼½fð8ô:Á%ÂÃð9Ê,¨@—%ª%–œ Í1å1õÛ ìBÊ Í ì%ì.ì,±
² ÷´ Ö ±4î± Ö ›D¸B—%¢™C—1¢@Ÿ Ö ± É>µ±@è2––.±4”83š%É~è2–©L–žÿE›H—%¬¬—1›C—1œ
—%¢ø<¯B×j–«™DÉjøE› –¢™–ŸîE–úB˜ ›–¬–¢™œNµB¨–« û@«—(™ š.¢
è —%¢ª.˜4—%ª.–%±ï3ÅDÁ¼(ðzþò1ÀhÞ ¿%Ä?¿%½h½ HÂÀ~ð8ô:Á%ÂÃð ¹Æ%ÇÀ~»È
¹¼½f»Â@¼»Ç ŽÀfÁW¿ºLº»D¿%Å Ê Î —%¢2± Í ì.ì Í ±
² Ì(´ ç ± -±¦ ˜,›D›<—1¢@Ÿ Î ±©%—%¢p¶—1™~) ×>¡±@­<¦x®
É3¥‘¤4š%›¬—1ž
µ,¨–« û4«—1™ š.¢Jè —%¢ª.˜—%ª.– § š%›<ø<¯,×>–«™DÉ>øE› –¢™–Ÿp¦<–œD ª.¢4œ±
ïNÅjÁ¼(ð)Ý AÒA¹‚Ô2¹,ó %ñ.ý
%ñ#Ý»D¼HÞBÂÁ.ÑÁÓ%ÆpÁjÃ
(»D¼ÀŽä 8Žf»ÂÀ~»DÕÒ ¿1ÂÓ%Ð4¿Ó»Ç¿%ÂÕ¹4Æ1ÇÀ~»È_ÇlÔ2¹,ókô:Á%ÂÃð9Ê
¨@—%ª%–œ ö.Ûõ,Í.÷1Ì Ê ³Ë.ËLÍ ±
² Ë(´ ¦_±@¤–¢4œD–ž‡Êî±4ÿE›š–¢B¯šš%¬JÊ@—1¢@Ÿlÿ-±î±,îC–¢@—(›HŸ–ž‡±@®TšBŸ4—1ž
Ù8•@—%¢ª.–è2š.ª. «éf®lÙ8è듵,¨–« § ¸, 9¢ª_™•4–<îE–—1œDš.¢ 9¢ª/š §
¶x¢4š)ž–Ÿª%–Éf¯@—%œD–Ÿlµ¸,œj™–¬œ±@à¿1Àf¿p¿%Â@Õ xÂÁ%Ä)Ñ9»DÕÓ»
ÂÓ%½;»»ÅH½;ÂBÓ%Ê Í%ö “ Í(åLÛõBÍ%ö%Ë Ê ³Ë%Ë.Ì ±
²³ ì ´ ù-± ç ±@¤4˜4«H•4œ)—1¢@ŸWî±4µ,«H•) ™D™–›±@¥3™D™–¬¨,™š/Ù8š%¢™D›š.žž–Ÿ
ç ¢ª.ž œD•n鎥CÙ ç ë±@ïNÅ>Á¼(ðNôaÒ ó
(ý 1ÇÀ HÂ4À~ð JÁ%Å 1ÇjÞÁº
ô:Á%Â4À‡ÅjÁ.Ñ;Ñ9»DÕ_Òa¿%ÂBÓ%пÓL»ó8ºLºÑ ½Ž¼¿%À‡½‡Á%Â4ÇÊ ³Ë.Ë%ö ±
²³.³´ í{±ÿE›H—%Ÿ,¸±4®Tš.¯¸T·—1›D™DÉfš § É>µ,¨––«H•T£D£E鎟4—(™H—-û@ž–(ëÊ ³Ë%Ë%å ±
²³(Í´ Ö ± Î ±ÿE›š.œ %Ê¥±,¶/± Î š.œD• ‡Ê—%¢4ŸJµ±íG– ¢4œj™– ¢a±4·z›š1©B 9Ÿ ¢ª
— <¢ û4–ŸT¥C««š%˜4¢™3š § ¦<–û@¢ ™–<ù<š.˜¢J·A•›H—1œD–œE ¢
¦Y œD«š.˜,›œD–.±ï3ÅDÁ¼(ðñBò1ÀhÞWóôaҋóCÂ4Â4п.Ñ â »»À‡½;ÂBÓ%Ê
³(Ú.Ú É ³öLÍ “ å.å1õBÚ ìBÊ ³Ë.Ì1Û ±
²³Û(´ £j¤B¥E¦_±”3•–x­<¦®
{” šš%ž¯š(° <œD–›Y®J—1¢B˜@—%ž‡±@” –«H•4¢4 «—1ž
›–¨š%›D™Ê£j¤B¥E¦„é
ëÊ Í ì%ì.ìB±
²³å1´ £j¤B¥E¦_±,­E¦®J” šš.žœ)É Î —©.—.Ø.Ù Ù8šBŸ–ÿ<–¢–›H—1™š1›±
” –«H•4¢4 «—1ž2›–¨š%›D™Ê£>¤B¥E¦_Ê Í ì%ì.ìB±
²³(Ú´ £j¤B¥E¦_±,­E¦®J” šš.žœ)É:”3•4–xîCš.œD–Éf­<¦x®
{èa ¢4¡±
” –«H•4¢4 «—1ž2›–¨š%›D™Ê£>¤B¥E¦_Ê Í ì%ì.ìB±
²³ö(´ ¦_± Î ˜›H— § œD¡¸T—1¢@Ÿ Î ±@®J—(›D™ 9¢2± ¹%º»H»D¼HÞ¿%ÂÕ-Ò ¿%ÂÓ%Ð4¿Ó»
ïNÅjÁ¼»Çǽ;ÂÓ%±·A›–¢B™ «– <—%žž‡Ê Í ì.ì.ìB±
²³(÷´Î ±®T«Ù3—1›D™•¸±4ùEš%™–œEø<¢T¤4š%›¬—1ž9 ¢ªÙ8š.¢™–°B™±
” –«H•4¢4 «—1ž2›–¨š%›D™Ê@Ù?š.¬¨4˜,™–›Eµ,« 9–¢4«–x¦Y–¨@—1›D™¬–¢B™±
µB™H—%¢ § š1›HŸ <¢ 9©.–›œD ™>¸L±µB™H—1¢ § š%›HŸ2Ê@Ù3¥Ê ³Ë%Ë.Û ±
²³Ì(´ ”<±æ<˜4—1™D›H—%¢ ‡±Eß2½;Çп%Ñ â ÁÕ»Ñ ½;ÂBÓÄA½;ÀhÞ )¿%À‡½‡Á%¿.Ñ )Á1Ç»xñ,üLüLü
¿%ÂÕqÔ â ÒA±4¥<Ÿ4Ÿ, œDš.¢,ɎíG–œDž–¸Ê Í ì%ì.ì,±
²³Ë(´ ¥±,©.—1¢pí‚ ×>¢4ªL—%—1›HŸ,–¢a± 3ÅÀhÞ,ÁÓLÁ%¿.Ñà-»Ç½9Ó%Â#¿%ÂÕ
à-»Ç¼Å½ º@À‡½ŽÁ%ÂGÁjÿ Á1ÅHÈ¿.Ñ@Ò ¿%ÂBÓ%пӻ±®J—1™•4–¬—1™ œD«•
Ù8–¢™D›˜4¬JÊ¥E¬œj™–›HŸ,—%¬JÊ ³Ë.ö.Ú ±
² Í ì ´ í{±®#±,í‚ žœDš.¢2±4íG›D ™ ¢4ª ç –«™ 9©.–YùY—(™˜›H—%žaè —1¢4ª%˜@—%ª%–
îE–ú˜ ›–¬–¢™œ)µ,¨–« û4«—1™ š%¢4œ±”a–«•¢4 «—1ž2›–¨š1›D™Ê4ù<—©.—1ž
îE–œD–—1›«H•lè —1¯š%›H—1™š(›D¸Ê ³Ë.Ë%Ë ±
!"$# % & ('
()
+*
,*
-$..0/&13225444&6(758:9;6<;=
%
>)
?*
@
DC
B
&E
A@