Assertion list for term "deemed to have accepted term".
Results from Ascent++: 1
client (aspect of agent) → ReceivesAction → deemed to have accepted term 0.25