The problem of entailment is considered a problem of classification with two classes, a class "YES" and a class "NO."
the system utilizes techniques from Information Retrieval and Natural Language Processing to process a collection of Arabic text documents as its primary source of knowledge.