Re: [protege-user] DL query bug ?

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

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

SGkgSWdvciwNCg0KSSBzdGFydGVkIHRoZSBQZWxsZXQgcmVhc29uZXIsIGFuZCBhZnRlciBoYWxm
IGFuIGhvdXIsIGl04oCZcyBzdGlsbCBjaHVnZ2luZyBhbG9uZywgY29uc3VtaW5nIDcuNDQgR0Ig
b2YgbWVtb3J5LiBNeSBNYWNCb29rIFBybyBoYXMgbm90IHJlcG9ydGVkIGl0IGJlaW5nIHVucmVz
cG9uc2l2ZSB0aG91Z2gsDQoNCkplYW4tTG91aXMgc2VudCBtZSBoaXMgb250b2xvZ3kgZm9yIG1l
IHRvIGV4cGVyaW1lbnQgd2l0aC4gSSB0aGluayB0aGUgb250b2xvZ3kgaXMgdW5uZWNlc3Nhcmls
eSBjb21wbGV4LiBBeGlvbXMgb24gYWRtaW5pc3RyYXRpdmUgaW5mb3JtYXRpb24sIHN1Y2ggYXMg
Y3JlYXRpb24gZGF0ZSwgY29udHJpYnV0b3IgaW5pdGlhbCwgY3JlYXRvciBpbml0aWFsLCBhbmQg
dXBkYXRpbmcgZGF0ZSwgY29udHJpYnV0ZSBub3RoaW5nIHRvIHRoZSBzZW1hbnRpY3Mgb2YgdGhl
IGVudGl0aWVzIGJlaW5nIG1vZGVsZWQuIElmIHlvdSBuZWVkIHRoZW0gdG8gZW5mb3JjZSBpbnRl
Z3JpdHkgY29uc3RyYWludHMsIGl04oCZcyBiZXR0ZXIgdG8gdXNlIHNvbWV0aGluZyBsaWtlIFNI
QUNMLiBHZXQgcmlkIG9mIHRoZXNlIHVubmVjZXNzYXJ5IOKAnGF4aW9tc+KAnSB0byBnZXQgYmV0
dGVyIHBlcmZvcm1hbmNlLg0KDQoNCkJlc3QgcmVnYXJkcywNCg0KU2Ftc29uDQoNCg0KT24gTm92
IDIyLCAyMDI1LCBhdCAxMjowN+KAr1BNLCBJZ29yIFRvdWppbG92IHZpYSBwcm90ZWdlLXVzZXIg
PHByb3RlZ2UtdXNlckBsaXN0cy5zdGFuZm9yZC5lZHU+IHdyb3RlOg0KDQpIaSBTYW1zb24sDQpI
YXZlIHlvdSB0cmllZCBQZWxsZXQ/DQoNCkNoZWVycywNCklnb3INCg0KDQpTZW50OiBTYXR1cmRh
eSwgTm92ZW1iZXIgMjIsIDIwMjUgYXQgNjo0OSBQTQ0KRnJvbTogIlNhbXNvbiBUdSB2aWEgcHJv
dGVnZS11c2VyIiA8cHJvdGVnZS11c2VyQGxpc3RzLnN0YW5mb3JkLmVkdT4NClRvOiAiamVhbmxv
dWlzamFuaW5AZ21haWwuY29tIiA8amVhbmxvdWlzamFuaW5AZ21haWwuY29tPiwgIlVzZXIgc3Vw
cG9ydCBmb3IgV2ViUHJvdGVnZSBhbmQgUHJvdGVnZSBEZXNrdG9wIiA8cHJvdGVnZS11c2VyQGxp
c3RzLnN0YW5mb3JkLmVkdT4NCkNjOiAiU2Ftc29uIFR1IiA8c3d0QHN0YW5mb3JkLmVkdT4NClN1
YmplY3Q6IFJlOiBbcHJvdGVnZS11c2VyXSBETCBxdWVyeSBidWcgPw0KSGkgSmVhbi1Mb3VpcywN
Cg0KWW91ciBwcm9ibGVtIGlzIG5vdCBhIFByb3RlZ2UgYnVnIGJ1dCBhIHJlYXNvbmVyIGlzc3Vl
LiBUaGUgb250b2xvZ3kgaGFzIGEgbGFyZ2UgbnVtYmVyIG9mIGF4aW9tcyAoNzAyIGNsYXNzZXMs
IGJ1dCAxOCw4NjUgYXhpb21zKS4gVGhlIEhlcm1pVCByZWFzb25lciB0aWVkIGl0c2VsZiBpbiBr
bm90cyB0cnlpbmcgdG8gcmVzb2x2ZSB0aGUgcXVlcnkuIEludGVyZXN0aW5nbHksIHVzaW5nIGEg
bGVzcyBleHByZXNzaXZlIHJlYXNvbmVyIChFbGspIGRlc2lnbmVkIGZvciBhIHByb2ZpbGUgdGhh
dCBkb2VzbuKAmXQgaW5jbHVkZSBkaXNqdW5jdGlvbiByZXR1cm5zIHRoZSBxdWVyeSByZXN1bHRz
IHF1aWNrbHkuIEkgYW0gbm90IGFuIGV4cGVydCBvbiByZWFzb25lcnMgb3IgdGhlIGludGVybmFs
cyBvZiBQcm90ZWdlLiBNeSAod2lsZCkgZ3Vlc3MgaXMgdGhhdCwgaW4gdGhlIGFic2VuY2Ugb2Yg
aW5mZXJlbmNlIHJlc3VsdHMgYnVpbHQgYnkgdGhlIHJlYXNvbmVyLCBQcm90ZWdlIHVzZXMgc29t
ZSBraW5kIG9mIGxvb2t1cCB0byByZXNvbHZlIHRoZSBzaW1wbGUgZGlzanVuY3RpdmUgcXVlcnku
DQoNCihJbml0aWFsbHksIEkgdGhvdWdodCB0aGUgcHJvYmxlbSBtaWdodCBiZSBkdWUgdG8gbGlt
aXRlZCBKYXZhIG1lbW9yeSBhbGxvY2F0aW9uLiBIb3dldmVyLCBhZnRlciBhbGxvY2F0aW5nIDgg
R0Igb2YgbWVtb3J5IHRvIHRoZSBwcm9jZXNzLCBJIG9ic2VydmVkIHRoYXQgdGhlIFByb3RlZ2Ug
cHJvY2VzcyBkaWQgbm90IHVzZSBtb3JlIHRoYW4gMyBHQiBvZiBtZW1vcnkgd2hlbiBpdCBhdHRl
bXB0ZWQgdG8gcmVzb2x2ZSB0aGUgSGVybWlULWJhc2VkIHF1ZXJ5LiBJdCBzaW1wbHkgaHVuZy4p
DQoNCkkgYW0gbm90IHN1cmUgYW55b25lIGlzIG1haW50YWluaW5nIHRoZSByZWFzb25lcnMgYW55
bW9yZS4gVGhleSB3b3VsZCBiZSB0aGUgcmlnaHQgcGVvcGxlIHRvIGxvb2sgaW50byB0aGlzLCBu
b3QgUHJvdGVnZSBkZXZlbG9wZXJzLg0KDQpCZXN0IHJlZ2FyZHMsDQpTYW1zb24NCg0KDQpbUGFz
dGVkR3JhcGhpYy0xLnRpZmZdDQoNCk9uIE5vdiAyMCwgMjAyNSwgYXQgNzo1MuKAr0FNLCBKZWFu
LUxvdWlzIEphbmluIDxqZWFubG91aXNqYW5pbkBnbWFpbC5jb20+IHdyb3RlOg0KDQpIZWxsbywN
Cg0KSSB0cmllZCB0byBleGVjdXRlIHRoaXMgcXVlcnkgKHNlZSBETF9xdWVyeV8xKSBmb3IgdGhl
IGluc3RhbmNlcyBvZiB0d28gdGFibGVzIG9mIG15IG9udG9sb2d5IChzZWUgRExfcXVlcnlfNCkg
YnV0IGl0IGRpZCBub3Qgd29yay4gQWZ0ZXIgc29tZSB0aW1lLCBJIHdhcyB0b2xkIHRoYXQgUHJv
dMOpZ8OpICJkb2VzIG5vdCByZXNwb25kIiAoc2VlIERMX3F1ZXJ5XzIpLg0KDQpXaHkgPyBJcyBp
dCBhIHF1ZXN0aW9uIG9mICJsaXZlIiBtZW1vcnkgPw0KDQpJIGF0dGFjaCB0aGUgYmVnaW5uaW5n
IG9mIHRoZSByZXBvcnQgKHNlZSBETF8zKQ0KDQpZb3VycywNCg0KSmVhbi1Mb3VpcyBKYW5pbg0K
PERMX3F1ZXJ5XzEucG5nPjxETF9xdWVyeV8yLnBuZz48RExfcXVlcnlfMy5wbmc+PERMX3F1ZXJ5
XzQucG5nPl9fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fDQpw
cm90ZWdlLXVzZXIgbWFpbGluZyBsaXN0DQpwcm90ZWdlLXVzZXJAbGlzdHMuc3RhbmZvcmQuZWR1
DQpodHRwczovL21haWxtYW4uc3RhbmZvcmQuZWR1L21haWxtYW4vbGlzdGluZm8vcHJvdGVnZS11
c2VyDQoNCl9fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fIHBy
b3RlZ2UtdXNlciBtYWlsaW5nIGxpc3QgcHJvdGVnZS11c2VyQGxpc3RzLnN0YW5mb3JkLmVkdSBo
dHRwczovL21haWxtYW4uc3RhbmZvcmQuZWR1L21haWxtYW4vbGlzdGluZm8vcHJvdGVnZS11c2Vy
DQpfX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fXw0KcHJvdGVn
ZS11c2VyIG1haWxpbmcgbGlzdA0KcHJvdGVnZS11c2VyQGxpc3RzLnN0YW5mb3JkLmVkdQ0KaHR0
cHM6Ly9tYWlsbWFuLnN0YW5mb3JkLmVkdS9tYWlsbWFuL2xpc3RpbmZvL3Byb3RlZ2UtdXNlcg0K
DQo=

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

