Assertion: machine | /r/CapableOf | compute the function
Facets:
value: correctly
type: MANNER
Source sentences:
text: If the machine correctly computes the function then this block must represent the correct answer.