Holyrood Park, within the confines of the city, provides an ideal area for walking.
A great walking space is located in Holyrood Park.
mnli hypothesis: A great walking space is located in Holyrood Park. premise: Holyrood Park, within the confines of the city, provides an ideal area for walking.