Changed to use symbols from the CLG-SYSTEM package