Assertion: set's element | /r/HasProperty | divided in half
Facets:
value: simply
type: MANNER
Source sentences:
text: For instance, the positive real numbers ℝ+ (not including 0) does not have a minimum, because any given element of ℝ+ could simply be divided in half resulting in a smaller number that is still in ℝ+.