Assertion list for term "the smallest planet".
Results from Ascent++: 1
mercury → IsA → the smallest planet 0.47