Assertion list for term "done in petri recipes".

Results from Ascent++: 1
experiment ReceivesActiondone in petri recipes 0.35