Assertion: set's size | /r/HasProperty | 2 k
Facets:
Source sentences:
text: {\displaystyle S_{1},\ldots ,S_{k}} with sizes 2 , 4 , 8 , … , 2 k {\displaystyle 2,4,8,\ldots ,2^{k}} respectively, as well as two additional disjoint sets T 0 , T 1 {\displaystyle T_{0},T_{1}} , each of which contains half of the elements from each S