Assertion: city's border | /r/HasProperty | lake forest
Facets:
Source sentences:
text: Irvine borders Tustin to the north, Santa Ana to the northwest, Lake Forest to the east, Laguna Hills and Laguna Woods to the southeast, Costa Mesa to the west, and Newport Beach to the southwest.