Assertion: set's element | /r/AtLocation | l α
Facets:
Source sentences:
text: If x ∈ L α , then its elements are in L α and their elements are also in L α .
text: If x ∈ L α , then its elements are in L α and their elements are also in L α .