Moved delegating methods from ReasoningKernel to TranslationMachinery