Assertion: decision | /r/HasProperty | taken possible outcomes
Facets:
value: least once
type: TEMPORAL
Source sentences:
text: Every point of entry and exit in the program has been invoked at least once, and every decision in the program has taken all possible outcomes at least once.