Input (grade 3): Let X = "to make something that its maker can not lift".
Output (grade 6): If He can not make such a mountain, there is something which He can not do: He can not make the mountain.