Assertion list for term "binary operations".
Results from Ascent++: 1
division → IsA → binary operations 0.30