From 5773631f063cdbe16e0880ce21c73cb0b911789c Mon Sep 17 00:00:00 2001
From: Christophe Rhodes <csr21@cantab.net>
Date: Thu, 6 Feb 2014 08:11:59 +0000
Subject: [PATCH] comments and figure from Jan

---
 els-specializers.org            |  67 ++++-
 figures/dispatch-comparison.pdf | Bin 0 -> 9053 bytes
 figures/dispatch-comparison.svg | 515 ++++++++++++++++++++++++++++++++
 3 files changed, 574 insertions(+), 8 deletions(-)
 create mode 100644 figures/dispatch-comparison.pdf
 create mode 100644 figures/dispatch-comparison.svg

diff --git a/els-specializers.org b/els-specializers.org
index 6af1392..d9b66cf 100644
--- a/els-specializers.org
+++ b/els-specializers.org
@@ -48,6 +48,10 @@
   Paepke; AMOP?].  XXX include typical examples of MOP: object
   persistence; maybe ref. Kizcales "MOPs: why we want them and what
   else they can do"? (Fig. 2 in that is good) ORMs; sparse slots.
+  jmoringe:
+  + introspection, e.g. documentation generation
+  + programmatic construction of classes and generic functions
+    e.g. for IDL compilers, model transformations
 
   One area of functionality where there is scope for customization by
   the metaprogrammer is in the mechanics and semantics of method
@@ -59,6 +63,8 @@
   practice implementation support for this was weak until relatively
   recently (ref. closer, also check how ContextL and filtered dispatch
   are implemented).
+  jmoringe: filtered dispatch uses a custom method combination, i
+  think
 
   Another potential mechanism for customizing dispatch is implicit in
   the class structure defined by AMOP: standard specializer objects
@@ -78,7 +84,12 @@
   (ahem) the return value of =class-of=, and allows the metaprogrammer
   to hook into cacheing schemes to avoid needless recomputation of
   effective methods for sufficiently similar generic function
-  arguments.
+  arguments (See Figure\nbsp\ref{fig:dispatch}).
+
+  #+CAPTION:    Dispatch Comparison
+  #+LABEL:      fig:dispatch
+  #+ATTR_LATEX: width=0.9\linewidth float
+  [[file:figures/dispatch-comparison.pdf]]
 
   The remaining sections in this paper can be read in any order.  We
   give some motivating examples in section XX, including
@@ -127,7 +138,7 @@
 (defmethod specializer-accepts-p ((s cons-specializer) o)
   (and (consp o) (eql (car o) (%car s))))
 
-#| less interesting methods elided |#
+#| less interesting methods elided: jmoringe: (un)parsing, specializer<?, more? |#
 
 #| XXX insert motivating example from Newton/Rhodes here |#
 #+end_src
@@ -186,9 +197,14 @@
    specializer could be applicable to any given argument)
 
    Also of interest: note that we can have these
-   specializer/generalizers handle arbitrary objects: the string and
-   tbnl:request methods are independent of each other; this
+   specializer/generalizers handle arbitrary objects: the =string= and
+   =tbnl:request= methods are independent of each other; this
    generalizes to dealing with multiple web server libraries.
+
+   jmoringe: the name =accept-specializer=, while sensible, may
+   confusing in this context because "accept" occurs as part of the
+   protocol with a different semantic.
+
 #+begin_src lisp
 (defclass accept-specializer (extended-specializer)
   ((media-type :initarg :media-type :reader media-type)))
@@ -198,7 +214,7 @@
    (next :initarg :next :reader next)))
 (defmethod generalizer-equal-hash-key
     ((gf accept-generic-function) (g accept-generalizer))
-  `(accept-generalizer ,(header g)))
+   `(accept-generalizer ,(header g)))
 (defmethod specializer-accepts-generalizer-p ((gf accept-generic-function) (s acc
 ept-specializer) (generalizer accept-generalizer))
   (values (q (media-type s) (tree generalizer)) t))
@@ -235,12 +251,18 @@ est))
 (defmethod specializer-accepts-p ((s accept-specializer) (string string))
   (q (media-type s) (parse-accept-string string)))
 #+end_src
+
+   jmoringe: The role of =accept-generalizer.tree= and the =q=
+   function are hard to understand and may require some
+   explanation. However, the example with its distinct, asymmetric
+   specializers/generalizers, =accept-generalizer.next= and
+   =specializer<= is likely worth it.
+
 ** Pattern / xpattern / regex / optima
    Here's the /really/ interesting bit, but on the other hand we're
    probably going to run out of space, and the full description of
-   these is going to take us into make-method-lambda territory.  A
-   second paper?  Future work?  It would be really nice to put a
-   marker in the sand.
+   these is going to take us into =make-method-lambda= territory.
+   A second paper?  Future work?
 * Protocol
 ** Generalizer
    - [ ] =generalizer-of-using-class= (NB class of gf not class of object)
@@ -249,12 +271,41 @@ est))
    - [ ] =specializer-accepts-generalizer-p=
    - [ ] =specializer-accepts-p=
    - [ ] =specializer<=
