Assertion: logic's power | /r/HasProperty | same expressive
Facets:
Source sentences:
text: Inclusion/exclusion logic has the same expressive power as independence logic, already on the level of open formulas.