(prettyString TERM STRING) means that STRING is the English word or expression (sequence of words) commonly used to refer to TERM. The predicate prettyString is used by the code which generates CycL to English paraphrases, but its applicability is not restricted to this use.