Assertion: abstraction | /r/CapableOf | answer to a yes/no question
Facets:
value: "maybe"
type: OTHER
Source sentences:
text: Abstraction is used to allow for generalized answers to questions (for example, answering "maybe" to a yes/no question, meaning "yes or no", when we (an algorithm of abstract interpretation) cannot compute the precise answer with certainty); this simplifies the problems, making them amenable to automatic solutions.