Assertion list for term "discover ceres".

Results from Ascent++: 1
astronomer CapableOfdiscover ceres 0.28