Added subsection to kr.tex describing how to express FOL sentences in EL