Input (grade 6): His prison papers indicate that he is never to be released.
Output (grade 2): The court said he was never to be released.