disjunction: logsent
A KIF disjunction.
TO BE COMPLETED.