Assertion list for term "implemented by the prvqueuereceivetaskfunction".
Results from Ascent++: 1
queue → ReceivesAction → implemented by the prvqueuereceivetaskfunction 0.42