Assertion: stratification | /r/CapableOf | avoid russell's paradox
Facets:
Source sentences:
text: In logic, stratification is a layering of predicate symbols to guarantee unique interpretations and to avoid paradoxical definitions like Russell's paradox.