Assertion: automatic sequence | /r/HasProperty | defined for k ≥
Facets:
value: normally
type: DEGREE
Source sentences:
text: k-automatic sequences are normally only defined for k ≥ 2.