Assertion list for term "compete to solve difficult mathematical problem".
Results from Ascent++: 1
miner → CapableOf → compete to solve difficult mathematical problem 0.52