Assertion: regular sequence | /r/HasProperty | automatic
Facets:
Source sentences:
text: Every bounded k-regular sequence is automatic.