Assertion: machine's input | /r/HasProperty | given in binary form
Facets:
value: on the machine's tape
type: LOCATION
Source sentences:
text: The input is given in binary form on the machine's tape, and the output consists of the contents of the tape when the machine halts.