These HITs are combined in an iterative process that alternates text generation, grammaticality check, and entailment annotation steps.
for each original ENG text we obtain multiple ENG1 variants of the three types (paraphrases, more general texts, and more specific texts) and, in turn, a set of annotated monolingual (ENG/ENG1) TE pairs.