Assertion: cone's closure | /r/HasProperty | pointed
Facets:
Source sentences:
text: is a cone and the closure of is pointed, then has nonempty interior.