Assertion list for term "killed after initial deal".
Results from Ascent++: 1
hand (aspect of clock) → ReceivesAction → killed after initial deal 0.16