Assertion list for term "take all the money".

Results from Ascent++: 2
robber CapableOftake all the money 0.16
thief CapableOftake all the money 0.16