Assertion list
scale (primary) → SimilarTo
Results from Ascent++: 1
scale → SimilarTo → the one in figure 0.28