Re: [protege-user] DL query bug ?

Samson Tu via protege-user <[email protected]> Sun, 23 Nov 2025 17:26:39 +0000
Newsgroups gmane.comp.misc.ontology.protege.owl
Message-ID <[email protected]>
--===============1983439115795319841==
Content-Language: en-US
Content-Type: multipart/alternative;
	boundary="_000_060D265F8DCC4EF4A314EBE5697002E0stanfordedu_"

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

SSBiZWxpZXZlIHRoZXJlIGFyZSBvdGhlciBzZWxmLXJlZmVyZW50aWFsIGF4aW9tcyBzaW1pbGFy
IHRvIHRoZSBvbmUgYXNzb2NpYXRlZCB3aXRoIOKAmExleGljYWxpc2VkIGxlbW1hJyBpbiB0aGUg
TEVYRUFVIG9udG9sb2d5LiBUcnkgdG8gY29uZHVjdCBhIG1vcmUgc3lzdGVtYXRpYyByZXZpZXcu
IFRoZSBIZXJtaVQgcmVhc29uZXIgaGFuZ2luZyBpbmRpY2F0ZXMgdGhhdCB0aGUgcHJvYmxlbSBo
YXMgbm90IGJlZW4gZnVsbHkgcmVzb2x2ZWQuIEFuIG9udG9sb2d5IHdpdGggMTYsOTIwIGF4aW9t
cyBpcyBub3QgbGFyZ2UuIEl0IHNob3VsZG7igJl0IGNhdXNlIHJlYXNvbmVycyB0byBoYW5nLg0K
DQoNCkJlc3QgcmVnYXJkcywNCg0KU2Ftc29uDQoNCk9uIE5vdiAyMywgMjAyNSwgYXQgMjo1OeKA
r0FNLCBKZWFuLUxvdWlzIEphbmluIDxqZWFubG91aXNqYW5pbkBnbWFpbC5jb20+IHdyb3RlOg0K
DQoNCkhpIFNhbXNvbiwNCg0KSSByZWR1Y2VkIHRoZSBudW1iZXIgb2YgYXhpb21zIGRvd24gdG8g
MTYgOTIwIGF4aW9tcyAoZ2V0dGluZyByaWQgb2YgdW5uZWNlc3NhcnkgZGF0YSBwcm9wZXJ0aWVz
IG9mIGxleGljb24gZW50aXRpZXMpLCBzdGlsbCB3aXRob3V0IHN1Y2Nlc3Mgd2l0aCBIZXJtaVQg
cmVhc29uZXIgZm9yICdvcicgcXVlcmllcy4NCg0KQXMgeW91IHNhaWQsIEVsayByZWFzb25lciBy
ZXR1cm5lZCBxdWlja2x5IHRoZSByZXN1bHQgb2YgIm9yIiBxdWVyaWVzLCB3aGljaCBpcyB0aW1l
LXNhdmluZyBmb3IgbWUgaW4gdGhlIHByb2Nlc3Mgb2YgZXhwb3J0aW5nIChjb3B5L3Bhc3RlKSBs
aXN0cyBvZiBsZXhpY2FsIHVuaXRzIGVkaXRlZCB3aXRoIERMIHF1ZXJpZXMuDQoNCkkgcmV2aXNl
ZCB0aGUgYXhpb21zIG9mICdMZXhpY2FsaXNlZCBsZW1tYScgbWVudGlvbmVkIGluIHlvdXIgbGFz
dCBtZXNzYWdlLiBMb29wcyBzaG91bGQgYmUgYXZvaWRlZCBpbiB0aGUgcHJvY2VzcyBvZiBlZGl0
aW5nIHRoZXNlIGxlbW1hIGluIFByb3TDqWfDqSwgYWxvbmcgd2l0aCBhdXhpbGlhcnkgbGVtbWFz
LiBJIHdpbGwgbG9vayBpbiB0aGUgZnV0dXJlIGZvciB1bm5lY2Vzc2FyeSBheGlvbXMgYnV0IEkg
ZG9uJ3QgdGhpbmsgSSB3aWxsIGJlIGFibGUgdG8gcmVkdWNlIHRoZW0gbWFzc2l2ZWx5IDogdGhl
IGFpbSBvZiB0aGUgb250b2xvZ3kgaXMgdG8gZ2VuZXJhdGUgYSBzdHJhdGlmaWVkIGxleGljb24g
YXMgbGV4aWNhbCB1bml0cyBpc3N1ZWQgZnJvbSBjbGFzcyBuYW1lcywgY29udHJvbGxlZCBlbnRp
dGllcyBhbmQgZGF0YSBwcm9wZXJ0aWVzIHRocm91Z2ggYSBsaW1pdGVkIG51bWJlciBvZiBrbm93
bGVkZ2UgZ3JhcGhzIGluIGEgdGhlIG5vbi1zcGVjaWZpYyBhbmQgc3BlY2lmaWMgKG5vbiB0ZWNo
bmljYWwsIHRlY2huaWNvLWFkbWluaXN0cmF0aXZlIGFuZCB0ZWNobm8tc2NpZW50aWZpYykgc2Vt
YW50aWMgZmllbGRzIG9mICJXYXRlciwgY2xpbWF0ZSBhbmQgc3VzdGFpbmFibGUgZGV2ZWxvcG1l
bnQiLCBpbmNsdWRpbmcgdGhlIGdyYXBocyBpbiB0aGUgZmluYWwgZWRpdGlvbiBvZiB0aGUgbGV4
aWNvbi4NCg0KVGhlIG9udG9sb2d5IExFWEVBVSBpcyBhdmFpbGFibGUgb24gdGhlIEFncm9Qb3J0
YWwgZGVwb3NpdCBpbiBNb250cGVsbGllciBpbiBhbiBvYnNvbGV0ZSB2ZXJzaW9uIG9mIEZlYnJ1
YXJ5IDIwMjUgKDIuMiB2ZXJzaW9uKS4gSXQgd2lsbCBiZSB1cGRhdGVkIGF0IHRoZSBlbmQgb2Yg
dGhpcyBtb250aCAoMi4zIHZlcnNpb24pIGFmdGVyIGEgY29tcGxldCBlZGl0aW9uIG9mIG5vbiBy
ZWRvbmRhbnQgY29uY2VwdHVhbCBncmFwaHMgaW4gRnJlbmNoLg0KDQpUaGUgV29yZCBlZGl0aW9u
IG9mIHRoZSBiaWxpbmd1YWwgTGV4aWNvbiBpcyBhdmFpbGFibGUgYXMgYSBwZGYgZmlsZSBvbiB0
aGUgc2l0ZSBvZiB0aGUgRnJlbmNoICdBY2Fkw6ltaWUgZGUgbCdFYXUnIGluIGFuIG9ic29sZXRl
IHZlcnNpb24gb2YgRmVicnVhcnkgMjAyNS4gSXQgd2lsbCBiZSB1cGRhdGVkIGhvcGVmdWxseSBl
YXJseSBuZXh0IHllYXIgdG9nZXRoZXIgd2l0aCB0aGUgZGVwb3NpdCBvZiAzLjAgZWRpdGlvbiBv
ZiBMRVhFQVUgb24gQWdyb1BvcnRhbC4NCg0KVGhhbmtzIHZlcnkgbXVjaCBmb3IgeW91ciBoZWxw
Lg0KDQpCZXN0IHJlZ2FyZHMsDQoNCkplYW4tTG91aXMgSmFuaW4NCg0KTGUgMjIvMTEvMjAyNSDD
oCAxOTo0OSwgU2Ftc29uIFR1IGEgw6ljcml0IDoNCkhpIEplYW4tTG91aXMsDQoNCllvdXIgcHJv
YmxlbSBpcyBub3QgYSBQcm90ZWdlIGJ1ZyBidXQgYSByZWFzb25lciBpc3N1ZS4gVGhlIG9udG9s
b2d5IGhhcyBhIGxhcmdlIG51bWJlciBvZiBheGlvbXMgKDcwMiBjbGFzc2VzLCBidXQgMTgsODY1
IGF4aW9tcykuIFRoZSBIZXJtaVQgcmVhc29uZXIgdGllZCBpdHNlbGYgaW4ga25vdHMgdHJ5aW5n
IHRvIHJlc29sdmUgdGhlIHF1ZXJ5LiBJbnRlcmVzdGluZ2x5LCB1c2luZyBhIGxlc3MgZXhwcmVz
c2l2ZSByZWFzb25lciAoRWxrKSBkZXNpZ25lZCBmb3IgYSBwcm9maWxlIHRoYXQgZG9lc27igJl0
IGluY2x1ZGUgZGlzanVuY3Rpb24gcmV0dXJucyB0aGUgcXVlcnkgcmVzdWx0cyBxdWlja2x5LiBJ
IGFtIG5vdCBhbiBleHBlcnQgb24gcmVhc29uZXJzIG9yIHRoZSBpbnRlcm5hbHMgb2YgUHJvdGVn
ZS4gTXkgKHdpbGQpIGd1ZXNzIGlzIHRoYXQsIGluIHRoZSBhYnNlbmNlIG9mIGluZmVyZW5jZSBy
ZXN1bHRzIGJ1aWx0IGJ5IHRoZSByZWFzb25lciwgUHJvdGVnZSB1c2VzIHNvbWUga2luZCBvZiBs
b29rdXAgdG8gcmVzb2x2ZSB0aGUgc2ltcGxlIGRpc2p1bmN0aXZlIHF1ZXJ5Lg0KDQooSW5pdGlh
bGx5LCBJIHRob3VnaHQgdGhlIHByb2JsZW0gbWlnaHQgYmUgZHVlIHRvIGxpbWl0ZWQgSmF2YSBt
ZW1vcnkgYWxsb2NhdGlvbi4gSG93ZXZlciwgYWZ0ZXIgYWxsb2NhdGluZyA4IEdCIG9mIG1lbW9y
eSB0byB0aGUgcHJvY2VzcywgSSBvYnNlcnZlZCB0aGF0IHRoZSBQcm90ZWdlIHByb2Nlc3MgZGlk
IG5vdCB1c2UgbW9yZSB0aGFuIDMgR0Igb2YgbWVtb3J5IHdoZW4gaXQgYXR0ZW1wdGVkIHRvIHJl
c29sdmUgdGhlIEhlcm1pVC1iYXNlZCBxdWVyeS4gSXQgc2ltcGx5IGh1bmcuKQ0KDQpJIGFtIG5v
dCBzdXJlIGFueW9uZSBpcyBtYWludGFpbmluZyB0aGUgcmVhc29uZXJzIGFueW1vcmUuIFRoZXkg
d291bGQgYmUgdGhlIHJpZ2h0IHBlb3BsZSB0byBsb29rIGludG8gdGhpcywgbm90IFByb3RlZ2Ug
ZGV2ZWxvcGVycy4NCg0KDQpCZXN0IHJlZ2FyZHMsDQoNClNhbXNvbg0KDQoNCltQYXN0ZWRHcmFw
aGljLTEudGlmZl0NCg0KT24gTm92IDIwLCAyMDI1LCBhdCA3OjUy4oCvQU0sIEplYW4tTG91aXMg
SmFuaW4gPGplYW5sb3Vpc2phbmluQGdtYWlsLmNvbT48bWFpbHRvOmplYW5sb3Vpc2phbmluQGdt
YWlsLmNvbT4gd3JvdGU6DQoNCkhlbGxvLA0KDQpJIHRyaWVkIHRvIGV4ZWN1dGUgdGhpcyBxdWVy
eSAoc2VlIERMX3F1ZXJ5XzEpIGZvciB0aGUgaW5zdGFuY2VzIG9mIHR3byB0YWJsZXMgb2YgbXkg
b250b2xvZ3kgKHNlZSBETF9xdWVyeV80KSBidXQgaXQgZGlkIG5vdCB3b3JrLiBBZnRlciBzb21l
IHRpbWUsIEkgd2FzIHRvbGQgdGhhdCBQcm90w6lnw6kgImRvZXMgbm90IHJlc3BvbmQiIChzZWUg
RExfcXVlcnlfMikuDQoNCldoeSA/IElzIGl0IGEgcXVlc3Rpb24gb2YgImxpdmUiIG1lbW9yeSA/
DQoNCkkgYXR0YWNoIHRoZSBiZWdpbm5pbmcgb2YgdGhlIHJlcG9ydCAoc2VlIERMXzMpDQoNCllv
dXJzLA0KDQpKZWFuLUxvdWlzIEphbmluDQo8RExfcXVlcnlfMS5wbmc+PERMX3F1ZXJ5XzIucG5n
PjxETF9xdWVyeV8zLnBuZz48RExfcXVlcnlfNC5wbmc+X19fX19fX19fX19fX19fX19fX19fX19f
X19fX19fX19fX19fX19fX19fX19fX18NCnByb3RlZ2UtdXNlciBtYWlsaW5nIGxpc3QNCnByb3Rl
Z2UtdXNlckBsaXN0cy5zdGFuZm9yZC5lZHU8bWFpbHRvOnByb3RlZ2UtdXNlckBsaXN0cy5zdGFu
Zm9yZC5lZHU+DQpodHRwczovL21haWxtYW4uc3RhbmZvcmQuZWR1L21haWxtYW4vbGlzdGluZm8v
cHJvdGVnZS11c2VyDQoNCg0K

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

