Assertion: baron | /r/CapableOf | return a code of -3
Facets:
Source sentences:
text: If BARON returns a code of -3 , then no feasible solution exists.