Assertion: sequence's element | /r/HasProperty | provided in addition
Facets:
Source sentences:
text: In addition, enough initial elements must be provided so that all subsequent elements of the sequence can be computed by successive applications of the recurrence relation.