Assertion list
arithmetic (primary) → CapableOf
Results from Ascent++: 2
arithmetic → CapableOf → be a branch of mathematics 0.62
arithmetic → CapableOf → meet geometry 0.38