Input (grade 12): Pretoria itself was founded in 1855 by Marthinus Pretorius, a leader of the Voortrekkers, who named it after his father Andries Pretorius.
Output (grade 5): Pretoria itself was founded in 1855 by Marthinus Pretorius. He was a leader of the Voortrekkers.