Holyrood Park, within the confines of the city, provides an ideal area for walking.
Holyrood Park is actually a large boating lake.
mnli hypothesis: Holyrood Park is actually a large boating lake. premise: Holyrood Park, within the confines of the city, provides an ideal area for walking.