Assertion list for term "develop on sol".

Results from Ascent++: 1
callus CapableOfdevelop on sol 0.35