equation: sentence
A KIF equation.
TO BE COMPLETED.