Assertion: envelope | /r/HasProperty | point
Facets:
Source sentences:
text: P has an envelope, then a point where an extremal intersects the envelope is a conjugate point to P.