At the back of the house is a walled terraced garden.
There is a garden at the back of the house.
mnli hypothesis: There is a garden at the back of the house. premise: At the back of the house is a walled terraced garden.