Assertion list for term "presented by typesetter".

Results from Ascent++: 1
proof ReceivesActionpresented by typesetter 0.33