Assertion: rasp | /r/HasProperty | universal turing machine
Facets:
Source sentences:
text: The RASP is a universal Turing machine (UTM) built on a random-access machine RAM chassis.