Assertion list for term "3/10".

Results from Ascent++: 1
sum HasProperty3/10 0.27