Assertion list for term "proved intractable".

Results from Ascent++: 1
problem (aspect of child) CapableOfproved intractable 0.16