Assertion: stratification | /r/CapableOf | guarantee unique interpretations
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.