implication: logsent
A KIF implication.
TO BE COMPLETED.