Assertion list for term "10-free".
Results from Ascent++: 1
polish → HasProperty → 10-free 0.16