Assertion: algorithm | /r/CapableOf | produce a yes or no answer
Facets:
Source sentences:
text: The first of these questions belongs to a class called decidable; an algorithm that produces a yes or no answer is called a decision procedure.