Assertion list for term "seem unsolvable".

Results from Ascent++: 1
problem CapableOfseem unsolvable 0.36