Assertion: robot | /r/CapableOf | recognize formal language
Facets:
Source sentences:
text: An automaton can recognize a formal language.