relconst: constant
A KIF relconst.