Assertion list for term "an angle of #5 pi)/12".

Results from Ascent++: 1
corner (aspect of rectangle) HasAan angle of #5 pi)/12 0.59