Assertion: robot's input | /r/HasProperty | string
Facets:
Source sentences:
text: The GNFA reads blocks of symbols from the input which constitute a string as defined by the regular expression on the transition.