Assertion list for term "log2".
Results from Ascent++: 1
scale → HasProperty → log2 0.28