Assertion: dilation | /r/HasProperty | distributive
Facets:
value: over set union
type: TRANSITIVE-OBJECT
Source sentences:
text: The dilation is distributive over set union