Assertion: baron | /r/HasProperty | run with request
Facets:
Source sentences:
text: BARON is run with a request to find up to 20 solutions.