Assertion: set | /r/CapableOf | form boolean algebra
Facets:
Source sentences:
text: Since sets with unions and intersections form a Boolean algebra, intersection distributes over union