Assertion: curve's point | /r/CapableOf | serve as the point
Facets:
value: in weierstrass form
type: OTHER
value: at infinity
type: TEMPORAL
Source sentences:
text: This does depend on having a K-rational point, which serves as the point at infinity in Weierstrass form.