inequality: sentence
A KIF inequality.
TO BE COMPLETED.