Assertion: erasing machine | /r/HasProperty | machine
Facets:
Source sentences:
text: Non-erasing machines are machines that can only overprint \(S_0\).