Assertion: baron | /r/CapableOf | report the node
Facets:
value: upon normal termination
type: TEMPORAL
Source sentences:
text: Upon normal termination, BARON will report the node where the optimal solution was found.