Assertion: baron | /r/CapableOf | provide following result
Facets:
Source sentences:
text: When this problem is solved with CompIIS equal to 1, BARON provides the following result: