Assertion list for term "required by the asymmetricbinding assertion".
Results from Ascent++: 1
line (aspect of actor) → ReceivesAction → required by the asymmetricbinding assertion 0.29