Assertion list
abbreviation (primary) → SimilarTo
Results from Ascent++: 3
abbreviation → SimilarTo → in figure 0.51
abbreviation → SimilarTo → in fig 0.33
abbreviation → SimilarTo → in figure 5 0.31