Assertion: curve's point | /r/HasProperty | t ∈ j.
Facets:
Source sentences:
text: = α ∗ o ι, and α′(t) is its value at some point t ∈ J.