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 9): Pretoria itself was founded in 1855 by Marthinus Pretorius.