quanterm: term
A KIF quanterm.