PGh0bWwgYXJpYS1sYWJlbD0ibWVzc2FnZSBib2R5Ij4NCjxoZWFkPg0KPG1ldGEgaHR0cC1lcXVp
dj0iQ29udGVudC1UeXBlIiBjb250ZW50PSJ0ZXh0L2h0bWw7IGNoYXJzZXQ9dXRmLTgiPg0KPC9o
ZWFkPg0KPGJvZHkgc3R5bGU9Im92ZXJmbG93LXdyYXA6IGJyZWFrLXdvcmQ7IC13ZWJraXQtbmJz
cC1tb2RlOiBzcGFjZTsgbGluZS1icmVhazogYWZ0ZXItd2hpdGUtc3BhY2U7Ij4NCkhpIElnb3Is
DQo8ZGl2Pjxicj4NCjwvZGl2Pg0KPGRpdj5JIHN0YXJ0ZWQgdGhlIFBlbGxldCByZWFzb25lciwg
YW5kIGFmdGVyIGhhbGYgYW4gaG91ciwgaXTigJlzIHN0aWxsIGNodWdnaW5nIGFsb25nLCBjb25z
dW1pbmcgNy40NCBHQiBvZiBtZW1vcnkuIE15IE1hY0Jvb2sgUHJvIGhhcyBub3QgcmVwb3J0ZWQg
aXQgYmVpbmcgdW5yZXNwb25zaXZlIHRob3VnaCw8L2Rpdj4NCjxkaXY+PGJyPg0KPC9kaXY+DQo8
ZGl2PkplYW4tTG91aXMgc2VudCBtZSBoaXMgb250b2xvZ3kgZm9yIG1lIHRvIGV4cGVyaW1lbnQg
d2l0aC4gSSB0aGluayB0aGUgb250b2xvZ3kgaXMgdW5uZWNlc3NhcmlseSBjb21wbGV4LiBBeGlv
bXMgb24gYWRtaW5pc3RyYXRpdmUgaW5mb3JtYXRpb24sIHN1Y2ggYXMgY3JlYXRpb24gZGF0ZSwg
Y29udHJpYnV0b3IgaW5pdGlhbCwgY3JlYXRvciBpbml0aWFsLCBhbmQgdXBkYXRpbmcgZGF0ZSwg
Y29udHJpYnV0ZSBub3RoaW5nIHRvIHRoZSBzZW1hbnRpY3MNCiBvZiB0aGUgZW50aXRpZXMgYmVp
bmcgbW9kZWxlZC4gSWYgeW91IG5lZWQgdGhlbSB0byBlbmZvcmNlIGludGVncml0eSBjb25zdHJh
aW50cywgaXTigJlzIGJldHRlciB0byB1c2Ugc29tZXRoaW5nIGxpa2UgU0hBQ0wuIEdldCByaWQg
b2YgdGhlc2UgdW5uZWNlc3Nhcnkg4oCcYXhpb21z4oCdIHRvIGdldCBiZXR0ZXIgcGVyZm9ybWFu
Y2UuJm5ic3A7PC9kaXY+DQo8ZGl2Pjxicj4NCjwvZGl2Pg0KPGRpdj4NCjxwIHN0eWxlPSJtYXJn
aW46IDBweDsgZm9udC1zdHlsZTogbm9ybWFsOyBmb250LXZhcmlhbnQtY2Fwczogbm9ybWFsOyBm
b250LXdpZHRoOiBub3JtYWw7IGxpbmUtaGVpZ2h0OiBub3JtYWw7IGZvbnQtc2l6ZS1hZGp1c3Q6
IG5vbmU7IGZvbnQta2VybmluZzogYXV0bzsgZm9udC12YXJpYW50LWFsdGVybmF0ZXM6IG5vcm1h
bDsgZm9udC12YXJpYW50LWxpZ2F0dXJlczogbm9ybWFsOyBmb250LXZhcmlhbnQtbnVtZXJpYzog
bm9ybWFsOyBmb250LXZhcmlhbnQtZWFzdC1hc2lhbjogbm9ybWFsOyBmb250LXZhcmlhbnQtcG9z
aXRpb246IG5vcm1hbDsgZm9udC12YXJpYW50LWVtb2ppOiBub3JtYWw7IGZvbnQtZmVhdHVyZS1z
ZXR0aW5nczogbm9ybWFsOyBmb250LW9wdGljYWwtc2l6aW5nOiBhdXRvOyBmb250LXZhcmlhdGlv
bi1zZXR0aW5nczogbm9ybWFsOyI+DQo8aT5CZXN0IHJlZ2FyZHMsPC9pPjxpPjwvaT48L3A+DQo8
cCBzdHlsZT0ibWFyZ2luOiAwcHg7IGZvbnQtc3R5bGU6IG5vcm1hbDsgZm9udC12YXJpYW50LWNh
cHM6IG5vcm1hbDsgZm9udC13aWR0aDogbm9ybWFsOyBsaW5lLWhlaWdodDogbm9ybWFsOyBmb250
LXNpemUtYWRqdXN0OiBub25lOyBmb250LWtlcm5pbmc6IGF1dG87IGZvbnQtdmFyaWFudC1hbHRl
cm5hdGVzOiBub3JtYWw7IGZvbnQtdmFyaWFudC1saWdhdHVyZXM6IG5vcm1hbDsgZm9udC12YXJp
YW50LW51bWVyaWM6IG5vcm1hbDsgZm9udC12YXJpYW50LWVhc3QtYXNpYW46IG5vcm1hbDsgZm9u
dC12YXJpYW50LXBvc2l0aW9uOiBub3JtYWw7IGZvbnQtdmFyaWFudC1lbW9qaTogbm9ybWFsOyBm
b250LWZlYXR1cmUtc2V0dGluZ3M6IG5vcm1hbDsgZm9udC1vcHRpY2FsLXNpemluZzogYXV0bzsg
Zm9udC12YXJpYXRpb24tc2V0dGluZ3M6IG5vcm1hbDsiPg0KPGk+U2Ftc29uPC9pPjwvcD4NCjwv
ZGl2Pg0KPGRpdj48YnIgaWQ9ImxpbmVCcmVha0F0QmVnaW5uaW5nT2ZNZXNzYWdlIj4NCjxkaXY+
PGJyPg0KPGJsb2NrcXVvdGUgdHlwZT0iY2l0ZSI+DQo8ZGl2Pk9uIE5vdiAyMiwgMjAyNSwgYXQg
MTI6MDfigK9QTSwgSWdvciBUb3VqaWxvdiB2aWEgcHJvdGVnZS11c2VyICZsdDtwcm90ZWdlLXVz
ZXJAbGlzdHMuc3RhbmZvcmQuZWR1Jmd0OyB3cm90ZTo8L2Rpdj4NCjxiciBjbGFzcz0iQXBwbGUt
aW50ZXJjaGFuZ2UtbmV3bGluZSI+DQo8ZGl2Pg0KPGRpdj4NCjxkaXYgc3R5bGU9ImZvbnQtZmFt
aWx5OiBWZXJkYW5hO2ZvbnQtc2l6ZTogMTIuMHB4OyI+DQo8ZGl2PkhpJm5ic3A7U2Ftc29uLDwv
ZGl2Pg0KPGRpdj5IYXZlIHlvdSB0cmllZCBQZWxsZXQ/PC9kaXY+DQo8ZGl2PiZuYnNwOzwvZGl2
Pg0KPGRpdj5DaGVlcnMsPC9kaXY+DQo8ZGl2Pklnb3I8L2Rpdj4NCjxkaXY+Jm5ic3A7DQo8ZGl2
PiZuYnNwOw0KPGRpdiBuYW1lPSJxdW90ZSIgc3R5bGU9Im1hcmdpbjoxMHB4IDVweCA1cHggMTBw
eDsgcGFkZGluZzogMTBweCAwIDEwcHggMTBweDsgYm9yZGVyLWxlZnQ6MnB4IHNvbGlkICNDM0Q5
RTU7IHdvcmQtd3JhcDogYnJlYWstd29yZDsgLXdlYmtpdC1uYnNwLW1vZGU6IHNwYWNlOyAtd2Vi
a2l0LWxpbmUtYnJlYWs6IGFmdGVyLXdoaXRlLXNwYWNlOyI+DQo8ZGl2IHN0eWxlPSJtYXJnaW46
MCAwIDEwcHggMDsiPjxiPlNlbnQ6PC9iPiZuYnNwO1NhdHVyZGF5LCBOb3ZlbWJlciAyMiwgMjAy
NSBhdCA2OjQ5IFBNPGJyPg0KPGI+RnJvbTo8L2I+Jm5ic3A7JnF1b3Q7U2Ftc29uIFR1IHZpYSBw
cm90ZWdlLXVzZXImcXVvdDsgJmx0O3Byb3RlZ2UtdXNlckBsaXN0cy5zdGFuZm9yZC5lZHUmZ3Q7
PGJyPg0KPGI+VG86PC9iPiZuYnNwOyZxdW90O2plYW5sb3Vpc2phbmluQGdtYWlsLmNvbSZxdW90
OyAmbHQ7amVhbmxvdWlzamFuaW5AZ21haWwuY29tJmd0OywgJnF1b3Q7VXNlciBzdXBwb3J0IGZv
ciBXZWJQcm90ZWdlIGFuZCBQcm90ZWdlIERlc2t0b3AmcXVvdDsgJmx0O3Byb3RlZ2UtdXNlckBs
aXN0cy5zdGFuZm9yZC5lZHUmZ3Q7PGJyPg0KPGI+Q2M6PC9iPiZuYnNwOyZxdW90O1NhbXNvbiBU
dSZxdW90OyAmbHQ7c3d0QHN0YW5mb3JkLmVkdSZndDs8YnI+DQo8Yj5TdWJqZWN0OjwvYj4mbmJz
cDtSZTogW3Byb3RlZ2UtdXNlcl0gREwgcXVlcnkgYnVnID88L2Rpdj4NCjxkaXYgbmFtZT0icXVv
dGVkLWNvbnRlbnQiPg0KPGRpdj4NCjxkaXY+SGkgSmVhbi1Mb3Vpcyw8L2Rpdj4NCjxkaXY+Jm5i
c3A7PC9kaXY+DQo8ZGl2PllvdXIgcHJvYmxlbSBpcyBub3QgYSBQcm90ZWdlIGJ1ZyBidXQgYSBy
ZWFzb25lciBpc3N1ZS4gVGhlIG9udG9sb2d5IGhhcyBhIGxhcmdlIG51bWJlciBvZiBheGlvbXMg
KDcwMiBjbGFzc2VzLCBidXQgMTgsODY1IGF4aW9tcykuIFRoZSBIZXJtaVQgcmVhc29uZXIgdGll
ZCBpdHNlbGYgaW4ga25vdHMgdHJ5aW5nIHRvIHJlc29sdmUgdGhlIHF1ZXJ5LiBJbnRlcmVzdGlu
Z2x5LCB1c2luZyBhIGxlc3MgZXhwcmVzc2l2ZSByZWFzb25lciAoRWxrKQ0KIGRlc2lnbmVkIGZv
ciBhIHByb2ZpbGUgdGhhdCBkb2VzbuKAmXQgaW5jbHVkZSBkaXNqdW5jdGlvbiByZXR1cm5zIHRo
ZSBxdWVyeSByZXN1bHRzIHF1aWNrbHkuIEkgYW0gbm90IGFuIGV4cGVydCBvbiByZWFzb25lcnMg
b3IgdGhlIGludGVybmFscyBvZiBQcm90ZWdlLiBNeSAod2lsZCkgZ3Vlc3MgaXMgdGhhdCwgaW4g
dGhlIGFic2VuY2Ugb2YgaW5mZXJlbmNlIHJlc3VsdHMgYnVpbHQgYnkgdGhlIHJlYXNvbmVyLCBQ
cm90ZWdlIHVzZXMgc29tZSBraW5kDQogb2YgbG9va3VwIHRvIHJlc29sdmUgdGhlIHNpbXBsZSBk
aXNqdW5jdGl2ZSBxdWVyeS4mbmJzcDs8L2Rpdj4NCjxkaXY+Jm5ic3A7PC9kaXY+DQo8ZGl2PihJ
bml0aWFsbHksIEkgdGhvdWdodCB0aGUgcHJvYmxlbSBtaWdodCBiZSBkdWUgdG8gbGltaXRlZCBK
YXZhIG1lbW9yeSBhbGxvY2F0aW9uLiBIb3dldmVyLCBhZnRlciBhbGxvY2F0aW5nIDggR0Igb2Yg
bWVtb3J5IHRvIHRoZSBwcm9jZXNzLCBJIG9ic2VydmVkIHRoYXQgdGhlIFByb3RlZ2UgcHJvY2Vz
cyBkaWQgbm90IHVzZSBtb3JlIHRoYW4gMyBHQiBvZiBtZW1vcnkgd2hlbiBpdCBhdHRlbXB0ZWQg
dG8gcmVzb2x2ZSB0aGUgSGVybWlULWJhc2VkDQogcXVlcnkuIEl0IHNpbXBseSBodW5nLik8L2Rp
dj4NCjxkaXY+Jm5ic3A7PC9kaXY+DQo8ZGl2PkkgYW0gbm90IHN1cmUgYW55b25lIGlzIG1haW50
YWluaW5nIHRoZSByZWFzb25lcnMgYW55bW9yZS4gVGhleSB3b3VsZCBiZSB0aGUgcmlnaHQgcGVv
cGxlIHRvIGxvb2sgaW50byB0aGlzLCBub3QgUHJvdGVnZSBkZXZlbG9wZXJzLjwvZGl2Pg0KPGRp
dj4mbmJzcDs8L2Rpdj4NCjxkaXY+DQo8ZGl2IHN0eWxlPSJtYXJnaW46IDBweDsgZm9udC1zdHls
ZTogbm9ybWFsOyBsaW5lLWhlaWdodDogbm9ybWFsOyBmb250LXNpemUtYWRqdXN0OiBub25lOyI+
DQo8aT5CZXN0IHJlZ2FyZHMsPC9pPjwvZGl2Pg0KPGRpdiBzdHlsZT0ibWFyZ2luOiAwcHg7IGZv
bnQtc3R5bGU6IG5vcm1hbDsgbGluZS1oZWlnaHQ6IG5vcm1hbDsgZm9udC1zaXplLWFkanVzdDog
bm9uZTsiPg0KPGk+U2Ftc29uPC9pPjwvZGl2Pg0KPC9kaXY+DQo8ZGl2PiZuYnNwOzwvZGl2Pg0K
PGRpdj4mbmJzcDs8L2Rpdj4NCjxpbWcgYWx0PSJQYXN0ZWRHcmFwaGljLTEudGlmZiIgc3JjPSJj
aWQ6QUIzRjVBRTgtMDZDOC00OENDLTg4M0MtOUIzMTNFNzlCQ0YyIiB3aWR0aD0iODkwIj4NCjxk
aXY+Jm5ic3A7DQo8YmxvY2txdW90ZT4NCjxkaXY+T24gTm92IDIwLCAyMDI1LCBhdCA3OjUy4oCv
QU0sIEplYW4tTG91aXMgSmFuaW4gJmx0O2plYW5sb3Vpc2phbmluQGdtYWlsLmNvbSZndDsgd3Jv
dGU6PC9kaXY+DQombmJzcDsNCjxkaXY+DQo8ZGl2PkhlbGxvLDxicj4NCjxicj4NCkkgdHJpZWQg
dG8gZXhlY3V0ZSB0aGlzIHF1ZXJ5IChzZWUgRExfcXVlcnlfMSkgZm9yIHRoZSBpbnN0YW5jZXMg
b2YgdHdvIHRhYmxlcyBvZiBteSBvbnRvbG9neSAoc2VlIERMX3F1ZXJ5XzQpIGJ1dCBpdCBkaWQg
bm90IHdvcmsuIEFmdGVyIHNvbWUgdGltZSwgSSB3YXMgdG9sZCB0aGF0IFByb3TDqWfDqSAmcXVv
dDtkb2VzIG5vdCByZXNwb25kJnF1b3Q7IChzZWUgRExfcXVlcnlfMikuPGJyPg0KPGJyPg0KV2h5
ID8gSXMgaXQgYSBxdWVzdGlvbiBvZiAmcXVvdDtsaXZlJnF1b3Q7IG1lbW9yeSA/PGJyPg0KPGJy
Pg0KSSBhdHRhY2ggdGhlIGJlZ2lubmluZyBvZiB0aGUgcmVwb3J0IChzZWUgRExfMyk8YnI+DQo8
YnI+DQpZb3Vycyw8YnI+DQo8YnI+DQpKZWFuLUxvdWlzIEphbmluPGJyPg0KPHNwYW4gaWQ9ImNp
ZDo1MzA1NDA0NS1FNkE3LTQ2RUItODJFOC03QTQ3MzRBNUYwRjgiPiZsdDtETF9xdWVyeV8xLnBu
ZyZndDs8L3NwYW4+PHNwYW4gaWQ9ImNpZDpGMDU1QzkwRS0yMDVCLTQwRUItODZGOC0wREU4MEJB
NThFQUQiPiZsdDtETF9xdWVyeV8yLnBuZyZndDs8L3NwYW4+PHNwYW4gaWQ9ImNpZDo2NDQ1MjBG
MS03MkNDLTRCQUUtODBFRi01QTJCNDMyQjY2MzUiPiZsdDtETF9xdWVyeV8zLnBuZyZndDs8L3Nw
YW4+PHNwYW4gaWQ9ImNpZDo2NUNBNjY4MS1COTEwLTQ0MzgtQTYyRi0xN0ZDRkRENEI1NEMiPiZs
dDtETF9xdWVyeV80LnBuZyZndDs8L3NwYW4+X19fX19fX19fX19fX19fX19fX19fX19fX19fX19f
X19fX19fX19fX19fX19fX188YnI+DQpwcm90ZWdlLXVzZXIgbWFpbGluZyBsaXN0PGJyPg0KcHJv
dGVnZS11c2VyQGxpc3RzLnN0YW5mb3JkLmVkdTxicj4NCjxhIGhyZWY9Imh0dHBzOi8vbWFpbG1h
bi5zdGFuZm9yZC5lZHUvbWFpbG1hbi9saXN0aW5mby9wcm90ZWdlLXVzZXIiIHRhcmdldD0iX2Js
YW5rIj5odHRwczovL21haWxtYW4uc3RhbmZvcmQuZWR1L21haWxtYW4vbGlzdGluZm8vcHJvdGVn
ZS11c2VyPC9hPjwvZGl2Pg0KPC9kaXY+DQo8L2Jsb2NrcXVvdGU+DQo8L2Rpdj4NCjxicj4NCl9f
X19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fIHByb3RlZ2UtdXNl
ciBtYWlsaW5nIGxpc3QgcHJvdGVnZS11c2VyQGxpc3RzLnN0YW5mb3JkLmVkdQ0KPGEgaHJlZj0i
aHR0cHM6Ly9tYWlsbWFuLnN0YW5mb3JkLmVkdS9tYWlsbWFuL2xpc3RpbmZvL3Byb3RlZ2UtdXNl
ciIgdGFyZ2V0PSJfYmxhbmsiPg0KaHR0cHM6Ly9tYWlsbWFuLnN0YW5mb3JkLmVkdS9tYWlsbWFu
L2xpc3RpbmZvL3Byb3RlZ2UtdXNlcjwvYT48L2Rpdj4NCjwvZGl2Pg0KPC9kaXY+DQo8L2Rpdj4N
CjwvZGl2Pg0KPC9kaXY+DQo8L2Rpdj4NCl9fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19f
X19fX19fX19fX19fX19fPGJyPg0KcHJvdGVnZS11c2VyIG1haWxpbmcgbGlzdDxicj4NCnByb3Rl
Z2UtdXNlckBsaXN0cy5zdGFuZm9yZC5lZHU8YnI+DQpodHRwczovL21haWxtYW4uc3RhbmZvcmQu
ZWR1L21haWxtYW4vbGlzdGluZm8vcHJvdGVnZS11c2VyPGJyPg0KPC9kaXY+DQo8L2Jsb2NrcXVv
dGU+DQo8L2Rpdj4NCjxicj4NCjwvZGl2Pg0KPC9ib2R5Pg0KPC9odG1sPg0K

--_000_14710AB35BD24B819ED8F2FB2B33AB77stanfordedu_--

--===============9183664132739993328==
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

--===============9183664132739993328==--