[mizar] Mizar lexicon

[Michael Nedzelsky <MichaelNedzelsky@yandex.ru>]

Hi all.

I have read the following document http://www.mizar.org/language/lexicon.html 
and there are some details which I want to understand more precisely.

Questions:

1) Are property names reserved words? The property name "symmetry"
also presents in the list of reserved words, but the other property
names doesn't.

Notes:

1) The reserved word "requirements" is out of order in the list of the
reserved words. (May be I am too pedantic...)

2) The vocabulary HIDDEN contains symbol "<>", which is listed as
special symbol. It seems that it must be removed from the list of the
special symbols (all the other special symbols are not vocabulary symbols).

Michael