Assertion list for term "pi/4".
Results from Ascent++: 2
angle (aspect of rectangle) → HasProperty → pi/4 0.31
default → HasProperty → pi/4 0.25