Assertion: set | /r/CapableOf | satisfy the formula
Facets:
Source sentences:
text: Given any formula \(\varphi(x,y_1,\ldots ,y_n)\), and sets \(A,B_1,\ldots ,B_n\), one can form the set of all those elements of \(A\) that satisfy the formula \(\varphi(x,B_1,\ldots ,B_n)\).