The latter is used as a basis for Reduce's user-level language.
後者は、REDUCEのユーザレベルの言語のベースとして使われている。