Question: How many major Christian kingdoms existed in Iberia around 1150?
Sentence: By about 1150, the Christian north had coalesced into the five major kingdoms of León, Castile, Aragon, Navarre, and Portugal.
Answer in sentence: yes