Handbook
Glossary
NORMAL-LOGIC-VAR
Vocabulary
logic.private
Definition
IN:
logic.private
SINGLETON:
NORMAL-LOGIC-VAR