Assertion list
boolean algebra (primary) → CapableOf
Results from Ascent++: 2
boolean algebra → CapableOf → provide theoretical grounding 0.68
boolean algebra → CapableOf → consist of rule 0.25