These new lands included the stronghold of Edinburgh.
The stronghold of Edinburgh is within these new lands.
mnli hypothesis: The stronghold of Edinburgh is within these new lands. premise: These new lands included the stronghold of Edinburgh.