Assertion list
value (aspect of property ) → SimilarTo
Results from Ascent++: 2
value → SimilarTo → start 0.27
value → SimilarTo → corresponding pkg(1 0.25