Assertion list for term "formed at depth".

Results from Ascent++: 1
diamond ReceivesActionformed at depth 0.45