Assertion list for term "based on the zpm".

Results from Ascent++: 1
circuit ReceivesActionbased on the zpm 0.25