Assertion: real number | /r/HasProperty | compact
Facets:
value: locally
type: MANNER
Source sentences:
text: The real numbers are locally compact but not compact.