+     jmoringe: If I remember correctly, closette has
+     =method-more-specific-p= should we aim for parity with that and
+     use =specializer-more-specific-p=? The downside would be that
+     =-p= indicates a Boolean return value which is not the case here.
 ** Full protocol
    Description and specification left for reasons of space (we'll see?)
    - [ ] =same-specializer-p=
    - [ ] =parse/unparse-specializer-using-class=
    - [ ] =make-method-specializers-form=
+   - [ ] jmoringe: In an email, I suggested
+     =make-specializer-form-using-class=:
+
+     #+begin_quote
+     Could we change =make-method-specializers-form='s default
+     behaviour to call a new generic function
+     #+begin_src
+       make-specializer-form-using-class gf method name env
+     #+end_src
+     with builtin methods on =sb-mop:specializer=, =symbol=, =cons= (for
+     eql-specializers)? This would make it unnecessary to repeat
+     boilerplate along the lines of
+     #+begin_src lisp
+     (flet ((make-parse-form (name)
+              (if <name-is-interesting>
+                <handle-interesting-specializer>
+                <repeat-handling-of-standard-specializers>)))
+       `(list ,@(mapcar #'make-parse-form specializer-names)))
+     #+end_src
+     for each generic function class.
+     #+end_quote
    - [ ] =make-method-lambda= revision (use environment arg?)
+
+     jmoringe: would only be relevant for pattern dispatch, right? I
+     think, we didn't finish the discussion regarding special
+     variables vs. environment vs. new protocol function
 * Related Work
   - [ ] Newton/Rhodes
   - [ ] filtered dispatch
diff --git a/figures/dispatch-comparison.pdf b/figures/dispatch-comparison.pdf
new file mode 100644
index 0000000000000000000000000000000000000000..9a29d1d09cd6acceacc4d358e1d00bd59df73433
GIT binary patch
literal 9053
zcma)C1z40#*ERs@5)om=r5kpaU0AxiLqc-tu3Z{IL`pzXN<ySVQbIsNT1rAC1O(|u
zy8m5$^?SeX{r>;@pJjKRx#ygjGv~}4u50dLQkRzH0&~OgnW{HRPw{zyAfU6E9lo$I
zkVo0l$r@z?grXr$d>|0WBWvq`vUEe24hWQ`w57STg(beIC_WP9W{Ggb_ey)GJLyC%
zMDZ}QY?}dKYv?>VnbcL2U!+~Q8dY0F5=NSe?}IyEpxNBiOFPJP^*w1dkzxx?^x?$q
zvTCFOTdZ-zb1yz!v+6SAK6bb9kXou7FrORgygoIAJ#0MB$HS<Ynx=id{zTaO;$X^m
zXRF^|sM)|T-9P1B;hVT2eVIrtE8VdlKF1H=zEHF0)t@;tG@hC{x6={#^W#b&oV$_e
zynXum<O~~!sg#{#`l-Q@Qp4(=Y^&1RE3jEbAsj9-A>XEf#Zi4AY2TC6;lw5yPVz94
z4Ni1hpm8rSJO1+n^R#k}N@fof<NK+EGmHI8tK;*{D?e-v6Xi7{-?N4zd4jFj<cBA&
zk?M1uYdFNKO)kt?WmML`7-(WLMbT1`Gpi8NFORe=$EL-Ovdg{<U&Sg7WtyqBr3oAm
z9I*AJ7F?^2Y|W5kk@;YBjg_aU@VUi`e{;%?42&!qdt=@F{J>3QW{c;F<=A{=Y*idj
zGZqe>HD8AOw<Z?lMbeStN%wSeW}X6zN$Vl`c@+mN2Ag6ddp&E@{7g^5d0ct@6~mUR
z>A5)pBDfnn^>;EwSZE30z`Gs8L9ZV4Qd6=pm{upwM|PVM9eVMs;fLT{zM3)H3Cph{
z8*eX==Sf+V&tZ(!)lYwznm+1)y%zWEvy0f>Wz|OYl^bt-IP5;I1l{|xE_%{&{SbDB
zQy{tK&R{1CFF{Bc31ELTh}2Fa|55F;qgJF5=<<w{>$x#_Xz7HajT$G(-h_~uS?0aw
z(%0vf!5oPZwaa{OYUd2yo-tlM^Zn`tXg1s2F$gwzUis;B4J;Yx+I7<RkqpR^8j2+G
z<fb~LhdCtC>u}eagUf%kQ9NG&%4~#4R$EWzOL&Y?;ob4&SS5bYkH4?2F=|xzu24x~
zlIFUdofjUvlw##jUF~B5jneN@niKPM*C@CtQy@Eq8J{1hTr><ogBiY2R=~`=t>DOy
z;QZwWGjN&1beH<FrTwDmMP$qD_M_e}a6QW*d#u5gQ$6CYw2|kZ^GHud@~E+ZQ<<rD
zpnk?Y8e-V@eG<-f2ATe(ekg;fKwPIN4DpfeVxy>}@<2o*ey7WXvxh<aYRHIij70ik
zZs783M1{-&b;LoiTm)g_zB*0=7lS2e!+Z$`GUk3J&&Ft3Ifv35qrNDms4@0sV^l9U
z7m1P7Wba+@Vsr4x(LJ^j(dqJ!@8(wxrOsTai{^-`e2bt(xSGw7uii6trO6@cd=RZ8
zeW&qR&3NTKP*|Jot_<y7(qzL!qGtn{o<Uo+w|SwbKbq5%KCrNPs9fTxuH{MJD>CUG
zf)U_bI$8X+)zNR5B!S5cm=c{E1Oy<Mc1#WOCx!e>8ZureIV}`AVE~1NF#!7EL4eQ|
zAdi#;5DeroN1%VvX$0Ny>z7B?*$MSGX)7)e7YGRZorcgt=)b=P<NGrhkVo6w#S+M)
zj<B};Ij}my%@W-Y__rR9ilv1uLekj_Xn=-5Kt4E(8wQ8L_`yIhoSz%YC&0@KH2SG3
zg*E`Kiv(iQ;ji2$=jQD0@;9S?4fYfLJu5A=32q1{qzh(XbMN1<0ubfq{?jDP)TPi;
z(v}{!=9Zdrk{FS{=B#Onbar<$w?qOl{?q*16#3Eh|47O3KW6>6l#ChXSMCM_;UEFN
zf6LJe`o4w~U*3sX`y)N9@2wATHndc7HV|-zg^`lpf>nZ>R5)ehiwemo!YdS{UzfeS
zs)8N$K!qZ*6IfwKK}6TN`pU*k%8#O7NyVOtKitgG2`}rlH^r<=0PmxTy_(v~sloHF
zcLw^r`vjH_&o2C}=@LlI7(1}SJQuazV(WV7CXkUokO~92FTTq3?zy?CEcw3giF$^~
z_L0`^30JC=JXTH5MOUU_>WuK(D7@rei@@Bv{#)<bfy~xpGKuvyF&d#hi78=+S~DT1
z11&Lw%Hx~I5IR+%nuyFaA>O2qr!*Ds?o5gWuzM;5))}9RLat3tKR&L)$633K{L~%z
zq<mZ&c-&~%XWbC<KqQ<nxx+x(GeWUMo>W2cykpTf%&+3u3~5&|r*$UUk;D^sfc?#`
zd7yVcaqALdk`!j&z4~CC{Bz{|m%!67$?$Gz350UaQ?f{DGTcWRWgv}w4{8dK;%W=%
z+6e@ogRl>{;!cm7K$SeiXi`El*ch5aXj?z#(5rlx-?h@%%4B7yY>CPJ{zB<VLUNEX
zZ|=yowvthHy?vb?Mdo;!oJS=LI3mxn?ozdbRw-z+;)5M_zoTl(pKy~Ww)(kN_=jsN
z>JoG;COvtr&K;u0FhV#gH)6|q1k@?`&h<F+w()I<nDG?&;Xaeqii@PX0Xf$khk9f}
z8k6*r#B~4shPaseUYxOd0kDvVlu-6Mev1v2)hGe*s<#w`F29?ZclA|!RwpZcNcTqn
zM!(|i=KX$Ky@vksPOIC+-DZI@mOEtX<Gi@Cp{8F#slNw%z0<wtyhnYy!W*fE+xtZF
zT+_UwT(fz&P6PL5A)aI*ftl?+`52!&Cqs1GVbBhcQmVNgBNwdX<yux`6QPHN&}e8R
zM+JUVuHw3Ws&di@ed-x4kKH$!{dLU-teILSu$mB=!sPAl260N1v3Zg{2RPP+oCf#P
z^Kto<W9-R#+@O(EV%1PU7C4k|6ji0~q>u}ij#cnUJyG5+Qp-Ge@<eu8BC8@+b9!9<
z#t@SqOsr$(doGI2_tA}G_lp~}IoY<1?n6TjN7;>!x4uOW8=-Kf8(<IAN#=Y;gQO*U
zUW#LJ#Ve#Bf>rnwZF>6d#O21Y2HD6x9`<Q}s0CYp)U&z`uLO+Tb%s-=%Rb+Gb8+W<
z&iuRyI)u0#uTF`&Y0~UC=_4AG@ite}E8;RF7v;BYX4@0tTWWN?XV*1ddafT;(=2&{
z16W;@4`S?=bw7l<BWaxctMq%?2|T;(R$J55i#EoY2m_Mf<ZM%@cq?_1%g6lN2-FP`
z`QBrPjDDp4hu0m@#|OC&ZH{Q0f^Y9yd%x|xRDgEo3N|cuDO`=%d~(EGc$4b6G(<CQ
zG8CFWo1wD7-d0Ix+RZmlg-_V+Vk1~2JVoXU2}?>w7He8xYF4kkP5<)kjh;MtcT`IZ
zX_YBhWlvfON5VO6c}JRrH}#dstDuCBuvhQeE0|yDklCM0SQ?etWcPd@jt@1Ali?XR
zm)(n-T+<j(dHOoSxu4>QpX&!dR}HOJtzR(ykiFU)WZcV%V=awNR;`4$Wm(Y`(S_08
z<%n|Ea@+Fpc_w3OmOaP;WS>~2A|LJ(y8m=@L1B;iWR6@hk|~cIsSu{JuPpKLjyp3*
z3RkZM9|ET%HzZ}MC&FV3*AE}L89^R#lb>0KxrSNx<?&$lvnD8?>{5BCw++;N%)J7<
zgLh}>O)pSWefiG$Nq&BC>%@+4eyKjMIa23*bIYH9e~M*SZK2eV-#)<fQYo`JGeEwt
zX!Dc(a83(VX71r<*d$3;XGV8-G6Z2*GefOgQ#mIN9olnG5ToCeJpRD=l#r;7-afp;
zxHspe<y{eCcc%_3>Ra683REjPDtsGxi!v%I{A({3P7+5S(XrIS>met*HnFO^_S67H
zSQmMW-P40&@Z+2j?CR>EX-;7|L7~B0O>BgI8y&Yzw0ftX*`-&o^CW%Q+1e@X%?+@t
zbIrc0bo*g&`j>W#oI&}s9PXHJd&%#KC@Xmkb?r48nKH69sw)aMU3l?A!$^ZHemt_c
zM;84iqakdbJvICb|CEEAW2RlKL4q>V%`D+<RFM!&@KgM%%6@LA1ryfSz~x6Q--wQ`
zfyX!3mmSn<_$QO@#;2>tlz%XyHd<xdPdw4-a8NE#wowV&Oqt*<w3bvwJ!9#5@tq@#
zdz-?Gz^`MdBg4$Og2#;7M>m>rGxvJJ7$Lzb-1vSDk5qh|sMIaPWS6<B>l}+tuZeJ~
zR(0;#EZ4~df2o-VWI)&2N1JQ#SB`^uDGfyvj>Nm37M*>K7m98+=Xfw#>wI5QvSF3u
zy1Hoq;#QdO_3Nqx@g?OX=BDY|cF?S@mz0(-EEy#SV|>n()(-rM)_HlgNSbCpf?Afg
z*$&EEN3(`QpX70%z+Cgiom_DLv*CeZO`X<&cUjqP{YQ>MqLglYAG4$*#CAWbIls(E
zW90ZI8DPluKv7bM=6(R79Jb7=Bb~*YhtfG;rxQL0wV&m!`m^u7wa~4w&n_O$m7H-r
zl|vA@6g(bQ$K$%_JkqV45p-XDy{_9SR_FWR#wAvE(B^EqS!ZBQj{VZ0iIQT`(}--T
z!r+PJmwHj9*<oGYVRBhHCM|e4*C>lPs#zs=DH%fKAjZ`xvDAR#ymUy;9WDb6vRPBr
zBw@4X+#EVl216*uMeHOl4k2{|q4n3nENXZSg8uZ{>jm(N;%sf}t%Bs|ht>6E)bXFq
zl-=U{9wmWpb6wX>vGBcL=#ijr9P?R*fKhRUB~K2n;`W9*BXwe}q5T#9qFF={dGlQF
zHk%;0h9GgI-Q_-XD(Ygc;jG-$p!-t2$MZ)pitFLJOi`x6$EL*E?J^tI>T}c<)5-gc
zXRpFZMqcl+oj|7qede9>m$na&<<876noM?iMqlVX@u|9bn+>;}>;^1BzBtAFo@KR_
z59h1Tl+dyWHvz03x>(o8{etw01o!rFbBy-*dX{y6^i#_07q@eI1~v?zXEl84uau|k
zC$9wPbAOi0q|XID8DK)L7$Qo|OM4%QhZY^!*5%obPu@+~Pd(W;(>RsbJ!U|v4kjPZ
zsvWENr!v==<et1N_ua2~5V1WrdNcoYzj$*hlsHFr{=omj_B>JQ)2&+fXTrg87Xf9v
z^_Rv=Dk6en3Ez)e=+4yFo?S|;nW<J6p&U)9B2L*EVWwYF_N2iQg-kXDBQ);hv9c4R
zR5=}D2{RqYq84Jy&`sR?p6ivzLX*L5dV|TLlO|H5!u9NLoGAd6Y(y-A#B)~1ymv+%
zPE|{y1SD&4wdomT^!t&TpvI7H&X!7jVh+>S%3p4og6me-1MGE{RAnEOg$cBa8{<hU
zKE3id5lS3?5Gy#=#n|#SWi`_6dmZ&ijw@_YAzHPRseZr{NA-^GO+kg%@hvTE`?mWZ
zHaO=z>I?G1p`b`Sgk&Q~kt*AoxySD5m81klZ<TX8Ekzi%jX2fStKgQ+B!5D!oRvI4
zD#N_gv*b1_d6_)35gO*CL?S^}Nll#n{vd(7B)FjyNd%#SR^bA^lVuJQ1Q)b48Bg8R
z&8g^3)Cdi%@rJox%9LqPb;;Jj+Elb|ef)Z}h1j!$=VN82lO82hh%lS_ihCCCIw8)D
zcW+Cw;!%8@zE$6$vZe2Q!9J~s*@|Y^R)249Tj7(#ZNtrFJQMlbou3PBNSKEsB8l1s
z`<;SbGeS!~<5%xgv_27(dcE(JBQ&kRxXYT}zj!ycfLfkEd|$;#`iD}HwIzM-y9i(1
z10A+^93>&WkGDL0TzEE^XY#1kWd+y28r66oZuVO?1f|t3&?bYj=CVxgeh{u(KR-A)
zOuE}gh<})2>mZD*uh>yLW4|1}d#;l?-8JKnS|n6{82A+RF*4<TkzcV!Q#>r7GQKsi
zK!~<_Kz?mqg7+kT3Q8+tpCfh4)ha29KX=Nb`0X=K?OJ>pGEcnynv(Cf)vG#XH-ZkE
z-)_&}Ik_srzP{2uRq?%@J8N5KA@D5ab$RV%{=QQVU5GMK`<g=tF2~T@ePU$cB!Pr(
zx|XbSm0}#XL2Svm2ASr3w;orQQy1rC-d($o{ndK;niRMyQN7PN!X~M7!w)B2GdtWn
z@2FR%t_f@&Tm(D{Y$w|)@%t{laTZK-Fgjq;=&$DJsM9}eebAO_8PW8%=<)mF$@}W0
z>>f>L2RtwrFTc*pQY!tYZePQ}bb-Q?>Am<vQ#~avEGfC|J4FwX(kb+bvHcgfH|HzC
z-1$uUTW`Ad;%L@(gpr=ylTVgXoek!-KFlmtx~W0zJ1qPs5Nc+MbJ6682@);kp~Gl4
ztF#a6%h*eKTmJSt8P=s2i2)y+`;P1D%Dpev+;b=K%PvAf0(RTC#!C-z_IQk;$i%J`
z)baMhpq7>>0PMD3rN*->&DdOZsjb!c;qaE9_RVMTTmao5-lzh-)A!LUeaB^nbuHeW
zeahm;aI#tkDdTEwnqG<%_Cm_u_a^FExYoD|)xEJr#xI<^6fK1IV?Hgo;!PDwsrfbD
z)CRem;vMtrc#uykS}N*HcW3T?8a!S*yYoPjCDE_L$}shUN~}Mii)VKvTBRA}1I=*X
zMyYy6t_m1L*zYJ?YN~11Lo`?!IC3C6?hM&DBHw1mOX5%!O~woI*=+kSS+KBai<q^h
z7C1*y()js8kl?M!&`PEIeirw;s*6gg{AgI-004IVI#P~L7;KD|1UE~Na>?$R^Q>l7
zQ^BSp0!M}S=D&FcQNAPSBPH6tk}@1*@cyxo4Ie8Ng=W1(arOx}Yj5$%WG(fj_a1MS
zyqD^y8APQKDHz%vwe%*_Li0Z5E|zYW`|MjI5xqwB?@RzNkG8HoL-pcIAIe&NmPh?y
zddcsz2l~RKFBUi%gX`%Z#%f!zLMT)4`(@~466x(@4Ra_a*wbIDE|jj{(O3FNylJGL
zRc^W)cy9TE7%(=f=-8OMKX_(e)MCv)knwJ(i#Nad>%ic))x|All9XhIu@&*CObW(5
zUoMt3@-Q<9Oz9N$Cc&X%c{Nh9AY++G8NVWxwuJ&=7^Okv!3-OVDz30`hvC|>q28%P
zJXG<DOEMVNj>!wX{>(uxSIQkc`pAIDDC};sOmSh;_QU?Z8@BkD1vPnjCv^i&FyDhd
zq7Am~p^%-f1N(%l8UfY3H#MlDw`?M9#5r@qP{ZNSB<`%i;oHGllG*&zFIMl)i+qb%
zS=SCwV|cztmm2iFx1meQRe1N{NUWK4b4b2+XyeVbtq+^06w}trcL3Ixs63i?doypf
z{prE_F0+$vy3LQU!wNnzTy*#`Xe=ODbmr)Y$tCw5lo7pFlAR!02II%7iy>;QpIjKA
z&YSCPaPZ=A8r9<1E7LbybwoV|+cFeqf%-C(W`hlH0!zu_Dx67dnQm|QY7SqyPoHJ3
zAb3FTmV!6WoGwi~OP#W;lH!vt-@Y?Pw?hYJohBWOzdCnqr!kp<`(?6Ux!f2nXUcYl
zsTARU4DdXX6DT*UBp)j1T4zI-+3H<D|Hbw8Cvxg;oXQ9adM*#aBnrIX_fliX)O41~
z?Tm=;OGAo0KzF$n<UF}Io-_hl_%bP`4Ce=zH!(AwjE&BUr08$}^%ueD-P%}edPGt|
ztP369X^hWT`;Y^a6r>?%>h-c^um$;eZX1REy@-Ya@=2+g-2Qr%oH)ZrnJvO~lDgp)
zbH=XF@sCVbyXk0LHXK(0MxsVf8;d=&>g&t(`m*lND}m+2u7B}YTfjXOW)yw`Scn(o
zjBtnifF_qdhRGKSt}-v}n|Dy8MRP1CF?@N_7fcAbVIQ263SjI}SLOSrNZnk2b=@HC
zt<l*v?`iQb1T%5FpftufzY1*2sAp0i@C06c0dMGTh#J3@-Hz@l##2sS7vb$l`nq&O
zrL5%ebIf{bOzyO)we^9;P)FWqc>(pd66}@OK|}!Gk&IiW>v;S-*j<JY&oV)JYxsdm
zTIBue;Hfb&vpT*!rw46kNBqqBokGZ(L+|6`F^R$6DjX(Hx)9Jx3d^bT`8jGW#yL!G
z*r5(Fv$!v^wIym>Mx5g8MfGA8xB+oX_@ebyMZWtJ8h$|vX>Pb2Sdby;w^j--X^<FL
zr4?_e6Cc30#~Wgr6N*oxi0?MEVv*~h$ssixO5N=dwqlTTUpaC_>fY^)%buuRv4Hps
zsd4aWzIF!6RTw{AGeRs_T&;?!T1|F|nh*c7a~@0W`NkejP9x47YATTsJT!&9MsG%E
z@R(xOAbMtHMuKvug!!R-*wxc064OGK_E8e0tC9?*h^8>%>}tJ6y;R%^K63hOv7RxO
z+MBPw8MIbAsuf-K4&}@RD=>!l$y(gMw6DDX{M9n)`)w|q;5qRnE@DTIqZjv@)PlA?
z%o-5*waqezHlNJ$P#z%#-ki*?Ep3^bAZ^$}%RXeiCAt{Jx$K$kmDuh=xCFJ`8~)}q
zBJJ@Gkh<NL7w)oQhu`oSM_20`0dXesh?D4|jW{z=iXoJP@95mE&X3T)Yxd^ZS^R>_
z${eeQt$-l_`?jb@1pz?Rqg4(dI=_82^iUv;ClpCEv<?Uju{lzqPFrxXd;VTkrqvgr
zJ~(Sc+`Q-#*Cqs*UUYff=1S}ic;*T(5_b&G{N#p9E718E@C=aA`3w-m&@ne_ay&k3
z8>k8gkOnM-N&%+XLxTX*^XhH0M8u!Gx9hQq*AJ_%dzUwV=sY;h`has9v;5GpJgLnd
zaNsiL7-R(Se>?KtKLtmKYuk=idyeJ#LV1u>2ZxnT>+CIFhk)^(nx)p>NsEKZn>9V<
zpKy6x$24i**SN5f1VYlZb%<Z^>yIrOm-k%bsc9vkiLST}clZj5aumj)iRd6|-mW4V
zF_jWO3%>UmsaIRWW6*_gH1VPx_q!0)tD0#4Jcg*oQ>@5_k|?TcGWqM}whRgg*J>gL
zUG)lE@QFJBPvKaCnMO@%BE5)XH@(Cg!SR5Sk0gUGdLIzs*px32v1F8PNBT6JHbKXZ
zpfVzSc;CV{G?eAxwiYom0pTzp?e(~AePJ8U_d}p>E~X2?9C`=fc0)pyM%XIE7C^fI
zdft}MBg>ad#7r~Wg-|{C4)uD{)>gOM)@B-aomn$QCGt_|Itbyw`l5wy5=(3jbRm%v
zwY2?`ki>;5l;Jx(@-9PFMHZ;@?)%PekRX<<E0sPm!v_RB^fcJQBY=ib2<I>==t?Lj
zvD8*|MV3dMXV~*8`yjd?sj(RG{98DoEkNQF01k0^RiGp2Wpf|SSXMwt_<j;y8`k+N
zIuWelO>hO2_%Im=>uA@M0(M|Mj3+87BkaLhj>l1Wch1R1;=?kb=PbrJ@lyA3=6*d1
z`5EaJe}xyvkqT)SU7}RvEx+#kL7Zvf?Kcw8O49Tjo1|fqc(Sf8)e`d{7qhk=I(m}#
z8k)0!_b!^rHvxckfTY0K_H~*Y*xvU;0viD(-lnspX2j-nfWD(@0YYU!B!mhsf0WWL
z;e5l0HVn@C3LAdKH_&`ECMAYY8|Qr>j_q{OK6K^sz05@|-ceH0Y4a6FFNczU9{gj@
zpZ_}ehoO(re;>vR{PUz5j5%rl|FMTgn!QeKK+?wDTYwQMi%?T}CW}Hv9?`w5yz?v9
z)<!j>$UKNIPAeS}6h+2_2!*ORmE6}e8bF+lK5Fqot?y6ij<9x7D#S;3xTQ>mTF<{F
zP8OX_*)SAW9=#bLh%{Peu_7!J{ju1X^V~V(3>9*tQ=n`*E)@ENV8-vRnsj<8_@V_D
zF$=Rd*vuOA;NfeUAoIH4J~^;-j?k~wKS<hnEBozLi6@GY-#a<mJ;tH#3a|T=+sGkT
z(6`Ht4d*!IR+FQd?53NY(NatW%R1TNld5pr)yGIvSyIZd+#Enkg%2nEhSgrvHvlBh
zFY5TI9a~ARLUBamk6Vky*JrPv*#G#_&EL)+76^J74ZIiF$S_Uk9A4Y4#dY5<HeXUr
zC8OR;a|_?sd0Ch!Lr$G5u$pm)+*{#6_yd)Pw(CkU(c<@HJPWpopVOCoP<N`0{@&_|
z%4}%JOOP|BHAsP}dgHnTM7usMV4vYBPpF;!XHb8J>aVEs^1*)x6^tQJe)A8%SPu+8
zBW;N^ce8atIlKL2OfZlt!V%5CNJ}dzDClxXTiPLX+_lhj$e(sugrlv4H<0yL6A;tJ
z_N&nWVU6ZmAb%t!f3Y-NU=RcZ<br}>KrkO11O$Wm`2J#O6i^5UTXP8~YX?gp=%=0p
z(i}tg2teRJs~Gz*buI`m>?a_FaFMsPwYEVsLg;ROLRu(GM;$ap@~0yIyMmbxnp&}h
z05R;#-`N-p4fRiN{OZBo4E2+O(nj+=7*G8~B@swVOn3jQXKdY&C@C9++iwRbBmSy`
zA^-Bozub*B|Ie0^aYA$OwocYS9$i}}2`8lOZ{X+1y0#W58zh?T;ss-7@!vnZe4zic
z{qI_Qa17(eCjbZX^P@{%j3NB|80_~4&WB;I_~HCOJ`jdG!$|$T{kPojk`IiLhd~8?
z%JHEC%?pG4dPkFS5dL3wV@d(^IDBY~4?TTMpO`Nc{SHH~5MBX{&ad$>J;NZ-U&{nd
z$T{D4vc+6f0AiBU-vjy2WsPADf2~#}TMLZeFyx}<A4<?2Lni)>m-}h@@1-Dxz5;>X
z3qV$Lgsq!15X=pRa6^EsHYk*fAP<`2M1$6D2p1b$b0oL3n>E|7g|F`BY~gN>zEbi3
zSNj+B3I6+Cjb9s63W44h&elJp|8q8fv7i4^@^Z7Z!bk5UC_d=V1LT9jcws;*;9nRV
z3Pn2y^8lTGV_+}{?TvrOKp=Fy{sRMpFl*%B<@g2uiGd;iMHdQ1uZI87g+Tsc3qJ(<
z&oTG}(2@TSU4D#<{vCtE{y7i$&o%m64&{bGZ+y3(H(<1EeJnA)!Z50u&d%ugV|@PW
h-<g7w6*|s;$XX-{;fDI@T{s_{AD@XyMokv~e*hmqw}Aiv

literal 0
HcmV?d00001

diff --git a/figures/dispatch-comparison.svg b/figures/dispatch-comparison.svg
new file mode 100644
index 0000000..292c5de
--- /dev/null
+++ b/figures/dispatch-comparison.svg
@@ -0,0 +1,515 @@
+<?xml version="1.0" encoding="UTF-8" standalone="no"?>
+<!-- Created with Inkscape (http://www.inkscape.org/) -->
+
+<svg
+   xmlns:dc="http://purl.org/dc/elements/1.1/"
+   xmlns:cc="http://creativecommons.org/ns#"
+   xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
+   xmlns:svg="http://www.w3.org/2000/svg"
+   xmlns="http://www.w3.org/2000/svg"
+   xmlns:sodipodi="http://sodipodi.sourceforge.net/DTD/sodipodi-0.dtd"
+   xmlns:inkscape="http://www.inkscape.org/namespaces/inkscape"
+   width="856.98193"
+   height="234.33665"
+   id="svg2"
+   version="1.1"
+   inkscape:version="0.48.3.1 r9886"
+   sodipodi:docname="dispatch-comparision.svg">
+  <defs
+     id="defs4">
+    <marker
+       inkscape:stockid="EmptyTriangleInL"
+       orient="auto"
+       refY="0"
+       refX="0"
+       id="EmptyTriangleInL"
+       style="overflow:visible">
+      <path
+         id="path4073"
+         d="m 5.77,0 -8.65,5 0,-10 8.65,5 z"
+         style="fill:#ffffff;fill-rule:evenodd;stroke:#000000;stroke-width:1pt"
+         transform="matrix(-0.8,0,0,-0.8,4.8,0)"
+         inkscape:connector-curvature="0" />
+    </marker>
+  </defs>
+  <sodipodi:namedview
+     id="base"
+     pagecolor="#ffffff"
+     bordercolor="#666666"
+     borderopacity="1.0"
+     inkscape:pageopacity="0.0"
+     inkscape:pageshadow="2"
+     inkscape:zoom="1"
+     inkscape:cx="647.09412"
+     inkscape:cy="38.998487"
+     inkscape:document-units="px"
+     inkscape:current-layer="layer1"
+     showgrid="false"
+     inkscape:snap-global="true"
+     fit-margin-top="0"
+     fit-margin-left="0"
+     fit-margin-right="0"
+     fit-margin-bottom="0"
+     inkscape:window-width="1920"
+     inkscape:window-height="1151"
+     inkscape:window-x="1440"
+     inkscape:window-y="24"
+     inkscape:window-maximized="1" />
+  <metadata
+     id="metadata7">
+    <rdf:RDF>
+      <cc:Work
+         rdf:about="">
+        <dc:format>image/svg+xml</dc:format>
+        <dc:type
+           rdf:resource="http://purl.org/dc/dcmitype/StillImage" />
+        <dc:title></dc:title>
+      </cc:Work>
+    </rdf:RDF>
+  </metadata>
+  <g
+     inkscape:label="Layer 1"
+     inkscape:groupmode="layer"
+     id="layer1"
+     transform="translate(27.665546,-26.452583)">
+    <text
+       xml:space="preserve"
+       style="font-size:20px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:start;line-height:125%;letter-spacing:0px;word-spacing:0px;writing-mode:lr-tb;text-anchor:start;fill:#000000;fill-opacity:1;stroke:none;font-family:Sans;-inkscape-font-specification:Sans"
+       x="95.253151"
+       y="41.647896"
+       id="text2985"
+       sodipodi:linespacing="125%"><tspan
+         sodipodi:role="line"
+         id="tspan2987"
+         x="95.253151"
+         y="41.647896">AMOP Dispatch</tspan></text>
+    <text
+       xml:space="preserve"
+       style="font-size:20px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:start;line-height:125%;letter-spacing:0px;word-spacing:0px;writing-mode:lr-tb;text-anchor:start;fill:#000000;fill-opacity:1;stroke:none;font-family:Sans;-inkscape-font-specification:Sans"
+       x="514.53345"
+       y="41.647896"
+       id="text2989"
+       sodipodi:linespacing="125%"><tspan
+         sodipodi:role="line"
+         id="tspan2991"
+         x="514.53345"
+         y="41.647896">Generalized Dispatch</tspan></text>
+    <g
+       id="g4464">
+      <g
+         transform="translate(385.42857,49.857143)"
+         id="g3801">
+        <rect
+           y="130.79225"
+           x="319.40588"
+           height="28.139849"
+           width="105.2827"
+           id="rect3803"
+           style="fill:none;stroke:#000000;stroke-width:1;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none" />
+        <text
+           sodipodi:linespacing="125%"
+           id="text3805"
+           y="149.03015"
+           x="332.4613"
+           style="font-size:16px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:start;line-height:125%;letter-spacing:0px;word-spacing:0px;writing-mode:lr-tb;text-anchor:start;fill:#000000;fill-opacity:1;stroke:none;font-family:Sans;-inkscape-font-specification:Sans"
+           xml:space="preserve"><tspan
+             y="149.03015"
+             x="332.4613"
+             id="tspan3807"
+             sodipodi:role="line">Argument</tspan></text>
+      </g>
+      <g
+         transform="translate(166.92857,-66.642857)"
+         id="g3809">
+        <rect
+           y="130.79225"
+           x="319.40588"
+           height="28.139849"
+           width="105.2827"
+           id="rect3811"
+           style="fill:none;stroke:#000000;stroke-width:1;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none" />
+        <text
+           sodipodi:linespacing="125%"
+           id="text3813"
+           y="149.03015"
+           x="328.05896"
+           style="font-size:16px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:start;line-height:125%;letter-spacing:0px;word-spacing:0px;writing-mode:lr-tb;text-anchor:start;fill:#000000;fill-opacity:1;stroke:none;font-family:Sans;-inkscape-font-specification:Sans"
+           xml:space="preserve"><tspan
+             y="149.03015"
+             x="328.05896"
+             id="tspan3815"
+             sodipodi:role="line">Specializer</tspan></text>
+      </g>
+      <g
+         id="g3822"
+         transform="translate(385.92857,-1.642857)">
+        <rect
+           style="fill:none;stroke:#ff0000;stroke-width:1;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none"
+           id="rect3824"
+           width="105.2827"
+           height="28.139849"
+           x="319.40588"
+           y="130.79225" />
+        <text
+           xml:space="preserve"
+           style="font-size:16px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:start;line-height:125%;letter-spacing:0px;word-spacing:0px;writing-mode:lr-tb;text-anchor:start;fill:#ff0000;fill-opacity:1;stroke:none;font-family:Sans;-inkscape-font-specification:Sans"
+           x="325.41833"
+           y="149.03015"
+           id="text3826"
+           sodipodi:linespacing="125%"><tspan
+             sodipodi:role="line"
+             id="tspan3828"
+             x="325.41833"
+             y="149.03015">Generalizer</tspan></text>
+      </g>
+      <g
+         id="g3859"
+         transform="translate(234.42857,-1.642857)">
+        <rect
+           style="fill:none;stroke:#ff0000;stroke-width:1;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none"
+           id="rect3861"
+           width="105.2827"
+           height="28.139849"
+           x="319.40588"
+           y="130.79225" />
+        <text
+           xml:space="preserve"
+           style="font-size:16px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:start;line-height:125%;letter-spacing:0px;word-spacing:0px;writing-mode:lr-tb;text-anchor:start;fill:#ff0000;fill-opacity:1;stroke:none;font-family:Sans;-inkscape-font-specification:Sans"
+           x="329.13708"
+           y="149.03015"
+           id="text3863"
+           sodipodi:linespacing="125%"><tspan
+             sodipodi:role="line"
+             id="tspan3865"
+             x="329.13708"
+             y="149.03015">Gen. Spec.</tspan></text>
+      </g>
+      <g
+         inkscape:connector-avoid="true"
+         id="g3867"
+         transform="translate(170.60223,49.857143)">
+        <rect
+           style="fill:none;stroke:#000000;stroke-width:1;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none"
+           id="rect3869"
+           width="105.2827"
+           height="28.139849"
+           x="319.40588"
+           y="130.79225" />
+        <text
+           xml:space="preserve"
+           style="font-size:16px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:start;line-height:125%;letter-spacing:0px;word-spacing:0px;writing-mode:lr-tb;text-anchor:start;fill:#000000;fill-opacity:1;stroke:none;font-family:Sans;-inkscape-font-specification:Sans"
+           x="350.93005"
+           y="149.03015"
+           id="text3871"
+           sodipodi:linespacing="125%"><tspan
+             sodipodi:role="line"
+             id="tspan3873"
+             x="350.93005"
+             y="149.03015">Class</tspan></text>
+      </g>
+      <g
+         id="g3875"
+         transform="translate(94.42857,101.35714)">
+        <g
+           id="g3897">
+          <rect
+             y="130.79225"
+             x="319.40588"
+             height="28.139849"
+             width="105.2827"
+             id="rect3877"
+             style="fill:none;stroke:#000000;stroke-width:1;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none" />
+          <text
+             sodipodi:linespacing="125%"
+             id="text3879"
+             y="149.03015"
+             x="334.84802"
+             style="font-size:16px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:start;line-height:125%;letter-spacing:0px;word-spacing:0px;writing-mode:lr-tb;text-anchor:start;fill:#000000;fill-opacity:1;stroke:none;font-family:Sans;-inkscape-font-specification:Sans"
+             xml:space="preserve"><tspan
+               y="149.03015"
+               x="334.84802"
+               id="tspan3881"
+               sodipodi:role="line">Eql-Spec.</tspan></text>
+        </g>
+      </g>
+      <path
+         inkscape:connection-end-point="d4"
+         inkscape:connection-end="#g3859"
+         inkscape:connection-start-point="d4"
+         inkscape:connection-start="#g3822"
+         inkscape:connector-curvature="3"
+         inkscape:connector-type="polyline"
+         id="path3883"
+         d="m 705.33445,143.21932 -46.2173,0"
+         style="fill:none;stroke:#ff0000;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;display:inline" />
+      <path
+         inkscape:connection-end-point="d4"
+         inkscape:connection-end="#g3801"
+         inkscape:connection-start-point="d4"
+         inkscape:connection-start="#g3822"
+         inkscape:connector-curvature="3"
+         inkscape:connector-type="orthogonal"
+         id="path3885"
+         d="m 757.9758,157.28924 0,23.36015"
+         style="fill:none;stroke:#ff0000;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1" />
+      <path
+         inkscape:connection-end-point="d4"
+         inkscape:connection-end="#g3801"
+         inkscape:connection-start-point="d4"
+         inkscape:connection-start="#g3875"
+         inkscape:connector-curvature="3"
+         inkscape:connector-type="orthogonal"
+         id="path3887"
+         d="m 519.11715,246.21932 235.35865,0 c 1.5,0 3,-1.5 3,-3 l 0,-34.43008"
+         style="fill:none;stroke:#000000;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1" />
+      <path
+         inkscape:connection-start-point="d4"
+         inkscape:connection-start="#g3867"
+         inkscape:connection-end-point="d4"
+         inkscape:connection-end="#g3801"
+         inkscape:connector-curvature="3"
+         inkscape:connector-type="orthogonal"
+         id="path3889"
+         d="m 595.29081,194.71932 109.54364,0"
+         style="fill:none;stroke:#000000;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;display:inline" />
+      <path
+         inkscape:connection-end-point="d4"
+         inkscape:connection-end="#g3867"
+         inkscape:connection-start-point="d4"
+         inkscape:connection-start="#g3809"
+         inkscape:connector-curvature="3"
+         inkscape:connector-type="orthogonal"
+         id="path3891"
+         d="m 542.64946,92.289243 0,88.360147"
+         style="fill:none;stroke:#000000;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;marker-start:url(#EmptyTriangleInL)" />
+      <path
+         inkscape:connection-end="#g3875"
+         inkscape:connection-end-point="d4"
+         sodipodi:nodetypes="cssc"
+         inkscape:connection-start-point="d4"
+         inkscape:connection-start="#g3809"
+         inkscape:connector-curvature="3"
+         inkscape:connector-type="orthogonal"
+         id="path3893"
+         d="m 486.33445,78.219319 -16.85865,0 c -1.5,0 -3,1.5 -3,3 l 0,150.930071"
+         style="fill:none;stroke:#000000;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;marker-start:url(#EmptyTriangleInL)" />
+      <path
+         inkscape:connection-end-point="d4"
+         inkscape:connection-end="#g3859"
+         inkscape:connection-start-point="d4"
+         inkscape:connection-start="#g3809"
+         inkscape:connector-curvature="3"
+         inkscape:connector-type="orthogonal"
+         id="path3895"
+         d="m 591.61715,78.219319 11.85865,0 c 1.5,0 3,1.5 3,3 l 0,47.930071"
+         style="fill:none;stroke:#ff0000;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;marker-start:url(#EmptyTriangleInL)" />
+      <text
+         sodipodi:linespacing="125%"
+         id="text3902"
+         y="191.86218"
+         x="610.5"
+         style="font-size:10px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:start;line-height:125%;letter-spacing:0px;word-spacing:0px;writing-mode:lr-tb;text-anchor:start;fill:#000000;fill-opacity:1;stroke:none;font-family:Sans;-inkscape-font-specification:Sans"
+         xml:space="preserve"><tspan
+           y="191.86218"
+           x="610.5"
+           id="tspan3904"
+           sodipodi:role="line">match class-of</tspan></text>
+      <text
+         sodipodi:linespacing="125%"
+         id="text3906"
+         y="243.36218"
+         x="615.5"
+         style="font-size:10px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:start;line-height:125%;letter-spacing:0px;word-spacing:0px;writing-mode:lr-tb;text-anchor:start;fill:#000000;fill-opacity:1;stroke:none;font-family:Sans;-inkscape-font-specification:Sans"
+         xml:space="preserve"><tspan
+           y="243.36218"
+           x="615.5"
+           id="tspan3908"
+           sodipodi:role="line">match</tspan></text>
+      <text
+         sodipodi:linespacing="125%"
+         id="text3910"
+         y="139.36218"
+         x="664.5"
+         style="font-size:10px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:start;line-height:125%;letter-spacing:0px;word-spacing:0px;writing-mode:lr-tb;text-anchor:start;fill:#ff0000;fill-opacity:1;stroke:none;font-family:Sans;-inkscape-font-specification:Sans"
+         xml:space="preserve"><tspan
+           y="139.36218"
+           x="664.5"
+           id="tspan3912"
+           sodipodi:role="line">s-a-g-p</tspan></text>
+      <text
+         sodipodi:linespacing="125%"
+         id="text3914"
+         y="172.36218"
+         x="760"
+         style="font-size:10px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:start;line-height:125%;letter-spacing:0px;word-spacing:0px;writing-mode:lr-tb;text-anchor:start;fill:#ff0000;fill-opacity:1;stroke:none;font-family:Sans;-inkscape-font-specification:Sans"
+         xml:space="preserve"><tspan
+           y="172.36218"
+           x="760"
+           id="tspan3916"
+           sodipodi:role="line">generalizer-of</tspan></text>
+    </g>
+    <g
+       id="g4506">
+      <g
+         id="g4364"
+         transform="translate(-55.57143,49.857143)">
+        <rect
+           style="fill:none;stroke:#000000;stroke-width:1;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none"
+           id="rect4366"
+           width="105.2827"
+           height="28.139849"
+           x="319.40588"
+           y="130.79225" />
+        <text
+           xml:space="preserve"
+           style="font-size:16px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:start;line-height:125%;letter-spacing:0px;word-spacing:0px;writing-mode:lr-tb;text-anchor:start;fill:#000000;fill-opacity:1;stroke:none;font-family:Sans;-inkscape-font-specification:Sans"
+           x="332.4613"
+           y="149.03015"
+           id="text4368"
+           sodipodi:linespacing="125%"><tspan
+             sodipodi:role="line"
+             id="tspan4370"
+             x="332.4613"
+             y="149.03015">Argument</tspan></text>
+      </g>
+      <g
+         id="g4372"
+         transform="translate(-308.4846,-66.642857)">
+        <rect
+           style="fill:none;stroke:#000000;stroke-width:1;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none"
+           id="rect4374"
+           width="105.2827"
+           height="28.139849"
+           x="319.40588"
+           y="130.79225" />
+        <text
+           xml:space="preserve"
+           style="font-size:16px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:start;line-height:125%;letter-spacing:0px;word-spacing:0px;writing-mode:lr-tb;text-anchor:start;fill:#000000;fill-opacity:1;stroke:none;font-family:Sans;-inkscape-font-specification:Sans"
+           x="328.05896"
+           y="149.03015"
+           id="text4376"
+           sodipodi:linespacing="125%"><tspan
+             sodipodi:role="line"
+             id="tspan4378"
+             x="328.05896"
+             y="149.03015">Specializer</tspan></text>
+      </g>
+      <g
+         transform="translate(-270.39777,49.857143)"
+         id="g4396"
+         inkscape:connector-avoid="true">
+        <rect
+           y="130.79225"
+           x="319.40588"
+           height="28.139849"
+           width="105.2827"
+           id="rect4398"
+           style="fill:none;stroke:#000000;stroke-width:1;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none" />
+        <text
+           sodipodi:linespacing="125%"
+           id="text4400"
+           y="149.03015"
+           x="350.93005"
+           style="font-size:16px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:start;line-height:125%;letter-spacing:0px;word-spacing:0px;writing-mode:lr-tb;text-anchor:start;fill:#000000;fill-opacity:1;stroke:none;font-family:Sans;-inkscape-font-specification:Sans"
+           xml:space="preserve"><tspan
+             y="149.03015"
+             x="350.93005"
+             id="tspan4402"
+             sodipodi:role="line">Class</tspan></text>
+      </g>
+      <g
+         transform="translate(-346.57143,101.35714)"
+         id="g4404">
+        <g
+           id="g4406">
+          <rect
+             style="fill:none;stroke:#000000;stroke-width:1;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none"
+             id="rect4408"
+             width="105.2827"
+             height="28.139849"
+             x="319.40588"
+             y="130.79225" />
+          <text
+             xml:space="preserve"
+             style="font-size:16px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:start;line-height:125%;letter-spacing:0px;word-spacing:0px;writing-mode:lr-tb;text-anchor:start;fill:#000000;fill-opacity:1;stroke:none;font-family:Sans;-inkscape-font-specification:Sans"
+             x="334.84802"
+             y="149.03015"
+             id="text4410"
+             sodipodi:linespacing="125%"><tspan
+               sodipodi:role="line"
+               id="tspan4412"
+               x="334.84802"
+               y="149.03015">Eql-Spec.</tspan></text>
+        </g>
+      </g>
+      <path
+         style="fill:none;stroke:#000000;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
+         d="m 78.117153,246.21932 235.358647,0 c 1.5,0 3,-1.5 3,-3 l 0,-34.43008"
+         id="path4418"
+         inkscape:connector-type="orthogonal"
+         inkscape:connector-curvature="3" />
+      <path
+         style="fill:none;stroke:#000000;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;display:inline"
+         d="m 154.29081,194.71932 109.54364,0"
+         id="path4420"
+         inkscape:connector-type="orthogonal"
+         inkscape:connector-curvature="3" />
+      <path
+         inkscape:connection-start-point="d4"
+         inkscape:connection-start="#g4372"
+         style="fill:none;stroke:#000000;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;marker-start:url(#EmptyTriangleInL);display:inline"
+         d="m 101.64946,92.289243 0,88.360147"
+         id="path4422"
+         inkscape:connector-type="orthogonal"
+         inkscape:connector-curvature="3" />
+      <path
+         inkscape:connection-start-point="d4"
+         inkscape:connection-start="#g4372"
+         style="fill:none;stroke:#000000;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;marker-start:url(#EmptyTriangleInL);display:inline"
+         d="m 25.4758,92.289243 0,139.860147"
+         id="path4424"
+         inkscape:connector-type="orthogonal"
+         inkscape:connector-curvature="3"
+         sodipodi:nodetypes="cssc" />
+      <text
+         xml:space="preserve"
+         style="font-size:10px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:start;line-height:125%;letter-spacing:0px;word-spacing:0px;writing-mode:lr-tb;text-anchor:start;fill:#000000;fill-opacity:1;stroke:none;font-family:Sans;-inkscape-font-specification:Sans"
+         x="169.5"
+         y="191.86218"
+         id="text4428"
+         sodipodi:linespacing="125%"><tspan
+           sodipodi:role="line"
+           id="tspan4430"
+           x="169.5"
+           y="191.86218">match class-of</tspan></text>
+      <text
+         xml:space="preserve"
+         style="font-size:10px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:start;line-height:125%;letter-spacing:0px;word-spacing:0px;writing-mode:lr-tb;text-anchor:start;fill:#000000;fill-opacity:1;stroke:none;font-family:Sans;-inkscape-font-specification:Sans"
+         x="174.5"
+         y="243.36218"
+         id="text4432"
+         sodipodi:linespacing="125%"><tspan
+           sodipodi:role="line"
+           id="tspan4434"
+           x="174.5"
+           y="243.36218">match</tspan></text>
+    </g>
+    <text
+       xml:space="preserve"
+       style="font-size:10px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:start;line-height:125%;letter-spacing:0px;word-spacing:0px;writing-mode:lr-tb;text-anchor:start;fill:#000000;fill-opacity:1;stroke:none;font-family:Sans;-inkscape-font-specification:Sans"
+       x="659.33447"
+       y="68.789238"
+       id="text4533"
+       sodipodi:linespacing="125%"><tspan
+         sodipodi:role="line"
+         id="tspan4535"
+         x="659.33447"
+         y="68.789238">specializer-accepts-generalizer-p</tspan></text>
+    <path
+       style="fill:none;stroke:#000000;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
+       d="M 714,46.336655 704,106.33665"
+       id="path4537"
+       inkscape:connector-curvature="0"
+       transform="translate(-27.665546,26.452583)" />
+  </g>
+</svg>
-- 
2.30.2