Assertion list
boolean algebra (primary) → IsA

Results from Ascent++: 1
boolean algebraIsA the algebra of sets 0.25