Assertion list for term "signed by both the customer".

Results from Ascent++: 1
protocol ReceivesActionsigned by both the customer 0.25