PHOENICS has several channels for such information. Some are old, and some are new; some are convenient for one purpose, and some for another.
The present document has been added to the hard-copy documentation so as to assist users to make the choice best suited to their needs.
It consists of a reprint of the PHOENICS-Encyclopaedia article on properties, and contains hyperlinks to other parts of POLIS, the PHOENICS On-Line Information System.