PGh0bWwgYXJpYS1sYWJlbD0ibWVzc2FnZSBib2R5Ij4NCjxoZWFkPg0KPG1ldGEgaHR0cC1lcXVp
dj0iQ29udGVudC1UeXBlIiBjb250ZW50PSJ0ZXh0L2h0bWw7IGNoYXJzZXQ9dXRmLTgiPg0KPC9o
ZWFkPg0KPGJvZHkgc3R5bGU9Im92ZXJmbG93LXdyYXA6IGJyZWFrLXdvcmQ7IC13ZWJraXQtbmJz
cC1tb2RlOiBzcGFjZTsgbGluZS1icmVhazogYWZ0ZXItd2hpdGUtc3BhY2U7Ij4NCkkgYmVsaWV2
ZSB0aGVyZSBhcmUgb3RoZXIgc2VsZi1yZWZlcmVudGlhbCBheGlvbXMgc2ltaWxhciB0byB0aGUg
b25lIGFzc29jaWF0ZWQgd2l0aCDigJhMZXhpY2FsaXNlZCBsZW1tYScgaW4gdGhlIExFWEVBVSBv
bnRvbG9neS4gVHJ5IHRvIGNvbmR1Y3QgYSBtb3JlIHN5c3RlbWF0aWMgcmV2aWV3LiBUaGUgSGVy
bWlUIHJlYXNvbmVyIGhhbmdpbmcgaW5kaWNhdGVzIHRoYXQgdGhlIHByb2JsZW0gaGFzIG5vdCBi
ZWVuIGZ1bGx5IHJlc29sdmVkLiBBbg0KIG9udG9sb2d5IHdpdGggMTYsOTIwIGF4aW9tcyBpcyBu
b3QgbGFyZ2UuIEl0IHNob3VsZG7igJl0IGNhdXNlIHJlYXNvbmVycyB0byBoYW5nLg0KPGRpdj48
YnI+DQo8L2Rpdj4NCjxkaXY+DQo8cCBzdHlsZT0ibWFyZ2luOiAwcHg7IGZvbnQtc3R5bGU6IG5v
cm1hbDsgZm9udC12YXJpYW50LWNhcHM6IG5vcm1hbDsgZm9udC13aWR0aDogbm9ybWFsOyBsaW5l
LWhlaWdodDogbm9ybWFsOyBmb250LXNpemUtYWRqdXN0OiBub25lOyBmb250LWtlcm5pbmc6IGF1
dG87IGZvbnQtdmFyaWFudC1hbHRlcm5hdGVzOiBub3JtYWw7IGZvbnQtdmFyaWFudC1saWdhdHVy
ZXM6IG5vcm1hbDsgZm9udC12YXJpYW50LW51bWVyaWM6IG5vcm1hbDsgZm9udC12YXJpYW50LWVh
c3QtYXNpYW46IG5vcm1hbDsgZm9udC12YXJpYW50LXBvc2l0aW9uOiBub3JtYWw7IGZvbnQtdmFy
aWFudC1lbW9qaTogbm9ybWFsOyBmb250LWZlYXR1cmUtc2V0dGluZ3M6IG5vcm1hbDsgZm9udC1v
cHRpY2FsLXNpemluZzogYXV0bzsgZm9udC12YXJpYXRpb24tc2V0dGluZ3M6IG5vcm1hbDsiPg0K
PGk+QmVzdCByZWdhcmRzLDwvaT48aT48L2k+PC9wPg0KPHAgc3R5bGU9Im1hcmdpbjogMHB4OyBm
b250LXN0eWxlOiBub3JtYWw7IGZvbnQtdmFyaWFudC1jYXBzOiBub3JtYWw7IGZvbnQtd2lkdGg6
IG5vcm1hbDsgbGluZS1oZWlnaHQ6IG5vcm1hbDsgZm9udC1zaXplLWFkanVzdDogbm9uZTsgZm9u
dC1rZXJuaW5nOiBhdXRvOyBmb250LXZhcmlhbnQtYWx0ZXJuYXRlczogbm9ybWFsOyBmb250LXZh
cmlhbnQtbGlnYXR1cmVzOiBub3JtYWw7IGZvbnQtdmFyaWFudC1udW1lcmljOiBub3JtYWw7IGZv
bnQtdmFyaWFudC1lYXN0LWFzaWFuOiBub3JtYWw7IGZvbnQtdmFyaWFudC1wb3NpdGlvbjogbm9y
bWFsOyBmb250LXZhcmlhbnQtZW1vamk6IG5vcm1hbDsgZm9udC1mZWF0dXJlLXNldHRpbmdzOiBu
b3JtYWw7IGZvbnQtb3B0aWNhbC1zaXppbmc6IGF1dG87IGZvbnQtdmFyaWF0aW9uLXNldHRpbmdz
OiBub3JtYWw7Ij4NCjxpPlNhbXNvbjwvaT48L3A+DQo8ZGl2Pjxicj4NCjxibG9ja3F1b3RlIHR5
cGU9ImNpdGUiPg0KPGRpdj5PbiBOb3YgMjMsIDIwMjUsIGF0IDI6NTnigK9BTSwgSmVhbi1Mb3Vp
cyBKYW5pbiAmbHQ7amVhbmxvdWlzamFuaW5AZ21haWwuY29tJmd0OyB3cm90ZTo8L2Rpdj4NCjxi
ciBjbGFzcz0iQXBwbGUtaW50ZXJjaGFuZ2UtbmV3bGluZSI+DQo8ZGl2Pg0KPGRpdj4NCjxwPkhp
IFNhbXNvbiw8L3A+DQo8cD5JIHJlZHVjZWQgdGhlIG51bWJlciBvZiBheGlvbXMgZG93biB0byAx
NiA5MjAgYXhpb21zIChnZXR0aW5nIHJpZCBvZiB1bm5lY2Vzc2FyeSBkYXRhIHByb3BlcnRpZXMg
b2YgbGV4aWNvbiBlbnRpdGllcyksIHN0aWxsIHdpdGhvdXQgc3VjY2VzcyB3aXRoIEhlcm1pVCBy
ZWFzb25lciBmb3IgJ29yJyBxdWVyaWVzLjwvcD4NCjxwPkFzIHlvdSBzYWlkLCBFbGsgcmVhc29u
ZXIgcmV0dXJuZWQgcXVpY2tseSB0aGUgcmVzdWx0IG9mICZxdW90O29yJnF1b3Q7IHF1ZXJpZXMs
IHdoaWNoIGlzIHRpbWUtc2F2aW5nIGZvciBtZSBpbiB0aGUgcHJvY2VzcyBvZiBleHBvcnRpbmcg
KGNvcHkvcGFzdGUpIGxpc3RzIG9mIGxleGljYWwgdW5pdHMgZWRpdGVkIHdpdGggREwgcXVlcmll
cy48L3A+DQo8cD5JIHJldmlzZWQgdGhlIGF4aW9tcyBvZiAnTGV4aWNhbGlzZWQgbGVtbWEnIG1l
bnRpb25lZCBpbiB5b3VyIGxhc3QgbWVzc2FnZS4gTG9vcHMgc2hvdWxkIGJlIGF2b2lkZWQgaW4g
dGhlIHByb2Nlc3Mgb2YgZWRpdGluZyB0aGVzZSBsZW1tYSBpbiBQcm90w6lnw6ksIGFsb25nIHdp
dGggYXV4aWxpYXJ5IGxlbW1hcy4gSSB3aWxsIGxvb2sgaW4gdGhlIGZ1dHVyZSBmb3IgdW5uZWNl
c3NhcnkgYXhpb21zIGJ1dCBJIGRvbid0IHRoaW5rIEkgd2lsbCBiZQ0KIGFibGUgdG8gcmVkdWNl
IHRoZW0gbWFzc2l2ZWx5IDogdGhlIGFpbSBvZiB0aGUgb250b2xvZ3kgaXMgdG8gZ2VuZXJhdGUg
YSBzdHJhdGlmaWVkIGxleGljb24gYXMgbGV4aWNhbCB1bml0cyBpc3N1ZWQgZnJvbSBjbGFzcyBu
YW1lcywgY29udHJvbGxlZCBlbnRpdGllcyBhbmQgZGF0YSBwcm9wZXJ0aWVzIHRocm91Z2ggYSBs
aW1pdGVkIG51bWJlciBvZiBrbm93bGVkZ2UgZ3JhcGhzIGluIGEgdGhlIG5vbi1zcGVjaWZpYyBh
bmQgc3BlY2lmaWMgKG5vbg0KIHRlY2huaWNhbCwgdGVjaG5pY28tYWRtaW5pc3RyYXRpdmUgYW5k
IHRlY2huby1zY2llbnRpZmljKSBzZW1hbnRpYyBmaWVsZHMgb2YgJnF1b3Q7V2F0ZXIsIGNsaW1h
dGUgYW5kIHN1c3RhaW5hYmxlIGRldmVsb3BtZW50JnF1b3Q7LCBpbmNsdWRpbmcgdGhlIGdyYXBo
cyBpbiB0aGUgZmluYWwgZWRpdGlvbiBvZiB0aGUgbGV4aWNvbi48L3A+DQo8cD5UaGUgb250b2xv
Z3kgTEVYRUFVIGlzIGF2YWlsYWJsZSBvbiB0aGUgQWdyb1BvcnRhbCBkZXBvc2l0IGluIE1vbnRw
ZWxsaWVyIGluIGFuIG9ic29sZXRlIHZlcnNpb24gb2YgRmVicnVhcnkgMjAyNSAoMi4yIHZlcnNp
b24pLiBJdCB3aWxsIGJlIHVwZGF0ZWQgYXQgdGhlIGVuZCBvZiB0aGlzIG1vbnRoICgyLjMgdmVy
c2lvbikgYWZ0ZXIgYSBjb21wbGV0IGVkaXRpb24gb2Ygbm9uIHJlZG9uZGFudCBjb25jZXB0dWFs
IGdyYXBocyBpbiBGcmVuY2guJm5ic3A7PC9wPg0KPHA+VGhlIFdvcmQgZWRpdGlvbiBvZiB0aGUg
YmlsaW5ndWFsIExleGljb24gaXMgYXZhaWxhYmxlIGFzIGEgcGRmIGZpbGUgb24gdGhlIHNpdGUg
b2YgdGhlIEZyZW5jaCAnQWNhZMOpbWllIGRlIGwnRWF1JyBpbiBhbiBvYnNvbGV0ZSB2ZXJzaW9u
IG9mIEZlYnJ1YXJ5IDIwMjUuIEl0IHdpbGwgYmUgdXBkYXRlZCBob3BlZnVsbHkgZWFybHkgbmV4
dCB5ZWFyIHRvZ2V0aGVyIHdpdGggdGhlIGRlcG9zaXQgb2YgMy4wIGVkaXRpb24gb2YgTEVYRUFV
IG9uDQogQWdyb1BvcnRhbC48L3A+DQo8cD5UaGFua3MgdmVyeSBtdWNoIGZvciB5b3VyIGhlbHAu
PC9wPg0KPHA+QmVzdCByZWdhcmRzLDwvcD4NCjxwPkplYW4tTG91aXMgSmFuaW4mbmJzcDs8L3A+
DQo8ZGl2IGNsYXNzPSJtb3otY2l0ZS1wcmVmaXgiPkxlIDIyLzExLzIwMjUgw6AgMTk6NDksIFNh
bXNvbiBUdSBhIMOpY3JpdCZuYnNwOzo8YnI+DQo8L2Rpdj4NCjxibG9ja3F1b3RlIHR5cGU9ImNp
dGUiIGNpdGU9Im1pZDo5M0ZCRUQ5OC02QjZELTQ5MzUtOTRBNC03QzgwNERBNDE4MzNAc3RhbmZv
cmQuZWR1Ij4NCjxkaXY+SGkgSmVhbi1Mb3Vpcyw8L2Rpdj4NCjxkaXY+PGJyPg0KPC9kaXY+DQo8
ZGl2PllvdXIgcHJvYmxlbSBpcyBub3QgYSBQcm90ZWdlIGJ1ZyBidXQgYSByZWFzb25lciBpc3N1
ZS4gVGhlIG9udG9sb2d5IGhhcyBhIGxhcmdlIG51bWJlciBvZiBheGlvbXMgKDcwMiBjbGFzc2Vz
LCBidXQgMTgsODY1IGF4aW9tcykuIFRoZSBIZXJtaVQgcmVhc29uZXIgdGllZCBpdHNlbGYgaW4g
a25vdHMgdHJ5aW5nIHRvIHJlc29sdmUgdGhlIHF1ZXJ5LiBJbnRlcmVzdGluZ2x5LCB1c2luZyBh
IGxlc3MgZXhwcmVzc2l2ZSByZWFzb25lciAoRWxrKQ0KIGRlc2lnbmVkIGZvciBhIHByb2ZpbGUg
dGhhdCBkb2VzbuKAmXQgaW5jbHVkZSBkaXNqdW5jdGlvbiByZXR1cm5zIHRoZSBxdWVyeSByZXN1
bHRzIHF1aWNrbHkuIEkgYW0gbm90IGFuIGV4cGVydCBvbiByZWFzb25lcnMgb3IgdGhlIGludGVy
bmFscyBvZiBQcm90ZWdlLiBNeSAod2lsZCkgZ3Vlc3MgaXMgdGhhdCwgaW4gdGhlIGFic2VuY2Ug
b2YgaW5mZXJlbmNlIHJlc3VsdHMgYnVpbHQgYnkgdGhlIHJlYXNvbmVyLCBQcm90ZWdlIHVzZXMg
c29tZSBraW5kDQogb2YgbG9va3VwIHRvIHJlc29sdmUgdGhlIHNpbXBsZSBkaXNqdW5jdGl2ZSBx
dWVyeS4mbmJzcDs8L2Rpdj4NCjxkaXY+PGJyPg0KPC9kaXY+DQo8ZGl2PihJbml0aWFsbHksIEkg
dGhvdWdodCB0aGUgcHJvYmxlbSBtaWdodCBiZSBkdWUgdG8gbGltaXRlZCBKYXZhIG1lbW9yeSBh
bGxvY2F0aW9uLiBIb3dldmVyLCBhZnRlciBhbGxvY2F0aW5nIDggR0Igb2YgbWVtb3J5IHRvIHRo
ZSBwcm9jZXNzLCBJIG9ic2VydmVkIHRoYXQgdGhlIFByb3RlZ2UgcHJvY2VzcyBkaWQgbm90IHVz
ZSBtb3JlIHRoYW4gMyBHQiBvZiBtZW1vcnkgd2hlbiBpdCBhdHRlbXB0ZWQgdG8gcmVzb2x2ZSB0
aGUgSGVybWlULWJhc2VkDQogcXVlcnkuIEl0IHNpbXBseSBodW5nLik8L2Rpdj4NCjxkaXY+PGJy
Pg0KPC9kaXY+DQo8ZGl2PkkgYW0gbm90IHN1cmUgYW55b25lIGlzIG1haW50YWluaW5nIHRoZSBy
ZWFzb25lcnMgYW55bW9yZS4gVGhleSB3b3VsZCBiZSB0aGUgcmlnaHQgcGVvcGxlIHRvIGxvb2sg
aW50byB0aGlzLCBub3QgUHJvdGVnZSBkZXZlbG9wZXJzLjwvZGl2Pg0KPGRpdj48YnI+DQo8L2Rp
dj4NCjxkaXY+DQo8cD48aT5CZXN0IHJlZ2FyZHMsPC9pPjwvcD4NCjxwPjxpPlNhbXNvbjwvaT48
L3A+DQo8L2Rpdj4NCjxkaXY+PGJyPg0KPC9kaXY+DQo8ZGl2Pjxicj4NCjwvZGl2Pg0KPGltZyB3
aWR0aD0iODkwIiBhbHQ9IlBhc3RlZEdyYXBoaWMtMS50aWZmIiBzcmM9ImNpZDpBQjNGNUFFOC0w
NkM4LTQ4Q0MtODgzQy05QjMxM0U3OUJDRjIiIG1vei1kby1ub3Qtc2VuZD0idHJ1ZSI+PGJyIGlk
PSJsaW5lQnJlYWtBdEJlZ2lubmluZ09mTWVzc2FnZSI+DQo8ZGl2Pjxicj4NCjxibG9ja3F1b3Rl
IHR5cGU9ImNpdGUiPg0KPGRpdj5PbiBOb3YgMjAsIDIwMjUsIGF0IDc6NTLigK9BTSwgSmVhbi1M
b3VpcyBKYW5pbiA8YSBjbGFzcz0ibW96LXR4dC1saW5rLXJmYzIzOTZFIiBocmVmPSJtYWlsdG86
amVhbmxvdWlzamFuaW5AZ21haWwuY29tIj4NCiZsdDtqZWFubG91aXNqYW5pbkBnbWFpbC5jb20m
Z3Q7PC9hPiB3cm90ZTo8L2Rpdj4NCjxiciBjbGFzcz0iQXBwbGUtaW50ZXJjaGFuZ2UtbmV3bGlu
ZSI+DQo8ZGl2Pg0KPGRpdj5IZWxsbyw8YnI+DQo8YnI+DQpJIHRyaWVkIHRvIGV4ZWN1dGUgdGhp
cyBxdWVyeSAoc2VlIERMX3F1ZXJ5XzEpIGZvciB0aGUgaW5zdGFuY2VzIG9mIHR3byB0YWJsZXMg
b2YgbXkgb250b2xvZ3kgKHNlZSBETF9xdWVyeV80KSBidXQgaXQgZGlkIG5vdCB3b3JrLiBBZnRl
ciBzb21lIHRpbWUsIEkgd2FzIHRvbGQgdGhhdCBQcm90w6lnw6kgJnF1b3Q7ZG9lcyBub3QgcmVz
cG9uZCZxdW90OyAoc2VlIERMX3F1ZXJ5XzIpLjxicj4NCjxicj4NCldoeSA/IElzIGl0IGEgcXVl
c3Rpb24gb2YgJnF1b3Q7bGl2ZSZxdW90OyBtZW1vcnkgPzxicj4NCjxicj4NCkkgYXR0YWNoIHRo
ZSBiZWdpbm5pbmcgb2YgdGhlIHJlcG9ydCAoc2VlIERMXzMpPGJyPg0KPGJyPg0KWW91cnMsPGJy
Pg0KPGJyPg0KSmVhbi1Mb3VpcyBKYW5pbjxicj4NCjxzcGFuIGlkPSJjaWQ6NTMwNTQwNDUtRTZB
Ny00NkVCLTgyRTgtN0E0NzM0QTVGMEY4Ij4mbHQ7RExfcXVlcnlfMS5wbmcmZ3Q7PC9zcGFuPjxz
cGFuIGlkPSJjaWQ6RjA1NUM5MEUtMjA1Qi00MEVCLTg2RjgtMERFODBCQTU4RUFEIj4mbHQ7RExf
cXVlcnlfMi5wbmcmZ3Q7PC9zcGFuPjxzcGFuIGlkPSJjaWQ6NjQ0NTIwRjEtNzJDQy00QkFFLTgw
RUYtNUEyQjQzMkI2NjM1Ij4mbHQ7RExfcXVlcnlfMy5wbmcmZ3Q7PC9zcGFuPjxzcGFuIGlkPSJj
aWQ6NjVDQTY2ODEtQjkxMC00NDM4LUE2MkYtMTdGQ0ZERDRCNTRDIj4mbHQ7RExfcXVlcnlfNC5w
bmcmZ3Q7PC9zcGFuPl9fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19f
X19fPGJyPg0KcHJvdGVnZS11c2VyIG1haWxpbmcgbGlzdDxicj4NCjxhIGNsYXNzPSJtb3otdHh0
LWxpbmstYWJicmV2aWF0ZWQgbW96LXR4dC1saW5rLWZyZWV0ZXh0IiBocmVmPSJtYWlsdG86cHJv
dGVnZS11c2VyQGxpc3RzLnN0YW5mb3JkLmVkdSI+cHJvdGVnZS11c2VyQGxpc3RzLnN0YW5mb3Jk
LmVkdTwvYT48YnI+DQo8YSBjbGFzcz0ibW96LXR4dC1saW5rLWZyZWV0ZXh0IiBocmVmPSJodHRw
czovL21haWxtYW4uc3RhbmZvcmQuZWR1L21haWxtYW4vbGlzdGluZm8vcHJvdGVnZS11c2VyIj5o
dHRwczovL21haWxtYW4uc3RhbmZvcmQuZWR1L21haWxtYW4vbGlzdGluZm8vcHJvdGVnZS11c2Vy
PC9hPjxicj4NCjwvZGl2Pg0KPC9kaXY+DQo8L2Jsb2NrcXVvdGU+DQo8L2Rpdj4NCjxicj4NCjwv
YmxvY2txdW90ZT4NCjwvZGl2Pg0KPC9kaXY+DQo8L2Jsb2NrcXVvdGU+DQo8L2Rpdj4NCjxicj4N
CjwvZGl2Pg0KPC9ib2R5Pg0KPC9odG1sPg0K

--_000_060D265F8DCC4EF4A314EBE5697002E0stanfordedu_--

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

--===============1983439115795319841==--