Re: [protege-user] DL query bug ?

Samson Tu via protege-user <[email protected]> Sat, 22 Nov 2025 23:06:03 +0000
Newsgroups gmane.comp.misc.ontology.protege.owl
Message-ID <[email protected]>
--===============4234859063665915396==
Content-Language: en-US
Content-Type: multipart/alternative;
	boundary="_000_77176B8742BA4B7DBE5A696685E32775stanfordedu_"

--_000_77176B8742BA4B7DBE5A696685E32775stanfordedu_
Content-Type: text/plain; charset="utf-8"
Content-Transfer-Encoding: base64

T25lIGZpbmFsIHRob3VnaHQ6IFRoZSByZWFzb25lcnMgbWF5IGJlIE9LLiBUaGUgcHJvYmxlbSBt
YXkgYmUgdGhlIG9udG9sb2d5IGl0c2VsZi4NCg0KSSBicm93c2VkIHRoZSBMRVhFQVUgb250b2xv
Z3kgYnJpZWZseSBhbmQgc2F3IHRoYXQgKOKAmExleGljYWxpemVkIGxlbW1h4oCZIGNvbXBvc2Vz
IHNvbWUg4oCYTGV4aWNhbGl6ZWQgbGVtbWHigJkgKSBhbmQgKOKAmExleGljYWxpemVkIGxlbW1h
4oCZIOKAmGlzIGNvbXBvc2VkIG9mJyBzb21lIOKAmExleGljYWxpemVkIGxlbW1h4oCZICkuIERv
buKAmXQgdGhlc2UgYXhpb21zIGNyZWF0ZSBsb29wcyB0aGF0IG1heSB0cmlwIHVwIHJlYXNvbmVy
cz8gSSBkb27igJl0IGtub3cgdGhlIGludGVuZGVkIHNlbWFudGljcyBvZiB0aGVzZSBheGlvbXMu
IEhvd2V2ZXIsIGhvdyBjYW4gYSBmaW5pdGUgbnVtYmVyIG9mIOKAmExleGljYWxpemVkIGxlbW1h
4oCZIGluZGl2aWR1YWxzIHNhdGlzZnkgdGhlc2UgYXhpb21zIHdpdGhvdXQgY3JlYXRpbmcgbG9v
cHM/IE1heWJlIHRoYXTigJlzIHdoYXTigJlzIGNhdXNpbmcgdGhlIHJlYXNvbmVycyB0byBzcGlu
IGFuZCBub3QgZmluaXNoLg0KDQpJIHRoaW5rIHRoaXMgaXMgbXkgZmluYWwgZGlhZ25vc2lzLiBU
aGUgc29mdHdhcmUgaXMgT0ssIGJ1dCB0aGUgb250b2xvZ3kgbmVlZHMgZml4aW5nLg0KDQpEb2Vz
IGFueW9uZSBrbm93IGEgdmFsaWRhdG9yIHRoYXQgY2FuIGRldGVjdCB0aGlzIGtpbmQgb2YgcHJv
YmxlbT8NCg0KDQpCZXN0IHJlZ2FyZHMsDQoNClNhbXNvbg0KDQpPbiBOb3YgMjIsIDIwMjUsIGF0
IDE6MjnigK9QTSwgU2Ftc29uIFR1IDxzd3RAc3RhbmZvcmQuZWR1PiB3cm90ZToNCg0KSGkgSWdv
ciwNCg0KSSBzdGFydGVkIHRoZSBQZWxsZXQgcmVhc29uZXIsIGFuZCBhZnRlciBoYWxmIGFuIGhv
dXIsIGl04oCZcyBzdGlsbCBjaHVnZ2luZyBhbG9uZywgY29uc3VtaW5nIDcuNDQgR0Igb2YgbWVt
b3J5LiBNeSBNYWNCb29rIFBybyBoYXMgbm90IHJlcG9ydGVkIGl0IGJlaW5nIHVucmVzcG9uc2l2
ZSB0aG91Z2gsDQoNCkplYW4tTG91aXMgc2VudCBtZSBoaXMgb250b2xvZ3kgZm9yIG1lIHRvIGV4
cGVyaW1lbnQgd2l0aC4gSSB0aGluayB0aGUgb250b2xvZ3kgaXMgdW5uZWNlc3NhcmlseSBjb21w
bGV4LiBBeGlvbXMgb24gYWRtaW5pc3RyYXRpdmUgaW5mb3JtYXRpb24sIHN1Y2ggYXMgY3JlYXRp
b24gZGF0ZSwgY29udHJpYnV0b3IgaW5pdGlhbCwgY3JlYXRvciBpbml0aWFsLCBhbmQgdXBkYXRp
bmcgZGF0ZSwgY29udHJpYnV0ZSBub3RoaW5nIHRvIHRoZSBzZW1hbnRpY3Mgb2YgdGhlIGVudGl0
aWVzIGJlaW5nIG1vZGVsZWQuIElmIHlvdSBuZWVkIHRoZW0gdG8gZW5mb3JjZSBpbnRlZ3JpdHkg
Y29uc3RyYWludHMsIGl04oCZcyBiZXR0ZXIgdG8gdXNlIHNvbWV0aGluZyBsaWtlIFNIQUNMLiBH
ZXQgcmlkIG9mIHRoZXNlIHVubmVjZXNzYXJ5IOKAnGF4aW9tc+KAnSB0byBnZXQgYmV0dGVyIHBl
cmZvcm1hbmNlLg0KDQpCZXN0IHJlZ2FyZHMsDQpTYW1zb24NCg0KDQpPbiBOb3YgMjIsIDIwMjUs
IGF0IDEyOjA34oCvUE0sIElnb3IgVG91amlsb3YgdmlhIHByb3RlZ2UtdXNlciA8cHJvdGVnZS11
c2VyQGxpc3RzLnN0YW5mb3JkLmVkdT4gd3JvdGU6DQoNCkhpIFNhbXNvbiwNCkhhdmUgeW91IHRy
aWVkIFBlbGxldD8NCg0KQ2hlZXJzLA0KSWdvcg0KDQoNClNlbnQ6IFNhdHVyZGF5LCBOb3ZlbWJl
ciAyMiwgMjAyNSBhdCA2OjQ5IFBNDQpGcm9tOiAiU2Ftc29uIFR1IHZpYSBwcm90ZWdlLXVzZXIi
IDxwcm90ZWdlLXVzZXJAbGlzdHMuc3RhbmZvcmQuZWR1Pg0KVG86ICJqZWFubG91aXNqYW5pbkBn
bWFpbC5jb20iIDxqZWFubG91aXNqYW5pbkBnbWFpbC5jb20+LCAiVXNlciBzdXBwb3J0IGZvciBX
ZWJQcm90ZWdlIGFuZCBQcm90ZWdlIERlc2t0b3AiIDxwcm90ZWdlLXVzZXJAbGlzdHMuc3RhbmZv
cmQuZWR1Pg0KQ2M6ICJTYW1zb24gVHUiIDxzd3RAc3RhbmZvcmQuZWR1Pg0KU3ViamVjdDogUmU6
IFtwcm90ZWdlLXVzZXJdIERMIHF1ZXJ5IGJ1ZyA/DQpIaSBKZWFuLUxvdWlzLA0KDQpZb3VyIHBy
b2JsZW0gaXMgbm90IGEgUHJvdGVnZSBidWcgYnV0IGEgcmVhc29uZXIgaXNzdWUuIFRoZSBvbnRv
bG9neSBoYXMgYSBsYXJnZSBudW1iZXIgb2YgYXhpb21zICg3MDIgY2xhc3NlcywgYnV0IDE4LDg2
NSBheGlvbXMpLiBUaGUgSGVybWlUIHJlYXNvbmVyIHRpZWQgaXRzZWxmIGluIGtub3RzIHRyeWlu
ZyB0byByZXNvbHZlIHRoZSBxdWVyeS4gSW50ZXJlc3RpbmdseSwgdXNpbmcgYSBsZXNzIGV4cHJl
c3NpdmUgcmVhc29uZXIgKEVsaykgZGVzaWduZWQgZm9yIGEgcHJvZmlsZSB0aGF0IGRvZXNu4oCZ
dCBpbmNsdWRlIGRpc2p1bmN0aW9uIHJldHVybnMgdGhlIHF1ZXJ5IHJlc3VsdHMgcXVpY2tseS4g
SSBhbSBub3QgYW4gZXhwZXJ0IG9uIHJlYXNvbmVycyBvciB0aGUgaW50ZXJuYWxzIG9mIFByb3Rl
Z2UuIE15ICh3aWxkKSBndWVzcyBpcyB0aGF0LCBpbiB0aGUgYWJzZW5jZSBvZiBpbmZlcmVuY2Ug
cmVzdWx0cyBidWlsdCBieSB0aGUgcmVhc29uZXIsIFByb3RlZ2UgdXNlcyBzb21lIGtpbmQgb2Yg
bG9va3VwIHRvIHJlc29sdmUgdGhlIHNpbXBsZSBkaXNqdW5jdGl2ZSBxdWVyeS4NCg0KKEluaXRp
YWxseSwgSSB0aG91Z2h0IHRoZSBwcm9ibGVtIG1pZ2h0IGJlIGR1ZSB0byBsaW1pdGVkIEphdmEg
bWVtb3J5IGFsbG9jYXRpb24uIEhvd2V2ZXIsIGFmdGVyIGFsbG9jYXRpbmcgOCBHQiBvZiBtZW1v
cnkgdG8gdGhlIHByb2Nlc3MsIEkgb2JzZXJ2ZWQgdGhhdCB0aGUgUHJvdGVnZSBwcm9jZXNzIGRp
ZCBub3QgdXNlIG1vcmUgdGhhbiAzIEdCIG9mIG1lbW9yeSB3aGVuIGl0IGF0dGVtcHRlZCB0byBy
ZXNvbHZlIHRoZSBIZXJtaVQtYmFzZWQgcXVlcnkuIEl0IHNpbXBseSBodW5nLikNCg0KSSBhbSBu
b3Qgc3VyZSBhbnlvbmUgaXMgbWFpbnRhaW5pbmcgdGhlIHJlYXNvbmVycyBhbnltb3JlLiBUaGV5
IHdvdWxkIGJlIHRoZSByaWdodCBwZW9wbGUgdG8gbG9vayBpbnRvIHRoaXMsIG5vdCBQcm90ZWdl
IGRldmVsb3BlcnMuDQoNCkJlc3QgcmVnYXJkcywNClNhbXNvbg0KDQoNCltQYXN0ZWRHcmFwaGlj
LTEudGlmZl0NCg0KT24gTm92IDIwLCAyMDI1LCBhdCA3OjUy4oCvQU0sIEplYW4tTG91aXMgSmFu
aW4gPGplYW5sb3Vpc2phbmluQGdtYWlsLmNvbT4gd3JvdGU6DQoNCkhlbGxvLA0KDQpJIHRyaWVk
IHRvIGV4ZWN1dGUgdGhpcyBxdWVyeSAoc2VlIERMX3F1ZXJ5XzEpIGZvciB0aGUgaW5zdGFuY2Vz
IG9mIHR3byB0YWJsZXMgb2YgbXkgb250b2xvZ3kgKHNlZSBETF9xdWVyeV80KSBidXQgaXQgZGlk
IG5vdCB3b3JrLiBBZnRlciBzb21lIHRpbWUsIEkgd2FzIHRvbGQgdGhhdCBQcm90w6lnw6kgImRv
ZXMgbm90IHJlc3BvbmQiIChzZWUgRExfcXVlcnlfMikuDQoNCldoeSA/IElzIGl0IGEgcXVlc3Rp
b24gb2YgImxpdmUiIG1lbW9yeSA/DQoNCkkgYXR0YWNoIHRoZSBiZWdpbm5pbmcgb2YgdGhlIHJl
cG9ydCAoc2VlIERMXzMpDQoNCllvdXJzLA0KDQpKZWFuLUxvdWlzIEphbmluDQo8RExfcXVlcnlf
MS5wbmc+PERMX3F1ZXJ5XzIucG5nPjxETF9xdWVyeV8zLnBuZz48RExfcXVlcnlfNC5wbmc+X19f
X19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX18NCnByb3RlZ2UtdXNl
ciBtYWlsaW5nIGxpc3QNCnByb3RlZ2UtdXNlckBsaXN0cy5zdGFuZm9yZC5lZHUNCmh0dHBzOi8v
bWFpbG1hbi5zdGFuZm9yZC5lZHUvbWFpbG1hbi9saXN0aW5mby9wcm90ZWdlLXVzZXINCg0KX19f
X19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX18gcHJvdGVnZS11c2Vy
IG1haWxpbmcgbGlzdCBwcm90ZWdlLXVzZXJAbGlzdHMuc3RhbmZvcmQuZWR1IGh0dHBzOi8vbWFp
bG1hbi5zdGFuZm9yZC5lZHUvbWFpbG1hbi9saXN0aW5mby9wcm90ZWdlLXVzZXINCl9fX19fX19f
X19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fDQpwcm90ZWdlLXVzZXIgbWFp
bGluZyBsaXN0DQpwcm90ZWdlLXVzZXJAbGlzdHMuc3RhbmZvcmQuZWR1DQpodHRwczovL21haWxt
YW4uc3RhbmZvcmQuZWR1L21haWxtYW4vbGlzdGluZm8vcHJvdGVnZS11c2VyDQoNCg0K

