Assertion list for term "size order".
Results from Ascent++: 1
trophy → AtLocation → size order 0.25