Title: Machine translation in the semantic definite clause grammars formalism