Assertion: county | /r/HasProperty | orange
Facets:
Source sentences:
text: The area encompasses four counties (Orange, Osceola, Seminole and Lake), and is the 26th-largest metro area in the United States with a 2010 Census-estimated population of 2,134,411.