Assertion: boolean algebra | /r/HasProperty | translated into ring
Facets:
Source sentences:
text: If a Boolean ring is translated into a Boolean algebra in this way, and then the Boolean algebra is translated into a ring, the result is the original ring.