Assertion: turing machine | /r/HasProperty | introduced
Facets:
Source sentences:
text: They were introduced to determine smaller universal machines.