Assertion list for term "required by verification".
Results from Ascent++: 1
client (aspect of agent) → ReceivesAction → required by verification 0.27