Assertion: baron | /r/CapableOf | offer facility
Facets:
value: through its numsol option
type: MANNER
Source sentences:
text: BARON offers a facility, through its NumSol option, to find the best few, or even all feasible, solutions to a model.