Assertion list for term "signed at the back".
Results from Ascent++: 2
clock → ReceivesAction → signed at the back 0.35
envelope → CapableOf → signed at the back 0.28