--_000_77176B8742BA4B7DBE5A696685E32775stanfordedu_
Content-Type: text/html; charset="utf-8"
Content-ID: <[email protected]>
Content-Transfer-Encoding: base64

PGh0bWwgYXJpYS1sYWJlbD0ibWVzc2FnZSBib2R5Ij4NCjxoZWFkPg0KPG1ldGEgaHR0cC1lcXVp
dj0iQ29udGVudC1UeXBlIiBjb250ZW50PSJ0ZXh0L2h0bWw7IGNoYXJzZXQ9dXRmLTgiPg0KPC9o
ZWFkPg0KPGJvZHkgc3R5bGU9Im92ZXJmbG93LXdyYXA6IGJyZWFrLXdvcmQ7IC13ZWJraXQtbmJz
cC1tb2RlOiBzcGFjZTsgbGluZS1icmVhazogYWZ0ZXItd2hpdGUtc3BhY2U7Ij4NCk9uZSBmaW5h
bCB0aG91Z2h0OiBUaGUgcmVhc29uZXJzIG1heSBiZSBPSy4gVGhlIHByb2JsZW0gbWF5IGJlIHRo
ZSBvbnRvbG9neSBpdHNlbGYuDQo8ZGl2Pjxicj4NCjwvZGl2Pg0KPGRpdj5JIGJyb3dzZWQgdGhl
IExFWEVBVSBvbnRvbG9neSBicmllZmx5IGFuZCBzYXcgdGhhdCAo4oCYTGV4aWNhbGl6ZWQgbGVt
bWHigJkgY29tcG9zZXMgc29tZSDigJhMZXhpY2FsaXplZCBsZW1tYeKAmSApIGFuZCAo4oCYTGV4
aWNhbGl6ZWQgbGVtbWHigJkg4oCYaXMgY29tcG9zZWQgb2YnIHNvbWUg4oCYTGV4aWNhbGl6ZWQg
bGVtbWHigJkgKS4gRG9u4oCZdCB0aGVzZSBheGlvbXMgY3JlYXRlIGxvb3BzIHRoYXQgbWF5IHRy
aXAgdXAgcmVhc29uZXJzPyBJIGRvbuKAmXQga25vdyB0aGUNCiBpbnRlbmRlZCBzZW1hbnRpY3Mg
b2YgdGhlc2UgYXhpb21zLiBIb3dldmVyLCBob3cgY2FuIGEgZmluaXRlIG51bWJlciBvZiDigJhM
ZXhpY2FsaXplZCBsZW1tYeKAmSBpbmRpdmlkdWFscyBzYXRpc2Z5IHRoZXNlIGF4aW9tcyB3aXRo
b3V0IGNyZWF0aW5nIGxvb3BzPyBNYXliZSB0aGF04oCZcyB3aGF04oCZcyBjYXVzaW5nIHRoZSBy
ZWFzb25lcnMgdG8gc3BpbiBhbmQgbm90IGZpbmlzaC48L2Rpdj4NCjxkaXY+PGJyPg0KPC9kaXY+
DQo8ZGl2PkkgdGhpbmsgdGhpcyBpcyBteSBmaW5hbCBkaWFnbm9zaXMuIFRoZSBzb2Z0d2FyZSBp
cyBPSywgYnV0IHRoZSBvbnRvbG9neSBuZWVkcyBmaXhpbmcuPC9kaXY+DQo8ZGl2Pjxicj4NCjwv
ZGl2Pg0KPGRpdj5Eb2VzIGFueW9uZSBrbm93IGEgdmFsaWRhdG9yIHRoYXQgY2FuIGRldGVjdCB0
aGlzIGtpbmQgb2YgcHJvYmxlbT88L2Rpdj4NCjxkaXY+PGJyPg0KPC9kaXY+DQo8ZGl2Pg0KPHAg
c3R5bGU9Im1hcmdpbjogMHB4OyBmb250LXN0eWxlOiBub3JtYWw7IGZvbnQtdmFyaWFudC1jYXBz
OiBub3JtYWw7IGZvbnQtd2lkdGg6IG5vcm1hbDsgbGluZS1oZWlnaHQ6IG5vcm1hbDsgZm9udC1z
aXplLWFkanVzdDogbm9uZTsgZm9udC1rZXJuaW5nOiBhdXRvOyBmb250LXZhcmlhbnQtYWx0ZXJu
YXRlczogbm9ybWFsOyBmb250LXZhcmlhbnQtbGlnYXR1cmVzOiBub3JtYWw7IGZvbnQtdmFyaWFu
dC1udW1lcmljOiBub3JtYWw7IGZvbnQtdmFyaWFudC1lYXN0LWFzaWFuOiBub3JtYWw7IGZvbnQt
dmFyaWFudC1wb3NpdGlvbjogbm9ybWFsOyBmb250LXZhcmlhbnQtZW1vamk6IG5vcm1hbDsgZm9u
dC1mZWF0dXJlLXNldHRpbmdzOiBub3JtYWw7IGZvbnQtb3B0aWNhbC1zaXppbmc6IGF1dG87IGZv
bnQtdmFyaWF0aW9uLXNldHRpbmdzOiBub3JtYWw7Ij4NCjxpPkJlc3QgcmVnYXJkcyw8L2k+PGk+
PC9pPjwvcD4NCjxwIHN0eWxlPSJtYXJnaW46IDBweDsgZm9udC1zdHlsZTogbm9ybWFsOyBmb250
LXZhcmlhbnQtY2Fwczogbm9ybWFsOyBmb250LXdpZHRoOiBub3JtYWw7IGxpbmUtaGVpZ2h0OiBu
b3JtYWw7IGZvbnQtc2l6ZS1hZGp1c3Q6IG5vbmU7IGZvbnQta2VybmluZzogYXV0bzsgZm9udC12
YXJpYW50LWFsdGVybmF0ZXM6IG5vcm1hbDsgZm9udC12YXJpYW50LWxpZ2F0dXJlczogbm9ybWFs
OyBmb250LXZhcmlhbnQtbnVtZXJpYzogbm9ybWFsOyBmb250LXZhcmlhbnQtZWFzdC1hc2lhbjog
bm9ybWFsOyBmb250LXZhcmlhbnQtcG9zaXRpb246IG5vcm1hbDsgZm9udC12YXJpYW50LWVtb2pp
OiBub3JtYWw7IGZvbnQtZmVhdHVyZS1zZXR0aW5nczogbm9ybWFsOyBmb250LW9wdGljYWwtc2l6
aW5nOiBhdXRvOyBmb250LXZhcmlhdGlvbi1zZXR0aW5nczogbm9ybWFsOyI+DQo8aT5TYW1zb248
L2k+PC9wPg0KPGRpdj48YnI+DQo8YmxvY2txdW90ZSB0eXBlPSJjaXRlIj4NCjxkaXY+T24gTm92
IDIyLCAyMDI1LCBhdCAxOjI54oCvUE0sIFNhbXNvbiBUdSAmbHQ7c3d0QHN0YW5mb3JkLmVkdSZn
dDsgd3JvdGU6PC9kaXY+DQo8YnIgY2xhc3M9IkFwcGxlLWludGVyY2hhbmdlLW5ld2xpbmUiPg0K
PGRpdj4NCjxkaXYgc3R5bGU9Im92ZXJmbG93LXdyYXA6IGJyZWFrLXdvcmQ7IC13ZWJraXQtbmJz
cC1tb2RlOiBzcGFjZTsgbGluZS1icmVhazogYWZ0ZXItd2hpdGUtc3BhY2U7Ij4NCkhpIElnb3Is
DQo8ZGl2Pjxicj4NCjwvZGl2Pg0KPGRpdj5JIHN0YXJ0ZWQgdGhlIFBlbGxldCByZWFzb25lciwg
YW5kIGFmdGVyIGhhbGYgYW4gaG91ciwgaXTigJlzIHN0aWxsIGNodWdnaW5nIGFsb25nLCBjb25z
dW1pbmcgNy40NCBHQiBvZiBtZW1vcnkuIE15IE1hY0Jvb2sgUHJvIGhhcyBub3QgcmVwb3J0ZWQg
aXQgYmVpbmcgdW5yZXNwb25zaXZlIHRob3VnaCw8L2Rpdj4NCjxkaXY+PGJyPg0KPC9kaXY+DQo8
ZGl2PkplYW4tTG91aXMgc2VudCBtZSBoaXMgb250b2xvZ3kgZm9yIG1lIHRvIGV4cGVyaW1lbnQg
d2l0aC4gSSB0aGluayB0aGUgb250b2xvZ3kgaXMgdW5uZWNlc3NhcmlseSBjb21wbGV4LiBBeGlv
bXMgb24gYWRtaW5pc3RyYXRpdmUgaW5mb3JtYXRpb24sIHN1Y2ggYXMgY3JlYXRpb24gZGF0ZSwg
Y29udHJpYnV0b3IgaW5pdGlhbCwgY3JlYXRvciBpbml0aWFsLCBhbmQgdXBkYXRpbmcgZGF0ZSwg
Y29udHJpYnV0ZSBub3RoaW5nIHRvIHRoZSBzZW1hbnRpY3MNCiBvZiB0aGUgZW50aXRpZXMgYmVp
bmcgbW9kZWxlZC4gSWYgeW91IG5lZWQgdGhlbSB0byBlbmZvcmNlIGludGVncml0eSBjb25zdHJh
aW50cywgaXTigJlzIGJldHRlciB0byB1c2Ugc29tZXRoaW5nIGxpa2UgU0hBQ0wuIEdldCByaWQg
b2YgdGhlc2UgdW5uZWNlc3Nhcnkg4oCcYXhpb21z4oCdIHRvIGdldCBiZXR0ZXIgcGVyZm9ybWFu
Y2UuJm5ic3A7PC9kaXY+DQo8ZGl2Pjxicj4NCjwvZGl2Pg0KPGRpdj4NCjxkaXYgc3R5bGU9Im1h
cmdpbjogMHB4OyBmb250LXN0eWxlOiBub3JtYWw7IGZvbnQtdmFyaWFudC1jYXBzOiBub3JtYWw7
IGZvbnQtd2lkdGg6IG5vcm1hbDsgbGluZS1oZWlnaHQ6IG5vcm1hbDsgZm9udC1zaXplLWFkanVz
dDogbm9uZTsgZm9udC1rZXJuaW5nOiBhdXRvOyBmb250LXZhcmlhbnQtYWx0ZXJuYXRlczogbm9y
bWFsOyBmb250LXZhcmlhbnQtbGlnYXR1cmVzOiBub3JtYWw7IGZvbnQtdmFyaWFudC1udW1lcmlj
OiBub3JtYWw7IGZvbnQtdmFyaWFudC1lYXN0LWFzaWFuOiBub3JtYWw7IGZvbnQtdmFyaWFudC1w
b3NpdGlvbjogbm9ybWFsOyBmb250LWZlYXR1cmUtc2V0dGluZ3M6IG5vcm1hbDsgZm9udC1vcHRp
Y2FsLXNpemluZzogYXV0bzsgZm9udC12YXJpYXRpb24tc2V0dGluZ3M6IG5vcm1hbDsiPg0KPGk+
QmVzdCByZWdhcmRzLDwvaT48aT48L2k+PC9kaXY+DQo8ZGl2IHN0eWxlPSJtYXJnaW46IDBweDsg
Zm9udC1zdHlsZTogbm9ybWFsOyBmb250LXZhcmlhbnQtY2Fwczogbm9ybWFsOyBmb250LXdpZHRo
OiBub3JtYWw7IGxpbmUtaGVpZ2h0OiBub3JtYWw7IGZvbnQtc2l6ZS1hZGp1c3Q6IG5vbmU7IGZv
bnQta2VybmluZzogYXV0bzsgZm9udC12YXJpYW50LWFsdGVybmF0ZXM6IG5vcm1hbDsgZm9udC12
YXJpYW50LWxpZ2F0dXJlczogbm9ybWFsOyBmb250LXZhcmlhbnQtbnVtZXJpYzogbm9ybWFsOyBm
b250LXZhcmlhbnQtZWFzdC1hc2lhbjogbm9ybWFsOyBmb250LXZhcmlhbnQtcG9zaXRpb246IG5v
cm1hbDsgZm9udC1mZWF0dXJlLXNldHRpbmdzOiBub3JtYWw7IGZvbnQtb3B0aWNhbC1zaXppbmc6
IGF1dG87IGZvbnQtdmFyaWF0aW9uLXNldHRpbmdzOiBub3JtYWw7Ij4NCjxpPlNhbXNvbjwvaT48
L2Rpdj4NCjwvZGl2Pg0KPGRpdj48YnIgaWQ9ImxpbmVCcmVha0F0QmVnaW5uaW5nT2ZNZXNzYWdl
Ij4NCjxkaXY+PGJyPg0KPGJsb2NrcXVvdGUgdHlwZT0iY2l0ZSI+DQo8ZGl2Pk9uIE5vdiAyMiwg
MjAyNSwgYXQgMTI6MDfigK9QTSwgSWdvciBUb3VqaWxvdiB2aWEgcHJvdGVnZS11c2VyICZsdDtw
cm90ZWdlLXVzZXJAbGlzdHMuc3RhbmZvcmQuZWR1Jmd0OyB3cm90ZTo8L2Rpdj4NCjxiciBjbGFz
cz0iQXBwbGUtaW50ZXJjaGFuZ2UtbmV3bGluZSI+DQo8ZGl2Pg0KPGRpdj4NCjxkaXYgc3R5bGU9
ImZvbnQtZmFtaWx5OiBWZXJkYW5hO2ZvbnQtc2l6ZTogMTIuMHB4OyI+DQo8ZGl2PkhpJm5ic3A7
U2Ftc29uLDwvZGl2Pg0KPGRpdj5IYXZlIHlvdSB0cmllZCBQZWxsZXQ/PC9kaXY+DQo8ZGl2PiZu
YnNwOzwvZGl2Pg0KPGRpdj5DaGVlcnMsPC9kaXY+DQo8ZGl2Pklnb3I8L2Rpdj4NCjxkaXY+Jm5i
c3A7DQo8ZGl2PiZuYnNwOw0KPGRpdiBuYW1lPSJxdW90ZSIgc3R5bGU9Im1hcmdpbjoxMHB4IDVw
eCA1cHggMTBweDsgcGFkZGluZzogMTBweCAwIDEwcHggMTBweDsgYm9yZGVyLWxlZnQ6MnB4IHNv
bGlkICNDM0Q5RTU7IHdvcmQtd3JhcDogYnJlYWstd29yZDsgLXdlYmtpdC1uYnNwLW1vZGU6IHNw
YWNlOyAtd2Via2l0LWxpbmUtYnJlYWs6IGFmdGVyLXdoaXRlLXNwYWNlOyI+DQo8ZGl2IHN0eWxl
PSJtYXJnaW46MCAwIDEwcHggMDsiPjxiPlNlbnQ6PC9iPiZuYnNwO1NhdHVyZGF5LCBOb3ZlbWJl
ciAyMiwgMjAyNSBhdCA2OjQ5IFBNPGJyPg0KPGI+RnJvbTo8L2I+Jm5ic3A7JnF1b3Q7U2Ftc29u
IFR1IHZpYSBwcm90ZWdlLXVzZXImcXVvdDsgJmx0O3Byb3RlZ2UtdXNlckBsaXN0cy5zdGFuZm9y
ZC5lZHUmZ3Q7PGJyPg0KPGI+VG86PC9iPiZuYnNwOyZxdW90O2plYW5sb3Vpc2phbmluQGdtYWls
LmNvbSZxdW90OyAmbHQ7amVhbmxvdWlzamFuaW5AZ21haWwuY29tJmd0OywgJnF1b3Q7VXNlciBz
dXBwb3J0IGZvciBXZWJQcm90ZWdlIGFuZCBQcm90ZWdlIERlc2t0b3AmcXVvdDsgJmx0O3Byb3Rl
Z2UtdXNlckBsaXN0cy5zdGFuZm9yZC5lZHUmZ3Q7PGJyPg0KPGI+Q2M6PC9iPiZuYnNwOyZxdW90
O1NhbXNvbiBUdSZxdW90OyAmbHQ7c3d0QHN0YW5mb3JkLmVkdSZndDs8YnI+DQo8Yj5TdWJqZWN0
OjwvYj4mbmJzcDtSZTogW3Byb3RlZ2UtdXNlcl0gREwgcXVlcnkgYnVnID88L2Rpdj4NCjxkaXYg
bmFtZT0icXVvdGVkLWNvbnRlbnQiPg0KPGRpdj4NCjxkaXY+SGkgSmVhbi1Mb3Vpcyw8L2Rpdj4N
CjxkaXY+Jm5ic3A7PC9kaXY+DQo8ZGl2PllvdXIgcHJvYmxlbSBpcyBub3QgYSBQcm90ZWdlIGJ1
ZyBidXQgYSByZWFzb25lciBpc3N1ZS4gVGhlIG9udG9sb2d5IGhhcyBhIGxhcmdlIG51bWJlciBv
ZiBheGlvbXMgKDcwMiBjbGFzc2VzLCBidXQgMTgsODY1IGF4aW9tcykuIFRoZSBIZXJtaVQgcmVh
c29uZXIgdGllZCBpdHNlbGYgaW4ga25vdHMgdHJ5aW5nIHRvIHJlc29sdmUgdGhlIHF1ZXJ5LiBJ
bnRlcmVzdGluZ2x5LCB1c2luZyBhIGxlc3MgZXhwcmVzc2l2ZSByZWFzb25lciAoRWxrKQ0KIGRl
c2lnbmVkIGZvciBhIHByb2ZpbGUgdGhhdCBkb2VzbuKAmXQgaW5jbHVkZSBkaXNqdW5jdGlvbiBy
ZXR1cm5zIHRoZSBxdWVyeSByZXN1bHRzIHF1aWNrbHkuIEkgYW0gbm90IGFuIGV4cGVydCBvbiBy
ZWFzb25lcnMgb3IgdGhlIGludGVybmFscyBvZiBQcm90ZWdlLiBNeSAod2lsZCkgZ3Vlc3MgaXMg
dGhhdCwgaW4gdGhlIGFic2VuY2Ugb2YgaW5mZXJlbmNlIHJlc3VsdHMgYnVpbHQgYnkgdGhlIHJl
YXNvbmVyLCBQcm90ZWdlIHVzZXMgc29tZSBraW5kDQogb2YgbG9va3VwIHRvIHJlc29sdmUgdGhl
IHNpbXBsZSBkaXNqdW5jdGl2ZSBxdWVyeS4mbmJzcDs8L2Rpdj4NCjxkaXY+Jm5ic3A7PC9kaXY+
DQo8ZGl2PihJbml0aWFsbHksIEkgdGhvdWdodCB0aGUgcHJvYmxlbSBtaWdodCBiZSBkdWUgdG8g
bGltaXRlZCBKYXZhIG1lbW9yeSBhbGxvY2F0aW9uLiBIb3dldmVyLCBhZnRlciBhbGxvY2F0aW5n
IDggR0Igb2YgbWVtb3J5IHRvIHRoZSBwcm9jZXNzLCBJIG9ic2VydmVkIHRoYXQgdGhlIFByb3Rl
Z2UgcHJvY2VzcyBkaWQgbm90IHVzZSBtb3JlIHRoYW4gMyBHQiBvZiBtZW1vcnkgd2hlbiBpdCBh
dHRlbXB0ZWQgdG8gcmVzb2x2ZSB0aGUgSGVybWlULWJhc2VkDQogcXVlcnkuIEl0IHNpbXBseSBo
dW5nLik8L2Rpdj4NCjxkaXY+Jm5ic3A7PC9kaXY+DQo8ZGl2PkkgYW0gbm90IHN1cmUgYW55b25l
IGlzIG1haW50YWluaW5nIHRoZSByZWFzb25lcnMgYW55bW9yZS4gVGhleSB3b3VsZCBiZSB0aGUg
cmlnaHQgcGVvcGxlIHRvIGxvb2sgaW50byB0aGlzLCBub3QgUHJvdGVnZSBkZXZlbG9wZXJzLjwv
ZGl2Pg0KPGRpdj4mbmJzcDs8L2Rpdj4NCjxkaXY+DQo8ZGl2IHN0eWxlPSJtYXJnaW46IDBweDsg
Zm9udC1zdHlsZTogbm9ybWFsOyBsaW5lLWhlaWdodDogbm9ybWFsOyBmb250LXNpemUtYWRqdXN0
OiBub25lOyI+DQo8aT5CZXN0IHJlZ2FyZHMsPC9pPjwvZGl2Pg0KPGRpdiBzdHlsZT0ibWFyZ2lu
OiAwcHg7IGZvbnQtc3R5bGU6IG5vcm1hbDsgbGluZS1oZWlnaHQ6IG5vcm1hbDsgZm9udC1zaXpl
LWFkanVzdDogbm9uZTsiPg0KPGk+U2Ftc29uPC9pPjwvZGl2Pg0KPC9kaXY+DQo8ZGl2PiZuYnNw
OzwvZGl2Pg0KPGRpdj4mbmJzcDs8L2Rpdj4NCjxpbWcgYWx0PSJQYXN0ZWRHcmFwaGljLTEudGlm
ZiIgc3JjPSJjaWQ6QUIzRjVBRTgtMDZDOC00OENDLTg4M0MtOUIzMTNFNzlCQ0YyIiB3aWR0aD0i
ODkwIj4NCjxkaXY+Jm5ic3A7DQo8YmxvY2txdW90ZT4NCjxkaXY+T24gTm92IDIwLCAyMDI1LCBh
dCA3OjUy4oCvQU0sIEplYW4tTG91aXMgSmFuaW4gJmx0O2plYW5sb3Vpc2phbmluQGdtYWlsLmNv
bSZndDsgd3JvdGU6PC9kaXY+DQombmJzcDsNCjxkaXY+DQo8ZGl2PkhlbGxvLDxicj4NCjxicj4N
CkkgdHJpZWQgdG8gZXhlY3V0ZSB0aGlzIHF1ZXJ5IChzZWUgRExfcXVlcnlfMSkgZm9yIHRoZSBp
bnN0YW5jZXMgb2YgdHdvIHRhYmxlcyBvZiBteSBvbnRvbG9neSAoc2VlIERMX3F1ZXJ5XzQpIGJ1
dCBpdCBkaWQgbm90IHdvcmsuIEFmdGVyIHNvbWUgdGltZSwgSSB3YXMgdG9sZCB0aGF0IFByb3TD
qWfDqSAmcXVvdDtkb2VzIG5vdCByZXNwb25kJnF1b3Q7IChzZWUgRExfcXVlcnlfMikuPGJyPg0K
PGJyPg0KV2h5ID8gSXMgaXQgYSBxdWVzdGlvbiBvZiAmcXVvdDtsaXZlJnF1b3Q7IG1lbW9yeSA/
PGJyPg0KPGJyPg0KSSBhdHRhY2ggdGhlIGJlZ2lubmluZyBvZiB0aGUgcmVwb3J0IChzZWUgRExf
Myk8YnI+DQo8YnI+DQpZb3Vycyw8YnI+DQo8YnI+DQpKZWFuLUxvdWlzIEphbmluPGJyPg0KPHNw
YW4gaWQ9ImNpZDo1MzA1NDA0NS1FNkE3LTQ2RUItODJFOC03QTQ3MzRBNUYwRjgiPiZsdDtETF9x
dWVyeV8xLnBuZyZndDs8L3NwYW4+PHNwYW4gaWQ9ImNpZDpGMDU1QzkwRS0yMDVCLTQwRUItODZG
OC0wREU4MEJBNThFQUQiPiZsdDtETF9xdWVyeV8yLnBuZyZndDs8L3NwYW4+PHNwYW4gaWQ9ImNp
ZDo2NDQ1MjBGMS03MkNDLTRCQUUtODBFRi01QTJCNDMyQjY2MzUiPiZsdDtETF9xdWVyeV8zLnBu
ZyZndDs8L3NwYW4+PHNwYW4gaWQ9ImNpZDo2NUNBNjY4MS1COTEwLTQ0MzgtQTYyRi0xN0ZDRkRE
NEI1NEMiPiZsdDtETF9xdWVyeV80LnBuZyZndDs8L3NwYW4+X19fX19fX19fX19fX19fX19fX19f
X19fX19fX19fX19fX19fX19fX19fX19fX188YnI+DQpwcm90ZWdlLXVzZXIgbWFpbGluZyBsaXN0
PGJyPg0KcHJvdGVnZS11c2VyQGxpc3RzLnN0YW5mb3JkLmVkdTxicj4NCjxhIGhyZWY9Imh0dHBz
Oi8vbWFpbG1hbi5zdGFuZm9yZC5lZHUvbWFpbG1hbi9saXN0aW5mby9wcm90ZWdlLXVzZXIiIHRh
cmdldD0iX2JsYW5rIj5odHRwczovL21haWxtYW4uc3RhbmZvcmQuZWR1L21haWxtYW4vbGlzdGlu
Zm8vcHJvdGVnZS11c2VyPC9hPjwvZGl2Pg0KPC9kaXY+DQo8L2Jsb2NrcXVvdGU+DQo8L2Rpdj4N
Cjxicj4NCl9fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fIHBy
b3RlZ2UtdXNlciBtYWlsaW5nIGxpc3QgcHJvdGVnZS11c2VyQGxpc3RzLnN0YW5mb3JkLmVkdQ0K
PGEgaHJlZj0iaHR0cHM6Ly9tYWlsbWFuLnN0YW5mb3JkLmVkdS9tYWlsbWFuL2xpc3RpbmZvL3By
b3RlZ2UtdXNlciIgdGFyZ2V0PSJfYmxhbmsiPg0KaHR0cHM6Ly9tYWlsbWFuLnN0YW5mb3JkLmVk
dS9tYWlsbWFuL2xpc3RpbmZvL3Byb3RlZ2UtdXNlcjwvYT48L2Rpdj4NCjwvZGl2Pg0KPC9kaXY+
DQo8L2Rpdj4NCjwvZGl2Pg0KPC9kaXY+DQo8L2Rpdj4NCl9fX19fX19fX19fX19fX19fX19fX19f
X19fX19fX19fX19fX19fX19fX19fX19fPGJyPg0KcHJvdGVnZS11c2VyIG1haWxpbmcgbGlzdDxi
cj4NCnByb3RlZ2UtdXNlckBsaXN0cy5zdGFuZm9yZC5lZHU8YnI+DQpodHRwczovL21haWxtYW4u
c3RhbmZvcmQuZWR1L21haWxtYW4vbGlzdGluZm8vcHJvdGVnZS11c2VyPGJyPg0KPC9kaXY+DQo8
L2Jsb2NrcXVvdGU+DQo8L2Rpdj4NCjxicj4NCjwvZGl2Pg0KPC9kaXY+DQo8L2Rpdj4NCjwvYmxv
Y2txdW90ZT4NCjwvZGl2Pg0KPGJyPg0KPC9kaXY+DQo8L2JvZHk+DQo8L2h0bWw+DQo=

--_000_77176B8742BA4B7DBE5A696685E32775stanfordedu_--

--===============4234859063665915396==
Content-Type: text/plain; charset="us-ascii"
MIME-Version: 1.0
Content-Transfer-Encoding: 7bit
Content-Disposition: inline

_______________________________________________
protege-user mailing list
[email protected]
https://mailman.stanford.edu/mailman/listinfo/protege-user

--===============4234859063665915396==--