ࡱ> b_`anx୭ )͙PNG  IHDR# sRGB pHYs+cPLTE &?/3OLY_oǾfúrȿŏ̟әь˥֯۲ܿSQIDATx]kCNPIcAc<3\nT߳aWcCa Ck5QŨbT1U*FU*FQŨbT1V1U*FQŨQŨb3bt)Nbtolb{4U& ߅VCZK݂'Q.w`qfhڟQ(%q Xߑ! ?RgɺaόzFaKWT#iF+~* ;~F)hFz7%p/Rs1#6j}#xw3.RL~Ȃq/a$EBE̮9es):`$l@=__H!\GC Y `_fZ;:LɅ_lf#cwƒG 1 ~x`!*7?|L3xLh  _8v/psFMt W@~Y1.ڝHMOc^#-v)3c.y[t5uͫ؎w^hP? D4]uHsA9$!(?kNx. ߔ3A6Nwl|*#&Sk< i.?? *Cl-zʙ:@c4#-ZV@ڋ'14}t%;kN{^wVbd_{^,#UxP{*‡N> .z ) uDfO9XHHCqj(4v@jJ`JUnހ@$:OK h͘M&hm#uDSuczrk^Уi FfO{t,AT${(8}ǞUod7S2%XEEh+[I;è{%׬-]#T4s[1^ps0G°){sdL_a2Ξw)Qt!quG!FؚVpKbE8{vm/Bx^Y|Tg ĪF EWr2Tx0qK~>H*l]7=fNbS+f08ۄɈIEO׃ffB2QS,'|(F"ENlAâEvMp>p&H3:>ݏ5jkKLT\ feNZ~bYh4r O噀 cGܜ pn9.50mz)9gͮ#9>RXЧ`#0cKmT rV`cü^c;'SnِDgyȌr厨^>csDҮ4|4Xa?QlI})>G"ӖM(?SyήuP DJFq6~jtKCo> )u0KH5.@ c(>;FqDН4:25uYkPS,)!q$(]P4J21GĒ>K׵R Ȕwn㴫O?ۧq̅Ԧ rhe2[0`^A0ڇ?YR /c1jcxU}zqy FzTo0exF ZGӢ':$g֛,es φ~Lw(w{|UbX i|IOO`Y"G.9m25`|>ligpvTWF&S}M S]C%ӯH!v&i+YdftjIi )Y2czuPWć¦β'}|o=PXy TLlN7Syf˦yN.hZwp&A,#`ƈ0trRod8g097jm U7V| > 0{/e0RYXtƸjRYR*@N ,TFc.ͪ(hrP],QfxPqKbTa\l_/8d6;|e>O 'j+uk4mew}R^==<DO%)n?[r0鞬Y"F"' ըVF#1>Bކ2Gu<F.FhD,<н,b Z|m. 6\.H%=@((EZt]@ZOc>qz)FqF7_(L .xo">> HL0 }e - _FDs;:}}t“uY*Zhe(RM[?@ⲇbbxv?o.bq31G?]}..N*yc XHg=U#^ja4 2'2hE1/iFr"F5L;~6Ai&KK|>~zЦ~(;?*pZE(n&FBvT|7)7: eI)ѩP.;MJNŅBv٩nR ot*.jNwRxSqP]v* SR:ۡYc)nriU䇀;ݾ^n#!݅#]}Gw- }#s6Fyk6n/o? ܱUHm˛(Əmeeʻژ|_E b|+1ணE1ϧAs6pGw8ԏ(~DߣޮSŭic =LBLDm:Pm'ꗂQhj{+HEs0x$7̎_*:3iMw+GAo/EƩH2 m7{v \?q]& ~3fqkD¦a*mu5].zcb78O 6!h"pA̜d,)jVc Mfao9Sd'sg1>n~(rĿ|Ns/Xj7xXGᇰ.c& N#҂S0IM+ (8W麦ˑVs°XN|F֛V4j~{LBo l5,UTy1Ϧ!^mRj^tZJsBo Y[-O[ƒ&v(]]ўt*Kvu07)buh%6~ [jHMv^ROLsrFz/Ix Z^yr[bsޔ,Dc̤Vy `--u yxϟ;b_1F64Y)MJ7}hMJByxnZ-3Rʣ`S;d^:Of?AFb/Q2]~W%1EH&%\x,p#uI"q8Л͇7OĖpixCzvLri=QYc/36𲵅mPxPFjbSNQpi1V&/iNiRc/%ILi-vZ^udږyd飞[asl 4ś`Һ>Yg>W͌eGHTT['!9,$(4+O(#%+:ᜇ[RlOо5bv$7-N(Zgq ԣD|,;tX4|291%G$" 8ZlPA>h!PS4R"ahbY->eHaA7QPꅢ/€6#9-)(TU5_Tl v(l#j!OƎ!B%(:cv oO4`NQ/r١Á  8RFB|Ym*)d N6ԥC8xMF*Z~qynu(ML_ ^4?Ϩ{`i6}`~w]r,3g.vt%IUhX 14K|LQ%dD}1{4xE 69ūt7{r)CoF ݲX@9i: msOGMSOFFICE9.0GIF87av3f333f3333f3ffffff3f̙3f3f333f333333333f33333333f33f3ff3f3f3f3333f33̙33333f3333333f3333f3ffffff3f33ff3f3f3f3fff3ffffffffffff3ffff̙fff3fffffff3ffffff3f333f3333f3ffffff3f̙̙3̙f̙̙̙̙3f3f̙333f3̙333f3fff̙fff3f̙̙3f̙3f̙3f333f3333f3ffffff3f̙3f3f         ! NETSCAPE2.0! ,v H*\ȰÇ#JHŋ3jȱǏ CIɓ(S\ɲ˗0cʜI͛8sɳϟ@ JѣH*]ʴӧPJJիXjʵׯ`ÊKٳhӪ]˶۷pʝK]Yk%8p@Vj#"p+eZq 3 fv@Ӕ9`  K~5KA?\ҧG h'BǑd;xf9X] 9p̾IVe_oחeM0Yc5Ȃ FGDV#a5h~ v}9B"xr)vy#>TaA"`#+A8P7r:cUe Tׂd ;⨡%p ,x -馕0DdGi'MRWKvکzTza Vf/d!6V!`&꧍fiNɦ&m)ix&ժbmPY*l ~ᇸ6,DuEVri:F딟֖'f쑡~-=M.Ck/,XٗEb ҤWT*ɦ!^@Y..0^/@(i ]c+蘱 @J .xiZm t1D;3 Ӥhf] `ڂD=1Y46IZ WXՈ,u(mԍ- p4IB t!4utGD&w:ԭ#1Ǭ]*8TVLa(m j)7.DNy y>x㺫@4,p||=+ߪ<4irO7 -~]J^{?g;w?썎vBÐOQ*2w!:\@bO  % jDY nZ&*]} ׻jp$vt"r.@ux;?ab,``Ǩ@Z aY h-%ZiH:ܡ8 YYc̣(b 1H%**=yn%F=ꑏHR|&iQIF"Vpx%RsKz=^XR[,\!Cy^URM㍟6jʨ&YdNĊfʵ`bWo=ܲN%ln'_oN%p{ oG"{AV]<ߋ$K_ygKFF%/V%lWocOފ""(@Xif ;x9K=G?ՋP5gLt|B#-JP.ԠEѮP@:>@kbd>]H55~H%)G"v?ݎ a&lbȠ%o/Y5FY] dp"^$n}BOt[ H }O)L8RVSMD"S_VEpHgS'rϤTM ڠSmW$6"$`[Nhq$fOk bC;?BnU| i#+ R#VS*>}bii V6LqSȧDl,$Hn-blo"fk 6!$JT'K-E uXG؈nJVuFWf8f hEw7'aP@! ,+F H*\ȰC֬=Hŋ3jǏ CNVȓ(S|q˗0A͛ UϘ;wJk:9]ʴΝJJz0)իX ^ deVJv(+VppVedx9 WߕV*NvɊVhA/Wp8]oWl]xqׁT8zsƳ~-%snN]]gk_O۵rPX6_a` ܑ] `zIer@=(bqiWq+ Ȉ8f}tօuyv;6[U`9EEn_췝5 嘶 H!z+"O# R<Ѧ%m{)h RکW#yܠiEga^"qB&vwDWd#~ IPeY񈣮>]ɂ e vm,ukPkk"젖.uymW*dE ح)ڱrӷ&kqU.^;hĕPmm{0LV@ q/$Jkq{ȯ?ꤳuhZWl Lt&);k(:tC;4or+q^": fd Ǜaz|-֊ylp~"kw5Ȯyߺwߘ1g638pϙv!f7gWhAt)x3~#φ-ȻUY\f_wzذٟRϻ* y L lпZmž0Pkȷ!-Nkxh2-1:ٴd5ճul dg+ w d fYEFC8K*ER~ِ&QwLna^Q^<]ysEzVkf`k\W.Mڰ #p'4R&=)9k #1[Z$5IJN7g6>?] }ϔEqP`M) B0drhnRг5 ]{JR)]L`D|f0G#^2Dh;sS4rAaT%~U|Z`4DhDh6Q3: 覉ZgS{Ä> #yƜU.߄qLҖ`8Fhs*`4F(HBx)duscD&ɴv+%V&Jq|cV)':Eg,s;CtJ Upgs 4SOΨ:6ޛyb;s yؙ5~ND>_~ިaG/},C:-_1YS 6\X-#qTC‚1\V @0'urƲ.O|;A@ 7FNE !DlH ?k0=kvNKΰH9+ Y*8 jviR )Faq1FP{ DlI,ˢn"vQC^"e=VGH1>9Qb1K0FdR>%KEq4^IRB4||dʫQ^m%u2O *siEźQ(CIrLQ 3 e5ӏTG%O`ɉY2fnfុzM%+sײX.O`/<782uh 48DGH/ Q@T Q2⩜h"snxE HCdGNTaɬ4VBPO()+)ZB ͧV JAbIg%7=61KltՎ_\x)Ȓ\d?6`5> mb}..i'd;]IENDB``!qE37`|n?2qep?Exڬԗ.<7)]%!) R H J#"!3]s^_z{5aLg# O(t%!GQ7q''x>8;hDfO8___W[#XS<ӹ 89[T7P>D%X/[4^lQ\ڀGjw.8&pOz~i?H])xAR{ĵRI}.+23LN%?pbqgyRrXq>mxR:cd(ZZk_V/K{0Ж5񗬎I'唾)Ǐ,nJ'_ .53eŇyo~j܄r}Fd74R'OM=KeN>byȊp&? #!_K5Ef`OMVm[]֪To\>.'9pClޅXVdGo \k'gMX ܅Cxv؏X؋K,cb4R?NȎLbyIV8wڎK&~߁ټF&#;}&:#;x..s8첕31B#C%%I]4qQqq1ؽ "KmFl8^%"})IM D]e CP(Ww;+Bn7w+<8OQq=O<jG\rɩmQ7LFy"hH9#7րwcZ8Nm:.0201&}DO0 LCX01L,s^$P+s2 ŕT.sQ mC]x NbvL $φ UIJRLT5|*7ke_ ,?Pz8/|3npķ<VnWZn:A0{}Q/:%nġL{XE4@/wzJKy#M`ԨϭoV<f9:2pQwe;Xk`I2pwZX.kY%'@<|)GQCx)Ź$G#jq1i0q{z|S1|bԊWA\r௃TZe}q G Kלo| llwX1MnZ q=GvwY_3q?0qps+Kg96*џ:MKй*Th?zP2p~xn~LA0LɈ2 LD0-&VM\K΢j*K*I\BIIEX#X~ M[`-2g\W<+74(7j1_,<>7e(A}Muk'vL #x߸1\kiD=I b.py߿ecΏ8d|#'t6^J?roF9i߱Ѽq"OP'^]XG"KxjA_G'&f`b9G씔\!!;fb=S d$%@# ]F ZTB>y$!}W"6nH4oVRZ-%(O2_s8uUπŇ XFs=vx3׀+k.Ρ?gaO+t_vD{Hv>迲e -oXi}G쿱Ql9|G~m7?_q]z_ ׋-| >QCoRϳ~kUhD3|zMh&]s>ZhbN(}}yXY'1:ه?XnfҔUcǶ>C}4Ugq (c׫FXSX/tɚ@:OuIX}2(hZ`!,UQ_هZk`,:GTUBD?X 3HD>uY" &f`2lY ne`ְtG4~| +Xu/j +|jX6,}MX, X +={ªu[}E݄̰ boψ &nXD}|tt1{ā&DHyXCo-[?~EߖfK`>6v .Z'GJR#3!eK!ZrWWih-|Vc XҐ`կ0]WTo6Z-9, {<;=t_þid{;%dðV ;vʟ3K1ӡ_{mgckmifn%?䐽A.X8a%7Zi *IfZjjEjv:Lt5n!*)T@<GVv}.:(cgA1-r4[r4IJ%M76InT9g3-+dmM[6I Oo*)ݖvN~QFM ɋAf 9x=VyU Ou3=9tLFNN D|I Mb,1-lܴErޖ1[+ge_ز49kwCf9}oq4*TW SiK'xDt) J -*z$ }ҁ~z^K*Z*f;o+7hq6r%tɞA {^KE156tx mFQI_W5@'|,҆vKhS䥵^~@^ACKvEBأ?h|<5v$D4>%ьҚTH":Rb tz*tqR@m%#$Ihiv#;w 57)=nCFٓ4d=YoCه(@DlRà4sY{YK~uN@Kr|9,>m+kh5LeHŧ/)Šrp:`=i6J*a(mXJG: ұ3KkG]5!{+W,n4bh3\.I5; E!Qm<өrRZ.tRBIR/d!NFD [, $زG^bR1taMGUh`f h E ڻFj)}wc%`jYϖ|;©t"QUtm[`Z_kiI8E}biJK{Tt:sL) }AQ~oUhf6Jbh(@d+Χ:koڠMh~E4(Z[M=a%teTZmg2ȑy)BAb9&ctI2!E"? ~R/ $[r/ Gu}Kg5t0hҚ-lADKdA5 40Á/Ľ `E n[\DD % ZR` 4- ^s_.$86RgI;L]$ڕKѶڔ'hu1u>ɢ #jWAfBZg#舵F|KGq(1M:~׾tT[Zknq5T׭jt^6EoQնjw6;# y񮮓JVR Γ:WR`/Wele2G~AՒrX*EQ/)ugPD uR0PeWndTA l<0ql07X{,!MfDكT((Ff8N=4%8LGt!C>:" vRgJUjp<ͅ 72B5-N$05V$Z Y9HJ{ZxCe%Gi["z.>+同I.IMFRJd$yO/נ&!+Cm<݂Vl`(0 , V̖AjA=iZLG4xǿegA`xG@ͬnysy7VS|U@lxeh"2wVYv:mq螽`i "x6Gfnj,7էd֐Y] *^tX #u vVG;XYk^i>-&L*,ԓ2TIs= fILl?0EQEyCDixI"@%(2+o1@*.d䍈TfSE;mIWDE{j)h1hbeFG>/K)ka_"?k :n'&յz ^'6H&ܪ"^kad"irFzK5E)XN5^?PiO"'o;2[`ZL*It̓j\r#n+ˠ^ `nF] A&^AACYSlSlSq6F8_6YnAjnTAgZCwA.o=1?0_.SuIMw8N0ݤz9Zǐ'n<]2s zJqq[#/?o?l7; ~4iޖ9-fsSJˋ %eB6HG3{mB? u.Q:qj]1BY9%רXkD*OIC}0{WB,g塜'/QkhTθSGiqɬƓjAg#\{)A2A}f#n`b+jm`"X 7?G~Is*} (tN e0>-Ff[GB#1u=ب ؔ 6Ѳm `]"sJq+ r~OpSOaj?Nf臶6 v Pr$NuژN#O/1&Fwk֞3kCq%S KZ%Ȏy۩G]auM6\YOnL8U!_j]c!x:e"4ӷW.#wj@,$fxDWۢ{z=}#xG$[9AI4P02V»?%{-^SI\;rPsL/G¬H욁+hd>h.:[7/Ƞ0EXDf,-5Vw?6~m\C si-_bO8crC$S)kw[W/˫1|U;i%?DkMmj3'>Uob|'{7.uѮvU-+a]NS̘9f\#$ҝڌb&]eyA@P9^>7h1?TdVV+ "W$Emh'7ڵᮆqeo\&.=vE':wh^A y%LKqiMڂӁ:&WDdA h%.^r5}6=},]s\߫%-_had0%%, MղsÔRYdϞsDt?|EgQ۠mK4Zj5{VV+^aV{rqtGUDT5/K~f%]9?^q/%a/M]1wlǃ\ᄡb.?Ds1 <:Vd //TXb8,ы7jK捹6@;mǸ:~& ڗqbjtH߸:C>s[K[:,_єT~'pZS G|BΞBkvmy+j\kXIet-bz"w]D9\Q#^ߘx@mi˝+3ǽ:~1sZDaGBc!'ں:]u-P%xvƆO4?1T߻h Km'vdz#74DT.w͹dC|^!] Ḱ%&Rd:Aړ{ݴ7\M c/AˆΨ8q`ɮnqkP?Ke[ȶ4[u9j\TXr [KZ5MGU:xl*7^KY?2;zԓ-s4%`;7 l7['5:Q8;:=ҙvy ,ys ITCd]YKJZ TQ5 ,+'#=(oLvC8C] 2 ȏofd]x?'p:|7 ˌ ZDd%w]=ˏkغ6շXGq ,' kJxT ./8fcQH\ 2c  D*`W5»-y- mq IZ)L4tA {l;W}P{:o\!ǵ3wz{xN8>- }q*ϧ_ۏqA܇;~tEwMu'?ݐf/$>Om^Ѫ@ifG[ɹzK9_98uy8ap ^ 3q % q 6>=u08f;1"i9Lm0d,QU}A ѳM@݄;|F˵hVC.2X4j1,E޺{k73:YiVڂ6jO^G"M{0W>z*j.q9Ԛ1ird">:OìӃ** ֚\Jm$CLҮ2~BZ]&'٠ezGkYNWi,N͢3ZSk36:Fn=]uV=ZNOi)oF|rkF˥-ZDzkk-ۗ@nUZ j!+Y&J+[9}VՋZKkݦMu-dXii/Dm3򐬨/!]:E.WrLI$m8^kN:Tho٦ePj-UeVrIea믥V4M J-14tHSĒVKF+Y4dxII*܋BZXWq13r8-ڝ7Y h5.Qr - GbÁȋ|1QNZfZUk_+jeM.86ښimwN&PDzoe$xw\bXwg_A~$0}>2i, b ХX``'i>x&QZaxfy {LC/&M<0.: z1 f"ƶļ5D=El,ŵ-}a],WrRL+IQ:E֍>Oy ]]O7MW94tDo~d=viFWi2^i0d%菾tj ެB;!Ξ0}>|kJtIеƷǎJ ۋNxD~#8fqĵ9:]p>Tb`ijuvK>&@ k)c,RˬcKpכ~;P 6S?@]V&T~ o1vm[V9?Y bE#kDl%@IA{.hS<8( \8H::'ca2ܠpoy2EŚ4xHقwT.Fb*} hh0.k.mh\@풏gg}J;!՗ ;6w ix'Y?i KB~U3(Ǧ.V[[Z_6ӗ? g-} XŸ-.>ΚE¬Y]e-/b |18KX"h}-šm}\#YͿϴ=7>[ >NUij{_[\К>VqGٗt5Zc4<]]A}r}]zҥ.wtKmqe.v˫]!<[Lo}o\eWC#:df>y} - k9_@@:6Ƶ_Ҟ-@`0uk}\B4: 4 KEQS{$E'O%/ϑ[g@~@5XTht]$㑸6c{% 8^Ud?ܟD3"#WiB'D>4jT*iZ%LӴԍqcœcr\Ey#a zii2n1MG.p1 r2M۴kHB)|qT_۰}C;|v´~{q{7[ 䆮umkU\eJrK \%.&qs?)pR"⸉u.s{[\ns1חO_sx<@ 8=JBiuȮ0Ew(=PJҹ՝)w\.CL\ʮWw[ד[aMNnp8Oӧ:\h{.ְ@3hd k4\\o$wmJ(-[m3֊β,[<5Io]Q{( 9{HSZ=ĭznt#J]c*SQ 4;)3[:wRm$n%v .tR\xK"a͎et-[n96NY>w VE\J~M\3jڸu]u]^}‚ vE#Q5'o'n#q- 9Oi|srx_߻bЕ *E]Zb t]x*tו繎̵ 9W rLSԜ' >7W߅i*8׋'<$'7|ՍnG8=7<w}x4|oC os,w%]nq?wg?~ D } T#$%,|}b[?9v@.,|!TTFC.tMGUS zewiWZҋs5~sUr@Ƨ#ƹ2=XGr=pwmoJR]2ߤ"%K+VzS˟>8kEigkRߐx?')X~K^alsd \ G9m.u5g.>hzY96s,uszϞ(" ߌou&ط{+^I=>Mf hO/qamkU_V*}su>s}77R)n.t?t̮vv(GGccwn&v7L^N{}h_srȥ/|fu4HWfgk Fr5\oin7HZ:np㴓(7 n΂3B/?fnt3TR(rO}̝kk #PmwI"-)4RbI5.)Ϥ$EA P8MS,I& I]9 "= ^nOBwlOp~ ں࡭ت-wڒ -"Ѣ ! 2ܠJ0hLK."Jk!XJ?hWhpN|_ 5ŗV/_٠  A柂A6+ (s<%Xc]<<8y@(nP 2QA^7!( A#2aU)Vjo­E>\~Tϯq&aFhW{ 8>ș|qc]e0 .0UdrNbiikHv>:{6:[i*ߥI_>+\)DzbCT?1~/0J |pMs٣܌9eΩ<^4ݲK=?hA7\nBny a{Nv"p2lQ:Gc͝bm2ev$m>V3?D\/?ζ,<ΘOBʪRlJqf0Vq9MXKMUyԌfvIJ >Q͕PX*V Q-pVpAe h:?Zh:h4i fц:ՋTմϰ_=GUzoVa5Uک7S-VbhxQ-HhI;x/0kһQXQj(B_hM.BzLuvՑvZ,d\.Ee7np=(QzMⵕG5Y 5UhfTOPW;'|sJt,BoykdEfxe2ɫV}$#Pfxzm4{@h4Db(^&{!f:&O4onU2ZnZ7_L)[dPNG  IHDR@@PLTE #/954 =)))>;9;M"8D&EW7MY&Og*[v>Ua-`|6b{CA E HH NDR R U!^'J.7I19M82Y++V:7c#j#o+d99{+*v00C9IJA`8`,;u-k3uB"1 LFν(vL>{] q{\cKZ0^[r*‹Vm592x^2ʰSYR!HO,n;kR!in+6?{ɄPETK}TvOH&ʫo%w ,P&mŒ\ڦQ8F,c06>n2!@̀+Оْ+78i9< GURh[,JYd(HBC 8 > &qB L; =o|cR,Fz"1_SW"SP0L@ÀT$Sh]0A( ˿L0[4=0C^,: = ;. -&Q)0 "-HЃ >$ RJT!SXxymfSA2*|'])NhMXd'mo{k)@ݖj.=tnIj]fk_!F{wIT_qpMf [6A jPr7dhgS@;h7^:[Fow|sCSFIENDB`n UCS= a#+jPNG  IHDR@@PLTE!)!19!9)!!!))99!!!)!!)))9))))1)99111999BBRZBBJckks{{{J)B!!R!!R))B99s!!k99{99ZJBBBBRRZZRR!JJ9ZZccss!cc1{{JBBBJJRBBRRRZRRsJJkRRcZZsRkJkkccckcckkk{cc{ck{k{{{{!!!))))))1199))))991111!!))!!))1199!!!!))!!!!))))999999RBBJJJJBBZZRRJJcckssscckkBBBBBBJJZZRRBBBBRRRRZZcckkkkss{{s{{1Δ甔ޜ~E~tRNSS%bKGDH cmPPJCmp0712HsPIDATXG_SUǏc0ژ[[la*da–$.s_bw~Y-46-r]#AandmaF߳s7P^|^{y<܋O)@r&PD3u`e+XT-Y"+tV?yxlK#ZMeD"!sK.|H,8H(DhOJ1M4Zyaz& ǴxwnB>wr4vt0-@5b,Ƈq8HwOR8a,RјlD;c1Xh4UN̋F]0  9F;ع9tZ47Wx\ QZ6ݻ| 8|p5u(} rj][KMY38 B`(Rwv`o?, MfeJYA0!3a<<phl VulN|iCo.;?` iNi@`C+$⪣~r֯^W-Ki+}VǎSŲ+>q n5RX I% K,mH~xćM+e 2YqD_8g!B\6Y H"q|硽Ig˃Ɔz%'vxjs2EPd,*@Doy lY[q} b++GNs W3\mo",N"ㅘa~'OepC5:rBJ6E:,Uqk`ݻ@÷;B^׋>(Xƫ΅|QE#c#x@%{2*Kmfq\4,'Ԗun-te{$4oV1 $" rI{F\N.Ws;#%{nAǘjc, R:s>gd_#HR@I,=qw UK1`lH!'*s.EP1_RAAA@ >5W_SQv1 (zj(]{Z>B"XwnlZRgePS,~>m2&#Mh,rhd,䭸ZeR$o(Y3{Ѣr\A)4Vj< } +[&őb̭zM c@RT_eCHڵ]Yggd@&5{LJxLi|>㟺O̙4&ǕIENDB`n Һ8BzPNG  IHDR@@PLTE   ' -"%-07#06#%%%*** .1%36"5;$8=);?444<<< G/BL3HM5KPIJ! E%D)Z1@==^,,P6(Z6"s15 t;e;$i=%lB+uA%rD*zE)|K/AAADAAEEEHFEJHGJJJOPPIW[NX[PNNRRRUWYUXYXVVYXXY[\\ZZ^^^B^dV^a^df`^^b`_ma[cccghijjjinpkqrnvxoxztttwxy{{{  $!*%".'---1164;5<:D>L9A@O@J@QAPLeMhQmY|mcnmgy~ikn{z]ńh˖k͚jәrѪrܣxݧ{׸:DR8T7W8O'V.V3X6Y9_=[2a;c;gTlX`DdHnZ{le@iCy[sJ``egle{pŗ~䴅уËً̖֘ӔؗвݠݾǺBXdtRNSS%bKGDH cmPPJCmp0712Hs!IDATXGytUGbnU̸}cEip ZP(7\P7XhjjTIE1qi+jT{$#pI$7߽Me+|e\[P40a}OZ昃ub~ܜ|24ddl:5-@0E4~ ގlJbCwuw"jD^rwLt-OQ~aq5\V4$)A㝓\v3'#E ^\?wټ}Ɵ2$HC[ZQ|=f Us/`b'(_~0$M-W.dY;nq@~88ᅹqD&W-Ӱ ԺOmG3n}eήY a(佈q Ȳs~T~8EޗY/A/' 3Z0+Jo~%(gv-A0^vol@??O']6F:;D^[2!)؍!yۮgԡ!P pgȉGkgf,@_ P̜zan7A; @ Lh;+@Xät@Lv~J C NH`J_ pQAAtgU`hhVq0I^/ a>5%{`V+d4WbtY'pS"4]cH 򲪀=e @)? E0 lah[Q`T8Zq΂! cb(f&W1a(Ֆyhوyd$1 #YɤV{rF: o)=t#äM` _!H-!ɡ+jU@ }9,-xhG P } @92E#КH,Cn$ȢI|Gz#° N$Ĭ<0KP"J?Y{4D;KijP15|уiQ/luYa=hAzOʶ\@v?kYIENDB`X5( / 0LDArial\S 0\0`z| 0|@ .  @n?" dd@  @@`` 1]' : 1    !"#<%&m'(>);,;-./0b$x୭ )͙b$namsdܘV)$2$37`|n?yEH=b$7_L)[db$$$$b$UCS= a#+j #b$Һ8Bz  0AA`̙3@wʚ;ʚ;g4KdKd 0pppp@ <4ddddk 0>\`Y{ff` R>&- {p_/̴>?" dd@$|?" dd@   " @ ` n?" dd@   @@``PR    @ ` ` p>> |t  (    6ؼ  `  FClick to add title   0 M `  RClick to edit Master text styles Second level Third level Fourth level Fifth level!     S  0t  Z  >*   0    @*   0x `  @* x  <A?#"  p  <"tP DRC DSIG / SBVRfB   0D>"'YH  0޽h ? 3380___PPT10.-9k Default Design 0 zr0  (     0 P    P*    01     R*  d  c $ ?    05  0  RClick to edit Master text styles Second level Third level Fourth level Fifth level!     S  6; _P   P*    6@ _   R*  H  0޽h ? 3380___PPT10.-902p 0  (  r  S (r   r  S & ` v  `  C *AS-beaver"9 H  0޽h ? 33___PPT10i.-9 hk+D=' = @B +}  0 @$(  r  S } `   r  S ~M `  H  0޽h ? 33___PPT10i.09 +D=' = @B +}  0 p$(  r  S v `   r  S wM `  H  0޽h ? 33___PPT10i.A9pa4+D=' = @B +  0 +#P#9(    6T"`g~ o GDecision Support Tool^ & 6l# r  S | `   R  C *Aj0292020WlH   C A car2 J  C "A  man1/N  C &Awoman1/x  <) 8Customer    <| 8Employee    0N GBusiness Policy Maker b  <Ԥ Y *(  <` F  ; Customers     < F  ; Employees     <xF 6Cars   6H"`  ; Fact Base     6 "` DOrganization Rules  # 6"` ')f  W%Procedures for people in the business&& dB $ <DjJ# & ' 0 t > applies to    ( <"` g~ v HAutomated Rules System^ ) 6 #  * 6"`F 9  ADatabase Schema  + 6 "`F 9  :IT Rules   dB , <DjJU # V  - 0hu 0  > applies to   dB . <D1ZZE dB / <D1] ] E dB 0@ <D1* ^2 3 6& RB 4 s *DjJgLB 5 c $D LB 6 c $DV  V dB 8 <D1 F  9 <% W@   LTransformations / mappings H  0޽h ? 33___PPT10i.09@;+D=' = @B +$  0 $(  r  S  `   r  S <M `  H  0޽h ? 3380___PPT10.;   0   0$9 (  $ $ <""`0  GDecision Support Toolx $ c $" `  "  $ <0""` 0 v HAutomated Rules SystemdB $ <D1  $ 0t*"z   nTransformations/mappings  outside the scope of the RIF88  %$ <8"0  < RIF Client   &$ <1"}0  < RIF Server   '$ <5" 0  < RIF Client   ($ <9" 0 v < RIF Server  dB )$ <DjJm tmdB *$@ <DjJ  dB +$ <DjJ2 2dB ,$ <DjJ  2 $$ < >"/ 3RIFXB -$ 0Do0 0 Y .$ 0B" 0 &  FThe RIF stops here /$ <F" & ; Org Rules  0$ <lK"V   :IT Rules H $ 0޽h ? 33___PPT10i.09@;+D=' = @B +  0 %%5:^%(  X  0 :  6T""`9 g *  BU"1"`z ,$@  0 FRegulated Enterprise  0h[""`]'  CDomain Consultantx  c $\"'g  "   60_""`X  > IT Solutions     6$c""`W IInterpreted Regulations   6f""`_,$@   0 3S   6j""` ' ; Regulator  vB  NDjJ  B  c $DW,$@   0B  c $D W ,$@  0  0o""` F ,$@  0 > Corporate HQ  B  c $D ,$@  0B  c $D ,$@  0  6t""` Q ,$@  0 > IT Solutions     6x""` P ,$@  0 IInterpreted Regulations RB  s *Do  0H}""`FF ,$@  0 COperating CompanyB  c $DF,$D  0B  c $D F ,$D  0  6H""`w ,$D   0 > IT Solutions     6""`v,$@  0 IInterpreted Regulations B  s *Do  ,$@  0B  s *Do  ,$@   0B  <DjJ c,$@  0  6""`  ,$@  0 ILocal Domain Consultant  6""`9 O ,,$@  0 IInterpreted Regulations   6P""`9 V,,$D   0 > IT Solutions   B  c $D 9 ,$@$  0B  c $D 9 ,$@%  0B ! <DjJ ) ,$D'  0B " <DjJ2&c2,$@#  0B #@ s *DjJ2 &) ,$@"  0x $ 0C"?S p B % <DjJ c ,$@  0B & NDjJIg I,$@  0 ' 6""`= _,$@  0 3C  ( 6p""`%  ,$@  0 3S  ) 6""`% = ,$@  0 3C B * <DjJ = ,$@  0 + 6""` _,$@  0 3S  , 6""`% ,$@  0 3S  - 6,J""`cF_,$@  0 3C  . 6h""`% cF ,$@  0 3C  / 6""`) 2  ,$@!  0 3S  0 6""`) cF ,$@&  0 3S  1 6 ""`e fI 3S  2 6""`fIX 3C  3 0"8 I2 : RIF Server   4 0"vIp : RIF Client  B 5 <DjJ=,$@   0H  0޽h ? 33_____PPT10`_.09@;+DZ' = @B DZ' = @BA?%,( < +O%,( < +D:' =%(D' =%(DD' =A@BBBB0B%(D' =1:Bvisible*o3>+B#style.visibility<*%(D' =-s6Bwipe(left)*<3<*DD' =A@BBBB0B%(D' =1:Bvisible*o3>+B#style.visibility<*%(D' =-s6Bwipe(left)*<3<*DD' =A@BBBB0B%(D' =1:Bvisible*o3>+B#style.visibility<*%(D' =-s6Bwipe(left)*<3<*D7' =4@BBBB%(D' =1:Bvisible*o3>+B#style.visibility<*%(D' =-s6Bwipe(left)*<3<*DD' =A@BBBB0B%(D' =1:Bvisible*o3>+B#style.visibility<*%(D' =-s6Bwipe(left)*<3<*DD' =A@BBBB0B%(D' =1:Bvisible*o3>+B#style.visibility<*%(D' =-s6Bwipe(left)*<3<*DD' =A@BBBB0B%(D' =1:Bvisible*o3>+B#style.visibility<*%(D' =-s6Bwipe(left)*<3<*D7' =4@BBBB%(D' =1:Bvisible*o3>+B#style.visibility<*%(D' =-s6Bwipe(left)*<3<*DD' =A@BBBB0B%(D' =1:Bvisible*o3>+B#style.visibility<*%(D' =-s6Bwipe(left)*<3<*D' =%(D' =%(D7' =4@BBBB%(D' =1:Bvisible*o3>+B#style.visibility<* %(D' =-s6Bwipe(left)*<3<* DD' =A@BBBB0B%(D' =1:Bvisible*o3>+B#style.visibility<* %(D' =-s6Bwipe(left)*<3<* D7' =4@BBBB%(D' =1:Bvisible*o3>+B#style.visibility<*5%(D' =-s6Bwipe(left)*<3<*5DD' =A@BBBB0B%(D' =1:Bvisible*o3>+B#style.visibility<*'%(D' =-s6Bwipe(left)*<3<*'D7' =4@BBBB%(D' =1:Bvisible*o3>+B#style.visibility<*%(D' =-s6Bwipe(left)*<3<*DD' =A@BBBB0B%(D' =1:Bvisible*o3>+B#style.visibility<*+%(D' =-s6Bwipe(left)*<3<*+D7' =4@BBBB%(D' =1:Bvisible*o3>+B#style.visibility<*%(D' =-s6Bwipe(left)*<3<*DD' =A@BBBB0B%(D' =1:Bvisible*o3>+B#style.visibility<*-%(D' =-s6Bwipe(left)*<3<*-D7' =4@BBBB%(D' =1:Bvisible*o3>+B#style.visibility<*%(D' =-s6Bwipe(left)*<3<*D' =%(D' =%(D7' =4@BBBB%(D' =1:Bvisible*o3>+B#style.visibility<* %(D' =-s6Bwipe(left)*<3<* DD' =A@BBBB0B%(D' =1:Bvisible*o3>+B#style.visibility<*(%(D' =-s6Bwipe(left)*<3<*(D7' =4@BBBB%(D' =1:Bvisible*o3>+B#style.visibility<**%(D' =-s6Bwipe(left)*<3<**DD' =A@BBBB0B%(D' =1:Bvisible*o3>+B#style.visibility<*)%(D' =-s6Bwipe(left)*<3<*)D7' =4@BBBB%(D' =1:Bvisible*o3>+B#style.visibility<*%(D' =-s6Bwipe(left)*<3<*DD' =A@BBBB0B%(D' =1:Bvisible*o3>+B#style.visibility<*,%(D' =-s6Bwipe(left)*<3<*,D7' =4@BBBB%(D' =1:Bvisible*o3>+B#style.visibility<*%%(D' =-s6Bwipe(left)*<3<*%DD' =A@BBBB0B%(D' =1:Bvisible*o3>+B#style.visibility<*.%(D' =-s6Bwipe(left)*<3<*.D7' =4@BBBB%(D' =1:Bvisible*o3>+B#style.visibility<*%(D' =-s6Bwipe(left)*<3<*D ' =%(Ds ' =%(D7' =4@BBBB%(D' =1:Bvisible*o3>+B#style.visibility<*&%(D' =-s6Bwipe(left)*<3<*&DD' =A@BBBB0B%(D' =1:Bvisible*o3>+B#style.visibility<*%(D' =-s6Bwipe(left)*<3<*DD' =A@BBBB0B%(D' =1:Bvisible*o3>+B#style.visibility<*%(D' =-s6Bwipe(left)*<3<*DD' =A@BBBB0B%(D' =1:Bvisible*o3>+B#style.visibility<*%(D' =-s6Bwipe(left)*<3<*D{' =%(D#' =%(DD' =A@BBBB0B%(D' =1:Bvisible*o3>+B#style.visibility<*/%(D' =-s6Bwipe(down)*<3<*/D7' =4@BBBB%(D' =1:Bvisible*o3>+B#style.visibility<*#%(D' =-s6Bwipe(down)*<3<*#D7' =4@BBBB%(D' =1:Bvisible*o3>+B#style.visibility<*"%(D' =-s6Bwipe(down)*<3<*"D7' =4@BBBB%(D' =1:Bvisible*o3>+B#style.visibility<*%(D' =-s6Bwipe(down)*<3<*D7' =4@BBBB%(D' =1:Bvisible*o3>+B#style.visibility<* %(D' =-s6Bwipe(down)*<3<* DD' =A@BBBB0B%(D' =1:Bvisible*o3>+B#style.visibility<*0%(D' =-s6Bwipe(down)*<3<*0D7' =4@BBBB%(D' =1:Bvisible*o3>+B#style.visibility<*!%(D' =-s6Bwipe(down)*<3<*!+`+0+0 ++0+ 0 ++0+0 ++0+0 ++0+0 ++0+0 ++0+0 ++0+0 ++0+0 ++0+0 ++0+0 ++0+'0 ++0+(0 ++0+)0 ++0++0 ++0+,0 ++0+-0 ++0+.0 ++0+/0 ++0+00 +Y6  0 $$`:l#(  X e 0 : T 6$"`9 g * H B$1"`z  FRegulated Enterprise  0$"`]'  CDomain Consultantx  c $$ `  $   6"$"`X  > IT Solutions     6&$"`W IInterpreted Regulations  % 6*$"`_ 3S  & 6.$"` ' ; Regulator  vB ' NDjJ  LB ( c $DWLB ) c $D W  * 0h2$"` F  > Corporate HQ  LB / c $D LB 0 c $D  + 67$"` Q  > IT Solutions    , 6;$"` P  IInterpreted Regulations RB 4 s *Do 9 0@$"`FF  COperating CompanyLB : c $DFLB ; c $D F  < 6D$"`w  > IT Solutions    = 6tH$"`v IInterpreted Regulations RB B s *Do  RB C s *Do  dB F <DjJ c I 6M$"`   ILocal Domain Consultant J 6Q$"`9 O , IInterpreted Regulations  K 6lP$"`9 V, > IT Solutions   LB N c $D 9 LB O c $D 9 dB P <DjJ ) dB Q <DjJ2&c2RB R@ s *DjJ2 &) x S 0C"?S p dB G <DjJ c vB U NDjJIg I W 6@[$"`= _ 3C  X 6_$"`%   3S  Y 6Tc$"`% =  3C dB Z <DjJ =  [ 6g$"` _ 3S  \ 6k$"`%  3S  ] 64o$"`cF_ 3C  ^ 6$s$"`% cF  3C  _ 6v$"`) 2   3S  ` 60z$"`) cF  3S  a 6}$"`e fI 3S  b 6$"`fIX 3C  c 0$8 I2 : RIF Server   d 00$vIp : RIF Client  dB g <DjJ=; h B$GHc "`gm,$D  0 3Each rental must be insured for 3rd-party liability84!   P i BX$GVHc "`z3 @,$D  0 >3rd-party liability insurance must be built into rental chargeB?  ;  * j H̘$G_RH "`c 7) ,$D  0 p:Rule set for electronic signatures for insurance schedules;; - k H$G9H  "` c ,$D  0 s=National rule set for tax calculation on aggregated insurance>> 7 l H$G_RH' "` q9 ,$D  0 }GNational rule set for spreading insurance risk across multiple insurersHH H  0޽h ?_Phijkl 33RJ___PPT10*.09@;+ь(D' = @B D' = @BA?%,( < +O%,( < +D' =%(D' =%(DD' =A@BBBB0B%(D' =1:Bvisible*o3>+B#style.visibility<*h%(D' =-s6Bwipe(down)*<3<*hD' =%(D' =%(DD' =A@BBBB0B%(D' =1:Bvisible*o3>+B#style.visibility<*i%(D' =-s6Bwipe(down)*<3<*iD' =%(D' =%(D@' =A@BBBB0B%(D' =1:Bvisible*o3>+B#style.visibility<*j%(D' =-o6Bwipe(up)*<3<*jD' =%(D' =%(D@' =A@BBBB0B%(D' =1:Bvisible*o3>+B#style.visibility<*l%(D' =-o6Bwipe(up)*<3<*lD' =%(D' =%(D@' =A@BBBB0B%(D' =1:Bvisible*o3>+B#style.visibility<*k%(D' =-o6Bwipe(up)*<3<*k++0+h0 ++0+i0 ++0+j0 ++0+k0 ++0+l0 +#  0 ia%=(  X  0 :  6$"`9 g *  B$1"`z  FRegulated Enterprise  0$"`]'  CDomain Consultantx  c $$ `  $   6$"`W IInterpreted Regulations   6 $"`_ 3C   6D$"` ' ; Regulator  vB  NDjJ  LB  c $DW  0$"` F  > Corporate HQ  LB  c $D   6$"` P  IInterpreted Regulations   0$"`FF  COperating CompanyLB  c $DF  6X$"`v IInterpreted Regulations RB  s *Do  dB @ <DjJ c  6$"`   ILocal Domain Consultant  6,$"`9 O , IInterpreted Regulations LB  c $D 9 ^B " 6DjJ2&c2dB #@ <DjJ2 &) vB & NDjJIg I ' 6$"`= _ 3S  + 6$"` _ 3C  - 6$"`cF_ 3S  / 6$"`) 2   3C  1 6l$"`e fI 3S  2 6$"`fIX 3C  3 0%8 I2 : RIF Server   4 0%vIp : RIF Client  dB 5@ <DjJ=P ; H0 %G H "`@,$D  0 VRule to be approved  corporate-wide impact$,+  R < H %G H "`w n,$D  0 XRule to be considered  industry-wide impact$-,  p = H%GH "`I ,$D  0 vRule to be considered  industry-wide impact within country$<;  H  0޽h ??0;<= 33  ___PPT10 .09@;+` D ' = @B D ' = @BA?%,( < +O%,( < +D' =%(D' =%(DD' =A@BBBB0B%(D' =1:Bvisible*o3>+B#style.visibility<*;%(D' =-s6Bwipe(down)*<3<*;D' =%(D' =%(D@' =A@BBBB0B%(D' =1:Bvisible*o3>+B#style.visibility<*=%(D' =-o6Bwipe(up)*<3<*=D' =%(D' =%(DD' =A@BBBB0B%(D' =1:Bvisible*o3>+B#style.visibility<*<%(D' =-s6Bwipe(down)*<3<*<++0+;0 ++0+<0 ++0+=0 +  0 ,$(  ,r , S  `   r , S M <  H , 0޽h ? 33___PPT10i.F9 V+D=' = @B +  0 L0 (  x  c $0 `  0 x  c $+M < 0 X  H+G(H~ "`m-&  Restricts quantifiers to range over only individuals and those predicates (or functions) that are specified in the business domain (universe of discourse). H  0޽h ? 33___PPT10i.F9 V+D=' = @B +  0 0$;F(   & <#%1"`?   7RIF ! BL'%1"`FY 7RDB  <+%1"`  Y PRIF adopted fact base standard  Bl/%1"`?'xY 8SBVR  H3%1"`BH BConcepts & Facts r  S 5% `  %   08%"` f  MConcepts (boxes and lines).   6@<%"` * R Tables, columns and Foreign Keys!!   0H2%"`  [)Definitions and Structural Business Rules**   0C%"`Z  BActionable Rules   0>%"` JOperative Business Rules   0K%"`Y  DDefinitional Rules ^B " 6DZ^B # 6D Z ^B $ 6D   ' 0|P%"`  BActionable Rules  ( 0T%"`   DDefinitional Rules   <DY%U v <RDF?^B + 6D!F"RB , s *D  RB - s *D  RB . s *D   ^ / 6" P b  0 <f%1"`zF ;DS Tool 1 <j%Yl BHuman Procedures  2 0k%"`,O :IT Rules   dB 3 <D1Ogg`^B 5 6DF^B 6 6D )  7 <0t%'c &Simplified ExampledB 9 <DjJ  : <JF   @formulated using  ) 0\%"`*  ODB Triggers, Production Rules  * 0pa%"` )F  JDomains, Integrity Rules ^ ; 6`, H  0޽h ? 33___PPT10i.R9Œ+D=' = @B +}  0 0$(  0r 0 S y% `  % r 0 S Xz%M ` % H 0 0޽h ? 33___PPT10i.G9Pܧ+D=' = @B +}  0 4$(  4r 4 S % `  % r 4 S D%M ` % H 4 0޽h ? 33___PPT10i.G9(+D=' = @B +}   0 <$(  <r < S X% `  % r < S 0%M ` % H < 0޽h ? 33___PPT10i.I90r(+D=' = @B +}   0 @$(  @r @ S D% `  % r @ S %M ` % H @ 0޽h ? 33___PPT10i.J9P0+D=' = @B +}   0 8$(  8r 8 S ̧% `  % r 8 S %M ` % H 8 0޽h ? 33___PPT10i.H9p+D=' = @B +}   0 @P$(  Pr P S  % `  % r P S в%M ` % H P 0޽h ? 33___PPT10i.K9\+D=' = @B +}   0 0L$(  Lr L S  % `  % r L S %M ` % H L 0޽h ? 33___PPT10i.K9P>+D=' = @B +  0 PT(  TX T C      T S M  0    H T 0޽h ? 3380___PPT10.N9$  0 `X(  XX X C     % X S @%  0  %  H X 0޽h ? 3380___PPT10.N90/  0 p\(  \X \ C     * \ S x*  0  *  H \ 0޽h ? 3380___PPT10.N9"1  0 `(  `X ` C     * ` S H *  0  *  H ` 0޽h ? 3380___PPT10.N9 N  0 d(  dX d C     * d S *  0  *  H d 0޽h ? 3380___PPT10.N9 N  0 l(  lX l C     * l S ,*  0  *  H l 0޽h ? 3380___PPT10.N9PO  0 p(  pX p C     * p S *  0  *  H p 0޽h ? 3380___PPT10.N9R  0 t(  tX t C     * t S *  0  *  H t 0޽h ? 3380___PPT10.N90;T  0 x(  xX x C     * x S $*  0  *  H x 0޽h ? 3380___PPT10.N9U   0 |(  |X | C     * | S `**  0  *  H | 0޽h ? 3380___PPT10.N9U   0 (  X  C     *  S *  0  *  H  0޽h ? 3380___PPT10.N9pHW   0 (  X  C     *  S 5*  0  *  H  0޽h ? 3380___PPT10.N9pHW   0  (  X  C     *  S :*  0  *  H  0޽h ? 3380___PPT10.N9X  0 P(  X  C     *  S @*  0  *  H  0޽h ? 3380___PPT10.S9% 0 p((  ^  S     *  c $dF*  0  *  H  0޽h ? 3380___PPT10.N9 N 0 ((  ^  S     *  c $,L*  0  *  H  0޽h ? 3380___PPT10.N9 N 0 ((  ^  S     *  c $P*  0  *  H  0޽h ? 3380___PPT10.N9 N 0 ((  ^  S     +  c $&+  0  +  H  0޽h ? 3380___PPT10.N9POr@`5FIN&Ld gQnAqxsKvU{}X_s Ê׌';OcKwq-bSף*1*5( / 0LDArialS 00TTܖ 0ܖ@ .  @n?" dd@  Oh+'0T `h    ,Organization-oriented Rules: Design Goals John Hall John Hall45Microsoft Office PowerPoint@[(@Dh-9@`ƼD<GSg  )'    """)))UUUMMMBBB999|PP3f333f3333f3ffffff3f̙3ff333f333333333f33333333f33f3ff3f3f3f3333f33̙33333f333333f3333f3ffffff3f33ff3f3f3f3fff3ffffffffff3ffff̙fff3fffff3fff333f3f3ff3ff33f̙̙3̙ff̙̙̙3f̙3f333f3333f3ffffff3f̙3f3f3f333f3333f3ffffff3f̙3f3ffffffffff!___wwwff4'A x(xKʦ """)))UUUMMMBBB999|PP3f3333f333ff3fffff3f3f̙f3333f3333333333f3333333f3f33ff3f3f3f3333f3333333f3̙33333f333ff3ffffff3f33f3ff3f3f3ffff3fffffffff3fffffff3f̙ffff3ff333f3ff33fff33f3ff̙3f3f3333f333ff3fffff̙̙3̙f̙̙̙3f̙3f3f3333f333ff3fffff3f3f̙3ffffffffff!___wwwmmmCCDEDDDDEEEnDDEDEEEDEEEEFEEDnnDnEEEEEEEEEEnDnmEEDDEEEEEEEEmDEEEEDEEEEEEEnDoKDEEEEEEEEEnnnnEEEEEnCnEEDDDDnX07»»»¼⺺⑻␹⺻»»⼻␖»⼻⻐⺺⻺⺺⺻՜.+,0     On-screen ShowModel Systems ArialDefault Design*Organization-directed Rules: Design Goals DisclaimerOrganization-directed RulesBusiness RulesSBVR Business RuleRIF Interfaces Use Case Use CaseUse Case part 2 Design Goals Design GoalsRIF Interchange Fact baseReal things and IT artefacts EnforcementRules about rulesModal operators Rule setsSummary  Fonts UsedDesign Template Slide Titles!_㫦 0John HallJohn Hall  !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~      !"#d%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNcefghijklmnopqrstuvwxyz{|}~Root EntrydO)0=D<PicturesCurrent User;SummaryInformation($UPowerPoint Document(PDocumentSummaryInformation8P@@``  3]' : 1    !"#<%&m'(>);,;-.12b$x୭ )͙b$namsdܘV)$2$37`|n?yEH=b$7_L)[db$$$$b$UCS= a#+j #b$Һ8Bz  0AA`̙3@wʚ;ʚ;g4KdKd8 0ppp@ <4dddd k 0Tp <4BdBd l 0T80___PPT10 pp?-6W3C RIF WG Cannes, Feb 2006 ZUCR Design Goals: Organization-directed RulesO  =O+)Organization-directed Rules: Design Goals**IW3C RIF WG Cannes, 27 February 2006 Donald Chapin, John Hall, Said TabetJ ? DisclaimerThe presenters represent: The OMG s Regulatory Compliance Domain Special Interest Group (RC DSIG) The OMG s  Semantics of Business Vocabulary and Rules (SBVR) task force There are other OMG interests in the RIF, not addressed in this presentation6MMOrganization-directed RulesAre about real things in the business: Customers and employees are people, cars are the real cars rented to customers May be executed by people or by automated processes:  Car must not be handed over to a driver who appears intoxicated  Penalty charge must be applied to a rental if the car is returned late May be about the organization s information systems  Report of average emission levels by engine size must be produced quarterly for EU Directive 2001/81/EC 'POP5PP4PkPP'O54l  Business Rules(SBVR Business Rule:Start with concepts (definitions) and terms to express them: rental car: car that is owned by EU-Rent and is rentable rental, driver, & Associate them with fact types: rental has driver, car is assigned to rental Add an obligation or necessity: It is obligatory that each rental has driver Each rental must have driver Add qualifications and quantifications, where needed: Each rental must have at most 4 drivers =PKP P-P PJP6P)P= 3 3   3336  333RIF Interfaces$Use Case"Use Case%Use Case part 2  Design GoalsfInterchange all the kinds of rules used by organizations SBVR rule systems as an interchange target Business meaning is preserved in the interchange Rules about rules Adopted fact base standard Distinction between organization things and IT artefacts Restricted Higher Order Predicate Logic (Henkin semantics) Four modal operators - not modal logic Rule-setsZ9PnPP9\$=+ Design GoalsfInterchange all the kinds of rules used by organizations SBVR rule systems as an interchange target Business meaning is preserved in the interchange Rules about rules Adopted fact base standard Distinction between organization things and IT artefacts Restricted Higher Order Predicate Logic (Henkin semantics) Four modal operators - not modal logic Rule-setsZ9PnPP9\$=RIF Interchange  Fact baserBasis for rules: For structuring the meaning of the rules To interchange the fact base for all the target rules systems Concept definitions: Fundamental, e.g.  contract Categorization by specialization, e.g.  rental ,  one-way rental ,  round-trip rental Fact types: Binary, e.g.  rental has driver ,  rental car is assigned to rental Unary, e.g.  car is available ,  rental is open N-ary (perhaps indirectly), e.g.  car is moved on date from sending branch to receiving branch" Enriched by structural rules, e.g.: Necessary characteristic, e.g. for  round-trip rental, return branch must be pick-up branch Fact type cardinality constraint, e.g.  rental must have at most 4 drivers RDF?PgPPtP PP$PPPgt $      / Real things and IT artefactsOrganization rules are often about real-world things of interest to the business May include rules about IT systems Need metadata to distinguish   EnforcementRules for people may not always be obeyed  have to be enforced Need rules about rules  If a given rule is not obeyed, then the following penalty must be applied Drunk handover rule:  No car may be handed over to a driver who appears to be intoxicated  If the drunk handover rule is broken, then the employee responsible must be fired and reported to the police HZZPT Rules about rulesFor business operation, there is a more general need for rules about rules:  If smoking is prohibited in a company building, then  no smoking notices must be displayed in each language in common use in that building L Modal operatorsStructural rules (alethic): Necessity and possibility Operative rules (deontic): Obligation and permission Just these operators (and their negations), not full alethic/deontic logic`KK  Rule setsTraceability from: Influences on enterprise: regulation, competition, environment, workforce & Business decisions: goals, objectives, strategies, tactics, business policies & Relationships (conflicts, overlaps) at higher level than individual rules Cascade across distributed organizations  global, regional, national, local & Mapping to IT solutions<ZZZ SummaryBIt should not matter to the RIF that the  rules engine it talks to is a tool + a person The requirements for support of organization-directed rules in addition to fully-automated rules do not seem onerous The business benefits are large: Improve quality of automated rules systems - better fit with business intent Basis for semantic web business applications Important part of end-to-end audit trail for compliance */     !#&',  0 ,$(  ,r , S &< `  < r , S `'<M < < H , 0޽h ? 33___PPT10i.F9 V+D=' ^ = @B +  0 (  x  c $x^  `  ^  x  c $^ M < ^  X  H^ G]=H "`m-&  Restricts quantifiers to range over only individuals and those predicates (or functions) that are specified in the business domain (universe of discourse). H  0޽h ? 33___PPT10i.F9 V+D=' ^ = @B + 0  ((  ^  S     ^   c $^   0  ^   H  0޽h ? 3380___PPT10.N9POrϦ + ,1 ՜.+,0     On-screen ShowModel Systems ArialDefault Design*Organization-directed Rules: Design Goals DisclaimerOrganization-directed RulesBusiness RulesSBVR Business RuleRIF Interfaces Use Case Use CaseUse Case part 2 Design Goals Design GoalsRIF Interchange Fact baseReal things and IT artefacts EnforcementRules about rulesModal operators Rule setsSummary  Fonts UsedDesign Template Slide Titles!_ 0John HallJohn Hall