Assertion: variable's set | /r/CapableOf | evaluate that function
Facets:
Source sentences:
text: \mathbb {S} }{f}} is an operator with two parameters—a one-parameter function, and a set to evaluate that function over.