Assertion: set's boundary | /r/HasProperty | the disk
Facets:
Source sentences:
text: y2 ≤ 1}, then the boundary of the disk is the disk itself: