Assertion: machine | /r/HasProperty | turing
Facets:
Source sentences:
text: Such machines were identified by Turing as circle-free.