quotterm: term
A KIF quotterm.
quotterm::express