Assertion: curve's length | /r/HasProperty | =0#
Facets:
Source sentences:
text: Of course, I maintain that r is length #>=0# , and so non-negative.