Assertion: finite sequence | /r/HasProperty | empty sequence
Facets:
Source sentences:
text: Finite sequences include the empty sequence ( ) that has no elements.
text: Finite sequences include the empty sequence ( ) that has no elements.