Assertion list for term "leave the pool".
Results from Ascent++: 2
miner → CapableOf → leave the pool 0.25
salmon → CapableOf → leave the pool 0.25