Assertion list for term "commutative property".
Results from Ascent++: 1
bit → HasA → commutative property 0.28