The post processing part will be the extension of the relex-to-logic.scm. It basically includes:

1) cleaning up the unnecessary instance nodes 
2) removing the temporary marker links that have been made up for various uses of organizing the R2L rules. For example, MaybeMarker from the maybe-rule, see http://wiki.opencog.org/w/RelEx2Logic#Maybe_Rule
and WhichMarker from the which-rule, which is a sign for embedding the SatisfySetLink for the sentences with adjective clauses....