Assertion list for term "signed by one of the cas".

Results from Ascent++: 1
certificate ReceivesActionsigned by one of the cas 0.49