Assertion list for term "cemented at later time".

Results from Ascent++: 1
new bridge (subgroup of bridge) ReceivesActioncemented at later time 0.28