At test time, a critical issue is the fact that monolingual SMT does not ensure that the translations are valid MRL formulae.
a k-best list (sorted from most probable to least) is generated which needs to be traversed until a valid formula is found.