Input (grade 12): He decisively defeated Pompey, at Pharsalus in an exceedingly short engagement later that year.
Output (grade 8): He then decisively defeated Pompey, at the Battle of Pharsalus later that year.