Assertion list for term "presented at sign-in table".

Results from Ascent++: 1
proof ReceivesActionpresented at sign-in table 0.27