Input (grade 11): He was proclaimed King on 25 July 1139, immediately after the Battle of Ourique, and died on 6 December 1185 in Coimbra.
Output (grade 4): He died on 6 December 1185 in Coimbra.