Assertion list for term "based on conservative logic".

Results from Ascent++: 1
circuit ReceivesActionbased on conservative logic 0.25