Assertion: algorithm's operation | /r/CapableOf | use the method of uncomputation
Facets:
Source sentences:
text: This is a natural way to realize a binary operation using the method of uncomputation.