Machine Translation Evaluation using Textual Entailment for Arabic | IEEE Conference Publication | IEEE Xplore