∀x (NaturalLanguageProcessingTask(x) → LanguageGenerationTask(x) ⊕ LanguageUnderstandingTask(x))
∀x (NaturalLanguageProcessingTasks(x) ∧ OutputSequence(x, text) → LanguageGenerationTask(x))
NaturalLanguageProcessingTask(machineTranslation)
OutputSequence(machineTranslation, text)
LanguageGenerationTask(machineTranslation)