Ascent++ | required by the carrier

Assertion list for term "required by the carrier".

Results from Ascent++: 2

proof → ReceivesAction → required by the carrier	0.27
signature → ReceivesAction → required by the carrier	0.11