Assertion list for term "stop after every play".
Results from Ascent++: 1
clock → CapableOf → stop after every play 0.29