Assertion: machine's input | /r/HasProperty | specified
Facets:
Source sentences:
text: Both the input and the output of the algorithm is specified.
text: Both the input and the output of the algorithm is specified.