Assertion list for term "arrive at two different valid solutions".
Results from Ascent++: 1
miner → CapableOf → arrive at two different valid solutions 0.25