This package contains the semantical services of RECODER.