Assertion: input sequence | /r/HasProperty | represented in base −k
Facets:
Source sentences:
text: A sequence also remains automatic when an alternate set of digits is used or when the base is negated; that is, when the input sequence is represented in base −k instead of in base