Assertion: robot's input | /r/HasProperty | infinite string
Facets:
value: over the alphabet
type: LOCATION
Source sentences:
text: An input for A is an infinite string over the alphabet Σ, i.e. it is an infinite sequence α = (a 1 ,a 2 ,a 3 ,...).