Assertion: sequence's term | /r/HasProperty | depend on unary notation
Facets:
value: for n
type: OTHER
Source sentences:
text: The concept can be extended to k = 1 by defining a 1-automatic sequence to be a sequence whose n-th term depends on the unary notation for n;