Assertion list for term "included in such receiving-circuit".

Results from Ascent++: 1
receiver ReceivesActionincluded in such receiving-circuit 0.25