Assertion: machine's input | /r/HasProperty | encoded
Facets:
value: properly
type: DEGREE
Source sentences:
text: For every Turing machine, there is a 2CM that simulates it, given that the 2CM's input and output are properly encoded.