> the post processing part of RelEx2Logic, which hasn't been implemented yet. Rodas or William will implement that soon, I think...

What is the post processing part of RelEx2Logic? Where will that be implemented?